prove.hpp
Go to the documentation of this file.
47 typename ProofSystemType::proof_type prove(const typename ProofSystemType::proving_srs_type &srs,
boost::mpl::apply< AccumulatorSet, tag::pubkey< ProcessingMode > >::type::result_type pubkey(const AccumulatorSet &acc)
Definition: accumulators/pubkey.hpp:106
ProofSystemType::proof_type prove(const typename ProofSystemType::proving_key_type &pk, const typename ProofSystemType::primary_input_type &primary_input, const typename ProofSystemType::auxiliary_input_type &auxiliary_input)
Definition: prove.hpp:36
ProofSystemType::proof_type 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)
Definition: prove.hpp:59
Definition: pair.hpp:31