~/bend-docscommunity

src/crypto/keccak/permutation.bend checks

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

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

def constant source · line 8 · raw

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

def round source · line 36 · raw

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

def rounds_short source · line 76 · raw

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

def rounds source · line 81 · raw

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

def permute source · line 210 · raw

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