~/jendhub

def checkpoint_zero_key

qasim-bend-kit@0.1.0.2 · proof/AES_NistTamperVectorProof.bend:15

import qasim-bend-kit@0.1.0.2/proof/AES_NistTamperVectorProof.bend as AESNistTamperVectorProof
import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

15def checkpoint_zero_key() ->
16    {Core.aes256_expand(AES.secret_key_bytes(zero_key())) == zero_words() : List<&2, U32>}:
17    {==}

Uses (6)

Used by (1)