Veridise

Veridise is an innovative blockchain security company, founded in 2021 by a team of world-class academics. The birthplace of Veridise is the UToPiA research group. Our co-founder and UT Austin professor, Isil Dillig, leads the UToPiA research group, which focuses on program analysis, verification, and synthesis—an area of Computer Science that has profound implications for software security. Veridise provides industry-leading blockchain security audits for all verticals of the Web3 ecosystem, including smart contracts, zero-knowledge circuits, blockchain implementations, and more. We have a track record of identifying critical vulnerabilities in protocols and projects that other security companies and auditors missed. So far, we’ve identified more than 100 high-severity vulnerabilities.