bacs_ppzksnark/prover.hpp
Go to the documentation of this file.
73 reductions::bacs_to_r1cs<field_type>::witness_map(proving_key.circuit, primary_input, auxiliary_input);
Definition: bacs_ppzksnark/prover.hpp:51
static proof_type process(const proving_key_type &proving_key, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input)
Definition: bacs_ppzksnark/prover.hpp:66
policy_type::verification_key_type verification_key_type
Definition: bacs_ppzksnark/prover.hpp:60
policy_type::proving_key_type proving_key_type
Definition: bacs_ppzksnark/prover.hpp:59
policy_type::processed_verification_key_type processed_verification_key_type
Definition: bacs_ppzksnark/prover.hpp:61
policy_type::circuit_type circuit_type
Definition: bacs_ppzksnark/prover.hpp:55
policy_type::primary_input_type primary_input_type
Definition: bacs_ppzksnark/prover.hpp:56
policy_type::auxiliary_input_type auxiliary_input_type
Definition: bacs_ppzksnark/prover.hpp:57
policy_type::proof_type proof_type
Definition: bacs_ppzksnark/prover.hpp:64
policy_type::keypair_type keypair_type
Definition: bacs_ppzksnark/prover.hpp:63
Definition: proving_key.hpp:37
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:102
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:43
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:42
std::vector< typename FieldType::value_type > r1cs_auxiliary_input
Definition: r1cs.hpp:104
std::vector< typename FieldType::value_type > r1cs_variable_assignment
Definition: r1cs.hpp:107
Definition: pair.hpp:31
Definition: bacs.hpp:110
Definition: systems/ppzksnark/bacs_ppzksnark/proving_key.hpp:37
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:63
bacs_primary_input< typename curve_type::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:74
bacs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:109
bacs_auxiliary_input< typename curve_type::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:76
static r1cs_variable_assignment< FieldType > witness_map(const bacs_circuit< FieldType > &circuit, const bacs_primary_input< FieldType > &primary_input, const bacs_auxiliary_input< FieldType > &auxiliary_input)
Definition: bacs_to_r1cs.hpp:77