Crate circom_groth16_verifier 

Groth16 verifier contract for Circom proofs on Soroban using the native BN254 precompile.

Structs

CircomGroth16Verifier

Groth16 verifier for BN254/Circom proofs.

CircomGroth16VerifierArgs

CircomGroth16VerifierArgs is a type for building arg lists for functions defined in “CircomGroth16Verifier”.

CircomGroth16VerifierClient

CircomGroth16VerifierClient is a client for calling the contract defined in “CircomGroth16Verifier”.

Groth16Proof

Groth16 proof composed of points A, B, and C. G2 point B uses Soroban’s c1||c0 (imaginary||real) ordering.

VerificationKey

Groth16 verification key for BN254 curve.

VerificationKeyBytes

Groth16 verification key for BN254 curve (byte-oriented). All G2 points use Soroban’s c1||c0 (imaginary||real) ordering.

Enums

Groth16Error

Errors that can occur during Groth16 proof verification.