Cryptography insights shaped by real systems

Jul 15, 2026

Tutorial: Introduction to Formal Verification with Lean (Part 1)

Jul 15, 2026

Tutorial: Introduction to Formal Verification with Lean (Part 1)

Jun 30, 2026

How Noir circuits optimization works

Jun 30, 2026

How Noir circuits optimization works

Jun 1, 2026

Trace bug in Noir/Aztec with Claude

Jun 1, 2026

Trace bug in Noir/Aztec with Claude

May 20, 2026

How Ethereum plans to replace BLS with Post-Quantum signatures

May 20, 2026

How Ethereum plans to replace BLS with Post-Quantum signatures

Apr 30, 2026

A tutorial on building a merkle tree AIR script in Plonky3

Apr 30, 2026

A tutorial on building a merkle tree AIR script in Plonky3

Apr 1, 2026

Integrate zkTLS into your Aztec app in 15 minutes

Apr 1, 2026

Integrate zkTLS into your Aztec app in 15 minutes

Mar 31, 2026

Understanding the Ultrahonk Verifier

Mar 31, 2026

Understanding the Ultrahonk Verifier