aere-network/aere-research
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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)

Browse Source
This commit is contained in:
Aere Network 2026-09-24 23:12:35 +03:00
parent 7f00c88a86
commit b1eceecbd8
8 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
execution-kernel/STAGE-4-DETERMINISM-CONTRACT.md
View File

@ -1,5 +1,7 @@
# Execution Kernel, Stage 4: parallel execution under the MachineInterface # 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 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 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 capacity and not throughput while blocks are empty. The value is a single guarantee, stated as a

2
research/pqc-onchain-verification.md
View File

@ -1,5 +1,7 @@
# On-Chain Post-Quantum Signature Verification on an EVM Layer-1 (AERE, Chain 2800) # 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. > **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 ## Abstract

2
research/specs/spec-account-abstraction.md
View File

@ -1,5 +1,7 @@
# AERE Account Abstraction and Onboarding Stack # 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`) **Chain:** AERE Network, chain ID 2800 (`0xAF0`)
**Consensus:** Hyperledger Besu QBFT, 0.5-second target blocks, sub-second finality, seven validators **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 **EVM ruleset:** Pectra (Prague/Cancun) plus Fusaka (Osaka), functional parity with Ethereum mainnet

2
research/specs/spec-antimev-mempool.md
View File

@ -1,5 +1,7 @@
# AERE Anti-MEV Design: Threshold-Encrypted Mempool and Batch-Atomic Fair Settlement # 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. > **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). 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).

2
research/specs/spec-eip2935-lookback.md
View File

@ -1,5 +1,7 @@
# AERE Network: Trustless Extended Block-Hash Lookback via Native EIP-2935 # 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. **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. **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. **Source of truth for addresses:** `sdk-js/src/addresses.ts`. Contract source: `contracts/contracts/anchor/`. Consensus change: the AERE Besu fork.

2
research/specs/spec-flywheel-economics.md
View File

@ -1,5 +1,7 @@
# AERE Token-Economic Mechanisms: Burn, Sink Flywheel, and Staking # 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). 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/`. 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. Solidity 0.8.23, OpenZeppelin 4.9.6.

2
research/specs/spec-parallel-execution.md
View File

@ -1,5 +1,7 @@
# AERE Parallel Execution: Block-STM Executor and On-Chain Hint Registry # 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). Technical specification. Chain 2800 (AERE Network mainnet).
Grounding: `parallel-executor/` (Rust), `rollup-sequencer/src/blockstm/` (TypeScript), Grounding: `parallel-executor/` (Rust), `rollup-sequencer/src/blockstm/` (TypeScript),

2
research/specs/spec-zk-stack.md
View File

@ -1,5 +1,7 @@
# AERE Network: Zero-Knowledge Verification Stack # 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). **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. **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/`. **Source of truth for addresses:** `sdk-js/src/addresses.ts`. Contract source: `contracts/contracts/`.