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

One-Shot Native Proofs of Non-Native Operations in Incrementally Verifiable Computations. - Tohru Kohrita; Patrick Towa; Zachary J. Williamson (IACR Cryptol. ePrint Arch., 2024)

Zeromorph: Zero-Knowledge Multilinear-Evaluation Proofs from Homomorphic Univariate Commitments. - Tohru Kohrita; Patrick Towa (J. Cryptol., 2024)