From 1bf5d0031830df5bd74d780879fa265a8667da6c Mon Sep 17 00:00:00 2001 From: Aere Network Date: Mon, 26 Oct 2026 06:27:40 +0200 Subject: [PATCH] AIP-22 stage R and stage 4 in force on chain 2800: README and AIP index dated (votes attributed only through verified post-quantum seals since block 24,300,000; headers still admitted on ECDSA commit seals until stage 5; the AIP-3 interval dated), REPRODUCE note corrected (anchor grid window, stage R) --- AERE-AIP-PROCESS-AND-INDEX.md | 17 ++++++++--------- README.md | 3 +-- REPRODUCE.md | 11 +++++++---- 3 files changed, 16 insertions(+), 15 deletions(-) diff --git a/AERE-AIP-PROCESS-AND-INDEX.md b/AERE-AIP-PROCESS-AND-INDEX.md index c163bf5..a0f2ca1 100644 --- a/AERE-AIP-PROCESS-AND-INDEX.md +++ b/AERE-AIP-PROCESS-AND-INDEX.md @@ -148,7 +148,7 @@ AIP numbered 23 or higher exists in any Aere repository (2026-09-23). | 19 | AIP Process Hardening | Meta | Review, not ratified | | 20 | Native Post-Quantum Transactions (Type 0x50, ML-DSA Authorization) | Standards Track / Core | Draft, not ratified; live on testnet 28001 (2026-09-17), deployed on chain 2800 and armed for 19,900,000 (2026-09-22), active from that block since 2026-09-23 (first type-0x50 transaction in block 19,900,028) | | 21 | Verifiable Post-Quantum Finality per Block | Standards Track / Interface | Draft, not ratified; live on testnet 28001 (2026-09-18) and on chain 2800 (2026-09-22) | -| 22 | Post-Quantum-Only Finality (Chained Quorum Certificates, PQ Validator Identity) | Standards Track / Core | Draft; design only on 2026-09-23, stages 1 to 6 proven on testnet 28001 (2026-09-23 to 2026-09-25), conformance corpus published 2026-09-27; stages 1 to 3 active on chain 2800 from blocks 20,715,632, 20,746,736 and 20,836,228 (2026-09-29 and 2026-09-30), stage 4 active since block 24,300,000 (2026-10-25), stage 5 not armed there | +| 22 | Post-Quantum-Only Finality (Chained Quorum Certificates, PQ Validator Identity) | Standards Track / Core | Draft; design only on 2026-09-23, stages 1 to 6 proven on testnet 28001 (2026-09-23 to 2026-09-25), conformance corpus published 2026-09-27; stages 1 to 3 active on chain 2800 from blocks 20,715,632, 20,746,736 and 20,836,228 (2026-09-29 and 2026-09-30), stage R active since block 24,148,752 (2026-10-24), stage 4 active since block 24,300,000 (2026-10-25), stage 5 not armed there | | 23 | AERE Proof Protocol (Verifiable-Statement Envelope, Optional Post-Quantum Finality) | Standards Track / Interface | Draft (2026-09-26); reference verifier and vectors published 2026-09-27 | Every one of these is a file at `aere-research/aips/AIP-N.md`. @@ -163,20 +163,17 @@ node since 2026-09-22 and armed for block 19,900,000 (per-node property), after their testnet 28001 activation of 2026-09-17. The post-quantum layers on top of QBFT that are live (anchor certificate under the block hash; per-message Falcon-512 enforcement, on every message type at the nine AERE-client validators and only on -commit messages at the second client, corrected on 2026-10-12) are listed with their heights in the public node package's `SPEC.md` +commit messages at the second client, corrected on 2026-10-12; since block 24,300,000, AIP-22 stage 4, the second client too) are listed with their heights in the public node package's `SPEC.md` and in `aere-research/aips/README.md`. **Not live:** AIP-8 (requires a coordinated hard fork), AIP-15 as written (isolated testnet only, chain ID 440855; what is live on chain 2800 is the dated list above), AIP-16 (a fail-closed skeleton that verifies nothing), AIP-19 (a process change in -Review), AIP-22 (post-quantum-only finality: a design on 2026-09-23, then proven stage by -stage on testnet 28001 only; nothing of it is armed on chain 2800). +Review), AIP-22 stage 5 and stage 6 (the header without ECDSA and the equivocation evidence, proven on testnet 28001 only) and rule 4 of section 4 (the provisional tail, implemented in neither client). Its stages 1 to 4 and stage R are live on chain 2800: stages 1 to 3 from blocks 20,715,632, 20,746,736 and 20,836,228, stage R from block 24,148,752 and stage 4 from block 24,300,000. **Boundaries that must not be blurred in any Aere document:** -- Consensus on chain 2800 is **classical secp256k1 ECDSA QBFT** at N = 7. Aere - never claims post-quantum consensus. Post-quantum applies to signatures, - accounts and applications. +- Consensus on chain 2800 is QBFT at N = 10 (seven validators until 2026-08-09, nine until 2026-09-11): anchor blocks carry a post-quantum certificate under their hash since block 13,014,000, and since block 24,300,000 (AIP-22 stage 4) every validator attributes a consensus vote only through its verified post-quantum seal (headers are still admitted on their ECDSA commit seals until AIP-22 stage 5). Aere never claims post-quantum consensus. Post-quantum also applies to signatures, accounts and applications. - Mainnet has **exactly five** PQC precompiles, `0x0AE1` to `0x0AE5`, from block 9,189,161. `0x0AE6` and `0x0AE7` are **testnet-only** (confirmed 2026-07-20 by a gas-differential probe against a no-code control). `0x0AE8` is not activated @@ -185,8 +182,10 @@ stage on testnet 28001 only; nothing of it is armed on chain 2800). burn. Coinbase revenue is zero and lifetime burn is 0.1374 AERE, so **AERE is not deflationary today** (AIP-2 outcome record). The separate 1 Gwei base-fee **floor** (AIP-17) sets a minimum price and removes no supply. -- The block period is a 500 ms **target**; the **measured** mean interval is - 516.4 ms (AIP-3 outcome record). +- The block period is a 500 ms **target**; the **measured** mean interval was + 516.4 ms when the AIP-3 outcome record was written; it grew with the set, and the + live value is measured on https://aere.network/capabilities (corrected on + 2026-10-26). ### 2.2 Coverage of the engineering-spec design decisions diff --git a/README.md b/README.md index cb05927..5b67d18 100644 --- a/README.md +++ b/README.md @@ -21,8 +21,7 @@ transactions, because a fork activation is a configuration change and not a tran not the place to look for evidence. The proof that the precompiles are running is a gas measurement at `latest`, set out in `DOVADA-PQC-VERIFICABILA-2026-07-20.md`. -**Consensus on chain 2800 is classical secp256k1 ECDSA QBFT on every block, with a post-quantum -checkpoint every 32 blocks.** Since block 13,014,000 anchor blocks carry, under the block hash, a +**Consensus on chain 2800 is QBFT, with a post-quantum checkpoint every 32 blocks; since block 24,300,000 (AIP-22 stage 4) every validator attributes each consensus vote only through the verified post-quantum seal of its author (headers are still admitted on their ECDSA commit seals until AIP-22 stage 5).** Since block 13,014,000 anchor blocks carry, under the block hash, a certificate of validator post-quantum seals (Falcon-512, with SLH-DSA-SHA2-128s as well since 2026-09-04, at every 128th block since 2026-09-29; every anchor was 128 blocks apart from block 17,225,968 to block 20,746,736). Since block 20,715,632 (2026-09-29) a node rejects an anchor block diff --git a/REPRODUCE.md b/REPRODUCE.md index 33a33b6..3fa5f04 100644 --- a/REPRODUCE.md +++ b/REPRODUCE.md @@ -2,10 +2,13 @@ > **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. +> testnets) is the chain of that date. Since then the anchor blocks of chain 2800 (every 32nd block; every 128th from block +> 17,225,968 to block 20,746,736) carry a certificate of validator Falcon-512 seals under their 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), since block +> 24,148,752 (AIP-22 stage R, 2026-10-24) a certificate that carries the quorum of one round proves that its anchor's parent was +> decided, 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 a node that imports a header still admits it on its ECDSA commit seals until AIP-22 stage 5 +> (note corrected on 2026-10-26, the day it was added). > 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