/// 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>(
        sponge: S,
        proof: &BCSProof<MT, F>,
        public_input: &V::PublicInput,
        verifier_parameter: &V::VerifierParameter,
        hash_params: MTHashParameters<MT>,
        ldt_codeword_domain: Radix2CosetDomain<F>,
        ldt_codeword_localization_parameter: usize,
    ) -> Result<V::VerifierOutput, Error>
    where
        V: IOPVerifier<S, F>,
        S: CryptographicSponge,
    {
        Self::verify::<V, NoLDT<_>, S>(
            sponge,
            proof,
            public_input,
            verifier_parameter,
            &Some((ldt_codeword_domain, ldt_codeword_localization_parameter)),
            hash_params,
        )
    }
pub fn verify_with_dummy_ldt < V , S > ( sponge : S , proof : & BCSProof < MT , F > , public_input : & V :: PublicInput , verifier_parameter : & V :: VerifierParameter , hash_params : MTHashParameters < MT > , ldt_codeword_domain : Radix2CosetDomain < F > , ldt_codeword_localization_parameter : usize , ) -> Result < V :: VerifierOutput , Error > where V : IOPVerifier < S , F > , S : CryptographicSponge , { Self :: verify :: < V , NoLDT < _ > , S > ( sponge , proof , public_input , verifier_parameter , & Some ( ( ldt_codeword_domain , ldt_codeword_localization_parameter ) ) , hash_params , ) }
Verify without LDT.
Verify without LDT .
sponge
S
proof
&BCSProof<MT, F>
public_input
&V::PublicInput
verifier_parameter
&V::VerifierParameter
hash_params
MTHashParameters<MT>
ldt_codeword_domain
Radix2CosetDomain<F>
ldt_codeword_localization_parameter
usize