Artwork

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.
Player FM - Podcast App
Go offline with the Player FM app!

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

35:55
 
Share
 

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on February 29, 2024 17:34 (1y ago)

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
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.

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

  continue reading

62 episodes

Artwork
iconShare
 

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on February 29, 2024 17:34 (1y ago)

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
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.

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

  continue reading

62 episodes

All episodes

×
 
Loading …

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.

 

Quick Reference Guide

Listen to this show while you explore
Play