tezex

defmodule Tezex.Crypto.BLS.Constants do
  @moduledoc """
  BLS12-381 curve constants for pairing computation.
  Standard BLS12-381 curve constants.
  """

  # BLS12-381 field modulus
  @field_modulus 4_002_409_555_221_667_393_417_789_825_735_904_156_556_882_819_939_007_885_332_058_136_124_031_650_490_837_864_442_687_629_129_015_664_037_894_272_559_787

  # Curve order (number of points on the curve)
  @curve_order 52_435_875_175_126_190_479_447_740_508_185_965_837_690_552_500_527_637_822_603_658_699_938_581_184_513

  # Pseudo-binary encoding of the ATE loop count for efficient Miller loop
  # This is the binary representation (LSB first) for the Miller algorithm
  # Binary: 1101001000000001000000000000000000000000000000010000000000000000
  # Reversed for Miller loop (LSB first):
  @pseudo_binary_encoding for char <-
                                String.graphemes(
                                  "0000000000000000100000000000000000000000000000001000000001001011"
                                ),
                              do: String.to_integer(char)

  def field_modulus, do: @field_modulus
  def curve_order, do: @curve_order
  def pseudo_binary_encoding, do: @pseudo_binary_encoding
end