Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field

Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu. Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field. IACR Cryptology ePrint Archive, 2022:1056, 2022. [doi]

Abstract

Abstract is missing.