A Recursive zk-based State Update System

Daniel Bloom; Sai Deng

Paper 2024/1402

A Recursive zk-based State Update System

Daniel Bloom

Sai Deng

Abstract

This paper introduces a ZKP (zero-knowledge proof) based state update system, where each block contains a SNARK proof aggregated from the user generated zkVM (zero knowledge virtual machine) proofs. It enables users to generate state update proofs in their local machines, contributing to a secure, decentralized verification process. Our main contribution in this paper, the recursive proofs system, addresses scalability by recursively verifying user proofs and aggregating them in a hierarchical tree structure up to a root proof, serving as a block proof. The proposed solution advances current blockchain paradigms by offering efficient recursive verification through ZKP, enhancing security and reducing computational load.

Metadata

Available format(s): PDF
Category: Implementation
Publication info: Preprint.
Keywords: zk recursion zk mapreduce
Contact author(s): daniel aaron bloom @ gmail com
dengsai @ gmail com
History: 2024-09-11: approved; 2024-09-07: received; See all versions
Short URL: https://ia.cr/2024/1402
License: CC BY

BibTeX

@misc{cryptoeprint:2024/1402,
      author = {Daniel Bloom and Sai Deng},
      title = {A Recursive zk-based State Update System},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/1402},
      year = {2024},
      url = {https://eprint.iacr.org/2024/1402}
}