London Fintech Firm Launches Formal Verification Platform for Blockchain-Based Smart Contracts
Aesthetic Integration, a London-based fintech that applies “formal verification” to analyze safety and fairness of algorithms in financial markets, recently announced the launch of Imandra Contracts, a solution the company calls the world’s first platform using formal verification for blockchain-backed smart contracts. The announcement was made at the Devcon2 conference as part of International Blockchain Week in Shanghai. Imandra Contracts applies advances in artificial intelligence, mathematics and computer science to bring improved rigor to the electronic financial markets and other....
Related News
By raising $1 million in seed funding, blockchain startup RSK Labs will develop Rootstock, a smart contracts platform that will be deployed as a sidechain on the bitcoin blockchain. In a funding round led by bitcoin mining hardware company Bitmain Technology, RSK Labs has raised $1 million in a successful initial seeding round to develop Rootstock – a smart contracts platform secured by the bitcoin blockchain. The funding round was supported by London-based blockchain investment firm Coinsilium and New York-based bitcoin- and blockchain-investor Digital Currency Group. The first of its....
There's a new blockchain buzzword arriving in time for fall – formal verification. The phrase (used to describe the application of mathematics to verify software programs) has so far been evoked sparsely in the press. But if conversation at ethereum's developer summit last week was any indication, it could play an increasing role given the security questions that still surround smart contracts and blockchains more broadly. As evidenced by multiple talks dedicated to the subject at Devcon2, the idea that new assurances could be given to ethereum coders is being widely embraced by its....
A London law firm has announced plans to digitise its legal agreements using blockchain technology. In partnership with Stash, a Texan startup formed earlier this year, Selachii will swap its paper documents for self-executing 'smart contracts' run on a layer above bitcoin's blockchain. Selachii partner Richard Howlett told CoinDesk his firm, which has been researching various blockchain solutions since 2013, will start out with contracts such as wills, title registries and shareholder agreements. He said: "We envisage smart contracts being revolutionary in ... litigation across the world.....
Ethereum’s community is standing up to the challenge of securing smart contracts by taking steps to implement the lessons learned from the DAO. Microsoft Research, Harvard University and Inra, a French national research institute that employs 2700 computer science researchers from the “world’s most prestigious universities”, have published a highly technical paper [PDF] on the formal verification of smart contracts. The paper presents a framework to analyze and formally verify Ethereum smart contracts using F*, a “functional programming language aimed at program verification.” The initial....
Silicon Valley-based NFX Guild has announced a partnership with Synereo to develop an ecosystem of decentralized applications on top of Synereo’s blockchain 2.0 platform. A ‘Superior Platform’ for Decentralized Apps. Synereo’s blockchain 2.0 platform is a blockchain-based technology stack. According to its developers, Synereo enables applications, sites....