ChainSecurity brings the first formal audit platform for smart contracts. Based on Swiss technology from the ICE center [http://ice.ethz.ch ], ETH Zurich.
No funding rounds tracked yet.
A profile says who they are. Ask what it means: market size, ARR estimated from headcount, number of competitors, and implied runway and burn. Answered with sources.