ed448_internal.h

Go to the documentation of this file.

/*
 * Ed448 Internals
 * (C) 2024 Jack Lloyd
 *     2024 René Meusel, Fabian Albert - Rohde & Schwarz Cybersecurity
 *
 * Botan is released under the Simplified BSD License (see license.txt)
 */
 
#ifndef BOTAN_ED448_INTERNAL_H_
#define BOTAN_ED448_INTERNAL_H_
 
#include <botan/internal/curve448_gf.h>
#include <botan/internal/curve448_scalar.h>
 
namespace Botan {
 
constexpr size_t ED448_LEN = 57;
 
/**
 * @brief Representation of a point on the Ed448 curve.
 *
 * The point is represented in projective coordinates (X, Y, Z).
 * All operations are constant time.
 */
class BOTAN_TEST_API Ed448Point final {
   public:
      /// Decode a point from its 57-byte encoding (RFC 8032 5.2.3)
      static Ed448Point decode(std::span<const uint8_t, ED448_LEN> enc);
 
      /// Create the curve's base point ('B' in RFC 8032 5.2)
      static Ed448Point base_point();
 
      /// Create a point from its projective coordinates X, Y, Z
      Ed448Point(const Gf448Elem& x, const Gf448Elem& y, const Gf448Elem& z) : m_x(x), m_y(y), m_z(z) {}
 
      /// Create a point from its coordinates x, y
      Ed448Point(const Gf448Elem& x, const Gf448Elem& y) : m_x(x), m_y(y), m_z(1) {}
 
      /// Return the identity element
      static Ed448Point identity() { return Ed448Point(Gf448Elem::zero(), Gf448Elem::one()); }
 
      /// Encode the point to its 57-byte representation (RFC 8032 5.2.2)
      std::array<uint8_t, ED448_LEN> encode() const;
 
      /// Add two points (RFC 8032 5.2.4)
      Ed448Point operator+(const Ed448Point& other) const;
 
      /// Double a point (RFC 8032 5.2.4)
      Ed448Point double_point() const;
 
      /// Scalar multiplication
      Ed448Point scalar_mul(const Scalar448& scalar) const;
 
      /// Getter for projective coordinate X
      Gf448Elem x_proj() const { return m_x; }
 
      /// Getter for projective coordinate Y
      Gf448Elem y_proj() const { return m_y; }
 
      /// Getter for projective coordinate Z
      Gf448Elem z_proj() const { return m_z; }
 
      /// Getter for point coordinate x
      Gf448Elem x() const { return m_x / m_z; }
 
      /// Getter for point coordinate y
      Gf448Elem y() const { return m_y / m_z; }
 
      /// Check if two points are equal (constant time)
      bool operator==(const Ed448Point& other) const;
 
      /// Assign other to this if cond is true (constant time)
      void ct_conditional_assign(bool cond, const Ed448Point& other);
 
   private:
      Gf448Elem m_x;
      Gf448Elem m_y;
      Gf448Elem m_z;
};
 
/// Syntax sugar for scalar multiplication
Ed448Point operator*(const Scalar448& lhs, const Ed448Point& rhs);
 
/**
 * @brief Create a public key point from a secret key (RFC 8032 5.2.5)
 */
BOTAN_TEST_API std::array<uint8_t, ED448_LEN> create_pk_from_sk(std::span<const uint8_t, ED448_LEN> sk);
 
/**
 * @brief Sign a message using a keypair (RFC 8032 5.2.6)
 *
 * @param sk the secret key
 * @param pk the public key
 * @param f the prehash flag (true iff using Ed448ph)
 * @param context the context string
 * @param msg the message to sign
 * @return the signature
 */
std::array<uint8_t, 114> sign_message(std::span<const uint8_t, ED448_LEN> sk,
                                      std::span<const uint8_t, ED448_LEN> pk,
                                      bool f,
                                      std::span<const uint8_t> context,
                                      std::span<const uint8_t> msg);
 
/**
 * @brief Verify a signature(RFC 8032 5.2.7)
 *
 * @param pk the public key
 * @param phflag the prehash flag (true iff using Ed448ph)
 * @param context the context string
 * @param sig the signature
 * @param msg the message to verify
 *
 * @throw Decoding_Error if the public key or signature is malformed
 * @return true if the signature is valid
 */
bool verify_signature(std::span<const uint8_t, ED448_LEN> pk,
                      bool phflag,
                      std::span<const uint8_t> context,
                      std::span<const uint8_t> sig,
                      std::span<const uint8_t> msg);
 
}  // namespace Botan
 
#endif  // BOTAN_ED448_INTERNAL_H_