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.