Go offline with the Player FM app!
Zilliqa With Edison Lim: Formal Verification of Smart Contracts, Byzantine Fault Tolerance, and Smart Contract Composition.
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on February 29, 2024 17:34 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 230938060 series 2355351
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
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on February 29, 2024 17:34 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 230938060 series 2355351
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
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.