OpenVM KZG

Quickstart

To run guest tests with OpenVM proving, run:

cargo test --release test_single_valid_verify_kzg -- --show-output
cargo test --release test_multiple_valid_verify_kzg -- --show-output
cargo test --release test_single_invalid_verify_kzg -- --show-output
# The following takes longer:
cargo test --release --ignored test_multiple_invalid_verify_kzg -- --show-output

Crates

openvm-kzg

This is a fork of kzg-rs that replaces verify_kzg_proof with an implementation using OpenVM intrinsic functions from the modular arithmetic, complex field extension, elliptic curve cryptography, and optimal Ate pairing VM extensions.

Test Crates

tests/programs/verify_kzg

Guest program for running verify_kzg_proof with inputs from the host.