Proof Aggregation

This repository contains all work related to the Codex storage proof system which supports proof aggregation (currently only local proof aggregation).

Quick Usage

see codex-storage-proofs-circuits to look at the circuits.

see proof-input to test the circuits.

see workflow for an overview of the whole workflow and how to use the circuits and run them.

Repository organization

• plonly2_poseidon2 is the poseidon2 hash function for Plonky2.

• codex-plonky2-circuits contains the Plonky2 codex storage proof circuits. These circuits have the functionality as those in here

• proof-input contains the code to generate proof input for the circuit from fake dataset + some tests for the circuits.

• gnark-wrapper contains a Go-based CLI for compiling, proving, and verifying Plonky2-wrapped circuits using our version of gnark-plonky2-verifier

• workflow contains the scripts and example code to generate input, run the circuits, generate a proof, and verify the proof.

Documentation

See the write-ups on plonky2 storage proofs.

WARNING: This repository contains work-in-progress prototypes, and has not received careful code review. It is NOT ready for production use.