<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" encoding="UTF-8" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:sy="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/" xmlns:atom="http://www.w3.org/2005/Atom/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:fireside="http://fireside.fm/modules/rss/fireside">
  <channel>
    <fireside:hostname>web01.fireside.fm</fireside:hostname>
    <fireside:genDate>Tue, 14 Apr 2026 21:32:55 -0500</fireside:genDate>
    <generator>Fireside (https://fireside.fm)</generator>
    <title>Citizen Web3 Podcast - Episodes Tagged with “Zarko”</title>
    <link>https://podcast.citizenweb3.com/tags/zarko</link>
    <pubDate>Fri, 11 Dec 2020 20:00:00 +0000</pubDate>
    <description>Exploring blockchain decentralization and the Web3 universe for over 5 years, through in-depth, hour-long conversations with builders, thinkers, and contributors—founders, validators, node operators, CTOs, VCs, DAOs, and privacy advocates. We explore critical topics: privacy, security, decentralization, technological progress, finance and cryptocurrencies dark sides, alongside personal stories of success, failure, and lessons learned.
Blockchain-agnostic and building for decentralization, Citizen Web3 runs off-the-grid, non-custodial validator infrastructure, contributing to public goods and Web3.  Support our work by staking with us: staking.citizenweb3.com/
</description>
    <language>en</language>
    <itunes:type>episodic</itunes:type>
    <itunes:subtitle>Conversations with Web3 Builders, Thinkers and Contributors </itunes:subtitle>
    <itunes:author>serejandmyself</itunes:author>
    <itunes:summary>Exploring blockchain decentralization and the Web3 universe for over 5 years, through in-depth, hour-long conversations with builders, thinkers, and contributors—founders, validators, node operators, CTOs, VCs, DAOs, and privacy advocates. We explore critical topics: privacy, security, decentralization, technological progress, finance and cryptocurrencies dark sides, alongside personal stories of success, failure, and lessons learned.
Blockchain-agnostic and building for decentralization, Citizen Web3 runs off-the-grid, non-custodial validator infrastructure, contributing to public goods and Web3.  Support our work by staking with us: staking.citizenweb3.com/
</itunes:summary>
    <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/b/b7b002a5-a00c-41c2-be10-c7b841fecc01/cover.jpg?v=19"/>
    <itunes:explicit>no</itunes:explicit>
    <itunes:keywords>web3, blockchain, ethereum, cosmos, polkadot, l1, l2, layer two, protocol, eth, podcast, crypto podcast, staking, technology, reward, tendermint, IT, finance, serejandmyself, citizen cosmos, citizen web3, crypto, decentralization, cryptocurrency, atom, ecosystem, community, interchain, the great web, how to stake, earn rewards for staking, validator, pos, securing networks, ecosystem development, defi, dao, privacy, bitcoin, internet of blockchains, infra, infrastructure, citizen web3 validator, citizen web3 staking, show, podcast about blockchain, blockchain podcast best, explaining cryptocurrency, what is blockchain podcast, best cryptocurrency podcast,  cryptocurrency podcast for beginners, alts, nodes, web3 business, web3 project, what is web3, how web3 works, how does web3 work, web3 help, how to enter web3, passive income, how to stake, communication, what blockchain should i invest in, should i learn blockchain, blockchain when to use, blockchain where to start, blockchain basics</itunes:keywords>
    <itunes:owner>
      <itunes:name>serejandmyself</itunes:name>
      <itunes:email>citizenweb3@protonmail.com</itunes:email>
    </itunes:owner>
<itunes:category text="Technology"/>
<itunes:category text="Business"/>
<itunes:category text="Education"/>
<item>
  <title>Research, consensus and verification with Zarko Milosevic</title>
  <link>http://podcast.citizenweb3.com/zarko</link>
  <guid isPermaLink="false">e55e9aa7-fbe2-457f-b458-90be83821f82</guid>
  <pubDate>Fri, 11 Dec 2020 20:00:00 +0000</pubDate>
  <author>serejandmyself</author>
  <enclosure url="https://dts.podtrac.com/redirect.mp3/aphid.fireside.fm/d/1437767933/b7b002a5-a00c-41c2-be10-c7b841fecc01/e55e9aa7-fbe2-457f-b458-90be83821f82.mp3" length="87747479" type="audio/mpeg"/>
  <itunes:episodeType>full</itunes:episodeType>
  <itunes:author>serejandmyself</itunes:author>
  <itunes:subtitle>This episode of the #citizenweb3 podcast features Zarko Milosevic, the lead researcher at Informal Systems about public verification, consensus algorithms and their development </itunes:subtitle>
  <itunes:duration>44:59</itunes:duration>
  <itunes:explicit>no</itunes:explicit>
  <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/b/b7b002a5-a00c-41c2-be10-c7b841fecc01/episodes/e/e55e9aa7-fbe2-457f-b458-90be83821f82/cover.jpg?v=2"/>
  <description>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 (https://twitter.com/zarinjo) about Informal Systems (https://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:
Stake with Citizen Web3 validator (https://www.citizenweb3.com/staking)
Listen to the YouTube version (https://youtu.be/Yb3fKISFkNA)
Follow us on Twitter (https://twitter.com/citizen_web3)
Sign up to the RSS feed (https://www.citizenweb3.com/rss) Special Guest: Zarko Milosevic.
</description>
  <itunes:keywords>citizenweb3, blockchain, tendermint, it, finance, cosmos, web3, serejandmyself, podcast, serj and anna, citizen cosmos, crypto, cryptocurrency, atom, technology, ecosystem, consensus, algorithms, verification, tendermint, scripts, software</itunes:keywords>
  <content:encoded>
    <![CDATA[<hr>

<p>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.</p>

<p>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&#39;s vision of companies of the future. </p>

<p>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. </p>

<p>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.</p>

<hr>

<h5>We spoke to <a href="https://twitter.com/zarinjo" rel="nofollow">Zarko Milosevic</a> about <a href="https://informal.systems/" rel="nofollow">Informal Systems</a> and:</h5>

<ul>
<li>Software development</li>
<li>Formal verification</li>
<li>Determinism and cycles in the life of software development</li>
<li>Consensus algorithms, their vision and their evolution</li>
<li>The effect of software and automation scripts on our lives</li>
<li>How such software can make our lives more efficient</li>
<li>Assurance audits and how they can help us to evaluate software</li>
<li>The alignment of personal values and company goals</li>
<li>Decentralization as a spectrum</li>
<li>Zarko&#39;s vision of companies of the future</li>
</ul>

<hr>

<h5>If you like what we do at Citizen Web3:</h5>

<ul>
<li>Stake with Citizen Web3 <a href="https://www.citizenweb3.com/staking" rel="nofollow">validator</a></li>
<li>Listen to the <a href="https://youtu.be/Yb3fKISFkNA" rel="nofollow">YouTube version</a></li>
<li>Follow us on <a href="https://twitter.com/citizen_web3" rel="nofollow">Twitter</a></li>
<li>Sign up to the <a href="https://www.citizenweb3.com/rss" rel="nofollow">RSS feed</a></li>
</ul><p>Special Guest: Zarko Milosevic.</p><p>Links:</p><ul><li><a title="Tendermint" rel="nofollow" href="https://tendermint.com/">Tendermint</a></li><li><a title="Cosmos Network" rel="nofollow" href="https://cosmos.network/">Cosmos Network</a></li><li><a title="Cardano" rel="nofollow" href="https://www.cardano.org/en/home/">Cardano</a></li><li><a title="Ethereum" rel="nofollow" href="https://www.ethereum.org/">Ethereum</a></li><li><a title="Ethermint" rel="nofollow" href="https://github.com/cosmos/ethermint">Ethermint</a></li><li><a title="IBC" rel="nofollow" href="https://cosmos.network/ibc">IBC</a></li><li><a title="Polkadot" rel="nofollow" href="https://polkadot.network/">Polkadot</a></li></ul>]]>
  </content:encoded>
  <itunes:summary>
    <![CDATA[<hr>

<p>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.</p>

<p>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&#39;s vision of companies of the future. </p>

<p>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. </p>

<p>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.</p>

<hr>

<h5>We spoke to <a href="https://twitter.com/zarinjo" rel="nofollow">Zarko Milosevic</a> about <a href="https://informal.systems/" rel="nofollow">Informal Systems</a> and:</h5>

<ul>
<li>Software development</li>
<li>Formal verification</li>
<li>Determinism and cycles in the life of software development</li>
<li>Consensus algorithms, their vision and their evolution</li>
<li>The effect of software and automation scripts on our lives</li>
<li>How such software can make our lives more efficient</li>
<li>Assurance audits and how they can help us to evaluate software</li>
<li>The alignment of personal values and company goals</li>
<li>Decentralization as a spectrum</li>
<li>Zarko&#39;s vision of companies of the future</li>
</ul>

<hr>

<h5>If you like what we do at Citizen Web3:</h5>

<ul>
<li>Stake with Citizen Web3 <a href="https://www.citizenweb3.com/staking" rel="nofollow">validator</a></li>
<li>Listen to the <a href="https://youtu.be/Yb3fKISFkNA" rel="nofollow">YouTube version</a></li>
<li>Follow us on <a href="https://twitter.com/citizen_web3" rel="nofollow">Twitter</a></li>
<li>Sign up to the <a href="https://www.citizenweb3.com/rss" rel="nofollow">RSS feed</a></li>
</ul><p>Special Guest: Zarko Milosevic.</p><p>Links:</p><ul><li><a title="Tendermint" rel="nofollow" href="https://tendermint.com/">Tendermint</a></li><li><a title="Cosmos Network" rel="nofollow" href="https://cosmos.network/">Cosmos Network</a></li><li><a title="Cardano" rel="nofollow" href="https://www.cardano.org/en/home/">Cardano</a></li><li><a title="Ethereum" rel="nofollow" href="https://www.ethereum.org/">Ethereum</a></li><li><a title="Ethermint" rel="nofollow" href="https://github.com/cosmos/ethermint">Ethermint</a></li><li><a title="IBC" rel="nofollow" href="https://cosmos.network/ibc">IBC</a></li><li><a title="Polkadot" rel="nofollow" href="https://polkadot.network/">Polkadot</a></li></ul>]]>
  </itunes:summary>
</item>
  </channel>
</rss>
