kzg-rs
| Crates.io | kzg-rs |
| lib.rs | kzg-rs |
| version | 0.2.3 |
| source | src |
| created_at | 2024-06-22 21:55:45.895584 |
| updated_at | 2024-08-30 01:43:06.488488 |
| description | Rust implementation of KZG point evaluation |
| homepage | |
| repository | https://github.com/succinctlabs/kzg-rs |
| max_upload_size | |
| id | 1280726 |
| size | 43,053,364 |
Bhargav Annem (0xWOLAND)
documentation
README
kzg-rs 
An endpoint for verify_kzg_proof in c-kzg-4844 using bls12_381. Passes all of the verify_kzg_proof tests in c-kzg-4844/verify_kzg_proof.
Cycle Counts in SP1
| Test | Cycle Count |
|---|---|
| Verify blob KZG proof | 27,166,173 |
| Verify blob KZG proof batch (10 blobs) | 196,571,578 |
| Evaluate polynomial in evaluation form | 59,370,556 |
| Compute challenge | 57,341,532 |
| Verify KZG proof | 9,390,640 |
This crate has been used in a fork of SP1's patch of revm, which passes all tests. kzg-rs is based on this slightly modified fork of bls12_381. This crate works in [no_std] mode.
Usage
cargo add kzg-rs
Or add
kzg-rs = { version = "0.2.3" }
You can rebuild roots_of_unity.bin, g1.bin, and g2.bin by running
cargo build