Tag: #zk-proof
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 1 posts
Zero-Knowledge Proof Tooling 2026 Deep Dive - Circom, Noir, Aztec, Cairo, StarkNet, Risc Zero, SP1, Plonky3, Halo2 ♪ Listenable
A complete 2026 survey of zero-knowledge proof tooling. SNARK vs STARK fundamentals, proof systems from Groth16 to PLONK, HALO2, and FRI, DSLs like Circom, Noir, and Cairo, zkVMs like Risc Zero, SP1, and Plonky3, rollups
2026-05-16 · 23 min read #zk-proof#circom#noir#aztec#cairo