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 […]
The post London Fintech Firm Launches Formal Verification Platform for Blockchain-Based Smart Contracts appeared first on CCN: Financial Bitcoin & Cryptocurrency News.
No comments:
Post a Comment