Glossary
Subar ZKP: Zero Knowledge Proof.
MPC: Multi-Party Computation.
IOP: Interactive Proof of Oracle.
ZK-SNARK: Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.
ZK-STARK: Zero-Knowledge Scalable Transparent Argument of Knowledge.
ZKVM: Zero Knowledge Virtual Machine. Arithmetic intermediate representation.
A quick Reed-Solomon interactive oracle proof. A domain extension designed to eliminate FRI pretenders.
Last updated