Ethereum Foundation Funds Ivy League Research on Smart Contracts

in #crypto5 years ago

Dima Zaitsev shares his thoughts on smart contract development

The Ethereum Foundation awarded a grant to researchers at Columbia and Yale to compile a new smart contract programming language into the Ethereum Virtual Machine. The research will focus on supporting Ethereum 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.”

Coin Marketplace

STEEM 0.35
TRX 0.12
JST 0.040
BTC 70597.89
ETH 3559.60
USDT 1.00
SBD 4.77