INNER CODE UNIT · Rust

verify

arkworks-rs/groth16 · src/constraints.rs:295

    fn verify(
        circuit_vk: &Self::VerifyingKeyVar,
        x: &Self::InputVar,
        proof: &Self::ProofVar,
    ) -> Result<Boolean<BasePrimeField<E>>, SynthesisError> {
        let pvk = circuit_vk.prepare()?;
        Self::verify_with_processed_vk(&pvk, x, proof)
    }
}

impl<E, P, QAP: R1CSToQAP>
    CircuitSpecificSetupSNARKGadget<E::ScalarField, BasePrimeField<E>, Groth16<E, QAP>>
    for Groth16VerifierGadget<E, P, QAP>
where
    E: Pairing,
    P: PairingVar<E>,
    QAP: R1CSToQAP,
{

View source record →