Details
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.
Fundraising
Significant Events
2022-12-01
Veridise raised $ 10 M in Pre-A round
2022-07-27
Veridise raised $ 4.7 M in Seed round
Similar Projects
Risk DAO
Research & Risk analysis for DeFi lending protocols
MixBytes
Blockchain solution advisory company
Stela Labs
Smart contract auditing and development firm
Certora
Smart contract security firm
OpenZeppelin
Crypto cybersecurity technology and services company
CertiK
Blockchain security company
Slowmist
Blockchain security company
Quantstamp
Blockchain security company