From a62f212d0d0268815a1e8aea11eb5305c1d7d968 Mon Sep 17 00:00:00 2001 From: bad-antics Date: Sat, 24 Jan 2026 08:48:20 -0800 Subject: [PATCH 1/2] 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 From bacc04f141b753426ae9ef98d96282e72605865f Mon Sep 17 00:00:00 2001 From: bad-antics <160459796+bad-antics@users.noreply.github.com> Date: Mon, 2 Feb 2026 10:25:14 -0800 Subject: [PATCH 2/2] Fix alphabetical ordering for nullsec-cryptocheck --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8926654..1be014f 100644 --- a/README.md +++ b/README.md @@ -391,6 +391,7 @@ encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as - [formats](https://github.com/RustCrypto/formats) - Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX. - [hashes](https://github.com/RustCrypto/hashes) - Collection of cryptographic hash functions written in pure Rust. - [mundane](https://github.com/google/mundane) - is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant. +- [nullsec-cryptocheck](https://github.com/bad-antics/nullsec-cryptocheck) - Cryptographic implementation verifier and auditing tool written in Ada/SPARK for formal verification. - [ockam](https://github.com/ockam-network/ockam) - is a Rust library for end-to-end encryption and mutual authentication. - [octavo](https://github.com/libOctavo/octavo) - Highly modular & configurable hash & crypto library. - [orion](https://github.com/orion-rs/orion) - is a cryptography library written in pure Rust. It aims to provide easy and usable crypto while trying to minimize the use of unsafe code. @@ -408,7 +409,6 @@ 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