[Resource Topic] 2024/1993: BOIL: Proof-Carrying Data from Accumulation of Correlated Holographic IOPs

Welcome to the resource topic for 2024/1993

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

Authors: Tohru Kohrita, Maksim Nikolaev, Javier Silva

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.

ePrint: https://eprint.iacr.org/2024/1993

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .