Veridise

Veridise is a blockchain security company founded by a team of world-class researchers.

We specialize in auditing smart contracts and blockchain implementations and possess particular expertise in zero-knowledge-related audits.

We have also developed in-house program analysis and security tools, built using our cutting-edge research on automated program analysis, fuzzing, and formal verification.

We've earned the trust of clients such as the Manta Network, Succinct, Semaphore, Circom-lib, Scroll, and Ribbon Finance.