~/jendhub

def expanded_words_matches

qasim-bend-kit@0.1.0.2 · proof/AES_NistKeyScheduleProof.bend:953

import qasim-bend-kit@0.1.0.2/proof/AES_NistKeyScheduleProof.bend as AESNistKeyScheduleProof
import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

953def expanded_words_matches() ->
954    {Core.aes_expand.go(52n, 8, 1, words_8()) == words_60() : List<&2, U32>}:
955    suffix_8()

Uses (6)

Used by (1)