From 3d3c996f5a0341ab015570cdb6e65d22af1546cc Mon Sep 17 00:00:00 2001 From: Aere Network Date: Mon, 26 Oct 2026 00:07:40 +0200 Subject: [PATCH] Dated corrections (2026-10-26): README, ten Foundation-run validators since 2026-09-11 (f=3, commit quorum 7 of 10); REPRODUCE.md, a note that its description of chain 2800 is that of 2026-07-19, with what changed since --- README.md | 4 ++-- REPRODUCE.md | 8 ++++++++ 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 37f1927..cb05927 100644 --- a/README.md +++ b/README.md @@ -39,8 +39,8 @@ Two further limits worth knowing before you judge anything else here: - The on-chain zero-knowledge verifiers are classical BN254. They are broken by Shor's algorithm like any other elliptic-curve construction, and we do not describe them as quantum-safe. -The network is operated by nine Foundation-run validators (f=2, commit quorum 6 of 9; seven until -2026-08-09), so its Nakamoto coefficient is effectively one today. That is a real limitation, it is on the roadmap, and it is not fixed by any +The network is operated by ten Foundation-run validators since 2026-09-11 (f=3, commit quorum 7 of 10; nine from +2026-08-09, seven before; this sentence corrected on 2026-10-26), so its Nakamoto coefficient is effectively one today. That is a real limitation, it is on the roadmap, and it is not fixed by any code in this repository. ## Which citations you can follow, and which you cannot diff --git a/REPRODUCE.md b/REPRODUCE.md index 45cc1ea..33a33b6 100644 --- a/REPRODUCE.md +++ b/REPRODUCE.md @@ -1,5 +1,13 @@ # REPRODUCE.md (spec-23): Verify Aere Network yourself +> **Note added 2026-10-26.** This manifest was prepared on 2026-07-19, and its description of chain 2800 (item 1 under "Two +> things are true at once": N=7, quorum 5 of 7, no Falcon certificate in any mainnet header, post-quantum consensus work only on +> testnets) is the chain of that date. Since then every 32nd block of chain 2800 carries a certificate of validator Falcon-512 +> seals under its hash (enforced since 2026-08-14), the set has ten validators since 2026-09-11 (f=3, commit quorum 7 of 10, all +> still operated by the Foundation), and since block 24,300,000 (AIP-22 stage 4, 2026-10-25) every validator attributes a +> consensus vote only through its verified post-quantum seal, while headers still carry ECDSA commit seals until AIP-22 stage 5. +> The live values are measured on https://aere.network/capabilities. + Prepared 2026-07-19. This is the single reproducibility manifest for Aere Network. It lets any third party re-run our tests, our formal verification, our cryptographic known-answer tests (KATs), and our benchmarks, and get the same results we get. Trust in a chain comes from reproducibility,