def encrypt
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha.bend as Chachaimport Base
170def encrypt(+key: List<&2, U32>, counter: U32, +nonce: List<&2, U32>, +plaintext: List<&2, U32>) -> List<&2, U32>:
171 encrypt_rounds(10n, key, counter, nonce, plaintext)
Uses (3)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha20poly1305:seal
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha20poly1305:open_tag
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/chacha20poly1305:seal_eq
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha:xencrypt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/chacha20poly1305:open_tag_eq
- …