~/bend-docscommunity

blake2s.bend checks

raw source on the hub · import 0xfcfaebefd5553d7c2403dcd5c4130b80/blake2s.bend as Blake2s

2 imports
import Base
import ./internal/core.bend as C

Definitions

def B2S.iv source · line 7 · raw

List<&2, U32>

def B2S.sigmas source · line 10 · raw

List<&2, List<&2, U32>>

def B2S.msg source · line 13 · raw

@+m:List<&2, U32> -> @+sig:List<&2, U32> -> @pos:Nat -> U32

def B2S.g source · line 16 · raw

@+v:List<&2, U32> -> @+a:Nat -> @+b:Nat -> @+c:Nat -> @+d:Nat -> @x:U32 -> @y:U32 -> List<&2, U32>

def B2S.round source · line 34 · raw

@+v:List<&2, U32> -> @+m:List<&2, U32> -> @+s:List<&2, U32> -> List<&2, U32>

def B2S.rounds source · line 44 · raw

@ss:List<&2, List<&2, U32>> -> @+m:List<&2, U32> -> @v:List<&2, U32> -> List<&2, U32>

def B2S.init source · line 51 · raw

List<&2, U32>

def B2S.mix_flag source · line 56 · raw

@+h:List<&2, U32> -> @+iv:List<&2, U32> -> @thi:U32 -> @tlo:U32 -> @last:Bool -> List<&2, U32>

def B2S.mix_counter source · line 70 · raw

@+h:List<&2, U32> -> @thi:U32 -> @tlo:U32 -> @last:Bool -> List<&2, U32>

def B2S.mix_init source · line 73 · raw

@+h:List<&2, U32> -> @t:0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64 -> @last:Bool -> List<&2, U32>

def B2S.finish source · line 79 · raw

@+h:List<&2, U32> -> @+v:List<&2, U32> -> List<&2, U32>

def B2S.compress source · line 91 · raw

@+h:List<&2, U32> -> @+block:List<&2, U32> -> @counter:0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64 -> @last:Bool -> List<&2, U32>

def B2S.pad source · line 96 · raw

@+rest:List<&2, U32> -> @+n:U32 -> List<&2, U32>

def B2S.blocks source · line 99 · raw

@n:Nat -> @+xs:List<&2, U32> -> @+total:Nat -> @+done:Nat -> @h:List<&2, U32> -> List<&2, U32>

def B2S.state.if source · line 109 · raw

@+xs:List<&2, U32> -> @+n:Nat -> @empty:Bool -> List<&2, U32>

def B2S.state source · line 117 · raw

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

def BLAKE2s.bytes source · line 121 · raw

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

def BLAKE2s.hex_bytes source · line 126 · raw

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

def BLAKE2s.text source · line 129 · raw

@s:String -> String