~/jendhub

def rounds_short

bend-collections@1.0.0.0 · src/crypto/keccak/permutation.bend:76

import bend-collections@1.0.0.0/src/crypto/keccak/permutation.bend as Permutation
import Base
import bend-collections@1.0.0.0/src/crypto/keccak/types.bend as T

76def rounds_short(n: Nat, +i: Nat, s: T.State) -> T.State:
77  match n:
78    case 0n: s
79    case 1n+p: rounds_short(p,1n+i,round(s,constant(i)))

Uses (4)

Used by (1)