Learning

https://zk-learning.org/ 01/17 Introduction and History of ZKP Lecture Classical proofs: axioms -> derivations from axioms -> declare a theorem is true Proofs: a prover & a verifier (algorithms) Prover P:|w| = polynomial in |x|Claim string x (binary string)

https://github.com/LeastAuthority/moonmath-manual/releases/latest/download/main-moonmath.pdf

https://zkhack.dev/whiteboard/ 1. What is a SNARK? 2. Building a SNARK (Part I) Building a SNARK (Part II) SNARKs vs. STARKS PLONK and Custom Gates Lookup Arguments for Performance Optimisation