r1cs_ppzksnark/generator.hpp
Go to the documentation of this file.
164 kc_batch_exp<g1_type, g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_window, g1_table,
168 kc_batch_exp<g2_type, g1_type, scalar_field_type>(scalar_field_type::value_bits, g2_window, g1_window, g2_table, g1_table, rB,
172 kc_batch_exp<g1_type, g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_window, g1_table, g1_table, rC,
176 algebra::batch_exp<g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_table, Ht);
182 algebra::batch_exp<g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_table, Kt);
203 algebra::batch_exp<g1_type, scalar_field_type>(scalar_field_type::value_bits, g1_window, g1_table, multiplied_IC_coefficients);
Definition: r1cs_ppzksnark/generator.hpp:46
static keypair_type process(const constraint_system_type &constraint_system)
Definition: r1cs_ppzksnark/generator.hpp:61
policy_type::keypair_type keypair_type
Definition: r1cs_ppzksnark/generator.hpp:58
policy_type::proof_type proof_type
Definition: r1cs_ppzksnark/generator.hpp:59
policy_type::primary_input_type primary_input_type
Definition: r1cs_ppzksnark/generator.hpp:51
policy_type::proving_key_type proving_key_type
Definition: r1cs_ppzksnark/generator.hpp:54
policy_type::auxiliary_input_type auxiliary_input_type
Definition: r1cs_ppzksnark/generator.hpp:52
policy_type::processed_verification_key_type processed_verification_key_type
Definition: r1cs_ppzksnark/generator.hpp:56
policy_type::constraint_system_type constraint_system_type
Definition: r1cs_ppzksnark/generator.hpp:50
policy_type::verification_key_type verification_key_type
Definition: r1cs_ppzksnark/generator.hpp:55
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: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:47
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_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/r1cs_ppzksnark/detail/basic_policy.hpp:78
r1cs_primary_input< typename CurveType::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/detail/basic_policy.hpp:89
r1cs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/detail/basic_policy.hpp:123
r1cs_auxiliary_input< typename CurveType::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/detail/basic_policy.hpp:91
Definition: qap.hpp:183
std::vector< field_value_type > Ct
Definition: qap.hpp:196
std::size_t num_inputs
Definition: qap.hpp:190
std::vector< field_value_type > Bt
Definition: qap.hpp:196
std::vector< field_value_type > At
Definition: qap.hpp:196
std::size_t num_variables
Definition: qap.hpp:188
std::vector< field_value_type > Ht
Definition: qap.hpp:196
void swap_AB_if_beneficial()
Definition: r1cs.hpp:191
static qap_instance_evaluation< FieldType > instance_map_with_evaluation(const r1cs_constraint_system< FieldType > &cs, const typename FieldType::value_type &t)
Definition: r1cs_to_qap.hpp:140
Definition: sparse_vector.hpp:48