Header banner
Revain logoHome Page
Thi Le photo
1 Level
11 Review
7 Karma

Review on Zilliqa by Thi Le

Revainrating 4 out of 5

Scilla short for Smart Contract Intermediate-Level LAnguage is an intermediate…

Scilla short for Smart Contract Intermediate-Level LAnguage is an intermediate-level smart contract language being developed for Zilliqa.
Scilla has been designed as a principled language with smart contract safety in mind.




Pros
  • The language is being developed hand-in-hand with formalization of its semantics and its embedding into the Coq proof assistant — a state-of-the art tool for mechanized proofs about properties of programs.
Cons
  • Mainnet Launch Although the Mainnet had been scheduled for release in the third quarter of 2018, the team at Zilliqa have pushed the launch to December this year or in January next year.

Similar reviews