Formal Land

They develop a solution to formally verify ink! smart contracts (using mathematical methods to check the code at 100%).