def k0
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/hmac.bend as Hmacimport Base
43def k0(+key: List<&2, U32>) -> List<&2, U32>:
44 zero_pad(shorten(key))
Uses (4)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/hmac:hmac
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/mac/hmac:sign_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/mac/hmac:inner
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/mac/hmac:outer
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/mac/hmac:block_mask