~/bend-docscommunity

bend-kit-crypto@0.2.2.1 relies on unsafe/foreign

0xf33eec520d9fe4851fd0d1e29eaf0166

Hashes, HMAC, HKDF, RSA and ECDSA signatures, and secure random bytes through OpenSSL 3 libcrypto. Source: https://github.com/paymog/bend-kit/tree/main/crypto

bend-kit-crypto@0.2.2.1 by paymog

Earlier versions (5)
Published
2026-10-09
Size
62,466 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 18 defs, 0 types

Import

import bend-kit-crypto@0.2.2.1/crypto.bend as Crypto
import 0xf33eec520d9fe4851fd0d1e29eaf0166/crypto.bend as Crypto

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
crypto.bendrelies on unsafe/foreign 18 defs rely on unsafe or foreign code
defs: digest.words, sha256.words, sha512.words, sha1.words, hmac.words, hkdf.words, pbkdf2.words, scrypt.words, random.words, eq.ct.words, rsa.sign.words, rsa.verify.words, rsa.verify.jwk.words, ecdsa.sign.words, ecdsa.verify.words, ecdsa.verify.jwk.words, aead.seal.words, aead.open.words
output
SOME PROOFS FAIL
Error: 18 defs rely on unsafe or foreign code:
- digest.words
- sha256.words
- sha512.words
- sha1.words
- hmac.words
- hkdf.words
- pbkdf2.words
- scrypt.words
- random.words
- eq.ct.words
- rsa.sign.words
- rsa.verify.words
- rsa.verify.jwk.words
- ecdsa.sign.words
- ecdsa.verify.words
- ecdsa.verify.jwk.words
- aead.seal.words
- aead.open.words
0.8 s