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

• 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_NistCtrProof.bend

• def stream_step
• def checkpoint_ctr2_stream
• def checkpoint_ctr3_stream
• def checkpoint_ctr4_stream
• def checkpoint_ctr5_stream
• def counter_6
• def stream_64
• def stream_60
• def checkpoint_stream_64
• def checkpoint_ctr5_partial
• def checkpoint_stream_60

proof/AES_NistHashBlockComposeProof.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_NistHashBlockProof.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
• 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_NistInputProof.bend

• def encrypt_inputsTransport fixture aliases before entering the encryption or decryption code.
• def decrypt_inputs

proof/AES_NistKeyScheduleProof.bend

• def key_bytesNIST AES-256 example key.
• def words_8
• def words_9
• def words_10
• def words_11
• def words_12
• def words_13
• def words_14
• def words_15
• def words_16
• def words_17
• def words_18
• def words_19
• def words_20
• def words_21
• def words_22
• def words_23
• def words_24
• def words_25
• def words_26
• def words_27
• def words_28
• def words_29
• def words_30
• def words_31
• def words_32