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

execution-kernel/MACHINE-INTERFACE-CONTRACT.md: restore the sentence on consensus finality as it stands today (classical secp256k1 ECDSA QBFT plus a Falcon certificate); the previous commit carried, by a staging race on 2026-10-24, a draft sentence written for AIP-22 stage 4, which is not in force before block 24,300,000

Browse Source
This commit is contained in:
Aere Network 2026-10-25 03:47:40 +03:00
parent 1e386c7e18
commit 200f4338f0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
execution-kernel/MACHINE-INTERFACE-CONTRACT.md
View File

@ -316,7 +316,8 @@ The harness prints a NOT MEASURED block naming these on every run, and its JSON
them in the `honesty` field, so the non-claims travel with every result rather than living only them in the `honesty` field, so the non-claims travel with every result rather than living only
in this document: in this document:
- **That consensus is post-quantum.** It is not. Consensus finality is QBFT whose votes every validator attributes only through their verified post-quantum seals since block 24,300,000 (AIP-22 stage 4), with classical secp256k1 ECDSA commit seals in the header until AIP-22 stage 5 and a Falcon certificate at every anchor. MI is an execution seam and says nothing about consensus. - **That consensus is post-quantum.** It is not. Consensus finality is classical secp256k1 ECDSA
QBFT plus a Falcon certificate. MI is an execution seam and says nothing about consensus.
- **That equal header roots prove independent execution by themselves.** See the honesty boundary - **That equal header roots prove independent execution by themselves.** See the honesty boundary
in section 5. The load-bearing fact is Nethermind's reject-on-disagreement behaviour, not the in section 5. The load-bearing fact is Nethermind's reject-on-disagreement behaviour, not the
served bytes. served bytes.