zkcg-verifier

Rust verifier for proofs generated by the ZKCG system.

Verification is lightweight and can be integrated into applications that need to validate off-chain computations.

Installation

cargo add zkcg-verifier

Example

use zkcg_verifier::verify;

let result = verify(&proof_bytes)?;
println!("Proof valid: {}", result);

Features

Halo2 proof verification

zkVM verification support

example integrations

Repository

https://github.com/MRSKYWAY/ZKCG