Your first ZK vulnerabilities: From ZeroKnowledge of ZK to OneKnowledge

By Carlos Alegre Urquizú in Security on Wed 18 March 2026

An introduction to ZK circuit security, exploring fundamental mental models for creating and thinking about ZK circuits. Learn about under-constrained variable vulnerabilities that appear in ZK code through a practical Circom example.

SP1 and zkVMs: A Security Auditor's Guide

By Kirk Baird in Security on Wed 24 September 2025

Practical security checklist and auditing guide for engineers reviewing SP1/RISC-V guest programs (also useful for Risc0). Covers input validation, 32-bit pitfalls, third-party dependency compatibility, overflow protection and verification key handling.