0xd9a2fae4 checks

0xd9a2fae439ac7ff9e21e0853948f94fe

no description

Anonymous package: import it by hash.

Published

2026-09-30

Size

2,077,973 bytes, 142 files

License

MIT (LICENSE)
MIT (src/crypto/keccak/LICENSE)

Declarations

229 laws (229 proved), 4082 defs, 172 types

Import

import 0xd9a2fae439ac7ff9e21e0853948f94fe/main.bend as Main
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/conformance.bend as Conformance
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/correctness.bend as Correctness
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/laws.bend as Laws
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/list_proofs.bend as List_proofs
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/buffer_proof.bend as Buffer_proof
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/conformance.bend as Conformance
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/core_model.bend as Core_model
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/laws.bend as Laws
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/legacy_model.bend as Legacy_model
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/packed_array_proof.bend as Packed_array_proof
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/packed_proof.bend as Packed_proof
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/packed/proof.bend as Proof
import 0xd9a2fae439ac7ff9e21e0853948f94fe/proofs/crypto/sha/padding.bend as Padding
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/chacha.bend as Chacha
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/chacha20poly1305.bend as Chacha20poly1305
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/hkdf.bend as Hkdf
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/hmac.bend as Hmac
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/keccak/main.bend as Main
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/keccak/permutation.bend as Permutation
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/poly1305.bend as Poly1305
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/secp256k1/curve.bend as Curve
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/secp256k1/ecdsa.bend as Ecdsa
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/secp256k1/field.bend as Field
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/secp256k1/schnorr.bend as Schnorr
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/sha.bend as Sha
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/sha/packed.bend as Packed
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/crypto/subtle.bend as Subtle
import 0xd9a2fae439ac7ff9e21e0853948f94fe/spec/lib/common.bend as Common
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/balanced_search_tree.bend as Balanced_search_tree
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/binary_heap.bend as Binary_heap
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/bitlist.bend as Bitlist
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/bitset.bend as Bitset
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/deque.bend as Deque
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/dlist_iterator.bend as Dlist_iterator
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/doubly_linked_list.bend as Doubly_linked_list
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/dynamic_array.bend as Dynamic_array
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/hash_table.bend as Hash_table
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/internal/dlist_storage.bend as Dlist_storage
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/internal/intrusive_list.bend as Intrusive_list
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/intrusive_doubly_linked_list.bend as Intrusive_doubly_linked_list
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/intrusive_links.bend as Intrusive_links
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/lru.bend as Lru
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/priority_queue.bend as Priority_queue
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/queue.bend as Queue
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/simple_queue.bend as Simple_queue
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/stack.bend as Stack
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/binary_heap.bend as Binary_heap
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/bitlist.bend as Bitlist
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/bitset.bend as Bitset
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/deque.bend as Deque
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/doubly_linked_list.bend as Doubly_linked_list
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/dynamic_array.bend as Dynamic_array
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/internal_dlist.bend as Internal_dlist
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/intrusive_doubly_linked_list.bend as Intrusive_doubly_linked_list
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/queue.bend as Queue
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/stack.bend as Stack
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aead.bend as Aead
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aead/chacha20poly1305.bend as Chacha20poly1305
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aes/aes.bend as Aes
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aes/gcm.bend as Gcm
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aes/sbox.bend as Sbox
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aes/types.bend as Types
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/aesgcm.bend as Aesgcm
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/argon2/argon2.bend as Argon2
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/argon2/blamka.bend as Blamka
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/argon2/memory.bend as Memory
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/argon2/phc.bend as Phc
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/argon2/sub.bend as Sub
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/argon2/types.bend as Types
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/blake2b.bend as Blake2b
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/compress.bend as Compress
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/hex.bend as Hex
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/lane.bend as Lane
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/sized.bend as Sized
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2b/types.bend as Types
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2s/blake2s.bend as Blake2s
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2s/compress.bend as Compress
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2s/hex.bend as Hex
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake2s/types.bend as Types
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake3/blake3.bend as Blake3
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake3/compress.bend as Compress
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake3/hex.bend as Hex
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/blake/blake3/types.bend as Types
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/chacha/chacha20.bend as Chacha20
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/chacha/core.bend as Core
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/curve25519/field.bend as Field
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/curve25519/x25519.bend as X25519
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/ed25519/ed25519.bend as Ed25519
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/ed25519/point.bend as Point
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/ed25519/scalar.bend as Scalar
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/hash.bend as Hash
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/kdf.bend as Kdf
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/keccak/hex.bend as Hex
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/keccak/keccak.bend as Keccak
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/keccak/lane.bend as Lane
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/keccak/permutation.bend as Permutation
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/keccak/types.bend as Types
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/kex.bend as Kex
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/mac.bend as Mac
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/password.bend as Password
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/poly1305/limbs.bend as Limbs
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/poly1305/poly1305.bend as Poly1305
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/random.bend as Random
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1.bend as Secp256k1
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/bytes.bend as Bytes
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/ecdsa.bend as Ecdsa
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/field.bend as Field
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/limbs.bend as Limbs
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/point.bend as Point
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/scalar.bend as Scalar
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/schnorr.bend as Schnorr
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha/core.bend as Core
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha/packed/buffer.bend as Buffer
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha/packed/core.bend as Core
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha/packed/packed.bend as Packed
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha/packed/sha256.bend as Sha256
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha/sha256.bend as Sha256
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha/state.bend as State
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha3/core.bend as Core
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha3/sha3_256.bend as Sha3_256
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha512/core.bend as Core
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha512/sha512.bend as Sha512
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sha512/types.bend as Types
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/sign.bend as Sign
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/subtle.bend as Subtle
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/f64.bend as F64
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/generic.bend as Generic
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/hash.bend as Hash
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/instances.bend as Instances
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/natural.bend as Natural
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.bend as Num
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/pow2.bend as Pow2
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/random.bend as Random
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/random/chacha8.bend as Chacha8
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/random/chacha8/block.bend as Block
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/random/pcg.bend as Pcg
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/random/rand.bend as Rand
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/u64.bend as U64
import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/w64.bend as W64

Modules

• main.bend 0 declarations
• proofs/crypto/sha/conformance.bend 76 declarations, 75 laws
• proofs/crypto/sha/correctness.bend 1 declarations, 1 laws
• proofs/crypto/sha/laws.bend 5 declarations, 5 laws
• proofs/crypto/sha/list_proofs.bend 7 declarations, 7 laws
• proofs/crypto/sha/packed/buffer_proof.bend 8 declarations, 6 laws
• proofs/crypto/sha/packed/conformance.bend 76 declarations, 75 laws
• proofs/crypto/sha/packed/core_model.bend 100 declarations — Proof-only historical implementation model; not a production dependency.
• proofs/crypto/sha/packed/laws.bend 7 declarations, 7 laws
• proofs/crypto/sha/packed/legacy_model.bend 8 declarations — PROOF-ONLY historical list model. Not imported by the production API.
• proofs/crypto/sha/packed/packed_array_proof.bend 6 declarations, 2 laws
• proofs/crypto/sha/packed/packed_proof.bend 49 declarations, 49 laws
• proofs/crypto/sha/packed/proof.bend 1 declarations, 1 laws
• proofs/crypto/sha/padding.bend 1 declarations, 1 laws
• spec/crypto/chacha.bend 30 declarations
• spec/crypto/chacha20poly1305.bend 12 declarations
• spec/crypto/hkdf.bend 9 declarations
• spec/crypto/hmac.bend 11 declarations
• spec/crypto/keccak/main.bend 17 declarations
• spec/crypto/keccak/permutation.bend 16 declarations
• spec/crypto/poly1305.bend 19 declarations
• spec/crypto/secp256k1/curve.bend 58 declarations
• spec/crypto/secp256k1/ecdsa.bend 63 declarations
• spec/crypto/secp256k1/field.bend 16 declarations
• spec/crypto/secp256k1/schnorr.bend 32 declarations
• spec/crypto/sha.bend 35 declarations
• spec/crypto/sha/packed.bend 20 declarations
• spec/crypto/subtle.bend 1 declarations
• spec/lib/common.bend 21 declarations
• src/containers/balanced_search_tree.bend 383 declarations — Generated by tools/generators/tree_map.py; edit algorithm definitions there.
• src/containers/binary_heap.bend 75 declarations
• src/containers/bitlist.bend 52 declarations
• src/containers/bitset.bend 91 declarations
• src/containers/deque.bend 32 declarations
• src/containers/dlist_iterator.bend 56 declarations
• src/containers/doubly_linked_list.bend 63 declarations
• src/containers/dynamic_array.bend 107 declarations
• src/containers/hash_table.bend 120 declarations
• src/containers/internal/dlist_storage.bend 93 declarations
• src/containers/internal/intrusive_list.bend 139 declarations — Generated by tools/generators/intrusive_list.py; edit that source.
• src/containers/intrusive_doubly_linked_list.bend 42 declarations — Generated by tools/generators/intrusive_list.py; edit that source.
• src/containers/intrusive_links.bend 18 declarations
• src/containers/lru.bend 181 declarations
• src/containers/priority_queue.bend 7 declarations
• src/containers/queue.bend 20 declarations
• src/containers/simple_queue.bend 6 declarations
• src/containers/stack.bend 17 declarations
• src/containers/types/binary_heap.bend 14 declarations
• src/containers/types/bitlist.bend 20 declarations
• src/containers/types/bitset.bend 19 declarations
• src/containers/types/deque.bend 16 declarations
• src/containers/types/doubly_linked_list.bend 27 declarations
• src/containers/types/dynamic_array.bend 21 declarations
• src/containers/types/internal_dlist.bend 27 declarations
• src/containers/types/intrusive_doubly_linked_list.bend 14 declarations
• src/containers/types/queue.bend 13 declarations
• src/containers/types/stack.bend 13 declarations
• src/crypto/aead.bend 14 declarations
• src/crypto/aead/chacha20poly1305.bend 22 declarations
• src/crypto/aes/aes.bend 35 declarations
• src/crypto/aes/gcm.bend 36 declarations
• src/crypto/aes/sbox.bend 6 declarations
• src/crypto/aes/types.bend 4 declarations
• src/crypto/aesgcm.bend 4 declarations
• src/crypto/argon2/argon2.bend 46 declarations
• src/crypto/argon2/blamka.bend 34 declarations — Generated by tools/generators/argon2_gen.py; do not edit by hand.
• src/crypto/argon2/memory.bend 9 declarations
• src/crypto/argon2/phc.bend 64 declarations
• src/crypto/argon2/sub.bend 13 declarations — Generated by tools/generators/argon2_gen.py; do not edit by hand.
• src/crypto/argon2/types.bend 2 declarations — Generated by tools/generators/argon2_gen.py; do not edit by hand.
• src/crypto/blake/blake2b/blake2b.bend 75 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
• src/crypto/blake/blake2b/compress.bend 140 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
• src/crypto/blake/blake2b/hex.bend 7 declarations — Lowercase hex of a 64-byte BLAKE2b digest (sixteen little-endian words).
• src/crypto/blake/blake2b/lane.bend 6 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
• src/crypto/blake/blake2b/sized.bend 13 declarations
• src/crypto/blake/blake2b/types.bend 10 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
• src/crypto/blake/blake2s/blake2s.bend 46 declarations — Generated by tools/generators/blake2s_gen.py; do not edit.
• src/crypto/blake/blake2s/compress.bend 5 declarations — Generated by tools/generators/blake2s_gen.py; do not edit.
• src/crypto/blake/blake2s/hex.bend 7 declarations
• src/crypto/blake/blake2s/types.bend 4 declarations
• src/crypto/blake/blake3/blake3.bend 43 declarations
• src/crypto/blake/blake3/compress.bend 11 declarations
• src/crypto/blake/blake3/hex.bend 6 declarations
• src/crypto/blake/blake3/types.bend 8 declarations
• src/crypto/chacha/chacha20.bend 32 declarations
• src/crypto/chacha/core.bend 10 declarations — Generated by tools/generators/chacha_gen.py; do not edit.
• src/crypto/curve25519/field.bend 45 declarations
• src/crypto/curve25519/x25519.bend 18 declarations
• src/crypto/ed25519/ed25519.bend 11 declarations
• src/crypto/ed25519/point.bend 29 declarations
• src/crypto/ed25519/scalar.bend 8 declarations
• src/crypto/hash.bend 90 declarations — Generated by tools/generators/hash_gen.py; do not edit by hand.
• src/crypto/kdf.bend 8 declarations
• src/crypto/keccak/hex.bend 7 declarations
• src/crypto/keccak/keccak.bend 81 declarations
• src/crypto/keccak/lane.bend 30 declarations
• src/crypto/keccak/permutation.bend 6 declarations
• src/crypto/keccak/types.bend 4 declarations
• src/crypto/kex.bend 10 declarations
• src/crypto/mac.bend 7 declarations
• src/crypto/password.bend 17 declarations
• src/crypto/poly1305/limbs.bend 19 declarations
• src/crypto/poly1305/poly1305.bend 14 declarations
• src/crypto/random.bend 21 declarations
• src/crypto/secp256k1.bend 20 declarations
• src/crypto/secp256k1/bytes.bend 10 declarations
• src/crypto/secp256k1/ecdsa.bend 70 declarations
• src/crypto/secp256k1/field.bend 29 declarations
• src/crypto/secp256k1/limbs.bend 34 declarations
• src/crypto/secp256k1/point.bend 48 declarations
• src/crypto/secp256k1/scalar.bend 26 declarations
• src/crypto/secp256k1/schnorr.bend 30 declarations
• src/crypto/sha/core.bend 164 declarations
• src/crypto/sha/packed/buffer.bend 3 declarations
• src/crypto/sha/packed/core.bend 64 declarations
• src/crypto/sha/packed/packed.bend 44 declarations
• src/crypto/sha/packed/sha256.bend 7 declarations
• src/crypto/sha/sha256.bend 6 declarations
• src/crypto/sha/state.bend 2 declarations
• src/crypto/sha3/core.bend 12 declarations — Generated by tools/generators/sha3_gen.py; do not edit by hand.
• src/crypto/sha3/sha3_256.bend 1 declarations
• src/crypto/sha512/core.bend 30 declarations — Generated by tools/generators/sha512_gen.py; do not edit by hand.
• src/crypto/sha512/sha512.bend 5 declarations
• src/crypto/sha512/types.bend 4 declarations
• src/crypto/sign.bend 11 declarations
• src/crypto/subtle.bend 2 declarations
• src/math/f64.bend 228 declarations
• src/math/generic.bend 98 declarations
• src/math/hash.bend 4 declarations
• src/math/instances.bend 11 declarations
• src/math/natural.bend 52 declarations
• src/math/num.bend 30 declarations
• src/math/pow2.bend 2 declarations
• src/math/random.bend 16 declarations
• src/math/random/chacha8.bend 20 declarations
• src/math/random/chacha8/block.bend 10 declarations — Generated by tools/generators/chacha8rand_gen.py; do not edit.
• src/math/random/pcg.bend 17 declarations
• src/math/random/rand.bend 53 declarations
• src/math/u64.bend 19 declarations
• src/math/w64.bend 131 declarations

Other files

• LICENSE 1,101 bytes
• src/crypto/keccak/LICENSE 1,067 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 5 TODOs found.
The code is incomplete, and not a valid proof yet.

SOME PROOFS FAIL
Error: 7 TODOs found.
The code is incomplete, and not a valid proof yet.