[2024.5.29 Review of what's new in Cosmos yesterday]

- For details, see the link at the end of the article

👉 $TIA's first NFT Rollup chain Forma is online today, and is currently opening mint genesis NFTs. The project will have an NFT market (NFTs priced at $TIA ) and new tools for on-chain creators.

👉 $SEI starts the second season of airdrops, stakers, liquid stakers, ecological NFT holders, etc. receive airdrops

👉 The Informal System team announced that the formal verification tool Quint will be used for CW contracts. Formal verification is a process of mathematically verifying the behavior of a system. It was originally used as a way to verify hardware circuits, and is now used to verify mission-critical software.

👉 Kujira's GameFi project Kartel released token model, white paper, airdrop and other information, and will start public sale next month

👉 Kujira's automated DeFi project AutoKujira released token model and will start public sale next month

👉 Evmos launched the latest version of dApp Store. (Evmos's single dApp distribution channel provides you with an experience that is independent of chain, wallet and VM.)

👉 Asset management panel project Pulsar now supports Solana

👉 ATOM Accelerator releases the token model plan for the next generation of ATOM, including gradually reducing inflation and other content

========

Information details:

https://x.com/iCosmosMan/status/1795690039780970649