Research-driven blockchain, zero-knowledge and formal-methods security audits.
Estimated regulated-industry mix
Veridise audits smart contracts, DeFi protocols, blockchains, zero-knowledge circuits, zkVMs, bridges, wallets and application infrastructure using manual review, formal methods, fuzzing and proprietary security tools. The company is headquartered in Austin, Texas, United States. Its team brings together expertise in Smart Contract Audits, DeFi Audits, Zero-Knowledge Audits, zkVM Audits, Blockchain Audits, and Bridge Audits to support clients through structuring, licensing, implementation, compliance, and ongoing administration.
Co-founded Veridise and leads its research-driven security and formal-methods strategy.
Co-founded Veridise and leads commercial growth and company operations.
Leads security tooling, engineering and technical research delivery.
Leads formal-methods and blockchain-security research.
Leads smart-contract security reviews and audit methodology.
Leads cryptography and zero-knowledge security work.
No binding public price was located.
Manual, automated and formal analysis of smart-contract systems.
No binding public price was located.
Pricing may vary by scope, market, media spend, and third-party costs. Data was sourced from public materials or confirmed by the vendor.
RISC Zero required a deep review of a complex zero-knowledge virtual machine and its implementation.
The completed audit represents ninety-six person-weeks of specialist zero-knowledge security work.
The Mina NFT standard required an independent review of its token and application logic.
The engagement required six person-weeks of analyst effort.
Mina required a focused review of its fungible-token standard and associated implementation.
The engagement required two person-weeks of engineering effort.
Skip the broad vendor search. CobraSight connects you with proven providers who understand your industry, goals, and regulatory environment.
If you're not seeing exactly what you need here, send this company a custom message about your project needs, budget, and timeline.
