codex-storage
/
proof-aggregation
mirror of https://github.com/codex-storage/proof-aggregation.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Proof aggregation - WIP
36 Commits 1 Branch 0 Tags 108 MiB
Rust 99.2%
Shell 0.8%
Go to file
M Alghazwi 0e09c7549d add bench results 2024-11-14 13:23:34 +01:00
codex-plonky2-circuits fix benchmarks 2024-11-14 12:26:37 +01:00
plonky2_poseidon2 init 2024-10-07 10:36:11 +02:00
proof-input add non-circuit ceiling_log2 2024-11-14 12:46:18 +01:00
workflow add bench results 2024-11-14 13:23:34 +01:00
.gitignore init 2024-10-07 10:36:11 +02:00
LICENSE.md init 2024-10-07 10:36:11 +02:00
README.md fix benchmarks 2024-11-14 12:26:37 +01:00

README.md

Proof Aggregation

This repository contains all work related to proof aggregation (currently only local proof aggregation).

Repository organization

  • plonly2_poseidon2 is the crate for plonky2 which supports the poseidon2 hash function.

  • codex-plonky2-circuits contains the codex proof circuits tailored specifically for plonky2. These circuits have the functionality as those in here

  • proof-input contains the lib code to generate proof input for the circuit from fake dataset.

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

Documentation

To be added soon.

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