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

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

Browse Source
This commit is contained in:
Aere Network 2026-10-26 00:07:40 +02:00
parent 53930c4a09
commit 3d3c996f5a
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -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 - 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. 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 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), 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 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. code in this repository.
## Which citations you can follow, and which you cannot ## Which citations you can follow, and which you cannot

8
REPRODUCE.md
View File

@ -1,5 +1,13 @@
# REPRODUCE.md (spec-23): Verify Aere Network yourself # 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 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), 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, and our benchmarks, and get the same results we get. Trust in a chain comes from reproducibility,