ZKP Notes Basic Field and Group Vector Commitment and Polynomial Commitment Schwartz-Zippel Lemma Fiat-Shamir Transformation Commitment Pederson KZG IPA FRI Signature Schnorr ECDSA ZKP Pinocchio Groth16 Plonk