bend-collections@1.0.0.0

0xd9a2fae439ac7ff9e21e0853948f94fe

Files (140)

main.bend
proofs/crypto/sha/conformance.bend76 definitions
proofs/crypto/sha/correctness.bend1 definition
proofs/crypto/sha/laws.bend5 definitions
proofs/crypto/sha/list_proofs.bend7 definitions
proofs/crypto/sha/packed/buffer_proof.bend8 definitions
proofs/crypto/sha/packed/conformance.bend76 definitions
proofs/crypto/sha/packed/core_model.bend100 definitions
proofs/crypto/sha/packed/laws.bend7 definitions
proofs/crypto/sha/packed/legacy_model.bend8 definitions
proofs/crypto/sha/packed/packed_array_proof.bend4 definitions
proofs/crypto/sha/packed/packed_proof.bend49 definitions
proofs/crypto/sha/packed/proof.bend1 definition
proofs/crypto/sha/padding.bend1 definition
spec/crypto/chacha.bend30 definitions
spec/crypto/chacha20poly1305.bend12 definitions
spec/crypto/hkdf.bend9 definitions
spec/crypto/hmac.bend11 definitions
spec/crypto/keccak/main.bend17 definitions
spec/crypto/keccak/permutation.bend16 definitions
spec/crypto/poly1305.bend19 definitions
spec/crypto/secp256k1/curve.bend53 definitions
spec/crypto/secp256k1/ecdsa.bend59 definitions
spec/crypto/secp256k1/field.bend16 definitions
spec/crypto/secp256k1/schnorr.bend32 definitions
spec/crypto/sha.bend35 definitions
spec/crypto/sha/packed.bend20 definitions
spec/crypto/subtle.bend1 definition
spec/lib/common.bend21 definitions
src/containers/balanced_search_tree.bend361 definitions
src/containers/binary_heap.bend67 definitions
src/containers/bitlist.bend51 definitions
src/containers/bitset.bend85 definitions
src/containers/deque.bend31 definitions
src/containers/dlist_iterator.bend50 definitions
src/containers/doubly_linked_list.bend62 definitions
src/containers/dynamic_array.bend106 definitions
src/containers/hash_table.bend103 definitions
src/containers/internal/dlist_storage.bend91 definitions
src/containers/internal/intrusive_list.bend139 definitions
src/containers/intrusive_doubly_linked_list.bend42 definitions
src/containers/intrusive_links.bend17 definitions
src/containers/lru.bend170 definitions
src/containers/priority_queue.bend7 definitions
src/containers/queue.bend19 definitions
src/containers/simple_queue.bend6 definitions
src/containers/stack.bend16 definitions
src/containers/types/binary_heap.bend3 definitions
src/containers/types/bitlist.bend3 definitions
src/containers/types/bitset.bend3 definitions
src/containers/types/deque.bend3 definitions
src/containers/types/doubly_linked_list.bend5 definitions
src/containers/types/dynamic_array.bend4 definitions
src/containers/types/internal_dlist.bend5 definitions
src/containers/types/intrusive_doubly_linked_list.bend5 definitions
src/containers/types/queue.bend3 definitions
src/containers/types/stack.bend3 definitions
src/crypto/aead.bend10 definitions
src/crypto/aead/chacha20poly1305.bend22 definitions
src/crypto/aes/aes.bend34 definitions
src/crypto/aes/gcm.bend34 definitions
src/crypto/aes/sbox.bend6 definitions
src/crypto/aes/types.bend2 definitions
src/crypto/aesgcm.bend4 definitions
src/crypto/argon2/argon2.bend46 definitions
src/crypto/argon2/blamka.bend34 definitions
src/crypto/argon2/memory.bend9 definitions
src/crypto/argon2/phc.bend61 definitions
src/crypto/argon2/sub.bend13 definitions
src/crypto/argon2/types.bend1 definition
src/crypto/blake/blake2b/blake2b.bend75 definitions
src/crypto/blake/blake2b/compress.bend140 definitions
src/crypto/blake/blake2b/hex.bend7 definitions
src/crypto/blake/blake2b/lane.bend6 definitions
src/crypto/blake/blake2b/sized.bend13 definitions
src/crypto/blake/blake2b/types.bend5 definitions
src/crypto/blake/blake2s/blake2s.bend46 definitions
src/crypto/blake/blake2s/compress.bend5 definitions
src/crypto/blake/blake2s/hex.bend7 definitions
src/crypto/blake/blake2s/types.bend2 definitions
src/crypto/blake/blake3/blake3.bend40 definitions
src/crypto/blake/blake3/compress.bend11 definitions
src/crypto/blake/blake3/hex.bend6 definitions
src/crypto/blake/blake3/types.bend4 definitions
src/crypto/chacha/chacha20.bend30 definitions
src/crypto/chacha/core.bend9 definitions
src/crypto/curve25519/field.bend44 definitions
src/crypto/curve25519/x25519.bend17 definitions
src/crypto/ed25519/ed25519.bend11 definitions
src/crypto/ed25519/point.bend27 definitions
src/crypto/ed25519/scalar.bend8 definitions
src/crypto/hash.bend78 definitions
src/crypto/kdf.bend7 definitions
src/crypto/keccak/hex.bend7 definitions
src/crypto/keccak/keccak.bend81 definitions
src/crypto/keccak/lane.bend30 definitions
src/crypto/keccak/permutation.bend6 definitions
src/crypto/keccak/types.bend2 definitions
src/crypto/kex.bend9 definitions
src/crypto/mac.bend7 definitions
src/crypto/password.bend16 definitions
src/crypto/poly1305/limbs.bend19 definitions
src/crypto/poly1305/poly1305.bend14 definitions
src/crypto/random.bend19 definitions
src/crypto/secp256k1.bend19 definitions
src/crypto/secp256k1/bytes.bend10 definitions
src/crypto/secp256k1/ecdsa.bend65 definitions
src/crypto/secp256k1/field.bend29 definitions
src/crypto/secp256k1/limbs.bend34 definitions
src/crypto/secp256k1/point.bend43 definitions
src/crypto/secp256k1/scalar.bend26 definitions
src/crypto/secp256k1/schnorr.bend30 definitions
src/crypto/sha/core.bend163 definitions
src/crypto/sha/packed/buffer.bend3 definitions
src/crypto/sha/packed/core.bend63 definitions
src/crypto/sha/packed/packed.bend44 definitions
src/crypto/sha/packed/sha256.bend7 definitions
src/crypto/sha/sha256.bend6 definitions
src/crypto/sha/state.bend1 definition
src/crypto/sha3/core.bend12 definitions
src/crypto/sha3/sha3_256.bend1 definition
src/crypto/sha512/core.bend29 definitions
src/crypto/sha512/sha512.bend5 definitions
src/crypto/sha512/types.bend2 definitions
src/crypto/sign.bend10 definitions
src/crypto/subtle.bend2 definitions
src/math/f64.bend221 definitions
src/math/generic.bend97 definitions
src/math/hash.bend4 definitions
src/math/instances.bend11 definitions
src/math/natural.bend47 definitions
src/math/num.bend3 definitions
src/math/pow2.bend2 definitions
src/math/random.bend16 definitions
src/math/random/chacha8.bend15 definitions
src/math/random/chacha8/block.bend8 definitions
src/math/random/pcg.bend16 definitions
src/math/random/rand.bend52 definitions
src/math/u64.bend18 definitions
src/math/w64.bend131 definitions