Missed @KFerles’s @EthCC talk, “zkVM determinism that lasts: From audits to continuous verification”? Watch the full presentation here, we had a packed room!
How do we keep ZK circuits rock-solid and deterministic during audits? Our co-founder @IsilDillig shares insights on combining static analysis and SMT solvers in our ZK tools.
Under-constrained circuits are the most common source of ZK circuit vulnerabilities. What does this really mean in technical terms? @IsilDillig shares.
What happens if your ZK circuit has a bug? What does an incorrect ZK circuit even mean? Our co-founder @IsilDillig explores these critical questions from a formal methods perspective at the @a16zcrypto event.
Get a quick 3-minute introduction to ZK proofs, the tech stack, and general workflow. Our co-founder @IsilDillig breaks it down at the @a16zcrypto event.
Zero-knowledge virtual machines (zkVMs) are changing how we build provable apps. They let devs write programs in familiar languages—then prove correctness without re-executing them.
Tyler, our security analyst, wrote up a great explainer to kick off our zkVM Security Series 🧵
Discover Olivier's @zk_evm insights, as he shares his experience working with Veridise on the security audit of Linea's ZK-VM. Olivier works as Arithmetization Lead at @LineaBuild.