qasim-bend-kit

Releases (3)

• 0.1.0.2 indexed
• 0.1.0.1 unindexed
• 0.1.0.0 unindexed

Definitions (1,592)

libs/AES256GCMCore.bend

• def ghash_nat_bytes
• def ghash_auth_with_hash_impl
• def ghash_auth_with_hashDo not expand a symbolic GHASH multiplication while transporting its hash.
• def ghash_auth_expanded
• def gcm_j0
• def gcm_inc32
• def gcm_ctr_stream.go
• def gcm_ctr_advance
• type GcmCtrStep
• def gcm_ctr_step
• def gcm_ctr_step_byte
• def gcm_ctr_step_counter
• def gcm_ctr_step_rest
• def gcm_ctr_stream_exact.goGenerate each AES counter block once and consume all of its bytes.
• def gcm_ctr_stream_exact
• def gcm_zip_xor
• def gcm_zip_xor_nil_left
• def gcm_zip_xor_nil_right
• def gcm_zip_xor_valid
• def gcm_tag_partsA GCM tag is exactly sixteen bytes.
• def gcm_tag_output_impl
• def gcm_tag_outputKeep an abstract key schedule abstract during proof normalization.
• def gcm_tag_bytes
• def gcm_tag_valid
• def gcm_tag_size
• type GcmOutput
• def gcm_output_tag_bytes
• def gcm_output_tag_valid
• def gcm_output_tag_size
• def gcm_output_from_tag
• def gcm_output_from_ciphertext
• def gcm_ctr_encrypt
• def gcm_encrypt_raw
• def gcm_decrypt_expanded
• def gcm_decrypt_raw
• def gcm_tag_expandedAuthenticate ciphertext directly; expand the key once for both AES calls.
• def gcm_tag
• def ghash_auth

libs/AES256SBox.bend

• def lookup_indexThe AES byte substitution table, generated from the field inverse and affine map.
• def lookup

libs/JSON.bend

• def BoolTypeJSON values preserve number lexemes as strings.
• type NumberCert
• type Value
• type Error
• type Parsed
• type StringScan
• type StringScanState
• type NumberState
• def whitespace
• def is_control
• def escape_char_special
• type EscapeClass
• def escape_class
• type QuoteAction
• def quote_action_from_class
• def quote_action
• def quote_lex_action
• def escape_char_from_class
• def escape_char
• def escape_string
• def render_object_fieldStructural rendering has no fuel limit.
• def render
• def stringify
• type HexScanA hexadecimal escape is exactly four digits.
• def hex_digit
• def scan_hex
• def string_push
• def scan_string_machine
• def scan_string
• def scan_number
• type NumberChar
• def number_char
• def number_step
• def number_next
• def number_valid_end
• def number_valid_step
• def number_valid
• def NumberProofFrom
• def NumberProof
• def null_token
• def true_token
• def false_token
• def from_string_scan
• def number_proof
• def number_lexeme
• def from_number_scan
• def parse_number
• def number_from_digit
• type ParserKontThe parser is an explicit machine.
• type ParserState
• def resume_value
• def parse_machine
• def parse_value
• def finish_rest_clean
• def finish_rest
• def finish
• type FastStringCommon JSON escapes have a structural decoder.
• def fast_push
• def fast_raw
• def fast_string