ETHERLive delivers real-time price and volume data across 16+ exchanges to users in a clear and easy-to-understand package. Users can get up-to-the-second updates for each exchange/currency pair, as well as aggregated market averages for each exchange, currency, and the market as a whole. It also provides a global converted average of all the currency pairs monitored by ETHNews, converted to USD.


24hr ---

The Basics

Learn the basics of Ethereum and various cryptocurrency technologies

Learn More

What is Ethereum?

Understand the underlying principles of the Ethereum Platform

Learn More

The Blockchain

Discover the revolutionizing technology known as the blockchain

Learn More

Press Release

Submit a press release for consideration on ETHNews

Submit Press

Story / Dapp

Submit a story or DAPP to be considered for publication on ETHNews.

Submit Story


Submit "Ethereum Explainer" content for consideration to be featured on ETHNews

Submit Topic
ETHNews Logo
Ether Price Analysis
Contact Us

Tech Companies and Universities Working Together to Strengthen Smart Contracts




Research companies are working together to fix the vulnerabilities found in smart contracts.

The Ethereum community is still reeling from the DAO attack two months ago.

The attack exposed the vulnerabilities of smart contracts when they are not constructed correctly. It also reminded all of us that security should be the number one priority.

Researchers from Microsoft, Harvard University, and Inra, a French national research institute, took the time to analyze the language and verifying process of smart contracts. The group published their results in a technical paper.

The paper established that there’s still more work to be done when it comes to writing smart contracts. It was found that many favor the Solidity source over the Ethereum Virtual Machine (EVM) bytecode. During their research, 396 out of 112,802 contracts were identified on using EVM bytecode.

“[W]e are able to translate and typecheck 46 out of the 396 contracts we collected on Out of these, only a handful are valid in the Eth effect. This is a clear sign that a large scale analysis of published contract is likely to uncover widespread vulnerabilities; we leave such analysis to future work,” the report states.

To allow proper translation and verification between both programming languages, the paper presents the framework of F*, a “functional programming language aimed at program verification.”

This solution will provide individual tools for decompiling EVM bytecode (renamed EVM*) and analyzing Solidity (Solidity*). These tools offer three different methods of verification:

  1. Given a Solidity program, we can use Solidity* to translate it to F* and verify at the source level functional correctness specifications such as contract invariants, as well as safety with respect to runtime errors.
  2. Given an EVM bytecode, we can use EVM* to decompile it and analyze low-level properties, such as bounds on the amount of gas consumed by calls.
  3. Given a Solidity program and allegedly functionally equivalent EVM bytecode, we can verify their equivalence by translating each into F*. Thus, we can check the correctness of the output of the Solidity compiler on a case-by-case basis using relational reasoning.

This shows their dedication to provide the safest and authentic technology.

Danielle Meegan

New Hampshire native Danielle Meegan is a writer based in Los Angeles. She has been published in a couple of sports and entertainment magazines and newspapers throughout the years and has dabbled with multiple virtual currency exchanges to understand the 'ins and outs' of trading. Danielle has invested in over 15 different virtual currencies, including Ether.

ETHNews is committed to its Editorial Policy

Like what you read? Follow us on Twitter @ETHNews_ to receive the latest Smart Cpntracts, Verification or other Ethereum technology news.