def zero_key
import qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof.bend as AESNistTamperVectorProofimport Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
12def zero_key() -> AES.SecretKey:
13 AES.SecretKey{[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], {==}, {==}}