Zarko Milosevic, verification tools, innovation & Tendermint

This episode of the #citizencosmos podcast features Zarko Milosevic from Informal Systems, a core developer of the Cosmos Network. Informal Systems makes formal verification technology more accessible by developing tools and processes to improve the quality and experience of software engineering. Zarko's Twitter We spoke to Zarko about Informal Systems, and: The evolution of Zarko Milosevic The growth of Informal Zarko’s personal values and goals Informal’s vision of the three pillars of society Leading by example in Cosmos governance Progress in verification tools Quint Working in Cosmos How the correct development tools can revolutionize the Crypto Space Consensus Engine stewardship Innovation on all levels Examples of new Use Cases that Zarko envisages Issues with scalability with the consensus engine If you like what we do at Citizen Cosmos: Stake with Citizen Cosmos validator Help support the project via Gitcoin Grants Listen to the YouTube version Read our blog Check out our GitHub Join our Telegram Follow us on Twitter Sign up to the RSS feed Special Guest: Zarko Milosevic.Links:ABCI (Application Blockchain Interface)ApalacheAnomaBostromBullsharkChris GoesCofiCosmosCosmWasmDan EdlebeckEthan BuchmanIBCICF Interchain FoundationInformal SystemsFernando PerdoneJae KwonQuintRustScalaStrideTendermintTLA+

Om Podcasten

Citizen Web3 provides infrastructure services as a validator across the blockchain space. It is one of the oldest web3 podcasts in the space and a community of like-minded people. Our flagship product (in the making): www.validatorinfo.com is a dashboard and an explorer that helps you to discover validators across the space. We believe in the power of decentralized communities and the potential of blockchains to build a better world. For us blockchains are not just digital technologies, but they are similar to natural hives, forests, and patterns in the environment that allow us to communicate better. We value security, decentralization, privacy, and lack of enforcement. Open and verifiable blockchains should be viewed as digital nations and that our role is to help build and bring value to these nations.