Quasi-optimal SNARGs via linear multi-prover interactive proofs
Succinct non-interactive arguments (SNARGs)
scientific article; zbMATH DE number 6904614