Zilliqa With Edison Lim: Formal Verification of Smart Contracts, Byzantine Fault Tolerance, and Smart Contract Composition.

QuantLayer Podcast

Content provided by Vikram Ramakrishnan and Faizaan Shamsi, Vikram Ramakrishnan, and Faizaan Shamsi. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Vikram Ramakrishnan and Faizaan Shamsi, Vikram Ramakrishnan, and Faizaan Shamsi or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.

6y ago 35:55

MP3•Episode home

Archived series ("Inactive feed" status)

When? This feed was archived on May 06, 2025 14:09 (1M ago). Last successful fetch was on February 29, 2024 17:34 (1+ y ago)

Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

We spoke with Edison Lim, Application Lead at Zilliqa about their protocol. We consider Zilliqa’s approach to scaling and energy usage. We discuss their proof of work consensus model for miner verification, and their approach to sharded consensus groups. We take a technical look at their smart contract language Scilla and its roots in OCaml, and why formal verification is important.

Topics:

What Zilliqa is
On smart contract language
Different consensus mechanism
What problems are they solving
Practical Byzantine Fault Tolerance
What their consensus model is
Types of business or markets that benefit from their solution

Links:

Zilliqa - https://zilliqa.com/ For Developers - Zilliqa - https://zilliqa.com/for-developers.html Scilla Overview Paper - https://ilyasergey.net/papers/scilla-overview.pdf What is Practical Byzantine Fault Tolerance? - https://blockonomi.com/practical-byzantine-fault-tolerance/ Ecosystem Partners - Zilliqa - https://zilliqa.com/ecosystem-partners.html

62 episodes

#Trading #Business News #Business #Bitcoin #Blockchain #Crypto #Cryptocurrency #Digitalasset #Digitalcurrency #Ethereum #Fintech #Investing #Software #Virtualcurrency #Faizaan Shamsi #Vikram Ramakrishnan #News #Vikram Ramakrishnan And Faizaan Shamsi