zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp
Go to the documentation of this file.
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
bacs_variable_assignment< FieldType > bacs_auxiliary_input
Definition: bacs.hpp:95
std::pair< ProvingKey, VerificationKey > bacs_ppzksnark_keypair
Definition: systems/ppzksnark/bacs_ppzksnark/keypair.hpp:36
bacs_variable_assignment< FieldType > bacs_primary_input
Definition: bacs.hpp:89
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_circuit< typename curve_type::scalar_field_type > circuit_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:72
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_proving_key< curve_type, circuit_type > proving_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:83
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
r1cs_ppzksnark< CurveType >::proof_type proof_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:116
r1cs_ppzksnark< CurveType >::processed_verification_key_type processed_verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:102
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
CurveType curve_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:64
r1cs_ppzksnark< curve_type >::verification_key_type verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:90