Research, consensus and verification with Zarko Milosevic

Download Subscribe Transcript
00:00:00
/
00:44:59
RSS Feed Transcript Download (83.7 MB) Link with Timestamp

11 December 2020

44 mins 59 secs

Transcript

Link with Timestamp

Download MP3 (83.7 MB)

Your Hosts
Special Guest
Tags
consensus tendermint zarko

About this Episode

This episode of the #citizenweb3 podcast features Zarko Milosevic, the lead researcher at Informal Systems, which develops tools to simplify the operation of organizations by leveraging open-source development, plaintext data, and distributed version control systems. They are a contributor to the Tendermint codebase, concentrating on protocol design, and formal verification within distributed systems.

Along with Zarko, we discuss software development, formal verification, determinism and cycles in the life of software development. We talk about consensus algorithms, their vision and their evolution. Zarko shares his vision on the effect of software and automation scripts on our lives in the future and how such software can make our lives more efficient. We talk about assurance audits and how they can help us to evaluate software in the blockchain space. And finally about the alignment of personal values and company goals. Towards the end we discuss how decentralization is a spectrum and look into Zarko's vision of companies of the future.

Cosmos is a decentralized network of independent parallel blockchains, each powered by BFT consensus algorithms like Tendermint consensus. Cosmos is an ecosystem of blockchains, the TCP/IP of the space, that can scale and interoperate with each other.

The mission of Informal Systems is a vision is an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems to bring verifiability to distributed systems and organizations.

We spoke to Zarko Milosevic about Informal Systems and:
  • Software development
  • Formal verification
  • Determinism and cycles in the life of software development
  • Consensus algorithms, their vision and their evolution
  • The effect of software and automation scripts on our lives
  • How such software can make our lives more efficient
  • Assurance audits and how they can help us to evaluate software
  • The alignment of personal values and company goals
  • Decentralization as a spectrum
  • Zarko's vision of companies of the future
If you like what we do at Citizen Web3:

Episode Links