An introduction to the mathematics and engineering of Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (ZK-SNARKs). Students learn to design basic circuits and understand the prover-verifier relationship.

Similar Lessons