~/bend-docscommunity

blake2b.bend checks

raw source on the hub · import 0xfcfaebefd5553d7c2403dcd5c4130b80/blake2b.bend as Blake2b

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

Definitions

def B2B.iv source · line 7 · raw

List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.sigmas source · line 10 · raw

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

def B2B.msg source · line 13 · raw

@+m:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> @+sig:List<&2, U32> -> @pos:Nat -> 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64

def B2B.g source · line 16 · raw

@+v:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> @+a:Nat -> @+b:Nat -> @+c:Nat -> @+d:Nat -> @x:0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64 -> @y:0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64 -> List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.round source · line 34 · raw

@+v:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> @+m:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> @+s:List<&2, U32> -> List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.rounds source · line 44 · raw

@ss:List<&2, List<&2, U32>> -> @+m:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> @v:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.init source · line 51 · raw

List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.mix_flag source · line 56 · raw

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

def B2B.mix_init source · line 69 · raw

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

def B2B.finish source · line 72 · raw

@+h:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> @+v:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.compress source · line 84 · raw

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

def B2B.pad source · line 89 · raw

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

def B2B.blocks source · line 92 · raw

@n:Nat -> @+xs:List<&2, U32> -> @+total:Nat -> @+done:Nat -> @h:List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64> -> List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.state.if source · line 102 · raw

@+xs:List<&2, U32> -> @+n:Nat -> @empty:Bool -> List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def B2B.state source · line 110 · raw

@+xs:List<&2, U32> -> List<&2, 0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64>

def BLAKE2b.bytes source · line 114 · raw

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

def BLAKE2b.hex_bytes source · line 119 · raw

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

def BLAKE2b.text source · line 122 · raw

@s:String -> String