5 releases

0.2.3 Aug 30, 2024
0.2.2 Aug 28, 2024
0.2.1 Aug 27, 2024
0.2.0 Aug 27, 2024
0.1.0 Jun 22, 2024

#257 in Math

Download history 5686/week @ 2024-08-02 8301/week @ 2024-08-09 6789/week @ 2024-08-16 8929/week @ 2024-08-23 6971/week @ 2024-08-30 6912/week @ 2024-09-06 4391/week @ 2024-09-13 4070/week @ 2024-09-20 3260/week @ 2024-09-27 4231/week @ 2024-10-04 3464/week @ 2024-10-11 4947/week @ 2024-10-18 7028/week @ 2024-10-25 4720/week @ 2024-11-01 4443/week @ 2024-11-08 4324/week @ 2024-11-15

21,753 downloads per month
Used in 4 crates (2 directly)

MIT license

9.5MB
2K SLoC

kzg-rs Rust

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

Dependencies

~3–4MB
~90K SLoC