~/bend-docscommunity

src/crypto/keccak/permutation.bend checks

raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/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

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

def constant source · line 8 · raw

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

def round source · line 36 · raw

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

def rounds_short source · line 76 · raw

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

def rounds source · line 81 · raw

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

def permute source · line 210 · raw

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