#proof #kzg #batch #offers #commitment #bn254 #rollup #validity #fraud #motivation

rust-kzg-bn254-verifier

This library offers a set of functions for verifying KZG commitments and proofs in bn254, with the motivation of supporting fraud and validity proof logic in EigenDA rollup integrations

5 releases

0.1.4 Nov 24, 2025
0.1.3 Nov 19, 2025
0.1.2 Apr 28, 2025
0.1.1 Apr 1, 2025
0.1.0 Jan 30, 2025

#13 in #motivation

Custom license

335KB
1K SLoC

rust-kzg-bn254-verifier

Docs Crate

This library offers verification functions, including batch verification, for KZG.

Warning & Disclaimer

This code is unaudited and under construction. This is experimental software and is provided on an "as is" and "as available" basis and may not work at all. It should not be used in production.

Dependencies

~6.5MB
~123K SLoC