Systems
vcryptography-audit
Which hashing, HMAC and key derivation builtins are live, checked with real calls.
Released v1.0.0 · 2026-09-28use "stdlib/cryptography_audit.ven"Checks every cryptography and hashing builtin the interpreter offers, such as SHA, HMAC and key derivation, with a real call against the running interpreter, so a program can see which primitives are available. Where one is missing, the report says so.
print cryptography_audit_summary()Reference (10 functions)
API reference
owner(name, owner_file, live, status)
Builds one plain-map ownership record for the registry.
owner("Example primitive", "builtins", yes, "live: works")password_derivation_status()
password_derivation_status()secure_random_status()
Proves secure_token is live and really is non-deterministic.
secure_random_status()non_secure_random_status()
Proves the random_* family is live and states it is NOT secure.
non_secure_random_status()toy_asymmetric_status()
Proves toy RSA round-trips correctly, and states honestly why it is unsafe.
toy_asymmetric_status()missing_symmetric_cipher_status()
Builds the one named entry for the symmetric cipher gap.
missing_symmetric_cipher_status()cryptography_owners()
Builds the full, live-checked cryptography ownership map.
length(cryptography_owners())cryptography_audit_summary()
Builds a plain-map count summary of the ownership map.
cryptography_audit_summary()cryptography_audit_report()
Renders the full human-readable report, the body of venutian crypto-audit.
cryptography_audit_report()