با برنامه Player FM !
Arthur Breitman: Tezos – A Self-Amending Crypto-Ledger
Manage episode 232838445 series 1652309
The lack of an explicit governance mechanism has created deep problems for Bitcoin. Ethereum, with the DAO-related soft/hard-fork discussions, may face similar challenges ahead. Yet, already in 2014 Arthur Breitman quietly started working on cryptocurrency network Tezos that has an explicit mechanism to let coinholders vote on protocol upgrades.
Our discussion with Breitman centered around how explicit governance could lead to a more secure and evolutionary protocol. We also discussed Tezos’ approach to smart contract that tries to prevent bug-riddled and insecure smart contracts such as the DAO which has thrown Ethereum into a deep crisis.
Topics covered in this episode:
- Why stakeholders voting on forks can prevent consensus attacks
- The mechanics of Tezos’ governance
- How an upgrade mechanism could allow Tezos to rapidly and radically evolve
- Why the programming language in which smart contracts are written is crucial for security
- Why a functional language that allows formal proofs such as OCaml is more suited for smart contracts than Ethereum’s solidity
- The road ahead for Tezos
Episode links:
This episode is hosted by Brian Fabian Crain and Meher Roy. Show notes and listening options: epicenter.tv/136
611 قسمت
Arthur Breitman: Tezos – A Self-Amending Crypto-Ledger
Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies
Manage episode 232838445 series 1652309
The lack of an explicit governance mechanism has created deep problems for Bitcoin. Ethereum, with the DAO-related soft/hard-fork discussions, may face similar challenges ahead. Yet, already in 2014 Arthur Breitman quietly started working on cryptocurrency network Tezos that has an explicit mechanism to let coinholders vote on protocol upgrades.
Our discussion with Breitman centered around how explicit governance could lead to a more secure and evolutionary protocol. We also discussed Tezos’ approach to smart contract that tries to prevent bug-riddled and insecure smart contracts such as the DAO which has thrown Ethereum into a deep crisis.
Topics covered in this episode:
- Why stakeholders voting on forks can prevent consensus attacks
- The mechanics of Tezos’ governance
- How an upgrade mechanism could allow Tezos to rapidly and radically evolve
- Why the programming language in which smart contracts are written is crucial for security
- Why a functional language that allows formal proofs such as OCaml is more suited for smart contracts than Ethereum’s solidity
- The road ahead for Tezos
Episode links:
This episode is hosted by Brian Fabian Crain and Meher Roy. Show notes and listening options: epicenter.tv/136
611 قسمت
Alle episoder
×به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.