def xencrypt
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha.bend as Chachaimport Base
204def xencrypt(+key: List<&2, U32>, counter: U32, +nonce: List<&2, U32>, +plaintext: List<&2, U32>) -> List<&2, U32>:
205 encrypt(xsubkey(key, nonce), counter, xnonce(nonce), plaintext)
Uses (5)
Used by (4)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/xchacha:xencrypt_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/laws:xchacha20.valid
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/laws:xencrypt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/laws:xinvolution