Sign up to save your podcasts
Or
Share #238 Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#238 Amrit Kumar & Dr.Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
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.
View all episodes
By Epicenter Media Ltd.
4.7
183183 ratings
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.
More shows like Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies
View all
a16z Podcast
1,022 Listeners
Unchained
1,212 Listeners
Real Vision: Finance & Investing
914 Listeners
The Peter McCormack Show
2,162 Listeners
CoinDesk Podcast Network
638 Listeners
The Pomp Podcast
1,838 Listeners
The Breakdown
742 Listeners
On The Brink with Castle Island
287 Listeners
Bankless
1,026 Listeners
The Wolf Of All Streets
227 Listeners
Empire
166 Listeners
Supply Shock
112 Listeners
Forward Guidance
273 Listeners
The Milk Road Show
37 Listeners
web3 with a16z crypto
60 Listeners