Groth16, Intuitively
Summary
Groth16, Intuitively provides an intuition-level walkthrough of the Groth16 ZK-SNARK, including R1CS, QAP, the role of the CRS and trusted setup, and how pairings enable commitment multiplication. The post offers the LEGO analogy to illustrate how prover elements are constrained by the CRS, discusses separator factors and witness consistency, and touches on zero-knowledge aspects and public inputs. It combines theoretical exposition with diagrams and practical notes on efficiency and tradeoffs.