def expanded_block_matches

qasim-bend-kit@0.1.0.2 · proof/AES_NistCtr4ComposeProof.bend:261

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core
import qasim-bend-kit@0.1.0.2/proof/AES_NistKeyScheduleProof.bend as Key
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr4BlockProof.bend as Block
import qasim-bend-kit@0.1.0.2/proof/AES_BlockBridgeProof.bend as Bridge

261def expanded_block_matches() ->
262    {Core.aes256_encrypt_expanded(Key.words_60(), Block.block()) == Block.result() : List<&2, U32>}:
263    Bridge.expanded_block_from_initial(Key.words_60(), Block.block(), Block.state_0(),
264        Block.result(), Block.initial_matches(), final_nist_block_match())