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_IdentityProof.bend

• def mask_word_same
• def mask_same
• def mask_identity
• def decoded_or_empty
• def hex_injective
• def fields
• def optional_text
• def field_text
• def result_text
• def fields_equal
• def fixed_hex_equal
• def encode_injective
• def exact_roundtrip_result
• def exact_roundtrip

proof/AES_KnownAnswerProof.bend

• def tag_equal
• def envelope_equal
• def output_matches
• def encrypt_matches

proof/AES_LengthLimitProof.bend

• def bool_and_true_right
• def predecessor
• def length_limit_go_same
• def bytes_length_limit_same
• def plaintext_valid_same_length

proof/AES_MaskedXorProof.bend

• def bool_mask_xor_inv
• def word_mask_xor_inv
• def word_bits
• def gcm_mask_xor_inv
• def bool_and_comm
• def word_and_comm
• def byte_mask_identity
• def bool_and_true_left
• def bool_and_true_right
• def mask_bytes_identity
• def predecessor
• def zip_xor_involution
• def ctr_decrypt_ciphertext_roundtrip
• def ctr_ciphertext_plaintext_valid

proof/AES_NistBlockComposeProof.bend

• def suffix_1
• def suffix_2
• def suffix_3
• def suffix_4
• def suffix_5
• def suffix_6
• def suffix_7
• def suffix_8
• def suffix_9
• def suffix_10
• def suffix_11
• def suffix_12
• def suffix_13
• def chunk_0
• def chunk_3
• def chunk_6
• def chunk_9
• def rounds_0_to_6
• def rounds_6_to_12
• def full_rounds_match
• def full_nist_rounds_match
• def final_nist_block_match
• def expanded_block_matches

proof/AES_NistBlockProof.bend

• def blockConcrete stages of the NIST J0 block, checked by the independent kernel.
• def state_0
• def state_1
• def state_2
• def state_3
• def state_4
• def state_5
• def state_6
• def state_7
• def state_8
• def state_9
• def state_10
• def state_11
• def state_12
• def state_13
• def result
• def initial_matches
• def round_1_matches
• def round_2_matches
• def round_3_matches
• def round_4_matches
• def round_5_matches
• def round_6_matches
• def round_7_matches
• def round_8_matches
• def round_9_matches
• def round_10_matches
• def round_11_matches
• def round_12_matches
• def round_13_matches
• def final_matches

proof/AES_NistCtr2BlockProof.bend

• def block
• def state_0
• def state_1
• def state_2
• def state_3
• def state_4
• def state_5
• def state_6
• def state_7