Select Page

Arthur Breitman: Tezos – A Self-Amending Crypto-Ledger

Tezos was created first and foremost to address a governance issue in decentralized cryptographic ledgers. It does so by allowing stakeholders to approve updates to the protocol, including the consensus algorithm, and the governance rule themselves. Tezos is written in OCaml (a functional programming language) and rely on Coq for advanced proof checking and formal verification. Source code will be opened and available later this year.

Arthur Breitman of "Tezos" gave this presentation on this new technology on Wednesday, August 31st at Monetas HQ (Zug – Switzerland)

https://www.periscope.tv/monetasnet/1mnxeYPrEmNxX

About The Author

Cédric Walter

I worked with various Insurances companies across Switzerland on online applications handling billion premium volumes. I love to continuously spark my creativity in many different and challenging open-source projects fueled by my great passion for innovation and blockchain technology.In my technical role as a senior software engineer and Blockchain consultant, I help to define and implement innovative solutions in the scope of both blockchain and traditional products, solutions, and services. I can support the full spectrum of software development activities, starting from analyzing ideas and business cases and up to the production deployment of the solutions.I'm the Founder and CEO of Disruptr GmbH.

Categories