sha2_32.bend checks

type S256 source · line 7 · raw

Data

• S256

  @a:U32 -> @b:U32 -> @c:U32 -> @d:U32 -> @e:U32 -> @f:U32 -> @g:U32 -> @h:U32 -> S256

def SHA2_32.ch source · line 10 · raw

@+x:U32 -> @+y:U32 -> @+z:U32 -> U32

def SHA2_32.maj source · line 13 · raw

@+x:U32 -> @+y:U32 -> @+z:U32 -> U32

def SHA2_32.big0 source · line 16 · raw

@+x:U32 -> U32

def SHA2_32.big1 source · line 19 · raw

@+x:U32 -> U32

def SHA2_32.small0 source · line 22 · raw

@+x:U32 -> U32

def SHA2_32.small1 source · line 25 · raw

@+x:U32 -> U32

def SHA2_32.ks source · line 28 · raw

List<&2, U32>

def SHA2_32.schedule.next source · line 31 · raw

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

def SHA2_32.schedule.go source · line 38 · raw

@+initial:List<&2, U32> -> @n:Nat -> @+ring:List<&2, U32> -> @acc:List<&2, U32> -> List<&2, U32>

def SHA2_32.schedule source · line 47 · raw

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

def SHA2_32.step source · line 50 · raw

@st:S256 -> @w:U32 -> @k:U32 -> S256

def SHA2_32.rounds source · line 57 · raw

@ws:List<&2, U32> -> @ks:List<&2, U32> -> @st:S256 -> S256

def SHA2_32.add source · line 68 · raw

@+x:S256 -> @y:S256 -> S256

def SHA2_32.compress source · line 73 · raw

@+st:S256 -> @+bytes:List<&2, U32> -> S256

def SHA2_32.pad.go source · line 77 · raw

@+rest:List<&2, U32> -> @+rem:U32 -> @bits:0xfcfaebefd5553d7c2403dcd5c4130b80/internal/core.W64 -> @short:Bool -> List<&2, U32>

def SHA2_32.pad source · line 86 · raw

@+rest:List<&2, U32> -> @+length:Nat -> @short:Bool -> List<&2, U32>

def SHA2_32.final.blocks source · line 89 · raw

@+st:S256 -> @+padded:List<&2, U32> -> @one:Bool -> S256

def SHA2_32.final source · line 97 · raw

@+rest:List<&2, U32> -> @+length:Nat -> @st:S256 -> S256

def SHA2_32.blocks source · line 102 · raw

@n:Nat -> @+xs:List<&2, U32> -> @+total:Nat -> @st:S256 -> S256

def SHA2_32.run source · line 110 · raw

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

def SHA256.iv source · line 114 · raw

S256

def SHA224.iv source · line 117 · raw

S256

def SHA256.digest source · line 120 · raw

@st:S256 -> List<&2, U32>

def SHA224.digest source · line 126 · raw

@st:S256 -> List<&2, U32>

def SHA256.bytes source · line 132 · raw

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

def SHA224.bytes source · line 135 · raw

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

def SHA256.hex_bytes source · line 138 · raw

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

def SHA224.hex_bytes source · line 141 · raw

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

def SHA256.text source · line 144 · raw

@s:String -> String

def SHA224.text source · line 147 · raw

@s:String -> String