def secret_key_bytes
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
390def secret_key_bytes(key: SecretKey) -> List<&2, U32>:
391 match key:
392 case SecretKey{bytes, size, valid}: bytes
Uses (3)
Used by (16)
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:checkpoint_nist_schedule
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:encrypt_valid_output
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_decrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_encrypt
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_envelope_tag_canonical
- …