Function halo2_base::utils::testing::check_proof

source · [−]
pub fn check_proof(
    params: &ParamsKZG<Bn256>,
    vk: &VerifyingKey<G1Affine>,
    proof: &[u8],
    expect_satisfied: bool
)
Expand description

helper function to verify a proof