pub fn verify_with_ldt_disabled<V, S>(
        cs: ConstraintSystemRef<CF>,
        sponge: S::Var,
        proof: &BCSProofVar<MT, MTG, CF>,
        public_input: &V::PublicInputVar,
        verifier_parameter: &V::VerifierParameterVar,
        hash_params: &MTHashParametersVar<CF, MT, MTG>,
    ) -> Result<V::VerifierOutputVar, SynthesisError>
    where
        V: IOPVerifierWithGadget<S, CF>,
        S: SpongeWithGadget<CF>,
    {
        Self::verify::<V, NoLDT<CF>, S>(
            cs,
            sponge,
            proof,
            public_input,
            verifier_parameter,
            &None,
            hash_params,
        )
    }
/// Verify without LDT. If verifier tries to get a low-degree oracle, this
/// function will panic.
Verify without LDT. If verifier tries to get a low-degree oracle, this
function will panic.
Verify without LDT . If verifier tries to get a low - degree oracle this function will panic .
pub fn verify_with_ldt_disabled<V, S>(
        cs: ConstraintSystemRef<CF>,
        sponge: S::Var,
        proof: &BCSProofVar<MT, MTG, CF>,
        public_input: &V::PublicInputVar,
        verifier_parameter: &V::VerifierParameterVar,
        hash_params: &MTHashParametersVar<CF, MT, MTG>,
    ) -> Result<V::VerifierOutputVar, SynthesisError>
    where
        V: IOPVerifierWithGadget<S, CF>,
        S: SpongeWithGadget<CF>,
    {
        Self::verify::<V, NoLDT<CF>, S>(
            cs,
            sponge,
            proof,
            public_input,
            verifier_parameter,
            &None,
            hash_params,
        )
    }
pub fn verify_with_ldt_disabled < V , S > ( cs : ConstraintSystemRef < CF > , sponge : S :: Var , proof : & BCSProofVar < MT , MTG , CF > , public_input : & V :: PublicInputVar , verifier_parameter : & V :: VerifierParameterVar , hash_params : & MTHashParametersVar < CF , MT , MTG > , ) -> Result < V :: VerifierOutputVar , SynthesisError > where V : IOPVerifierWithGadget < S , CF > , S : SpongeWithGadget < CF > , { Self :: verify :: < V , NoLDT < CF > , S > ( cs , sponge , proof , public_input , verifier_parameter , & None , hash_params , ) }
Verify without LDT.
Verify without LDT .
cs
ConstraintSystemRef<CF>
sponge
S::Var
proof
&BCSProofVar<MT, MTG, CF>
public_input
&V::PublicInputVar
verifier_parameter
&V::VerifierParameterVar
hash_params
&MTHashParametersVar<CF, MT, MTG>
cs
ConstraintSystemRef<CF>
sponge
S::Var
proof
&BCSProofVar<MT, MTG, CF>
public_input
&V::PublicInputVar
verifier_parameter
&V::VerifierParameterVar
hash_params
&MTHashParametersVar<CF, MT, MTG>