With the rise of smart contract technology, we’ve become acutely aware of the need for smart contract code to accurately reflect the intentions of its author; and for the code to have certain (safe) behaviors in all circumstances. Creating the languages and software tools to enable ordinary developers to write safe contracts has become an intense research endeavor in the cryptocurrency space.

Scilla is a Turing incomplete intermediate level language; inspired from the paradigms of functional programming and formal verification; that makes it easy for smart contract developers to automatically prove statements about smart contract behavior. For example, Scilla could allow a future multi-signature smart contract author to mathematically prove that funds in that contract would always be retrievable by certain addresses (and never get stuck like the Parity incident). The ability to mathematically prove such safety properties of the smart contract has the potential to be an enabling invention prior to widescale use of this technology.

In this episode, we are joined by Dr. Amrit Kumar and Dr. Ilya Sergey to discuss Scilla, the smart contract language of the upcoming Zilliqa blockchain. In a previous episode, we’ve already covered the vision and technical approach of Zilliqa to solve the transaction scalability problem of permissionless blockchains. This episode focuses specifically on their smart contract language development efforts.

Topics covered in this episode:

Episode links:

This episode is hosted by Meher Roy and Sunny Aggarwal. Show notes and listening options: epicenter.tv/238

As a society, we have organized as tribes, hierarchies, and markets to accomplish the most impressive of achievements. Human cooperation and collective organization are present at nearly every significant milestone in the history of human civilization. As we move towards an increasingly connected and automated society and economy, there will become a need for decentralized infrastructure which enables companies and markets to make fast decisions at scale.

We’re joined by Matan Field, CEO of DAOstack, a new platform that aims to become the operating system for collective intelligence. DAOstack is building a toolset to allow decentralized governance and building self-organizing collectives at scale.

Topics covered in this episode:

Episode links:

This episode is hosted by Brian Fabian Crain and Sébastien Couture. Show notes and listening options: epicenter.tv/237

Aragon Founder Luis Cuende joined us to discuss their work on building tools for decentralized governance. We covered the origins of his deep drive, why this is a crucial fight for humanity and the tools that Aragon has built.

Topics covered in this episode:

Episode links:

This episode is hosted by Brian Fabian Crain. Show notes and listening options: epicenter.tv/236

The rise of Binance is one of the most astonishing stories in the blockchain space. Within less than a year of its launch, Binance has become the most popular crypto exchange trading over $2bn per day. In the past quarter, Binance made profits of $200m, likely the fastest company ever to reach this success.

Binance Founder and CEO Changpeng Zhao (“CZ”) joined us to discuss why he started Binance and the extraordinary organization they built. We discussed the role of the Binance token, how their strong commitment to values helped build a loyal community, and how he sees the organization evolve in the future.

Topics covered in this episode:

Episode links:

This episode is hosted by Brian Fabian Crain and Meher Roy. Show notes and listening options: epicenter.tv/235

We are joined by Charles Hoskinson, who played an early role in developing Ethereum and BitShares, and is currently the CEO of IOHK. IOHK is an engineering company that undertakes cryptocurrency research, contributes development efforts to the Ethereum Classic ecosystem, and is spearheading the release of Cardano – a third generation blockchain protocol. IOHK has made the news recently after the publication of fundamental research papers on the Proofs of Proof of Work and the Ouroboros PoS algorithm, and its recruitment of highly rated academics.

Topics covered in this episode:

Episode links:

This episode is hosted by Meher Roy and Sunny Aggarwal. Show notes and listening options: epicenter.tv/234