def key
import bend-collections-laws-crypto@1.0.0.0/src/crypto/chacha/chacha20.bend as Chacha20import Base
47def key(bytes: List<&2, U32>) -> Key:
48 key_words(words(bytes))
Uses (5)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/chacha/chacha20:encrypt_rounds
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/stream:block_length
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/stream:body_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/stream:keystream_correct
- bend-collections-laws-crypto@1.0.0.0/src/crypto/chacha/chacha20:hchacha_body
- …