From b1eceecbd8c6353b04fb3c2343d01c77fee71ad9 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Thu, 24 Sep 2026 23:12:35 +0300 Subject: [PATCH] Note added 2026-09-24 in seven research documents (validator-set figures are dated; ten validators since 2026-09-11) and in the Stage 4 execution contract (Block-STM on since 2026-09-05) --- execution-kernel/STAGE-4-DETERMINISM-CONTRACT.md | 2 ++ research/pqc-onchain-verification.md | 2 ++ research/specs/spec-account-abstraction.md | 2 ++ research/specs/spec-antimev-mempool.md | 2 ++ research/specs/spec-eip2935-lookback.md | 2 ++ research/specs/spec-flywheel-economics.md | 2 ++ research/specs/spec-parallel-execution.md | 2 ++ research/specs/spec-zk-stack.md | 2 ++ 8 files changed, 16 insertions(+) diff --git a/execution-kernel/STAGE-4-DETERMINISM-CONTRACT.md b/execution-kernel/STAGE-4-DETERMINISM-CONTRACT.md index 2f72714..903d657 100644 --- a/execution-kernel/STAGE-4-DETERMINISM-CONTRACT.md +++ b/execution-kernel/STAGE-4-DETERMINISM-CONTRACT.md @@ -1,5 +1,7 @@ # Execution Kernel, Stage 4: parallel execution under the MachineInterface +> **Note added 2026-09-24.** The measurement below that `AERE_BLOCKSTM` is unset on all nine validators was true when this document was written. Since 2026-09-05 the Block-STM processor is switched on on all nine Besu-derived mainnet validators (the tenth validator, since 2026-09-11, runs the second client), as the whitepaper records. + Stage 4 lets Block-STM optimistic parallel execution enter the kernel, but through the MachineInterface seam of Stage 1, never beside it. The value is not the speedup, which is capacity and not throughput while blocks are empty. The value is a single guarantee, stated as a diff --git a/research/pqc-onchain-verification.md b/research/pqc-onchain-verification.md index be229d0..a38b7c3 100644 --- a/research/pqc-onchain-verification.md +++ b/research/pqc-onchain-verification.md @@ -1,5 +1,7 @@ # On-Chain Post-Quantum Signature Verification on an EVM Layer-1 (AERE, Chain 2800) +> **Note added 2026-09-24.** Validator-set figures in this document (seven validators, or nine) describe the set on the date it was written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. The live set and its quorum are at https://aere.network/docs/network/consensus. + > **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md. ## Abstract diff --git a/research/specs/spec-account-abstraction.md b/research/specs/spec-account-abstraction.md index 70f12a1..6e0e81d 100644 --- a/research/specs/spec-account-abstraction.md +++ b/research/specs/spec-account-abstraction.md @@ -1,5 +1,7 @@ # AERE Account Abstraction and Onboarding Stack +> **Note added 2026-09-24.** Validator-set figures in this document (seven validators, or nine) describe the set on the date it was written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. The live set and its quorum are at https://aere.network/docs/network/consensus. + **Chain:** AERE Network, chain ID 2800 (`0xAF0`) **Consensus:** Hyperledger Besu QBFT, 0.5-second target blocks, sub-second finality, seven validators **EVM ruleset:** Pectra (Prague/Cancun) plus Fusaka (Osaka), functional parity with Ethereum mainnet diff --git a/research/specs/spec-antimev-mempool.md b/research/specs/spec-antimev-mempool.md index 52b9485..23b0a32 100644 --- a/research/specs/spec-antimev-mempool.md +++ b/research/specs/spec-antimev-mempool.md @@ -1,5 +1,7 @@ # AERE Anti-MEV Design: Threshold-Encrypted Mempool and Batch-Atomic Fair Settlement +> **Note added 2026-09-24.** Validator-set figures in this document (seven validators, or nine) describe the set on the date it was written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. The live set and its quorum are at https://aere.network/docs/network/consensus. + > **Note added 2026-08-19.** Statements in this document that consensus on chain 2800 is (or remains) classical secp256k1 ECDSA QBFT were written before the post-quantum header anchor went live, and remain true for block-by-block finality. Since block 13,014,000 anchor blocks (every 32nd block, on every one since block 13,889,296) also carry, under the block hash, a certificate of validator Falcon-512 seals, and since 2026-08-14 a node rejects an anchor block with fewer than three valid seals (f+1 of nine; eight or nine are carried in practice). That is a post-quantum checkpoint about every 16 seconds, not a per-block quorum: the claim published on 2026-08-15 that from block 14,050,000 no block finalizes without a post-quantum quorum was wrong (the per-block rule armed at that height is retired in the shipped code in favour of the anchor rules) and was withdrawn on 2026-08-19. Details: https://aere.network/quantum.html and the aere-node repository, anchor/README.md. Subsystem specification. Status as of 2026-08-01 (re-measured at head block 11,810,041 on `https://rpc.aere.network`). Chain ID 2800 (Hyperledger Besu QBFT, 0.5-second blocks, seven validators, one operator). diff --git a/research/specs/spec-eip2935-lookback.md b/research/specs/spec-eip2935-lookback.md index 54c9565..f31cd77 100644 --- a/research/specs/spec-eip2935-lookback.md +++ b/research/specs/spec-eip2935-lookback.md @@ -1,5 +1,7 @@ # AERE Network: Trustless Extended Block-Hash Lookback via Native EIP-2935 +> **Note added 2026-09-24.** Validator-set figures in this document (seven validators, or nine) describe the set on the date it was written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. The live set and its quorum are at https://aere.network/docs/network/consensus. + **Chain:** AERE Network mainnet, chain ID 2800 (Hyperledger Besu QBFT). Measured mean block interval 0.5175 s over the 2,000 blocks to head 11,810,041 on 2026-08-01; seven validators, f=2, one operator. **Status date:** 2026-08-01. Every on-chain figure (code size, owner, counters, route targets, balances, the EIP-2935 window) was re-read from `https://rpc.aere.network` at head block 11,810,041 on that date. Corrections found in that pass are stated inline, next to the sentence they correct, rather than applied silently. **Source of truth for addresses:** `sdk-js/src/addresses.ts`. Contract source: `contracts/contracts/anchor/`. Consensus change: the AERE Besu fork. diff --git a/research/specs/spec-flywheel-economics.md b/research/specs/spec-flywheel-economics.md index bc44bce..a867712 100644 --- a/research/specs/spec-flywheel-economics.md +++ b/research/specs/spec-flywheel-economics.md @@ -1,5 +1,7 @@ # AERE Token-Economic Mechanisms: Burn, Sink Flywheel, and Staking +> **Note added 2026-09-24.** Validator-set figures in this document (seven validators, or nine) describe the set on the date it was written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. The live set and its quorum are at https://aere.network/docs/network/consensus. + Subsystem specification. AERE Network mainnet, Chain ID 2800 (Hyperledger Besu QBFT; measured mean block interval 0.5175 s over the 2,000 blocks to head 11,810,041 on 2026-08-01; seven validators, f=2, commit quorum 5 of 7, one operator). Source of truth for addresses: `sdk-js/src/addresses.ts`. Source of truth for logic: `aerenew/contracts/contracts/`. Solidity 0.8.23, OpenZeppelin 4.9.6. diff --git a/research/specs/spec-parallel-execution.md b/research/specs/spec-parallel-execution.md index 2694937..4dcbb38 100644 --- a/research/specs/spec-parallel-execution.md +++ b/research/specs/spec-parallel-execution.md @@ -1,5 +1,7 @@ # AERE Parallel Execution: Block-STM Executor and On-Chain Hint Registry +> **Note added 2026-09-24.** Validator-set figures in this document (seven validators, or nine) describe the set on the date it was written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. The live set and its quorum are at https://aere.network/docs/network/consensus. + Technical specification. Chain 2800 (AERE Network mainnet). Grounding: `parallel-executor/` (Rust), `rollup-sequencer/src/blockstm/` (TypeScript), diff --git a/research/specs/spec-zk-stack.md b/research/specs/spec-zk-stack.md index 0d301b2..5ad84ae 100644 --- a/research/specs/spec-zk-stack.md +++ b/research/specs/spec-zk-stack.md @@ -1,5 +1,7 @@ # AERE Network: Zero-Knowledge Verification Stack +> **Note added 2026-09-24.** Validator-set figures in this document (seven validators, or nine) describe the set on the date it was written. Since 2026-09-11 chain 2800 has ten validators (f=3, commit quorum 7 of 10), all still operated by the Foundation, one of them running the second, Nethermind-derived client. The live set and its quorum are at https://aere.network/docs/network/consensus. + **Chain:** AERE Network mainnet, chain ID 2800 (Hyperledger Besu QBFT). **Status date:** 2026-08-01. Every on-chain figure below was re-read from `https://rpc.aere.network` at head block 11,810,041 on that date. **Source of truth for addresses:** `sdk-js/src/addresses.ts`. Contract source: `contracts/contracts/`.