~/bend-docscommunity

src/crypto/blake/blake2b/blake2b.bend checks

raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/blake2b.bend as Blake2b

Generated by tools/generators/blake2b_gen.py; do not edit by hand.

3 imports
import Base
import ./types.bend as T
import ./compress.bend as F

Definitions

def read31 source · line 6 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @w28:U32 -> @w29:U32 -> @w30:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read30 source · line 10 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @w28:U32 -> @w29:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read29 source · line 14 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @w28:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read28 source · line 18 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read27 source · line 22 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read26 source · line 26 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read25 source · line 30 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read24 source · line 34 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read23 source · line 38 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read22 source · line 42 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read21 source · line 46 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read20 source · line 50 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read19 source · line 54 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read18 source · line 58 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read17 source · line 62 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read16 source · line 66 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read15 source · line 70 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read14 source · line 74 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read13 source · line 78 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read12 source · line 82 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read11 source · line 86 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read10 source · line 90 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read9 source · line 94 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read8 source · line 98 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read7 source · line 102 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read6 source · line 106 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read5 source · line 110 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read4 source · line 114 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read3 source · line 118 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read2 source · line 122 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read1 source · line 126 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def read0 source · line 130 · raw

@+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @pair:Pair(Array<U32>, U32) -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def absorb source · line 134 · raw

@a:Array<U32> -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain)

def keep source · line 138 · raw

@w:U32 -> @n:Nat -> U32

Only the first n bytes of the word are message bytes; the rest are zero.

def mask source · line 146 · raw

@w:U32 -> @+pos:Nat -> @+remain:Nat -> U32

def last31 source · line 149 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @w28:U32 -> @w29:U32 -> @w30:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last30 source · line 153 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @w28:U32 -> @w29:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last29 source · line 157 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @w28:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last28 source · line 161 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @w27:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last27 source · line 165 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @w26:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last26 source · line 169 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @w25:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last25 source · line 173 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @w24:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last24 source · line 177 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @w23:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last23 source · line 181 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @w22:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last22 source · line 185 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @w21:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last21 source · line 189 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @w20:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last20 source · line 193 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @w19:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last19 source · line 197 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @w18:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last18 source · line 201 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @w17:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last17 source · line 205 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @w16:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last16 source · line 209 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @w15:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last15 source · line 213 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @w14:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last14 source · line 217 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @w13:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last13 source · line 221 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @w12:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last12 source · line 225 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @w11:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last11 source · line 229 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @w10:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last10 source · line 233 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @w9:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last9 source · line 237 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @w8:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last8 source · line 241 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @w7:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last7 source · line 245 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @w6:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last6 source · line 249 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @w5:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last5 source · line 253 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @w4:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last4 source · line 257 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @w3:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last3 source · line 261 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @w2:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last2 source · line 265 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @w1:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last1 source · line 269 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @w0:U32 -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def last0 source · line 273 · raw

@+remain:Nat -> @+index:U32 -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> @pair:Pair(Array<U32>, U32) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def final source · line 278 · raw

@a:Array<U32> -> @+index:U32 -> @+remain:Nat -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

The last block holds the final 1..128 bytes (0 for the empty message).

def blocks source · line 281 · raw

@n:Nat -> @+index:U32 -> @+remain:Nat -> @t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Counter -> @pair:Pair(Array<U32>, 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain) -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def initial source · line 289 · raw

0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

IV with the parameter block folded into h0: digest length 64, no key, fanout 1, depth 1.

def unchecked source · line 292 · raw

@a:Array<U32> -> @+length:Nat -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain

def digest source · line 296 · raw

@h:0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.Chain -> Array<U32>

def checked source · line 318 · raw

@valid:Bool -> @a:Array<U32> -> @length:Nat -> Maybe<&1, Array<U32>>

def sized source · line 323 · raw

@+length:Nat -> @pair:Pair(Array<U32>, U32) -> Maybe<&1, Array<U32>>

def blake2b source · line 330 · raw

@words:Array<U32> -> @byte_length:Nat -> Maybe<&1, Array<U32>>

BLAKE2b-512, unkeyed. The message is packed little-endian, four bytes per word; byte_length is its length in bytes (None when it exceeds 4 * capacity). The digest is 16 little-endian words (64 bytes).