Zilliqa With Edison Lim: Formal Verification of Smart Contracts, Byzantine Fault Tolerance, and Smart Contract Composition.
b'
We spoke with Edison Lim, Application Lead at Zilliqa about their protocol. We consider Zilliqa\\u2019s 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