def key_impl

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

import Base

371def key_impl(+bytes: List<&2, U32>) -> Result<&2, &2, Error, SecretKey>:
372    key_from_proofs(bytes, aes_nat_eq_proof(List.length(&2, U32, bytes), 32n),
373        aes_bytes_valid_proof(bytes))