Revain logoHome Page
Thi Le photo
4 niveau
11 avis
7 karma

Révision le Zilliqa par Thi Le

Scilla abréviation de Smart Contract Intermediate-Level Langage est un intermédiaire…

Scilla abréviation de Smart Contract Intermediate-Level LANguage est un langage de contrat intelligent de niveau intermédiaire en cours de développement pour Zilliqa.
Scilla a été conçu comme un langage de principe avec la sécurité des contrats intelligents à l'esprit.



Avantages et inconvénients

  • Le langage est développé de pair avec la formalisation de sa sémantique et son intégration dans l'assistant de preuve Coq - un outil de pointe pour les preuves mécanisées sur les propriétés des programmes.
  • Lancement de Mainnet Bien que la sortie de Mainnet ait été prévue pour le troisième trimestre de 2018, l'équipe de Zilliqa a repoussé le lancement à décembre de cette année ou en janvier de l'année prochaine.