News Melonport AG Announces Beta Release of Oyente, a Smart...

Melonport AG Announces Beta Release of Oyente, a Smart Contracts Analysis, and Verification Tool

-

- Advertisment -

Bitcoin PR Buzz · June 27, 2017 · 12:00 pm

Blockchain startup Melonport AG has proudly partnered with the Oyente development team to announce the beta release of Oyente, an open source analysis and formal verification tool for Ethereum smart contracts.


The Oyente verification tool can be used for analyzing smart contracts that are created on Ethereum protocol using smart contracting languages such as Solidarity, LLL or Serpent.  The beta version of the tool also features capabilities that can come in handy for Melon protocol module developers.

The latest beta release of Oyente tool can be easily accessed at its respective link on the Melonport website. The tool’s original development was based on an academic paper released by National University of Singapore Ph.D. student Luu and his peers. Unfortunately, they were forced to put the project on hold after they ran out of funds. By then they had already prepared an initial open source release, covering over 80% of the EVM opcodes. Thankfully, it didn’t end there for the Oyente development team as Melonport later recognized it for its real worth.

The Melonport development team realized the tool’s potential to enable Ethereum developer community to create safe and secure decentralized application. Following Melonport’s successful 2.5 million CHF fundraising campaign that ended in February 2017, the team extended support to Oyente project. With the help of the new smart contract verification tool, Melonport intends to further enhance the security of its standardization and protocol module ecosystem.

A collaborative effort of both the teams has borne results. Oyente’s support of EVM opcodes has increased to 100%. The teams haven’t stopped further development. In fact, they are currently working on creating few useful tools that can extend the capabilities of the present day system. One of the prominent developments will be the extension of ERC20 support, which will be of great use as more and more projects implement these Ethereum blockchain based token system.

With new upgrades waiting to be released, Oyente will soon gain full ERC20 and token-contract analysis capabilities, which will ensure the platform’s integrity and prevents the systems from creating more tokens than intended due to errors in coding logic and more.  


Images courtesy of Bitcoin PR Buzz

MelonportOyente



Show comments

Source link

Latest news

Why could GLBrain become a great solution to receive support during the crisis?

To support smaller and medium-sized businesses during the ongoing crisis, GLBrain offers services cost-free for all Austrians....

Make Fast and Secure Trades Using Bitengo.io

Bitengo.io is a Cryptocurrency trading platform that allows users to buy and sell their Cryptocurrency in a...

Network Security Using Cryptography: Everything you need to know

This article will describe what is Network Security Using Cryptography and everything you need to know before...

Mercuriex Cryptocurrency Exchange Launches New Utility Token, SURF

MercuriEx Cryptocurrency Exchange, originally developed in 2017, came under new ownership in December 2019. Since taking over the exchange,...
- Advertisement -Melonport AG Announces Beta Release of Oyente, a Smart Contracts Analysis, and Verification Tool

Fungibility: Bitcoin Mixers Favorite Term That No One Understands

Fungibility, perhaps the most important concept when dealing with a decentralized and anonymous currency, but does bitcoin...

Crypto can’t thrive in the real world – but stablecoins can

We can safely say that the hype about cryptocurrencies is pretty much over. The claims of Bitcoin...

Must read

Make Fast and Secure Trades Using Bitengo.io

Bitengo.io is a Cryptocurrency trading platform that...
- Advertisement -Melonport AG Announces Beta Release of Oyente, a Smart Contracts Analysis, and Verification ToolMelonport AG Announces Beta Release of Oyente, a Smart Contracts Analysis, and Verification Tool

You might also likeRELATED
Recommended to you