What is Scilla?
https://i.gyazo.com/8845bf68b263aa134344060e3c3f85d3.jpg
Safe-By-Design Smart Contract Language
Scillaは安全に設計されたスマートコントラクト言語です。
About
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.
ScillaはSmart Contract Intermediate-Level Languageの略で、Zilliqa用に開発されたスマートコントラクト言語です。
Scillaはスマートコントラクトの安全性を念頭に置いて設計された原則的な言語です。
Scilla imposes a structure on smart contracts that will make applications less vulnerable to attacks by eliminating certain known vulnerabilities directly at the language-level. Furthermore, the principled structure of Scilla will make applications inherently more secure and amenable to formal verification.
Scillaはスマートコントラクトに構造を課し、言語レベルで特定の既知の脆弱性を直接排除することで、アプリケーションの攻撃に対する脆弱性を軽減します。
さらに、Scillaの原則的な構造は、アプリケーションを本質的により安全にし、正式な検証に従うようにするでしょう。
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. この言語は、セマンティクスの形式化と、プログラムのプロパティに関する機械化された証明のための最先端のツールであるCoq証明アシスタントへの埋め込みによって、手を携えて開発されています。
※より詳しくは、Ethereumのスマートコントラクト言語であるSolidityにおけるセキュリティ問題と合わせて、
その他