src/crypto/argon2/sub.bend checks

raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/sub.bend as Sub

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

3 imports

import Base
import ../blake/blake2b/types.bend as T
import ./types.bend as A

Definitions

def row_words source · line 7 · raw

@v:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> List<&2, U32>

The 32 words of a row: lane n is words 2n (low) and 2n+1 (high).

def app source · line 12 · raw

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

def words source · line 16 · raw

@b:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block -> List<&2, U32>

The 256 words of a block, row after row.

def row source · line 22 · raw

@ws:List<&2, U32> -> Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>)

Sixteen lanes from 32 words, and the words left over.

def rows8_7 source · line 28 · raw

@r0:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r1:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r2:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r3:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r4:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r5:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r6:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8_6 source · line 32 · raw

@r0:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r1:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r2:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r3:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r4:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r5:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8_5 source · line 36 · raw

@r0:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r1:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r2:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r3:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r4:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8_4 source · line 40 · raw

@r0:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r1:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r2:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r3:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8_3 source · line 44 · raw

@r0:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r1:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r2:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8_2 source · line 48 · raw

@r0:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @r1:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8_1 source · line 52 · raw

@r0:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State -> @p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8_0 source · line 56 · raw

@p:Pair(0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/blake/blake2b/types.State, List<&2, U32>) -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

def rows8 source · line 61 · raw

@ws:List<&2, U32> -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/argon2/types.Block

The block of 256 words (the inverse of words).