Veridise Inc.

Founded by elite researchers from the University of Texas at Austin, Veridise applies rigorous formal methods and proprietary program analysis tools to secure complex Web3 systems. They are industry leaders in Zero-Knowledge (ZK) circuit auditing and high-assurance security for infrastructure projects including zkVMs and Layer 2 rollups.