Subscribe to Our Newsletter
Tuesday May 17, 2022
Bitcoin (BTC) $30,419.00   Ether (ETH) $2,082.41
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Investment Management
    • M&A
    • Mining
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
No Result
View All Result
Swap USDT (TRC20) Instantly
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
Changelly
CryptoNinjas
Home Featured

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.

29
SHARES
FacebookTwitterLinkedinRedditE-MailTelegram

Related News

Blockchain asset management protocol Melon opening new use-case hackathon

12/30/2019
Blockchain asset managment protocol Melon opening new use-case hackathon

Melon, a blockchain asset management protocol, announced that with its open interface now available, it is calling on developer s to build on top of it, and will begin a hackathon starting mid-January 2020....

Read more

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

11/24/2019
Gorilla Funds aims to launch gateway for managing crypto funds on Melon

Gorilla Funds is a new project created and developed by Jakob Sievers, which aims to make investing and redeeming in Melon Funds as easy as possible. Melon is a blockchain asset management protocol. The...

Read more

DAO for blockchain asset protocol Melon now live on AragonOS

08/13/2019
DAO for blockchain asset protocol Melon now live on AragonOS

The Melon Council, the governance behind the Melon blockchain asset management protocol, today announced its DAO on AragonOS is now live. As announced back in February, the former Melonport company team had made plans for...

Read more

Blockchain asset management protocol Melon launches bug bounty

03/11/2019
Blockchain asset management protocol Melon launches bug bounty

Melonport, a blockchain asset management protocol has put up a 250,000 Swiss franc bounty on bugs found on the Melon protocol. The bug bounty is a process designed to reward members of the public...

Read more
Load More

Discussion about this post

Where to Exchange

Crypto services suite in Spanish Visit
European bitcoin exchange Visit
Swap & buy 150+ cryptocurrencies Visit
America's first regulated bitcoin exchange Visit
  • Trending
  • Latest
Hedera launchpad platform HederaStarter to launch its native token via IDO on May 19

Hedera launchpad platform HederaStarter to hold IDO May 19 to establish HSTART token

05/11/2022
Aussie crypto exchange CoinJar rolls our improved platform design

Aussie crypto exchange CoinJar rolls out improved platform design

05/10/2022
Blockchain analytics provider Nansen integrates and invests in DeFi data app APY.vision 

Blockchain analytics provider Nansen integrates and invests in DeFi data app APY.vision 

05/12/2022
Crypto platform Bitpanda introduces staking functionality on 11 cryptocurrencies

Crypto exchange Bitpanda introduces staking on 11 cryptocurrencies

05/10/2022
Jewel chooses ERC-3643 and Tokeny platform to issue stablecoins on Polygon

Jewel chooses ERC-3643 and Tokeny platform to issue stablecoins on Polygon

05/16/2022
COTI links with Cardashift to accelerate social & environmental projects using Djed stablecoin

COTI links with Cardashift to accelerate social & environmental projects using Djed stablecoin

05/16/2022
Blockchain infrastructure platform QuickNode acquires NFT analytics provider icy.tools

Blockchain infrastructure platform QuickNode acquires NFT analytics provider icy.tools

05/16/2022
Asia cypto margin trading app MoonXBT integrates XanPool's fiat gateway

Asia crypto margin trading app MoonXBT integrates XanPool’s fiat gateway

05/12/2022
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2022 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
No Result
View All Result

© 2016 - 2022 CryptoNinjas Disclosures | Privacy Policy

Go to mobile version