BOIL: Proof-Carrying Data from Accumulation of Correlated Holographic IOPs

Tohru Kohrita; Maksim Nikolaev; Javier Silva

Paper 2024/1993

BOIL: Proof-Carrying Data from Accumulation of Correlated Holographic IOPs

Tohru Kohrita, =nil; Foundation

Maksim Nikolaev, =nil; Foundation

Javier Silva, =nil; Foundation

Abstract

In this paper, we present a batching technique for oracles corresponding to codewords of a Reed–Solomon code. This protocol is inspired by the round function of the STIR protocol (CRYPTO 2024). Using this oracle batching protocol, we propose a construction of a practically efficient accumulation scheme, which we call BOIL. Our accumulation scheme can be initiated with an arbitrary correlated holographic IOP, leading to a new class of PCD constructions. The results of this paper were originally given as a presentation at zkSummit12.

Metadata

Available format(s): PDF
Category: Public-key cryptography
Publication info: Published elsewhere. Minor revision. INDOCRYPT 2025
DOI: 10.1007/978-3-032-13301-4_5
Keywords: split accumulation IVC PCD IOPP proof systems
Contact author(s): tohru kohrita @ gmail com
maksim n @ mailbox org
javier silva @ nil foundation
History: 2025-12-18: last of 2 revisions; 2024-12-09: received; See all versions
Short URL: https://ia.cr/2024/1993
License: CC BY

BibTeX

@misc{cryptoeprint:2024/1993,
      author = {Tohru Kohrita and Maksim Nikolaev and Javier Silva},
      title = {{BOIL}: Proof-Carrying Data from Accumulation of Correlated Holographic {IOPs}},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/1993},
      year = {2024},
      doi = {10.1007/978-3-032-13301-4_5},
      url = {https://eprint.iacr.org/2024/1993}
}