Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies - En podcast af Epicenter Media Ltd. - Mandage
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.
