From a62f212d0d0268815a1e8aea11eb5305c1d7d968 Mon Sep 17 00:00:00 2001 From: bad-antics Date: Sat, 24 Jan 2026 08:48:20 -0800 Subject: [PATCH] Add nullsec-cryptocheck cryptographic verifier --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index c8793a6..8926654 100644 --- a/README.md +++ b/README.md @@ -408,6 +408,7 @@ encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as - [sodiumoxide](https://github.com/dnaq/sodiumoxide) - Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium). - [suruga](https://github.com/klutzy/suruga) - TLS 1.2 implementation in Rust. - [webpki](https://github.com/briansmith/webpki) - Web PKI TLS X.509 certificate validation in Rust. +- [nullsec-cryptocheck](https://github.com/bad-antics/nullsec-cryptocheck) - Cryptographic implementation verifier and auditing tool written in Ada/SPARK for formal verification. ### Scala