def blocks

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

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

60def blocks(+round_count: Nat, n: Nat, +index: U32, remain: Nat, pair: Array<U32> & T.State) -> T.State:
61  match n pair:
62    case 0n Tuple{a,s}: finish(round_count,a,index,remain,s)
63    case 1n+p Tuple{a,s}: blocks(round_count,p,U32.add(index,34),remain,absorb(round_count,a,index,s))