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

update results and desc

This commit is contained in:
M Alghazwi 2024-10-18 12:45:31 +02:00
parent e986e8ffb9
commit 0fcf280f6c
1 changed files with 23 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
codex-plonky2-circuits/README.md
View File

@ -15,6 +15,12 @@ This crate is an implementation of the [codex storage proofs circuits](https://g
- [`prove_single_cell`](./src/circuits/prove_single_cell.rs) is the Plonky2 Circuit implementation for proving a single cell in slot merkle tree. - [`prove_single_cell`](./src/circuits/prove_single_cell.rs) is the Plonky2 Circuit implementation for proving a single cell in slot merkle tree.
- [`sample_cells`](./src/circuits/sample_cells.rs) is the Plonky2 Circuit implementation for sampling cells in dataset merkle tree.
- [`params`](./src/circuits/params.rs) is the parameters used in the circuits.
- [`utils`](./src/circuits/utils.rs) contains helper functions.
## Usage ## Usage
TODO! TODO!
@ -28,32 +34,29 @@ To run the benchmarks for safe merkle tree circuit, you can use the following co
cargo bench --bench safe_circuit cargo bench --bench safe_circuit
``` ```
To run the benchmarks for proving cells circuit, you can use the following command: To run the benchmarks for proving cells circuit, you can use the following command:
Note: make sure to asjust the parameters as need in [`prove_single_cell`](./src/circuits/prove_single_cell.rs) Note: make sure to adjust the parameters as need in [`params`](./src/circuits/params.rs)
```bash ```bash
cargo bench --bench prove_cells cargo bench --bench prove_cells
``` ```
To run the benchmarks for sampling circuit, you can use the following command:
Note: make sure to adjust the parameters as need in [`params`](./src/circuits/params.rs)
```bash
cargo bench --bench sample_cells
```
### Results ### Results
Benchmark results for safe Merkle Tree depth 16 with and 5 samples Benchmark results for proving 10 cells (10 samples) in a Slot Merkle tree with max depth 16 with
the small tree (block tree) is of depth 5 so 32 cells in each block. Cell data size is 2048 bytes (256 field elements)
| Operation | Time (ms) | | Operation | Time (ms) |
|-----------|------------------| |-----------|-----------|
| **Build** | 19.353 ms | | **Build** | 34.4 ms |
| **Prove** | 29.699 ms | | **Prove** | 50.3 ms |
| **Verify**| 2.0137 ms | | **Verify**| 2.4 ms |
Circuit size: 2<sup>9</sup> gates Circuit size: 2<sup>10</sup> gates
Proof size: 103,372 bytes
Benchmark results for proving 5 cells in a Merkle tree with max depth 16 with and 5 samples Proof size: 116,008 bytes
Note: the small tree (block tree) is of depth 5 so 32 cells in each block
| Operation | Time (ms) |
|-----------|------------------|
| **Build** | 17.835 ms |
| **Prove** | 28.743 ms |
| **Verify**| 1.9792 ms |
Circuit size: 2<sup>9</sup> gates
Proof size: 103,372 bytes