blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp
Go to the documentation of this file.
Definition: blueprint_variable.hpp:57
Definition: blueprint.hpp:46
Definition: component.hpp:37
blueprint< CurveType::scalar_field_type > & bp
Definition: component.hpp:39
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/edwards/element_g1.hpp:193
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g1.hpp:210
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/edwards/element_g1.hpp:51
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:56
const std::size_t elt_size
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:71
std::vector< element_g1< CurveType > > computed_results
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:60
element_g1< CurveType > base
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:65
const std::size_t num_points
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:72
std::vector< element_g1< CurveType > > chosen_results
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:61
std::vector< element_g1< CurveType > > points_and_powers
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:68
void generate_r1cs_constraints()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:111
scalar_mul(blueprint< FieldType > &bp, const element_g1< CurveType > &base, const blueprint_variable_vector< FieldType > &scalars, const std::size_t elt_size, const std::vector< element_g1< CurveType >> &points, const element_g1< CurveType > &result)
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:75
element_g1< CurveType > result
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:69
blueprint_variable_vector< FieldType > scalars
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:66
void generate_r1cs_witness()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:141
std::vector< element_g1< CurveType > > points
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:67
std::vector< element_g1_add< CurveType > > adders
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:62
std::vector< element_g1_doubled< CurveType > > doublers
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:63
const std::size_t scalar_size
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/scalar_mul.hpp:73
vector(T, U...) -> vector< std::enable_if_t<(std::is_same_v< T, U > &&...), T >, 1+sizeof...(U)>
deduction guide for uniform initialization
Definition: pair.hpp:31
Definition: r1cs.hpp:60