ETHERLive delivers real-time price and volume data across 16+ exchanges to users in a clear and easy-to-understand package. Users can get up-to-the-second updates for each exchange/currency pair, as well as aggregated market averages for each exchange, currency, and the market as a whole. It also provides a global converted average of all the currency pairs monitored by ETHNews, converted to USD.


24hr ---

The Basics

Learn the basics of Ethereum and various cryptocurrency technologies

Learn More

What is Ethereum?

Understand the underlying principles of the Ethereum Platform

Learn More

The Blockchain

Discover the revolutionizing technology known as the blockchain

Learn More

Press Release

Submit a press release for consideration on ETHNews

Submit Press

Story / Dapp

Submit a story or DAPP to be considered for publication on ETHNews.

Submit Story


Submit "Ethereum Explainer" content for consideration to be featured on ETHNews

Submit Topic
ETHNews Logo
Ether Price Analysis
Contact Us

Aesthetic Integration Will Launch Imandra Contracts During Devcon2




Known for inspecting safety measures in financial markets, Aesthetic Integration brings their technology to analyze smart contracts by launching Imandra Contracts.

The London-based startup, Aesthetic Integration, is scheduled to demonstrate their new platform, Imandra Contracts.

Aesthetic Integration will launch what will be the world’s first verification platform for smart contracts at Devcon2. Known for using their verification technology in the financial markets, they will use the same technology to examine certain safety measures within smart contracts. The cloud-based platform will prepare others on the abilities of smart contracts as well their their risks. By integrating artificial intelligence, computer science, and mathematics, the technology is able to analyze these risks and repair them before they take effect.

Aesthetic Integration is set to introduce Imandra Contracts Sept. 20 at 10:45 am CST (China Standard Time) in Shanghai.

Read the full press release below:

Aesthetic Integration launches the world’s first formal verification platform for Smart Contracts

Shanghai, 00:01 CT (GMT+8) 20 September 2016 – Aesthetic Integration, a London-based fintech startup which applies formal verification to analyse safety and fairness of algorithms in financial markets, is today announcing at Devcon2, the launch of Imandra Contracts, the world’s first platform using this technique for blockchain-backed smart contracts.

The new cloud-based platform will be used initially by Ethereum, a decentralised blockchain app platform that runs smart contracts. Aesthetic Integration will be showcasing the platform to media, software developers and businesses attending the Devcon2 conference as part of International Blockchain Week, in Shanghai on Tuesday, 20 [September] at 10:45am CT.

Imandra Contracts uses recent advances in artificial intelligence, computer science and mathematics to bring unprecedented rigour to the electronic financial markets and other industries, by providing improved transparency to the development and regulation of smart contracts. The platform will help users to understand what a smart contract does, why it does it, and what the potential risks are; thereby enabling them to identify and fix anomalies in the financial algorithms and to protect businesses and markets against negative impacts before they can take effect. The platform also enables users to review contract designs and algorithms, including those hosted on third-party and decentralised smart contract platforms and apps, such as Ethereum, to ensure that they meet the agreed specifications; do not include any unwanted bugs and glitches; and are complaint to relevant industry regulations.

“The security breach faced by The DAO (Distributed Autonomous Organisation), which used the Ethereum Blockchain, highlights the urgent need for a more rigorous analysis of smart contracts in financial services,” said Dr Grant Passmore, co-founder and co-chief executive of Aesthetic Integration. “The lesson of The DAO is clear: Smart contract development must be approached rigorously with engineering discipline, more akin to building a safety-critical control algorithm than building a web app. Other safety-critical industries such as avionics and hardware manufacturing already rely on formal verification to make their algorithms safe. As our mainstream engagement with Blockchain increases, so too does the need for safety protocols to vet the algorithms being created.”

Aesthetic Integration’s other formal verification solutions are Imandra Markets and Imandra Venues. Imandra Markets is a cloud-based ecosystem for client-facing algorithm specifications that simplifies the process of designing, testing and compliance for trading systems. Imandra Venues analyses regulatory properties of trading venues, setting a new standard for transparency and stability of exchanges and dark pools following the recent increase in fines and glitches, which have highlighted the costly nature of unknown mistakes in algorithmic designs.

Aesthetic Integration will be launching a pre-sale of discounted access to Imandra Contracts, giving early adopters access to the platform from the first week of October. Users will be able to review and analyze smart contracts designs remotely from a range of mobile devices.

--- ENDS ---

About Aesthetic Integration

Aesthetic Integration Ltd. is a financial technology startup based in the City of London. Created by leading innovators in software safety, trading system design and risk management, Aesthetic Integration’s patent-pending formal verification technology is revolutionising the safety, stability and transparency of global financial markets.

In late 2015, Aesthetic Integration won the UBS Future of Finance Challenge, coming in 1st out of 620 companies from 52 countries. Aesthetic Integration also won a Futures Industry Association Innovator Award at the FIA Expo 2015 in Chicago and is nominated for the Capital Markets’ Startup of the Year category in Financial News’ Trading and Technology Awards 2016.

Danielle Meegan

New Hampshire native Danielle Meegan is a writer based in Los Angeles. She has been published in a couple of sports and entertainment magazines and newspapers throughout the years and has dabbled with multiple virtual currency exchanges to understand the 'ins and outs' of trading. Danielle has invested in over 15 different virtual currencies, including Ether.

ETHNews is committed to its Editorial Policy

Like what you read? Follow us on Twitter @ETHNews_ to receive the latest Smart Contracts, Aesthetic Integration or other Ethereum application news.