r1cs_se_ppzksnark/prover.hpp
Go to the documentation of this file.
Definition: proving_key.hpp:37
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:41
Definition: r1cs_se_ppzksnark/prover.hpp:55
policy_type::proving_key_type proving_key_type
Definition: r1cs_se_ppzksnark/prover.hpp:63
policy_type::auxiliary_input_type auxiliary_input_type
Definition: r1cs_se_ppzksnark/prover.hpp:61
policy_type::verification_key_type verification_key_type
Definition: r1cs_se_ppzksnark/prover.hpp:64
policy_type::processed_verification_key_type processed_verification_key_type
Definition: r1cs_se_ppzksnark/prover.hpp:65
static proof_type process(const proving_key_type &proving_key, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input)
Definition: r1cs_se_ppzksnark/prover.hpp:70
policy_type::keypair_type keypair_type
Definition: r1cs_se_ppzksnark/prover.hpp:67
policy_type::primary_input_type primary_input_type
Definition: r1cs_se_ppzksnark/prover.hpp:60
policy_type::constraint_system_type constraint_system_type
Definition: r1cs_se_ppzksnark/prover.hpp:59
policy_type::proof_type proof_type
Definition: r1cs_se_ppzksnark/prover.hpp:68
Definition: systems/ppzksnark/r1cs_se_ppzksnark/proving_key.hpp:39
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_se_ppzksnark/verification_key.hpp:40
static sap_witness< FieldType > witness_map(const r1cs_constraint_system< FieldType > &cs, const r1cs_primary_input< FieldType > &primary_input, const r1cs_auxiliary_input< FieldType > &auxiliary_input, const typename FieldType::value_type &d1, const typename FieldType::value_type &d2)
Definition: r1cs_to_sap.hpp:313
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_se_ppzksnark/detail/basic_policy.hpp:82
r1cs_auxiliary_input< typename CurveType::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_se_ppzksnark/detail/basic_policy.hpp:94
r1cs_primary_input< typename CurveType::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_se_ppzksnark/detail/basic_policy.hpp:92
r1cs_se_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_se_ppzksnark/detail/basic_policy.hpp:126
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_se_ppzksnark/verification_key.hpp:104
Definition: sap.hpp:286
std::vector< typename FieldType::value_type > coefficients_for_ACs
Definition: sap.hpp:293
std::vector< typename FieldType::value_type > coefficients_for_H
Definition: sap.hpp:294