Builds the concepts behind commitments, circuits, witnesses, validity proofs, SNARKs, STARKs, trusted setups, and proof verification without exposing secret data.
