~/bend-docscommunity

src/crypto/keccak/permutation.bend checks

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

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

def constant source · line 8 · raw

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

def round source · line 36 · raw

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

def rounds_short source · line 76 · raw

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

def rounds source · line 81 · raw

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

def permute source · line 210 · raw

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