uscs_ppzksnark/generator.hpp
Go to the documentation of this file.
124 typename std::vector<typename g1_type::value_type> V_g1_query = algebra::batch_exp<g1_type, scalar_field_type>(
131 algebra::batch_exp_with_coeff<g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_table, alpha,
138 algebra::batch_exp<g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_table, Ht_table);
144 algebra::batch_exp<g2_type, scalar_field_type>(scalar_field_type::value_bits, g2_window, g2_table, Vt_table);
160 algebra::batch_exp<g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_table,
Definition: uscs_ppzksnark/generator.hpp:49
policy_type::proof_type proof_type
Definition: uscs_ppzksnark/generator.hpp:66
policy_type::auxiliary_input_type auxiliary_input_type
Definition: uscs_ppzksnark/generator.hpp:59
policy_type::keypair_type keypair_type
Definition: uscs_ppzksnark/generator.hpp:65
policy_type::primary_input_type primary_input_type
Definition: uscs_ppzksnark/generator.hpp:58
static keypair_type process(const constraint_system_type &constraint_system)
Definition: uscs_ppzksnark/generator.hpp:68
policy_type::processed_verification_key_type processed_verification_key_type
Definition: uscs_ppzksnark/generator.hpp:63
policy_type::verification_key_type verification_key_type
Definition: uscs_ppzksnark/generator.hpp:62
policy_type::constraint_system_type constraint_system_type
Definition: uscs_ppzksnark/generator.hpp:57
policy_type::proving_key_type proving_key_type
Definition: uscs_ppzksnark/generator.hpp:61
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: systems/ppzksnark/uscs_ppzksnark/proving_key.hpp:39
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:42
std::vector< std::vector< typename GroupType::value_type > > window_table
Definition: multiexp.hpp:116
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:78
uscs_auxiliary_input< typename CurveType::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:90
uscs_primary_input< typename CurveType::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:88
uscs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:122
Definition: uscs_to_ssp.hpp:63
Definition: ssp.hpp:159
std::vector< typename FieldType::value_type > Vt
Definition: ssp.hpp:168
std::vector< typename FieldType::value_type > Ht
Definition: ssp.hpp:168
std::size_t num_variables
Definition: ssp.hpp:160
std::size_t num_inputs
Definition: ssp.hpp:162
Definition: uscs.hpp:90