🤝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.