Saturday January 23, 2021
Bitcoin (BTC) $32,702.00   Ether (ETH) $1,234.17
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
NEWSLETTER SIGNUP
EXCHANGE 300+ COINS
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas.net
No Result
View All Result
Home Vendor Technology

Melonport announces beta release of Oyente smart contracts analysis and verification tool

Published by CryptoNinjas.net
06/19/2017

Melonport AG in partnership with the Oyente development team today announced the first beta release of Oyente, an ope-source analysis and formal verification tool for Ethereum smart contracts. Oyente can be used for any Ethereum smart contracting language (Solidity, Serpent, LLL, etc.), and its current iteration also has many features specifically geared towards Melon protocol module developers.

Reto Trinkler, CTO and Chairman of Melonport stated:

“We are very pleased to see the development efforts of Oyente come to fruition. We believe analyzing disassembled opcodes from bytecode deployed to the blockchain and checking them against a set of properties is one of the most cost and time-effective ways to reason about smart contract security to date. For the Melon protocol, this translates to a great open-source tool to help ensure quality and security standards in Melon modules.”

Explaining more about the product, Oyente project’s Lead Developer Loi Luu said:

“I am very happy to see the results of our academic efforts getting used in practice to bring value to the Ethereum community. Oyente can be used to detect many common bugs found in smart contacts like reentrancy, transaction ordering dependence and so on. What’s more interesting is that Oyente’s design is modularized, so this allows advanced users to implement and plug in their own detection logic to check self-defined properties in their contracts. I look forward to seeing more contributions from the community to make Oyente even more powerful and useful.”

The Oyente project started as an academic paper released by the National University of Singapore Ph.D. student Luu and a group of his peers. After an initial open source release of Oyente covering 80% of EVM opcodes, funding unfortunately depleted, and the maintenance of the Oyente project was put on hold.

Following Melonport’s 2.5million CHF raise during a contribution period in February 2017, the Melonport team identified the potential of Oyente to greatly augment the Ethereum developer community’s ability to create safe and secure decentralized applications.

Specifically, the Melon protocol module ecosystem’s security and standardization can be greatly improved by the usage of the tool. After an additional six months of hard work by the Oyente and Melonport developer teams, Oyente now covers 100% of EVM opcodes and had a plethora of other useful tools in the works such as ERC20 support.

Mona El Isa, CEO of Melonport said:

“While formal verification is not a magical bullet for smart contract security, we’re very proud to be able to fund and share this open source symbolic execution tool with both our own module developers and the Ethereum community as a whole.”

Following this new release of Oyente, the developer team intends to continue adding new features to the tool, which may include functionality for the analysis of ERC20 and token contracts. For example, the team aims to detect if some function accidentally prints more tokens than expected in an ERC20 contract due to imprecise coding logic.

FacebookTwitterLinkedinRedditE-MailTelegram

Related Posts

Blockchain asset managment protocol Melon opening new use-case hackathon

Blockchain asset management protocol Melon opening new use-case hackathon

12/30/2019

Gorilla Funds aims to launch gateway for managing crypto funds on Melon

11/24/2019

DAO for blockchain asset protocol Melon now live on AragonOS

08/13/2019

Blockchain asset management protocol Melon launches bug bounty

03/11/2019

Blockchain asset project Melon will run its decentralized governance on Aragon

02/11/2019

Trademark dispute has crypto asset management project Melon renamed waterMelon

12/28/2018
Load More

Discussion about this post

Recent Updates

Blockchain supply chain solution SUKU releases social impact DeFi protocol

Crypto wallet Cobo adds support for Binance Smart Chain

Prediction market platform Omen to integrate crypto data oracles from API3

Mirror Protocol brings synthetic stock asset exposure to Binance Smart Chain

Crypto exchange Upbit shows over 100% user fund capitalization in audit report

Where to Exchange

Bit2MeLeading Spanish Bitcoin ExchangeVisit
BL3P
European Bitcoin ExchangeVisit
ChangellyExchange & Buy 150+ CryptocurrenciesVisit
itBitAmerica's First Regulated Bitcoin ExchangeVisit

Trending Views

Billions of dollars in bitcoin becomes available to creditors of Mt.Gox bitcoin exchange

Zilliqa tokenizes rare single-malt scotch whisky casks, now available to accredited investors

Crypto payment and wallet project TenX shuts down

GateHub launches Wallet Protect to cover up to $100K for XRP ledger wallets

Fenbushi Capital launches $15M+ investment fund for Filecoin and IPFS ecosystem

  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2021 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact

© 2021 CryptoNinjas Disclosures | Privacy Policy


Go to mobile version