what's Veridise?
Veridise is a blockchain security firm specializing in auditing smart contracts, zero-knowledge proofs, and other cryptographic protocols to ensure the safety of decentralized applications and infrastructure. The company provides comprehensive security assessments, including formal verification and vulnerability research, trusted by leading projects in the Web3 ecosystem. Their services help prevent exploits by identifying issues in code before deployment, covering areas like DeFi protocols, layer-2 solutions, and privacy technologies.
New partnership launches to conduct formal verification of SP1 zkVM, with initial circuit verifications completed and full coverage expected in coming months.
Links
x.com/veridiseincCSO Benjamin Sepanski presented at EthereumDenver on security topics including audits, bug bounties, and incentive structures.
Sponsors EthCC[9] conference at Palais des Festivals in Cannes, presenting to 6,500+ builders, founders, and investors.
New partnership launches to conduct formal verification of SP1 zkVM, with initial circuit verifications completed and full coverage expected in coming months.