@[extern sha256]

opaque ffi.sha256 (input : ByteArray) (len : USize) : ByteArray

def ffi.SHA256 (d : ByteArray) : Except String ByteArray

Equations

• ffi.SHA256 d = pure (ffi.sha256 d d.size.toUSize)

@[extern blake2compressb64]

opaque ffi.BLAKE2Compress (input : ByteArray) : ByteArray

def ffi.BLAKE2 (d : ByteArray) : Except String ByteArray

Equations

• One or more equations did not get rendered due to their size.

@[extern memset_zero]

opaque ffi.ByteArray.zeroes (n : USize) : ByteArray

@[extern keccak256]

opaque ffi.keccak256 (input : ByteArray) (len : USize) : ByteArray

def ffi.KECCAK256 (d : ByteArray) : Except String ByteArray

Equations

• ffi.KECCAK256 d = pure (ffi.keccak256 d d.size.toUSize)

def ffi.KEC (data : ByteArray) : ByteArray

Equations

• ffi.KEC data = (ffi.KECCAK256 data).toOption.getD ByteArray.empty