After learning a thing or two by implementing large-scale blockchain systems for capital markets (e.g. with the DTCC and its member banks), Axoni is making available a new programming language that enables formal verification and heightened security for smart contracts on Ethereum compatable networks.  The technology could help prevent hacks that have plagued the crypto universe for years.