Veridise
Computer and Network SecurityTexas, United States11-50 Employees
Veridise is a blockchain security firm based in Austin, Texas, founded by a team of researchers. It specializes in auditing smart contracts and blockchain implementations, with notable experience addressing zero-knowledge-related security reviews. The firm has developed proprietary analysis and security tooling grounded in its work on automated program analysis, formal methods, and verification. Its client roster includes Manta Network, Succinct, Semaphore, Circom-lib, Scroll, and Ribbon Finance. In January 2025, Veridise began a security assessment for PotLock's GrantPicks protocol.