zk/include/nil/crypto3/zk/snark/algorithms/verify.hpp File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	nil
	nil::crypto3
	nil::crypto3::zk
	nil::crypto3::zk::snark

Functions
template<typename ProofSystemType >
bool	nil::crypto3::zk::snark::verify (const typename ProofSystemType::processed_verification_key_type &pvk, const typename ProofSystemType::primary_input_type &primary_input, const typename ProofSystemType::proof_type &proof)
template<typename ProofSystemType >
bool	nil::crypto3::zk::snark::verify (const typename ProofSystemType::verification_key_type &vk, const typename ProofSystemType::primary_input_type &primary_input, const typename ProofSystemType::proof_type &proof)
template<typename ProofSystemType , typename DistributionType , typename GeneratorType , typename Hash , typename InputPrimaryInputRange , typename InputIterator >
bool	nil::crypto3::zk::snark::verify (const typename ProofSystemType::verification_srs_type &ip_verifier_srs, const typename ProofSystemType::verification_key_type &pvk, const InputPrimaryInputRange &public_inputs, const typename ProofSystemType::proof_type &proof, InputIterator transcript_include_first, InputIterator transcript_include_last)