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

• def decrypt_key_shape
• def payload_shape
• def payload_parameters
• def envelope_tag_computed
• def tag_parameters
• def auth_for_tag
• def decrypt_auth_shape
• def finish_auth
• def finish_decrypt

proof/AES_NistTagProof.bend

• def zero
• def auth_from_hash
• def tag_from_parts
• def tag_shape
• def auth_from_checked_hash
• def aes_block_input_matches
• def finish_tag
• def nist_tag

proof/AES_NistTamperVectorProof.bend

• def zero_words
• def zero_key
• def checkpoint_zero_key
• def changed_aad_aad
• def changed_aad_computed_tag
• def changed_aad_envelope
• def checkpoint_changed_aad_tag
• def checkpoint_changed_aad_rejected
• def rejects_changed_aad
• def changed_key_aad
• def changed_key_computed_tag
• def changed_key_envelope
• def checkpoint_changed_key_tag
• def checkpoint_changed_key_rejected
• def rejects_changed_key
• def changed_nonce_aad
• def changed_nonce_computed_tag
• def changed_nonce_envelope
• def checkpoint_changed_nonce_tag
• def checkpoint_changed_nonce_rejected
• def rejects_changed_nonce
• def changed_ciphertext_aad
• def changed_ciphertext_computed_tag
• def changed_ciphertext_envelope
• def checkpoint_changed_ciphertext_tag
• def checkpoint_changed_ciphertext_rejected
• def rejects_changed_ciphertext

proof/AES_NistVectorProof.bend

• def checkpoint_nist_schedule
• def empty_aad
• def empty_plaintext
• def empty_ciphertext
• def empty_tag
• def empty_auth
• def checkpoint_empty_ciphertext
• def checkpoint_empty_ghash
• def checkpoint_empty_tag
• def empty_encrypt
• def checkpoint_empty_plaintext
• def checkpoint_empty_authenticated
• def empty_decrypt
• def multiblock_aad
• def multiblock_plaintext
• def multiblock_ciphertext
• def multiblock_tag
• def multiblock_auth
• def checkpoint_multiblock_plaintext_stream
• def checkpoint_multiblock_ciphertext_stream
• def checkpoint_multiblock_ciphertext
• def checkpoint_multiblock_ghash
• def checkpoint_multiblock_tag
• def multiblock_encrypt
• def checkpoint_multiblock_plaintext
• def checkpoint_multiblock_authenticated
• def multiblock_decrypt
• def aad_only_aad
• def aad_only_plaintext
• def aad_only_ciphertext
• def aad_only_tag
• def aad_only_auth
• def checkpoint_aad_only_ciphertext
• def checkpoint_aad_only_ghash
• def checkpoint_aad_only_tag
• def aad_only_encrypt
• def checkpoint_aad_only_plaintext
• def checkpoint_aad_only_authenticated
• def aad_only_decrypt
• def aad_and_multiblock_aad
• def aad_and_multiblock_plaintext
• def aad_and_multiblock_ciphertext
• def aad_and_multiblock_tag
• def aad_and_multiblock_auth
• def checkpoint_aad_and_multiblock_plaintext_stream
• def checkpoint_aad_and_multiblock_ciphertext_stream
• def checkpoint_aad_and_multiblock_ciphertext
• def checkpoint_aad_and_multiblock_ghash
• def checkpoint_aad_and_multiblock_tag
• def aad_and_multiblock_encrypt
• def checkpoint_aad_and_multiblock_plaintext
• def checkpoint_aad_and_multiblock_authenticated
• def aad_and_multiblock_decrypt
• def partial_block_aad
• def partial_block_plaintext
• def partial_block_ciphertext