sm3.bend checks

type SM3State source · line 8 · raw

Data

• SM3State

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

type SM3Mode source · line 11 · raw

Data

• SM3Early

  SM3Mode

• SM3Late

  SM3Mode

def SM3.p0 source · line 15 · raw

@+x:U32 -> U32

def SM3.p1 source · line 18 · raw

@+x:U32 -> U32

def SM3.ff source · line 21 · raw

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

def SM3.gg source · line 28 · raw

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

def SM3.modes source · line 35 · raw

List<&2, SM3Mode>

def SM3.ts source · line 38 · raw

List<&2, U32>

def SM3.schedule.next source · line 41 · raw

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

def SM3.schedule.go source · line 45 · raw

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

def SM3.schedule source · line 54 · raw

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

def SM3.wprime.go source · line 57 · raw

@+ws:List<&2, U32> -> @n:Nat -> @+i:Nat -> @acc:List<&2, U32> -> List<&2, U32>

def SM3.wprime source · line 65 · raw

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

def SM3.step source · line 68 · raw

@st:SM3State -> @w:U32 -> @wp:U32 -> @t:U32 -> @j:U32 -> @+mode:SM3Mode -> SM3State

def SM3.rounds source · line 78 · raw

@ws:List<&2, U32> -> @wps:List<&2, U32> -> @ts:List<&2, U32> -> @modes:List<&2, SM3Mode> -> @+j:U32 -> @st:SM3State -> SM3State

def SM3.feed source · line 87 · raw

@+base:SM3State -> @work:SM3State -> SM3State

def SM3.compress source · line 92 · raw

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

def SM3.pad.go source · line 98 · raw

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

def SM3.pad source · line 107 · raw

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

def SM3.final.blocks source · line 110 · raw

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

def SM3.final source · line 118 · raw

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

def SM3.blocks source · line 122 · raw

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

def SM3.iv source · line 130 · raw

SM3State

def SM3.digest source · line 133 · raw

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

def SM3.bytes source · line 138 · raw

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

def SM3.hex_bytes source · line 142 · raw

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

def SM3.text source · line 145 · raw

@s:String -> String