def suffix
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core.bend as Coreimport Base
35def suffix(+n: Nat) -> List<&2, U32>:
36 tail(Nat.sub(136n, Nat.mod(n, 136n)))
Uses (6)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:finish3
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha3/conformance:keccak_correct
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core:keccak
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:finish3_eta
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:incremental3
- …