def block_len
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/hmac.bend as Hmacimport Base
10# B, the block size of SHA-256 in bytes, and L, its output size.
11def block_len() -> Nat:
12 64n
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/hmac.bend as Hmacimport Base
10# B, the block size of SHA-256 in bytes, and L, its output size.
11def block_len() -> Nat:
12 64n