BOIL: Proof-Carrying Data from Accumulation of Correlated Holographic IOPs. - Tohru Kohrita; Maksim Nikolaev; Javier Silva 005 (IACR Cryptol. ePrint Arch., 2024)