NewsBTC
No Result
View All Result
  • Cryptocurrency News
    • Bitcoin News (BTC)
    • Ethereum News (ETH)
    • Ripple News (XRP)
    • Shiba Inu News (SHIB)
    • Cardano News (ADA)
    • Dogecoin News (DOGE)
    • Solana News (SOL)
    • Litecoin News (LTC)
    • Avalanche News (AVAX)
    • Polygon News (MATIC)
  • Crypto Prices
    • Binance Coin (BNB) Price
    • Bitcoin (BTC) Price
    • Cardano (ADA) Price
    • Chainlink (LINK) Price
    • Dogecoin (DOGE) Price
    • Ethereum (ETH) Price
    • Litecoin (LTC) Price
    • Polkadot (DOT) Price
  • Crypto Resources & Directory
  • All Crypto
  • Play GamesTry
  • CasinosTry
Breaking News: Crypto Bulls Rejoice: Congresswoman Confirms Powell’s Imminent Firing
  • Cryptocurrency News
    • Bitcoin News (BTC)
    • Ethereum News (ETH)
    • Ripple News (XRP)
    • Shiba Inu News (SHIB)
    • Cardano News (ADA)
    • Dogecoin News (DOGE)
    • Solana News (SOL)
    • Litecoin News (LTC)
    • Avalanche News (AVAX)
    • Polygon News (MATIC)
  • Crypto Prices
    • Binance Coin (BNB) Price
    • Bitcoin (BTC) Price
    • Cardano (ADA) Price
    • Chainlink (LINK) Price
    • Dogecoin (DOGE) Price
    • Ethereum (ETH) Price
    • Litecoin (LTC) Price
    • Polkadot (DOT) Price
  • Crypto Resources & Directory
  • All Crypto
  • Play GamesTry
  • CasinosTry
Bitcoin News
No Result
View All Result
Breaking News: Crypto Bulls Rejoice: Congresswoman Confirms Powell’s Imminent Firing

Melonport’s Release Oyente Contracts Verification Tool in Market

newsbtc
newsbtc
5 years ago
3 mins read
Bitcoin PR Buzz Melonport Oyente

Reason to trust

Strict editorial policy that focuses on accuracy, relevance, and impartiality
Created by industry experts and meticulously reviewed
The highest standards in reporting and publishing
How Our News is Made

Strict editorial policy that focuses on accuracy, relevance, and impartiality

Ad discliamer

Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.

This is in continuation of the strategic ventures by Melonport being seen in the industry since last few months. Melonport, a blockchain powered asset management software has recently released the beta version of its smart contracts verification tool, in collaboration with Oyente, being a partner.

Melonport AG has long been working in partnership with Oyente development team in an effort to come up with this beta release of Oyente, an open source analysis and verification tool for Ethereum based smart contracts.

What’s being offered in the release?

 

  • The Flexibility…

 

Oyente is flexible enough to be used for most of the Ethereum smart contracting languages such as Serpent, LLL, Solidity etc. The current iteration of Oyente has a number of features that are particularly made for Melon protocol module developers. Check the online version at http://oyente.melonport.com/

 

  • Enhanced Security…

 

Reto Trinkler, the Chairman and CTO of the company states that the team is fully satisfied with the recent progress in Oyente. Analyzing the disassembled opcodes from the bytecode deployed to the blockchain and testing them against various properties seems the most economical and an effective way in terms of ensuring the security of the smart contracts, Trinkler says. The Melon protocol has been transformed into a great open-source tool, helping to enhance security as well as quality standards in platform’s modules.

 

  • Modularized Design…

 

Loi Luu, the Project Lead Developer at Oyente mentions that they have finally implemented the Oyente design to bring value to Ethereum community. Oyente is able to identify many common bugs often seen in smart contracts such as reentrancy, transaction ordering dependence etc. The interesting thing to note in Loi’s speech is that Oyente’s design is fully modularized, allowing advanced level users to execute and plug in their own identification logic to check self-defined properties in their smart contracts.  

The Glimpses of the History

The Oyente project began as an academic paper issued by Ph.D. student Luu and his peers belonging to the National University of Singapore. The Melonport’s 2.5 million CHF raised in the contribution period in February 2017, made the team take Oyente as a great tool for boosting Ethereum developer community’s ability to develop secure and decentralized applications.  Within six months, Oyente has now come up covering 100% of EVM opcodes and a bundle of other valuable tools like ERC20 support.

Mona El Isa, the CEO of Melonport asserts that formal verification, though, is not something magical for smart contract security, yet the company is proud to launch this open source symbolic execution tool valuable for module developers and Ethereum community at large.

Looking Forward…

The developers are now seeking to add new features to the tools, such as functionality for the analysis of ERC20 and token contracts. With time, Oyente’s design will become more powerful and useful.

Learn more about the technical aspects at https://medium.com/melonport-blog/oyente-beta-release-announcement-dd573cac1dff

Tweet123Share196ShareSend
newsbtc
newsbtc

newsbtc

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Disclaimer: The information found on NewsBTC is for educational purposes only. It does not represent the opinions of NewsBTC on whether to buy, sell or hold any investments and naturally investing carries risks. You are advised to conduct your own research before making any investment decisions. Use information provided on this website entirely at your own risk.

Related News

Why Smart Crypto Money is Backing SpacePay's $1.1M Presale Run

Why Smart Crypto Money is Backing SpacePay’s $1.1M Presale Run

SpacePay’s presale has surged past the $1.1 million mark as investors recognize the potential in crypto payment solutions. The SPY...

ericdunne519 1 week ago
青色のプレゼントボックスの上にあるBTC

Bitunixボーナスキャンペーン開催中|最大710ドルの獲得手順

世界中のトレーダーに選ばれている暗号資産(仮想通貨)取引所 Bitunix が、新規ユーザー向けに最大710 USDT相当が獲得できる特別キャンペーンを実施しています。 期間は2025年3月18日から...

rinsuzuki 1 week ago
Why SpacePay Is Tipped to Be the Favorite Crypto Coin of 2025

Why SpacePay Is Tipped to Be the Favorite Crypto Coin of 2025

Cryptocurrency has been around for years, but most people still can’t use it to buy their morning coffee. That’s starting...

ericdunne519 1 week ago
Load More

Reason to trust

Strict editorial policy that focuses on accuracy, relevance, and impartiality
Created by industry experts and meticulously reviewed
The highest standards in reporting and publishing
How Our News is Made

Strict editorial policy that focuses on accuracy, relevance, and impartiality

Ad discliamer

Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.

Related News

SpacePay (SPY) Token Presale

SpacePay (SPY) Token Presale: Could This Be the Key to Real-World Crypto Payment Adoption?

ericdunne519 1 day ago
Unlock SPY Potential

SpacePay: Where Dogecoin and XRP Meet Real-World Payments

ericdunne519 2 days ago
Presale Opportunity: The SPY Token Advantage: What Makes SpacePay Crypto Unique?

Presale Opportunity: The SPY Token Advantage: What Makes SpacePay Crypto Unique?

ericdunne519 5 days ago

Premium Sponsors

Press Releases

  • 2 kryptoměny s extrémně vysokým oceněním, které mohou stát za to riziko

    2 kryptoměny s extrémně vysokým oceněním, které...

    1 hour ago
  • 2 rendkívül magas árfolyamú kriptovaluta, amelyeket érdemes lehet kockáztatni

    2 rendkívül magas árfolyamú kriptovaluta, amelyeket...

    2 hours ago
  • 2 криптовалути с небесни оценки...

    5 hours ago
  • 仮想通貨プレセール|ビットコイン向け最速かつ唯一の本格レイヤー2が300万ドル突破

    ...

    5 hours ago
  • 2 rendkívül magas árfolyamú kriptovaluta, amelyeket érdemes lehet kockáztatni

    ...

    5 hours ago

Newsletter

Be the first to get the latest important crypto news & events to your inbox.

  • This field is for validation purposes and should be left unchanged.

About Us

NewsBTC is a cryptocurrency news service that covers bitcoin news today, technical analysis & forecasts for bitcoin price and other altcoins. Here at NewsBTC, we are dedicated to enlightening everyone about bitcoin and other cryptocurrencies.

We cover BTC news related to bitcoin exchanges, bitcoin mining and price forecasts for various cryptocurrencies.

Disclaimer: The information found on NewsBTC is for educational purposes only. It does not represent the opinions of NewsBTC on whether to buy, sell or hold any investments and naturally investing carries risks. You are advised to conduct your own research before making any investment decisions. Use information provided on this website entirely at your own risk.

Company

  • About Us
  • Advertising
  • Contact Us
  • Privacy Center

Social

© 2025 NewsBTC. All Rights Reserved.

  • Cryptocurrency News
    • Bitcoin News (BTC)
    • Ethereum News (ETH)
    • Ripple News (XRP)
    • Shiba Inu News (SHIB)
    • Cardano News (ADA)
    • Dogecoin News (DOGE)
    • Solana News (SOL)
    • Litecoin News (LTC)
    • Avalanche News (AVAX)
    • Polygon News (MATIC)
  • Crypto Prices
    • Binance Coin (BNB) Price
    • Bitcoin (BTC) Price
    • Cardano (ADA) Price
    • Chainlink (LINK) Price
    • Dogecoin (DOGE) Price
    • Ethereum (ETH) Price
    • Litecoin (LTC) Price
    • Polkadot (DOT) Price
  • Crypto Resources & Directory
  • All Crypto
  • Play Games
  • Casinos
Advertise

© 2025 NewsBTC. All Rights Reserved.

This website uses cookies. By continuing to use this website you are giving consent to cookies being used. Visit our Privacy Center or Cookie Policy.