Succinct ¶
Meaning that the proofs are short
The proof size and verification time are less than linear in the input size or even constant
Meaning that the proofs are short
The proof size and verification time are less than linear in the input size or even constant