Interchain Conversations II - Seeking A More Reliable Cosmos: Auditing with Formal Verification

Interchain Conversations II - Seeking A More Reliable Cosmos: Auditing with Formal Verification

Zarko Milosevic, Chief Scientist at Informal Systems

How decentralized ecosystems work best when the projects work together. Updating and securing each other is the best way to organize each other.

Find out more on the Event: 👉 https://conversations.cosmos.network/

Subscribe to the channel to learn more about Cosmos. Join the newsletter by visiting https://cosmos.network and hitting the subscribe button.