From 184d4e92a2e65e991ccd33212ae5135ba6512339 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Thu, 23 Jul 2026 14:49:10 +0200 Subject: [PATCH] doc: README status line 'One' -> 'Two certificates' Stale count left by the previous edit. Co-Authored-By: Claude Fable 5 --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 260592c..85c9bfb 100644 --- a/README.md +++ b/README.md @@ -8,8 +8,8 @@ four ed25519 campaigns (`dalek/anza/risc0/betrusted-ed25519-verified`). ## STATUS: TWO CERTIFICATES PROVEN — chain (Alg 5) + WOTS+ chain loop (Alg 8) `verification/check.sh` is **green** (exit 0): the model compiles, the -proofs compile, and the axiom audit passes. **One certificate proven so -far:** +proofs compile, and the axiom audit passes. **Two certificates proven so +far, bottom-up:** - **`fips205.chain_free_loop_eq`** (Algorithm 5, WOTS+ chaining): the extracted `chain_free` loop equals the explicit s-fold hash chain, with