~/bend-docscommunity

src/crypto/secp256k1/bytes.bend checks

raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/bytes.bend as Bytes

1 import
import Base

Definitions

def byte source · line 6 · raw

@+b:U32 -> Nat

def limbs_le source · line 10 · raw

@bs:List<&2, U32> -> List<&2, Nat>

little-endian limbs of little-endian bytes (two bytes per limb)

def of_be source · line 17 · raw

@bs:List<&2, U32> -> List<&2, Nat>

the 16 limbs of a 32-byte big-endian string (SEC 1 OS2IP)

def bytes_le source · line 21 · raw

@xs:List<&2, Nat> -> List<&2, U32>

little-endian bytes of limbs below 2^16

def to_be source · line 27 · raw

@xs:List<&2, Nat> -> List<&2, U32>

the 32-byte big-endian string of 16 limbs (SEC 1 I2OSP)

def has_len source · line 30 · raw

@n:Nat -> @bs:List<&2, U32> -> Bool

def prefix source · line 37 · raw

@n:Nat -> @bs:List<&2, U32> -> List<&2, U32>

def suffix source · line 43 · raw

@n:Nat -> @bs:List<&2, U32> -> List<&2, U32>

def tail source · line 54 · raw

@bs:List<&2, U32> -> List<&2, U32>