Apr 9, 2019
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.
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