verify_groth16_bls12_381

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

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