Learn

Practical guides on circuit security, proving-system selection, trusted setups, and audit readiness.

2026-07-01

Auditing Circom Circuits: A Practical Walkthrough

A step-by-step workflow for auditing circom circuits: scoping, constraint review, tooling passes, witness fuzzing, and how to report findings that engineers can act on.

2026-07-01

Choosing a Proving System: Security Trade-offs

Groth16, PLONK, STARKs, and zkVMs compared through a security lens: trusted setup risk, cryptographic assumptions, tooling maturity, and who can actually audit your stack.

2026-07-01

Trusted Setup Ceremonies: Risks and Mitigations

What toxic waste actually is, how powers-of-tau and phase-2 ceremonies work, what history teaches about setup risk, and what integrating teams must verify before trusting someone else's parameters.

2026-07-01

ZK Bug Classes: Under-Constrained Circuits

Why under-constrained circuits are the dominant bug class in zero-knowledge systems, how attackers exploit them with forged proofs, and how to detect them before they ship.

2026-07-01

The ZK Security Checklist for Teams

An actionable, end-to-end security checklist for teams shipping zero-knowledge systems: circuit development, tooling, setup handling, verifier integration, operations, audit readiness, and incident response.