gnark-verifier-solana
| Crates.io | gnark-verifier-solana |
| lib.rs | gnark-verifier-solana |
| version | 1.0.2 |
| created_at | 2025-12-08 10:12:44.097928+00 |
| updated_at | 2025-12-08 13:00:01.007333+00 |
| description | A library to verify Gnark proofs on solana |
| homepage | |
| repository | https://github.com/reilabs/sunspot/tree/main/gnark-solana/crates/verifier-lib |
| max_upload_size | |
| id | 1973203 |
| size | 103,957 |
Matthew Klein (matthew-a-klein)
documentation
README
Gnark Verifier Lib
This crate provides utilities for verifying Gnark proofs on Solana.
The verifier expects all constructs. i.e verification keys, proofs and public witnesses to be serialized in raw, non-compressed, format. This lowers on-chain compute costs by skipping the decompression overhead.
Use the vk file to generate a compile-time constant verification key for your verifier.
Verifier costs 175,125 compute units to invoke without any commitments and 471486 to invoke with 1 commitment.