From interactive proofs to succinct non-interactive arguments.
Sigma protocols, Fiat-Shamir, special soundness.
R1CS, QAP, Groth16, trusted setup.
Arithmetization, permutation argument, custom gates.
Nova, Sangria, incremental verifiable computation.