pub fn verify_with_dummy_ldt<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>,
        ldt_codeword_domain: Radix2CosetDomain<CF>,
        ldt_codeword_localization_parameter: usize,
    ) -> 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,
            &Some((ldt_codeword_domain, ldt_codeword_localization_parameter)),
            hash_params,
        )
    }
/// Verify without LDT.
///
/// ** Warning **: If verifier tries to get an low-degree oracle, no LDT
/// will be automatically performed.
Verify without LDT.
Warning **: If verifier tries to get an low-degree oracle, no LDT
will be automatically performed.
Verify without LDT . Warning ** : If verifier tries to get an low - degree oracle no LDT will be automatically performed .
pub fn verify_with_dummy_ldt<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>,
        ldt_codeword_domain: Radix2CosetDomain<CF>,
        ldt_codeword_localization_parameter: usize,
    ) -> 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,
            &Some((ldt_codeword_domain, ldt_codeword_localization_parameter)),
            hash_params,
        )
    }
pub fn verify_with_dummy_ldt < 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 > , ldt_codeword_domain : Radix2CosetDomain < CF > , ldt_codeword_localization_parameter : usize , ) -> 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 , & Some ( ( ldt_codeword_domain , ldt_codeword_localization_parameter ) ) , 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>
ldt_codeword_domain
Radix2CosetDomain<CF>
ldt_codeword_localization_parameter
usize
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>
ldt_codeword_domain
Radix2CosetDomain<CF>
ldt_codeword_localization_parameter
usize