Veridise advancing ZK security: Two new publications presented at CAV 2025 conference
Veridise at CAV 2025: Advancing the science of zero-knowledge verification
We’re excited to announce that Veridise researchers had two papers accepted at CAV 2025 (Computer Aided Verification), one of the most prestigious conferences on formal methods. This marks an important milestone in our mission: strengthening the foundations of zero-knowledge (ZK) systems through cutting-edge research.
Why it matters
Zero-knowledge proofs are rapidly becoming the backbone of privacy-preserving and scalable blockchain systems. But building trustworthy ZK circuits is no easy task: small design errors can, and often do, lead to critical security vulnerabilities.
At Veridise, we believe rigorous, scalable verification is the key to securing this new frontier. That’s why our research team continues to push the boundaries of what’s possible.
Research highlights
🔹 Zequal: Verifying consistency in circuit templates
[Read in the full blog post]
🔹 Multimod: reasoning across multiple arithmetic domains
[Read in the full blog post]
Full blog post available on our new Veridise blog
We’ve recently moved our main blog to the Veridise website!
You can continue reading the rest of the blog post here:
Author: Işil Dillig, President & Co-founder at Veridise
Want to learn more about Veridise?
Twitter | LinkedIn | Github | Request Audit
