Dima Zaitsev shares his thoughts on smart contract development
The Foundation awarded a grant to researchers at Columbia and Yale to compile a new smart contract programming language into the Virtual Machine. The research will focus on supporting 2.0 and scaling the network. Other work will be done to shore up security around smart contracts and fix vulnerabilities.
The programming language in development is called DeepSEA, and was originally created by the computer science department chair at Yale.
Professor Gu, the project lead from Columbia, highlighted the importance of impeccable performance, “because [smart] contracts are self-executable and permanent, it is crucial that these contracts perform only as they are precisely intended. The DeepSEA language will allow programmers to add safeguards to ensure that the code conforms exactly to its specifications, using Formal Verification.”
Formal verification uses mathematical proofs to verify that code is correctly implemented.
Dima Zaitsev is excited for further developments, “smart contracts are going to be the backbone of all future digital interactions, but right now, glitches and improper implementation are holding them back. The sooner we iron out these problems, the better.”
Published at Mon, 18 Mar 2019 02:16:09 +0000
