bend-collections

Releases (1)

• 1.0.0.0 indexed

Definitions (4,483)

src/crypto/sha/packed/core.bend

• def kr35
• def kr34
• def kr33
• def kr32
• def kr31
• def kr30
• def kr29
• def kr28
• def kr27
• def kr26
• def kr25
• def kr24
• def kr23
• def kr22
• def kr21
• def kr20
• def kr19
• def kr18
• def kr17
• def kr16
• def fips_compress16window_compress16 specialized to the FIPS table: no constant list is walked.
• def len_hiFIPS padding suffix for a message of n bytes, computed with modular arithmetic.
• def len_lo

src/crypto/sha/packed/packed.bend

• def atPacked big-endian words: four bytes per U32.
• def partial
• def pad_choose
• def pad_word
• def length_word
• def read16
• def read15
• def read14
• def read13
• def read12
• def read11
• def read10
• def read9
• def read8
• def read7
• def read6
• def read5
• def read4
• def read3
• def read2
• def read1
• def pad16
• def pad15
• def pad14
• def pad13
• def pad12
• def pad11
• def pad10
• def pad9
• def pad8
• def pad7
• def pad6
• def pad5
• def pad4
• def pad3
• def pad2
• def pad1
• def final_extra
• def blocks
• def take_state
• def hash_uncheckedInternal entry; callers must establish length <= 4*array capacity.
• def checked
• def sized
• def hashPublic bounded API; consumes the input array, without constructing a byte list.

src/crypto/sha/packed/sha256.bend

• def sha256Sole production hash API.
• def hex_digit_if
• def hex_digit
• def hex_word_go
• def hex_word
• def hex_walkFormatting helper consumes eight words; it does not create a digest list.
• def hex

src/crypto/sha/sha256.bend

• def constantsThe core refinement theorem quantifies over every constant table.
• def sha256
• def ascii
• def hex
• def digest_bytesBig-endian octets, represented as U32 values in 0..255.
• def sha256_bytes

src/crypto/sha/state.bend

• type StateShared representation only; this module contains no algorithm or operations.

src/crypto/sha3/core.bend

• def pack
• def lanes
• def tail0x06, zeros, 0x80 up to the end of the block (0x86 when one byte is left).
• def suffix
• def zero
• def injectXOR one block into the leading 17 lanes.
• def absorbAbsorb every whole block of 17 lanes with the given round count (24).
• def le_bytes
• def digest_bytesThe 32-byte digest: lanes 0..3, little-endian.
• def hash_padded
• def keccak
• def sha3_256

src/crypto/sha3/sha3_256.bend

• def sha3_256SHA3-256 (FIPS 202) on the Keccak-f[1600] permutation of src/crypto/keccak.

src/crypto/sha512/core.bend

• type SchedThe sixteen most recent schedule words, newest first: W[t-1] ..
• def add(a + b) mod 2^64: the carry out of the low halves is 1 exactly when their wrapped sum is below an addend.
• def big0FIPS 180-4 (4.10): ROTR28 ^ ROTR34 ^ ROTR39
• def big1FIPS 180-4 (4.11): ROTR14 ^ ROTR18 ^ ROTR41
• def small0FIPS 180-4 (4.12): ROTR1 ^ ROTR8 ^ SHR7
• def small1FIPS 180-4 (4.13): ROTR19 ^ ROTR61 ^ SHR6