verify_groth16_bn254

Fully qualified path: garaga::ec::pairing::groth16::verify_groth16_bn254

pub fn verify_groth16_bn254(
    verification_key: Groth16VerifyingKey<u288>,
    mut lines: Span<G2Line<u288>>,
    ic: Span<G1Point>,
    proof: Groth16Proof,
    public_inputs_msm_hint: Span<felt252>,
    mpcheck_hint: MPCheckHintBN254,
) -> Result<Span<u256>, felt252>