qasim-bend-kit

Releases (3)

• 0.1.0.2 indexed
• 0.1.0.1 unindexed
• 0.1.0.0 unindexed

Definitions (1,592)

proof/AES_NistKeyScheduleProof.bend

• def next_words_44
• def next_rcon_44
• def next_words_45
• def next_rcon_45
• def next_words_46
• def next_rcon_46
• def next_words_47
• def next_rcon_47
• def next_words_48
• def next_rcon_48
• def next_words_49
• def next_rcon_49
• def next_words_50
• def next_rcon_50
• def next_words_51
• def next_rcon_51
• def next_words_52
• def next_rcon_52
• def next_words_53
• def next_rcon_53
• def next_words_54
• def next_rcon_54
• def next_words_55
• def next_rcon_55
• def next_words_56
• def next_rcon_56
• def next_words_57
• def next_rcon_57
• def next_words_58
• def next_rcon_58
• def next_words_59
• def next_rcon_59
• def suffix_60
• def suffix_59
• def suffix_58
• def suffix_57
• def suffix_56
• def suffix_55
• def suffix_54
• def suffix_53
• def suffix_52
• def suffix_51
• def suffix_50
• def suffix_49
• def suffix_48
• def suffix_47
• def suffix_46
• def suffix_45
• def suffix_44
• def suffix_43
• def suffix_42
• def suffix_41
• def suffix_40
• def suffix_39
• def suffix_38
• def suffix_37
• def suffix_36
• def suffix_35
• def suffix_34
• def suffix_33
• def suffix_32
• def suffix_31
• def suffix_30
• def suffix_29
• def suffix_28
• def suffix_27
• def suffix_26
• def suffix_25
• def suffix_24
• def suffix_23
• def suffix_22
• def suffix_21
• def suffix_20
• def suffix_19
• def suffix_18
• def suffix_17
• def suffix_16
• def suffix_15
• def suffix_14
• def suffix_13
• def suffix_12
• def suffix_11
• def suffix_10
• def suffix_9
• def suffix_8
• def expanded_words_matches
• def key_schedule_matches

proof/AES_NistObservationProof.bend

• def ciphertext
• def schedule_input_matches
• def stream_parameters
• def ciphertext_shape
• def xor_from_stream
• def finish_cipher
• def parts
• def expanded
• def from_ciphertext
• def valid_encrypt
• def checked_encrypt
• def finish_encrypt
• def decrypt_expanded