def keccak256_rounds

bend-collections-laws-crypto@1.0.0.0 · src/crypto/keccak/keccak.bend:338

import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/keccak.bend as Keccak

import Base

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

Uses (6)

Used by (5)