Botan 3.12.0
Crypto and TLS for C&
Botan::EC_AffinePoint_Data_BN Class Referencefinal

#include <ec_inner_bn.h>

Inheritance diagram for Botan::EC_AffinePoint_Data_BN:
Botan::EC_AffinePoint_Data

Public Member Functions

std::unique_ptr< EC_AffinePoint_Dataclone () const override
 EC_AffinePoint_Data_BN (std::shared_ptr< const EC_Group_Data > group, EC_Point pt)
size_t field_element_bytes () const override
const std::shared_ptr< const EC_Group_Data > & group () const override
bool is_identity () const override
std::unique_ptr< EC_AffinePoint_Datamul (const EC_Scalar_Data &scalar, RandomNumberGenerator &rng) const override
secure_vector< uint8_t > mul_x_only (const EC_Scalar_Data &scalar, RandomNumberGenerator &rng) const override
void serialize_compressed_to (std::span< uint8_t > bytes) const override
void serialize_uncompressed_to (std::span< uint8_t > bytes) const override
void serialize_x_to (std::span< uint8_t > bytes) const override
void serialize_xy_to (std::span< uint8_t > bytes) const override
void serialize_y_to (std::span< uint8_t > bytes) const override
EC_Point to_legacy_point () const override

Detailed Description

Definition at line 59 of file ec_inner_bn.h.

Constructor & Destructor Documentation

◆ EC_AffinePoint_Data_BN()

Botan::EC_AffinePoint_Data_BN::EC_AffinePoint_Data_BN ( std::shared_ptr< const EC_Group_Data > group,
EC_Point pt )

Definition at line 96 of file ec_inner_bn.cpp.

96 :
97 m_group(std::move(group)), m_pt(std::move(pt)) {
98 if(!m_pt.is_zero()) {
99 m_pt.force_affine();
100 m_xy = m_pt.xy_bytes();
101 }
102}
const std::shared_ptr< const EC_Group_Data > & group() const override

References group().

Member Function Documentation

◆ clone()

std::unique_ptr< EC_AffinePoint_Data > Botan::EC_AffinePoint_Data_BN::clone ( ) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 104 of file ec_inner_bn.cpp.

104 {
105 return std::make_unique<EC_AffinePoint_Data_BN>(m_group, m_pt);
106}

◆ field_element_bytes()

size_t Botan::EC_AffinePoint_Data_BN::field_element_bytes ( ) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 148 of file ec_inner_bn.cpp.

148 {
149 return m_group->p_bytes();
150}

Referenced by serialize_compressed_to(), serialize_uncompressed_to(), serialize_x_to(), serialize_xy_to(), and serialize_y_to().

◆ group()

const std::shared_ptr< const EC_Group_Data > & Botan::EC_AffinePoint_Data_BN::group ( ) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 108 of file ec_inner_bn.cpp.

108 {
109 return m_group;
110}

Referenced by EC_AffinePoint_Data_BN().

◆ is_identity()

bool Botan::EC_AffinePoint_Data_BN::is_identity ( ) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 152 of file ec_inner_bn.cpp.

152 {
153 return m_xy.empty();
154}

Referenced by serialize_compressed_to(), serialize_uncompressed_to(), serialize_x_to(), serialize_xy_to(), and serialize_y_to().

◆ mul()

std::unique_ptr< EC_AffinePoint_Data > Botan::EC_AffinePoint_Data_BN::mul ( const EC_Scalar_Data & scalar,
RandomNumberGenerator & rng ) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 112 of file ec_inner_bn.cpp.

113 {
114 BOTAN_ARG_CHECK(scalar.group() == m_group, "Curve mismatch");
115 const auto& bn = EC_Scalar_Data_BN::checked_ref(scalar);
116
117 std::vector<BigInt> ws;
118 const EC_Point_Var_Point_Precompute mul(m_pt, rng, ws);
119
120 // We pass order*cofactor here to "correctly" handle the case where the
121 // point is on the curve but not in the prime order subgroup. This only
122 // matters for groups with cofactor > 1
123 // See https://github.com/randombit/botan/issues/3800
124
125 const auto order = m_group->order() * m_group->cofactor();
126 auto pt = mul.mul(bn.value(), rng, order, ws);
127 return std::make_unique<EC_AffinePoint_Data_BN>(m_group, std::move(pt));
128}
#define BOTAN_ARG_CHECK(expr, msg)
Definition assert.h:33
std::unique_ptr< EC_AffinePoint_Data > mul(const EC_Scalar_Data &scalar, RandomNumberGenerator &rng) const override
static const EC_Scalar_Data_BN & checked_ref(const EC_Scalar_Data &data)

References BOTAN_ARG_CHECK, Botan::EC_Scalar_Data_BN::checked_ref(), Botan::EC_Scalar_Data::group(), and mul().

Referenced by mul(), and mul_x_only().

◆ mul_x_only()

secure_vector< uint8_t > Botan::EC_AffinePoint_Data_BN::mul_x_only ( const EC_Scalar_Data & scalar,
RandomNumberGenerator & rng ) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 130 of file ec_inner_bn.cpp.

131 {
132 BOTAN_ARG_CHECK(scalar.group() == m_group, "Curve mismatch");
133 const auto& bn = EC_Scalar_Data_BN::checked_ref(scalar);
134
135 std::vector<BigInt> ws;
136 const EC_Point_Var_Point_Precompute mul(m_pt, rng, ws);
137
138 // We pass order*cofactor here to "correctly" handle the case where the
139 // point is on the curve but not in the prime order subgroup. This only
140 // matters for groups with cofactor > 1
141 // See https://github.com/randombit/botan/issues/3800
142
143 const auto order = m_group->order() * m_group->cofactor();
144 auto pt = mul.mul(bn.value(), rng, order, ws);
145 return pt.x_bytes();
146}

References BOTAN_ARG_CHECK, Botan::EC_Scalar_Data_BN::checked_ref(), Botan::EC_Scalar_Data::group(), and mul().

◆ serialize_compressed_to()

void Botan::EC_AffinePoint_Data_BN::serialize_compressed_to ( std::span< uint8_t > bytes) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 177 of file ec_inner_bn.cpp.

177 {
179 const size_t fe_bytes = this->field_element_bytes();
180 BOTAN_ARG_CHECK(bytes.size() == 1 + fe_bytes, "Invalid output size");
181 const bool y_is_odd = (m_xy[m_xy.size() - 1] & 0x01) == 0x01;
182
183 BufferStuffer stuffer(bytes);
184 stuffer.append(y_is_odd ? 0x03 : 0x02);
185 serialize_x_to(stuffer.next(fe_bytes));
186}
#define BOTAN_STATE_CHECK(expr)
Definition assert.h:49
void serialize_x_to(std::span< uint8_t > bytes) const override
size_t field_element_bytes() const override
bool is_identity() const override

References Botan::BufferStuffer::append(), BOTAN_ARG_CHECK, BOTAN_STATE_CHECK, field_element_bytes(), is_identity(), Botan::BufferStuffer::next(), and serialize_x_to().

◆ serialize_uncompressed_to()

void Botan::EC_AffinePoint_Data_BN::serialize_uncompressed_to ( std::span< uint8_t > bytes) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 188 of file ec_inner_bn.cpp.

188 {
190 const size_t fe_bytes = this->field_element_bytes();
191 BOTAN_ARG_CHECK(bytes.size() == 1 + 2 * fe_bytes, "Invalid output size");
192 BufferStuffer stuffer(bytes);
193 stuffer.append(0x04);
194 stuffer.append(m_xy);
195}

References Botan::BufferStuffer::append(), BOTAN_ARG_CHECK, BOTAN_STATE_CHECK, field_element_bytes(), and is_identity().

◆ serialize_x_to()

void Botan::EC_AffinePoint_Data_BN::serialize_x_to ( std::span< uint8_t > bytes) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 156 of file ec_inner_bn.cpp.

156 {
158 const size_t fe_bytes = this->field_element_bytes();
159 BOTAN_ARG_CHECK(bytes.size() == fe_bytes, "Invalid output size");
160 copy_mem(bytes, std::span{m_xy}.first(fe_bytes));
161}
constexpr void copy_mem(T *out, const T *in, size_t n)
Definition mem_ops.h:144

References BOTAN_ARG_CHECK, BOTAN_STATE_CHECK, Botan::copy_mem(), field_element_bytes(), and is_identity().

Referenced by serialize_compressed_to().

◆ serialize_xy_to()

void Botan::EC_AffinePoint_Data_BN::serialize_xy_to ( std::span< uint8_t > bytes) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 170 of file ec_inner_bn.cpp.

170 {
172 const size_t fe_bytes = this->field_element_bytes();
173 BOTAN_ARG_CHECK(bytes.size() == 2 * fe_bytes, "Invalid output size");
174 copy_mem(bytes, m_xy);
175}

References BOTAN_ARG_CHECK, BOTAN_STATE_CHECK, Botan::copy_mem(), field_element_bytes(), and is_identity().

◆ serialize_y_to()

void Botan::EC_AffinePoint_Data_BN::serialize_y_to ( std::span< uint8_t > bytes) const
overridevirtual

Implements Botan::EC_AffinePoint_Data.

Definition at line 163 of file ec_inner_bn.cpp.

163 {
165 const size_t fe_bytes = this->field_element_bytes();
166 BOTAN_ARG_CHECK(bytes.size() == fe_bytes, "Invalid output size");
167 copy_mem(bytes, std::span{m_xy}.last(fe_bytes));
168}

References BOTAN_ARG_CHECK, BOTAN_STATE_CHECK, Botan::copy_mem(), field_element_bytes(), and is_identity().

◆ to_legacy_point()

EC_Point Botan::EC_AffinePoint_Data_BN::to_legacy_point ( ) const
inlineoverride

Definition at line 85 of file ec_inner_bn.h.

85{ return m_pt; }

The documentation for this class was generated from the following files: