Categories: Altcoins

Yale, Columbia Researchers Receives Grant from Ethereum Foundation

Click here to view original web page at

Ethereum (ETH) is the largest altcoin in the market. The blockchain project provides a platform for developers to create and deploy decentralized apps. At the moment, Ethereum is still the largest Dapp platform. However, it faces strong competition as more Dapps platforms are emerging. The position of Ethereum is currently being threatened, and it’s doing all it can to retain its position.

The Ethereum Foundation runs a grant program. In the program, the Foundation supports individuals, startups, and firms that are working to improve the blockchain. They developer Dapps and smart contracts on the blockchain, increasing the usability of Ethereum. As such, the Foundation supports them financially. This program runs periodically.

Researchers at Yale and Columbia Universities Received a Grant from Ethereum Foundation

Recently, the grant program of Ethereum was extended to Yale and Columbia. Yale and Columbia universities’ researchers are working on a new smart contracts language. They are compiling the smart contract programming language into the Ethereum Virtual Machine.

The Ethereum Foundation is supporting the team financially. This was revealed in a press release on the 6th of March. The smart contract R&D project, which is the beneficiary of the grant, is dubbed DeepSea. Professor Ronghui Gu is the head of the project. He is an assistance computer science professor at Columbia, in partnership with Yale’s researchers. The professor is also the founder of CertiK – a blockchain security firm.

The Ethereum Foundation granted its fourth wave financing last year. The grant given to this team is part of the fifth wave financing of the Foundation. The Ethereum Foundation Grants Programs is aimed at supporting Ethereum 2.0 and Layer 2 scaling efforts. The team is doing its best to bring more developers to the blockchain and to boost ETH price.

Smart contracts are permanent

According to the professor, the language was initially devoted to system software implementation. However, he noted that the risks around the vulnerabilities of smart contracts have resulted in the impetus to extend the ‘protective features’ of DeepSea to that area.

Gu added that: “Smart contracts are permanent and self-executable. As a result, it is extremely vital that these contracts perform only as they are programmed to. The language of DeepSea will enable programmers to add safeguards. This is to make sure that the code does only what it is intended to do, using Formal Verification.”

The process of using mathematical proofs to verify the correctness of an implemented code is known as Formal Verification. According to reports, it was first implemented in the NASA Mars Rover as well as other hardware systems. The use of the process is now being extended to software systems, according to reports.

The process can be used to prevent the chances of introducing bugs during the compilation of DeepSea into the Ethereum Virtual Machine. Gu’s lab reportedly received huge financial support from Qtum last year. The blockchain project gave Gu a grant of $400k to support DeepSea development.

Ethereum (ETH) Price Today – ETH / USD

ETH to USD has been in the green over the past day. The price is currently up by 2 percent over the past twenty-four hours. Ethereum live price is $140, after starting the week below the $130 level. ETH currently has a market cap of 14.56 billion and its trading volume over the past twenty-four hours is $4.89 billion.


Illuminati, Mason, Anonymous I'll never tell. I can tell you this, global power is shifting and those who have the new intelligence are working to acquire this new force. You matter naught except to yourself, therefore prepare for the least expected and make your place in the new world order.

Disqus Comments Loading...
Published by

Recent Posts

Bitcoin Is Up Against An Extremely Important And Powerful Resistance Zone On The Monthly Chart: The Kijun-Sen (Base Line)

We can identify the price action causes of why price is finding it difficult to move higher by analyzing longer… Read More

40 mins ago

BTC ATM goes missing and no one notices

When you think of thieves stealing an ATM, the mind jumps to the idea of an exciting crime. Maybe there’s… Read More

40 mins ago

Major Swedish Bank Orders Negative Interest Rate on Euro Deposits

Sub-zero interest rates have become the norm in some countries, especially in Europe. Nordic nations such as Sweden and Denmark… Read More

41 mins ago

Researchers Concur Current Bitcoin Market Cycle is Only Just Beginning

Bitcoin price cycles can be influenced by a number of factors, FOMO and public sentiment is one, and mining profitability… Read More

41 mins ago

Hopes for Bitcoin as China’s Renminbi Drops to 11-Year Low

A recent plunge in the bitcoin price is looking to negate some of its losses as China’s currency weakens to… Read More

41 mins ago

Why Bitcoin Rules in the ‘Insane’ World of Negative Interest Rates

Central banks around the world are on a negative rate binge to further a compelling case for bitcoin.. | Source:… Read More

41 mins ago

This website uses cookies. We use these cookies to collect data about your interaction with our website for the purpose of continuously improving your experience with our site. For more information we encourage you to read our privacy policy.

Read More