~/bend-docscommunity

src/crypto/keccak/permutation.bend checks

raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/permutation.bend as Permutation

3 imports
import Base
import ./types.bend as T
import ./lane.bend as L

Definitions

def initial source · line 5 · raw

0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State

def constant source · line 8 · raw

@i:Nat -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane

def round source · line 36 · raw

@s:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State -> @rc:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State

def rounds_short source · line 76 · raw

@n:Nat -> @+i:Nat -> @s:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State

def rounds source · line 81 · raw

@n:Nat -> @+i:Nat -> @s:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State

def permute source · line 210 · raw

@s:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State