Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
The goal is to create a parallelized KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844) that supports multiple ECC (Elliptic-curve cryptography) backend libraries.
Backend ECC libraries
Support for multiple backend ECC libraries is implemented via Traits. Such an approach allows to easy change backend ECC libraries as all the crates shared the same interface (see benchmarks and tests). The current state of supported backend ECC libraries:
Backend ECC | FFT/DAS | EIP-4844 (non-parallel) | EIP-4844 (parallel) | c-kzg-4844 drop-in replacement |
---|---|---|---|---|
blst | ✔️ | ✔️ | ✔️ | ✔️ |
mcl | ✔️ | ✔️ | ✔️ | ❌ |
arkworks | ✔️ | ✔️ | ✔️ | ✔️ |
zkcrypto | ✔️ | ✔️ | ✔️ | ✔️ |
Drop-in replacement for c-kzg-4844
We aim to expose an identical C interface compared to c-kzg-4844 so that rust-kzg
could work as a drop-in replacement for c-kzg-4844. If you already use c-kzg-4844 bindings you can try faster paralellized rust-kzg
without any changes to your code-base by simply replacing the binary. Instructions for C#, Java, Nodejs, Python, Rust bindings are available here.
Example
The best place to look for examples is tests directory.
Currently, the ECC backend is set by pointing Cargo to the corresponding crate:
[dependencies]
kzg = { git = "https://github.com/sifraitech/rust-kzg.git", package = "rust-kzg-blst" }
kzg_traits = { git = "https://github.com/sifraitech/rust-kzg.git", package = "kzg" }
Benchmarks
Benchmarks run on every Github build. However, it's best to run them on a dedicated machine. Tautvydas rendered nice charts for results he got on cloud servers:
Blob to KZG commitment
Compute KZG proof
Verify KZG proof
Compute blob KZG proof
Verify blob KZG proof
Verify blob KZG proof batch
Fast Fourier transform (FFT)
Multi-scalar multiplication (MSM)
Authors
The project is mainly developed by a group of students at the Blockchain Technologies course led by Saulius Grigaitis. The project is heavily based on the go-kzg, c-kzg, and other libraries.