/// 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>(
        sponge: S,
        proof: &BCSProof<MT, F>,
        public_input: &V::PublicInput,
        verifier_parameter: &V::VerifierParameter,
        hash_params: MTHashParameters<MT>,
    ) -> Result<V::VerifierOutput, Error>
    where
        V: IOPVerifier<S, F>,
        S: CryptographicSponge,
    {
        Self::verify::<V, NoLDT<_>, S>(
            sponge,
            proof,
            public_input,
            verifier_parameter,
            &None,
            hash_params,
        )
    }
pub fn verify_with_ldt_disabled < V , S > ( sponge : S , proof : & BCSProof < MT , F > , public_input : & V :: PublicInput , verifier_parameter : & V :: VerifierParameter , hash_params : MTHashParameters < MT > , ) -> Result < V :: VerifierOutput , Error > where V : IOPVerifier < S , F > , S : CryptographicSponge , { Self :: verify :: < V , NoLDT < _ > , S > ( sponge , proof , public_input , verifier_parameter , & None , 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>