~/bend-docscommunity

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

0xd0eff414f6867c5e43b15b33239e1b1e

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

bend-kit-crypto@0.1.0.0 by paymog

Other versions (5)
Published
2026-09-27
Size
18,052 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 8 defs, 0 types

Import

import bend-kit-crypto@0.1.0.0/crypto.bend as Crypto
import 0xd0eff414f6867c5e43b15b33239e1b1e/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 8 defs rely on unsafe or foreign code
defs: digest.words, sha256.words, sha512.words, sha1.words, hmac.words, hkdf.words, random.words, eq.ct.words
output
SOME PROOFS FAIL
Error: 8 defs rely on unsafe or foreign code:
- digest.words
- sha256.words
- sha512.words
- sha1.words
- hmac.words
- hkdf.words
- random.words
- eq.ct.words
0.7 s