def keccak256_rounds

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/keccak/main.bend:82

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/keccak/main.bend as BendCollectionsLawsCrypto

import Base

82def keccak256_rounds(round_count: Nat, a: Array<U32>, length: Nat) -> Maybe<&1,Array<U32>>:
83  sized(round_count,length,Array.size(U32,a))

Uses (6)

Used by (5)