~/bend-docscommunity

spec/crypto/keccak/permutation.bend checks

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

2 imports
import Base
import ../../../src/crypto/keccak/types.bend as T

Definitions

def xor source · line 5 · raw

@a:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane -> @b:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane

64-bit lanes are specified by two 32-bit halves, low half first.

def chi source · line 9 · raw

@a:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane -> @b:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane -> @c:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane

def rotate_small source · line 14 · raw

@+lo:U32 -> @+hi:U32 -> @+n:Nat -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane

def rotate_nonzero source · line 17 · raw

@lo:U32 -> @hi:U32 -> @+n:Nat -> @b:Bool -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane

def rotate source · line 22 · raw

@a:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane -> @+n:Nat -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane

def at source · line 28 · raw

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

def column source · line 57 · raw

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

def theta_lane source · line 60 · raw

@+s:0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.State -> @+x:Nat -> @y:Nat -> 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/keccak/types.Lane

def theta source · line 63 · raw

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

def rho_pi source · line 66 · raw

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

def chi_state source · line 69 · raw

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

def iota source · line 72 · raw

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

def round source · line 77 · raw

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

def constant source · line 80 · raw

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

def rounds source · line 108 · raw

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

def permute source · line 113 · raw

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