https://www.youngju.dev/blog 천천히 올바르게. AI Researcher & DevOps Engineer Youngju's tech blog. GPU/CUDA, LLM, MLOps, Kubernetes AI workloads, distributed training, and data engineering. ko fjvbn2003@gmail.com (Youngju Kim) fjvbn2003@gmail.com (Youngju Kim) Sat, 16 May 2026 00:00:00 GMT https://www.youngju.dev/blog/culture/2026-05-16-zk-proof-tooling-2026-circom-noir-aztec-cairo-starknet-risc-zero-sp1-plonky3-halo2-deep-dive.en https://www.youngju.dev/blog/culture/2026-05-16-zk-proof-tooling-2026-circom-noir-aztec-cairo-starknet-risc-zero-sp1-plonky3-halo2-deep-dive.en 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 including Aztec, StarkNet, zkSync Era, Linea, Polygon zkEVM, Scroll, Taiko, and Mantle, privacy after Tornado Cash, identity tools like zkPassport and Anon Aadhaar, web2 bridges via zkTLS and zkEmail, EigenLayer and EigenDA, plus Korean and Japanese ZK projects — across 24 chapters. Sat, 16 May 2026 00:00:00 GMT fjvbn2003@gmail.com (Youngju Kim) zk-proofcircomnoirazteccairostarknetrisc-zerosp1plonky3halo2zksnarkzkstarkrollupenglish https://www.youngju.dev/blog/culture/2026-05-16-zk-proof-tooling-2026-circom-noir-aztec-cairo-starknet-risc-zero-sp1-plonky3-halo2-deep-dive.ja https://www.youngju.dev/blog/culture/2026-05-16-zk-proof-tooling-2026-circom-noir-aztec-cairo-starknet-risc-zero-sp1-plonky3-halo2-deep-dive.ja 2026年のゼロ知識証明(ZK)ツーリングを一気に俯瞰する。SNARKとSTARKの本質、Groth16からPLONK・HALO2・FRIまでの証明系、Circom・Noir・CairoなどのDSLとRisc Zero・SP1・Plonky3などのzkVM、Aztec・StarkNet・zkSync Era・Linea・Polygon zkEVM・Scroll・Taiko・Mantleといったロールアップ、Tornado Cash以後のプライバシーやzkPassport・Anon AadhaarのようなID、zkTLS・zkEmailによるweb2データのオンチェイン化、EigenLayer・EigenDA、韓国・日本のZKプロジェクトまで——24章で展開する。 Sat, 16 May 2026 00:00:00 GMT fjvbn2003@gmail.com (Youngju Kim) zk-proofcircomnoirazteccairostarknetrisc-zerosp1plonky3halo2zksnarkzkstarkrollup日本語 https://www.youngju.dev/blog/culture/2026-05-16-zk-proof-tooling-2026-circom-noir-aztec-cairo-starknet-risc-zero-sp1-plonky3-halo2-deep-dive https://www.youngju.dev/blog/culture/2026-05-16-zk-proof-tooling-2026-circom-noir-aztec-cairo-starknet-risc-zero-sp1-plonky3-halo2-deep-dive 2026년 제로지식증명(ZK) 툴링의 전 영역을 한 번에 본다. SNARK와 STARK의 본질, Groth16부터 PLONK·HALO2·FRI까지의 증명 시스템, Circom·Noir·Cairo 같은 DSL과 Risc Zero·SP1·Plonky3 같은 zkVM, Aztec·StarkNet·zkSync Era·Linea·Polygon zkEVM·Scroll·Taiko·Mantle 같은 롤업, Tornado Cash 이후의 프라이버시·zkPassport·Anon Aadhaar 같은 ID, zkTLS·zkEmail로 웹2 데이터를 온체인으로 가져오기, EigenLayer·EigenDA, 한국·일본의 ZK 프로젝트까지 — 24개 챕터로 펼친다. Sat, 16 May 2026 00:00:00 GMT fjvbn2003@gmail.com (Youngju Kim) zk-proofcircomnoirazteccairostarknetrisc-zerosp1plonky3halo2zksnarkzkstarkrollup