Paper 2024/1993 Original: eprint.iacr.org/2024/1993 ↗
BOIL: Proof-Carrying Data from Accumulation of Correlated Holographic IOPs
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
- Preprint.
- History
- 2025-12-18: last updated
- 2024-12-09: published
- Short URL
- https://ia.cr/2024/1993
- License
- https://creativecommons.org/licenses/by/4.0/
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},
url = {https://eprint.iacr.org/2024/1993}
}