tbcs_ppzksnark/prover.hpp
Go to the documentation of this file.
Definition: tbcs_ppzksnark/prover.hpp:49
policy_type::processed_verification_key_type processed_verification_key_type
Definition: tbcs_ppzksnark/prover.hpp:59
policy_type::keypair_type keypair_type
Definition: tbcs_ppzksnark/prover.hpp:61
policy_type::primary_input_type primary_input_type
Definition: tbcs_ppzksnark/prover.hpp:54
policy_type::proving_key_type proving_key_type
Definition: tbcs_ppzksnark/prover.hpp:57
static proof_type process(const proving_key_type &pk, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input)
Definition: tbcs_ppzksnark/prover.hpp:64
policy_type::verification_key_type verification_key_type
Definition: tbcs_ppzksnark/prover.hpp:58
policy_type::proof_type proof_type
Definition: tbcs_ppzksnark/prover.hpp:62
policy_type::auxiliary_input_type auxiliary_input_type
Definition: tbcs_ppzksnark/prover.hpp:55
policy_type::circuit_type circuit_type
Definition: tbcs_ppzksnark/prover.hpp:53
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:87
Definition: snark/systems/ppzksnark/uscs_ppzksnark/proof.hpp:41
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:42
std::vector< typename FieldType::value_type > uscs_auxiliary_input
Definition: uscs.hpp:70
std::vector< typename FieldType::value_type > uscs_variable_assignment
Definition: uscs.hpp:73
std::vector< typename FieldType::value_type > uscs_primary_input
Definition: uscs.hpp:67
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/tbcs_ppzksnark/detail/basic_policy.hpp:66
tbcs_auxiliary_input auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/tbcs_ppzksnark/detail/basic_policy.hpp:78
tbcs_primary_input primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/tbcs_ppzksnark/detail/basic_policy.hpp:76
tbcs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/tbcs_ppzksnark/detail/basic_policy.hpp:111
static uscs_variable_assignment< FieldType > witness_map(const tbcs_circuit &circuit, const tbcs_primary_input &primary_input, const tbcs_auxiliary_input &auxiliary_input)
Definition: tbcs_to_uscs.hpp:183
Definition: tbcs.hpp:159
Definition: systems/ppzksnark/tbcs_ppzksnark/proving_key.hpp:39
circuit_type circuit
Definition: systems/ppzksnark/tbcs_ppzksnark/proving_key.hpp:45
uscs_ppzksnark_proving_key< CurveType, circuit_type > uscs_pk
Definition: systems/ppzksnark/tbcs_ppzksnark/proving_key.hpp:46