def padding
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha3.bend as Sha3import Base
34def padding(+n: Nat) -> List<&2, U32>:
35 padding_bytes(Nat.sub(136n, Nat.mod(n, 136n)))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha3.bend as Sha3import Base
34def padding(+n: Nat) -> List<&2, U32>:
35 padding_bytes(Nat.sub(136n, Nat.mod(n, 136n)))