pub(all) struct ExtPoint {
  x : 
@moonbitlang/core/bigint.BigInt
BigInt
  y : 
@moonbitlang/core/bigint.BigInt
BigInt
  z : 
@moonbitlang/core/bigint.BigInt
BigInt
  t : 
@moonbitlang/core/bigint.BigInt
BigInt
}

pub(all) struct KeyPair {
  public_key : String
  secret_key : String
}

pub(all) struct Signature {
  r : String
  s : String
}

fn base_point() -> ExtPoint

fn bigint_to_le_bytes(n : 
@moonbitlang/core/bigint.BigInt
BigInt, len : Int) -> Array[Byte]

fn field_inv(a : 
@moonbitlang/core/bigint.BigInt
BigInt) -> 
@moonbitlang/core/bigint.BigInt
BigInt

fn field_mul(a : 
@moonbitlang/core/bigint.BigInt
BigInt, b : 
@moonbitlang/core/bigint.BigInt
BigInt) -> 
@moonbitlang/core/bigint.BigInt
BigInt

fn generate_keypair(seed : String) -> KeyPair

fn hex_to_bytes(hex : String) -> Array[Byte]

fn le_bytes_to_bigint(bytes : Array[Byte]) -> 
@moonbitlang/core/bigint.BigInt
BigInt

fn point_encode(p : ExtPoint) -> Array[Byte]

fn scalar_mult(scalar : 
@moonbitlang/core/bigint.BigInt
BigInt, point : ExtPoint) -> ExtPoint

fn sha512(data : Array[Byte]) -> Array[Byte]

fn sha512_bytes(data : Array[Byte]) -> Array[Byte]

fn sign(message : String, keypair : KeyPair) -> Signature

fn signature_to_hex(sig : Signature) -> String

fn string_to_utf8(s : String) -> Array[Byte]

fn verify(message : String, signature : Signature, public_key : String) -> Bool