prove.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 , typename PublicKey , typename ScalarValue >
ProofSystemType::proof_type	nil::crypto3::zk::snark::prove (const typename ProofSystemType::proving_key_type &pk, const PublicKey &pubkey, const typename ProofSystemType::primary_input_type &primary_input, const typename ProofSystemType::auxiliary_input_type &auxiliary_input, const ScalarValue &r)
template<typename ProofSystemType >
ProofSystemType::proof_type	nil::crypto3::zk::snark::prove (const typename ProofSystemType::proving_key_type &pk, const typename ProofSystemType::primary_input_type &primary_input, const typename ProofSystemType::auxiliary_input_type &auxiliary_input)
template<typename ProofSystemType , typename Hash , typename InputTranscriptIncludeIterator , typename InputProofIterator >
ProofSystemType::proof_type	nil::crypto3::zk::snark::prove (const typename ProofSystemType::proving_srs_type &srs, InputTranscriptIncludeIterator transcript_include_first, InputTranscriptIncludeIterator transcript_include_last, InputProofIterator proofs_first, InputProofIterator proofs_last)