~/jendhub

laws_crypto.bend

bend-collections-laws-crypto@1.0.0.0 · 28 lines · 0 definitions

1import Base
2
3# bend-collections-laws-crypto: the proved laws of bend-collections' crypto and random: hashes, MAC, KDF, AEAD, password hashing, X25519, Ed25519, secp256k1, CSPRNG.
4# Importing this file checks every proof root below; see docs/*_CONTRACTS.md
5# for what each clause states and what is not proved. Part of
6# bend-collections-laws (laws.bend imports all three parts by name).
7
8import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/proof.bend as CryptoAeadProof
9import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/proof.bend as CryptoAesProof
10import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/proof.bend as CryptoArgon2Proof
11import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/proof.bend as CryptoBlakeProof
12import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/chacha/proof.bend as CryptoChachaProof
13import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/proof.bend as CryptoCurve25519Proof
14import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/proof.bend as CryptoEd25519Proof
15import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/proof.bend as CryptoHashProof
16import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/kdf/proof.bend as CryptoKdfProof
17import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/mac/proof.bend as CryptoMacProof
18import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/proof.bend as CryptoPoly1305Proof
19import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/random/proof.bend as CryptoRandomProof
20import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/proof.bend as CryptoSecp256k1Proof
21import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/proof_recover.bend as CryptoSecp256k1ProofRecover
22import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/proof_schnorr.bend as CryptoSecp256k1ProofSchnorr
23import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/proof_sign.bend as CryptoSecp256k1ProofSign
24import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/proof_verify.bend as CryptoSecp256k1ProofVerify
25import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/proof.bend as CryptoShaPackedProof
26import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/proof.bend as CryptoShaProof
27import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha3/proof.bend as CryptoSha3Proof
28import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha512/proof.bend as CryptoSha512Proof