Universal zk-SNARKs Achieve Linear Circuit Size Eliminating Per-Program Setup
MIRAGE introduces a linear-size universal circuit to eliminate the per-computation trusted setup, unlocking practical, general-purpose verifiable computation.
