def nonce_impl

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:386

import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM

import Base

386def nonce_impl(+bytes: List<&2, U32>) -> Result<&2, &2, Error, Nonce>:
387    nonce_from_proofs(bytes, aes_nat_eq_proof(List.length(&2, U32, bytes), 12n),
388        aes_bytes_valid_proof(bytes))

Uses (9)

Used by (3)