Melonport Announces Official Beta Release of Oyente Smart Contracts Analysis and Verification Tool Bitcoin Press Release: Blockchain powered asset management software, Melonport in partnership with Oyente announces the release of the smart contracts verification tool.June 19, 2017, Zug, Switzerland – Melonport AG in partnership with the Oyente development team is very proud to announce the beta release of Oyente, an open 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 states, “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.bitcoin message signatureOyente can be used to detect many common bugs found in smart contacts like reentrancy, transaction ordering dependence and so on.pavol luptak bitcoinWhat’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.bitcoin lost walletI 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 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 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.For more detailed information, please refer to our Oyente release blog post.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./ /melonport-blog/oyente-beta-release-announcement-dd573cac1dff Media Contact Contact Name: George Hallam Contact Email: Location: Zug, Switzerland Melonport is the source of this content.Virtual currency is not legal tender, is not backed by the government, and accounts and value balances are not subject to FDIC and other consumer protections.This press release is for informational purposes only.The information does not constitute investment advice or an offer to invest.About Bitcoin PR Buzz: Bitcoin PR Buzz has been proudly serving the PR and marketing needs of Bitcoin and digital currency tech start-ups for over 5 years.Get your own professional Bitcoin and digital currency Press Release.Click here for more information.Kraken, the leading cryptocurrency exchange and trading platform has added a new blockchain asset to its existing cryptocurrency offering.

The platform has announced the new development in its latest blog post.According to the blog, Kraken began supporting the trade of Melon (MLN) cryptocurrency as soon as it went live at 11 AM (UTC) on March 15, 2017.The release of Melon cryptotoken follows the recent successful crowdsale of MelonPort blockchain platform that successfully raised about $6.5 million.The MelonPort ICO concluded within 10 minutes of launch, hitting the target of 227,000 ETH.MelonPort is one of the latest blockchain based smart contract platforms.The open source MelonPort protocol is purpose-built for managing digital assets over Ethereum blockchain platform.The modular Melon protocol is not only transparent but also flexible to allow expansion.The platform aims to reduce the costs as well as the time required to manage assets.Kraken currently supports two MLN trading pairs — MLN/BTC and MLN/ETH.The exchange platform has also announced the possibility of including margin trading option for Melon cryptotokens in the near future.

The MelonPort community members who received the digital currency as a part of the crowdsale can deposit the Melon tokens in their Kraken account by generating a new MLN address.Once the tokens are deposited, users can visit the trading platform and start trading it against bitcoin and Ethereum.The MelonPort platform has set a maximum cap of 1.25 million MLN tokens out of which 599,400 tokens, including the 499,400 sold to the community and another 100,000 being used by the company are currently tradable.Eventually, rest of the tokens will become available in the market once the second round of ICO and the applicable moratorium on the 150,000 tokens assigned the founders expires.The competition in the blockchain applications and smart contracts sector is heating up.The emergence of many blockchain platforms has got developers striving to outperform each other.It will ultimately prove helpful when it comes to innovation.However, it will be a different story when it comes to widespread adoption as standardization of smart contracts protocols will take plenty of time.