/Blockchain
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.