Install the verification key. Callable once.
fn initialize(
env: soroban_sdk::Env,
vk: VerificationKey,
) -> Result<(), soroban_sdk::Error>Verify a Groth16 proof.
proof — A || B || C = 384 bytes (uncompressed BLS12-381 points).public_inputs — vector of 32-byte big-endian scalars; its length must
equal vk.ic.len() - 1.Returns true when the proof satisfies the verification equation.
fn verify_proof(
env: soroban_sdk::Env,
proof: soroban_sdk::Bytes,
public_inputs: soroban_sdk::Vec,
) -> Result Return the installed verification key.
fn verification_key(
env: soroban_sdk::Env,
) -> Result