Repo for KZG verification in Solidity and KZG proof generation in Rust.
All smart contract code (solidity), fuzzing tests, and unit tests can be found in contracts.
To interact with these contracts, enter the directory and ensure foundry is correctly installed. Once installed run forge test --gas-report to collect gas consumption stats for the on-chain KZG verification and proof generation stats !
The node directory implements a set of naive methods for lagrange interpolation on data and KZG commitments using rust.
Run cargo bench to generate measurements.
Future work will create utilities within the rust crate for:
- issuing KZG proofs against a deployed version of the contracts in
contracts
Here we present the latest results for benchmarks run within the two sub-directories.
Stats on the gas costs for functions on the src/KZGVerifier.sol:Verifier contract (over 500 calls).
| src/KZGVerifier.sol:Verifier contract | |||||
|---|---|---|---|---|---|
| Deployment Cost | Deployment Size | ||||
| 7160083 | 15328 | ||||
| Function Name | min | avg | median | max | # calls |
| commit | 8753 | 388326 | 203131 | 1276560 | 24 |
| evalPolyAt | 1436 | 14218 | 8323 | 40909 | 16 |
| proofPoly | 4206 | 57702 | 36668 | 190353 | 8 |
| submod | 623 | 655 | 623 | 699 | 7 |
| verify | 134374 | 139374 | 134374 | 154374 | 8 |
Stats on the execution times for interpolating data, generating commitments from the interpolated polynomial, and generating KZG proofs (average of 100 samples).
- Machine: M1 Pro, 32GB RAM
| (num coeffs) ---> | 16 | 128 | 512 | 2048 | 5096 |
|---|---|---|---|---|---|
| commit | 326.87 µs | 460.30 µs | 694.36 µs | 1.8086 ms | 5.0649 ms |
| create_witness | 700.88 µs | 624.53 µs | 2.2374 ms | 4.5927 ms | 13.984 ms |
| interpolation | 103.83 µs | 1.6751 ms | 14.935 ms | 149.59 ms | 709.13 ms |