Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu: Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field. IACR Cryptol. ePrint Arch. 2022: 1056 (2022)