Ethereum Foundation Funds Columbia, Yale Researchers’ Work on Smart Contract Language

The Ethereum Foundation has awarded a grant to researchers at Columbia and Yale for work on their new smart contract programming language.

The Ethereum Foundation has awarded a grant to researchers at Columbia and Yale universities for the compilation of a new smart contract programming language into the Ethereum Virtual Machine (EVM). The development was announced in a press release shared with Cointelegraph on March 6.

The beneficiary of the grant is a smart contract R&D project called DeepSea, spearheaded by Professor Ronghui Gu, an assistant professor of computer science at Columbia, in collaboration with researchers at Yale. Gu is also the co-founder of blockchain security firm CertiK, which is also one of the participants in the project that raised “several millions” in a funding round led by Binance Labs last October.

The new grant forms part of the foundation’s fifth wave financing — under the aegis of the Ethereum Foundation Grants Program — devoted to supporting Ethereum 2.0 and Layer 2 scaling efforts.

DeepSea is named after a new smart contracts programming language, originally created at the research lab of Professor Shao, department chair of computer science at Yale and Gu’s fellow co-founder at CertiK.

While the language was initially designed for the implementation of system software, the press release notes that the high risks surrounding smart contract vulnerabilities have provided a fresh impetus to extend DeepSea’s “protective features” to that arena. As Professor Gu has outlined:

“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 refers to “the process of leveraging mathematical proofs to verify the correctness of code implementation,” and was reportedly initially implemented in the NASA Mars Rover and other hardware systems that the press release characterizes as “mission critical.”

The process is now reportedly being extended for use in software systems, as with CertiK’s auditing of smart contracts and blockchain protocols, and can be used to prevent the possible introduction of bugs while compiling DeepSea into the EVM.
As reported in December, open source blockchain project Qtum has previously awarded Professor Gu’s lab a $400,000 grant to fund the development of DeepSea.

COMMENTS

By Readers$type=blogging$cate=2$count=6

Name

Analysis,498,News,2632,Press Releases,338,Sponsored,137,
ltr
item
CryptoNomus: Ethereum Foundation Funds Columbia, Yale Researchers’ Work on Smart Contract Language
Ethereum Foundation Funds Columbia, Yale Researchers’ Work on Smart Contract Language
https://images.cointelegraph.com/images/528_aHR0cHM6Ly9zMy5jb2ludGVsZWdyYXBoLmNvbS9zdG9yYWdlL3VwbG9hZHMvdmlldy83ZDg5ZTg1YjVlZDM5OGIzZjM1OGUyODA4ZTY4ODBiMy5qcGc=.jpg
CryptoNomus
https://www.cryptonom.us/2019/03/ethereum-foundation-funds-columbia-yale.html
https://www.cryptonom.us/
https://www.cryptonom.us/
https://www.cryptonom.us/2019/03/ethereum-foundation-funds-columbia-yale.html
true
4884201149675661183
UTF-8
Loaded All Posts Not found any posts VIEW ALL Readmore Reply Cancel reply Delete By Home PAGES POSTS View All RECOMMENDED FOR YOU LABEL ARCHIVE SEARCH ALL POSTS Not found any post match with your request Back Home Sunday Monday Tuesday Wednesday Thursday Friday Saturday Sun Mon Tue Wed Thu Fri Sat January February March April May June July August September October November December Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec just now 1 minute ago $$1$$ minutes ago 1 hour ago $$1$$ hours ago Yesterday $$1$$ days ago $$1$$ weeks ago more than 5 weeks ago Followers Follow THIS PREMIUM CONTENT IS LOCKED STEP 1: Share. STEP 2: Click the link you shared to unlock Copy All Code Select All Code All codes were copied to your clipboard Can not copy the codes / texts, please press [CTRL]+[C] (or CMD+C with Mac) to copy