Nearly-linear size holographic proofs (1994)

by A Polishchuk, D A Spielman
Venue:In Proc. 26th ACM Symposium on the Theory of Computing