
@Veridise
*If it’s not clickable, it means no detailed information is available.








Veridise is a blockchain security company that provides audits and software analysis tools for all layers of the blockchain ecosystem, including smart contracts, web3 applications, zero-knowledge circuits, and blockchain implementations. Co-founded by a team of formal verification and software security researchers, Veridise offers state-of-the-art tooling for hardening blockchain security. It also provides a comprehensive and user-friendly toolchain for automatically auditing smart contract security and correctness.

Co-Founder&CEO

Co-Founder & President

Chief Security Officer

CTO

VP of Product

Head of Marketing

















