Skip to content

melon πŸ‰πŸˆ: A POC for a DAS node using KZG. Complements poptart 🍭.

Notifications You must be signed in to change notification settings

retrieval-markets-lab/melon

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

10 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation


πŸ‰πŸˆ

Melon


Repo for KZG verification in Solidity and KZG proof generation in Rust.

Usage

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

Current Results

Here we present the latest results for benchmarks run within the two sub-directories.

Contract gas costs

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

Generating KZG Commitments in Rust

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

About

melon πŸ‰πŸˆ: A POC for a DAS node using KZG. Complements poptart 🍭.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published