Pinocchio and the Procedural Era: How the First Practical SNARKs Were Built — Article 1 of the ZKP…

Before 2013, zero-knowledge proofs existed in theory. Goldwasser, Micali, and Rackoff had proven they were possible back in 1985. But…