tbcs_ppzksnark/generator.hpp
Go to the documentation of this file.
Definition: tbcs_ppzksnark/generator.hpp:47
policy_type::verification_key_type verification_key_type
Definition: tbcs_ppzksnark/generator.hpp:54
policy_type::keypair_type keypair_type
Definition: tbcs_ppzksnark/generator.hpp:56
policy_type::circuit_type circuit_type
Definition: tbcs_ppzksnark/generator.hpp:51
static keypair_type process(const circuit_type &circuit)
Definition: tbcs_ppzksnark/generator.hpp:58
policy_type::proving_key_type proving_key_type
Definition: tbcs_ppzksnark/generator.hpp:53
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:42
policy_type::keypair_type keypair_type
Definition: uscs_ppzksnark.hpp:83
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/tbcs_ppzksnark/detail/basic_policy.hpp:66
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_constraint_system< FieldType > instance_map(const tbcs_circuit &circuit)
Definition: tbcs_to_uscs.hpp:63
Definition: tbcs.hpp:159
Definition: systems/ppzksnark/tbcs_ppzksnark/proving_key.hpp:39
Definition: uscs.hpp:90