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

Citations: CITATIONS-UNRESOLVED.md regenerated against the whole published family (the previous regeneration indexed only the local bundle and declared as unpublished a few paths a reader can open)

Browse Source
This commit is contained in:
Aere Network 2026-10-12 06:05:30 +03:00
parent 8141be74ad
commit a1ff313f4f
2 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
AERE-CROSS-CLIENT-DETERMINISM.md
View File

@ -201,7 +201,7 @@ transactions and malformed inputs closes that gap.
ACVP negative test groups (ML-DSA-sigVer-FIPS204 tg8: 15 records, 3 pass / 12 fail; ACVP negative test groups (ML-DSA-sigVer-FIPS204 tg8: 15 records, 3 pass / 12 fail;
SLH-DSA-sigVer-FIPS205 tg31: 14 records, 2 pass / 12 fail) and the SHAKE256 output-length SLH-DSA-sigVer-FIPS205 tg31: 14 records, 2 pass / 12 fail) and the SHAKE256 output-length
domain including the over-cap truncation edge. These are the "trap for a second client" domain including the over-cap truncation edge. These are the "trap for a second client"
cases and they are pinned as vectors (`aerenew/conformance/README.md`). cases and they are pinned as vectors (`aere-quantum/conformance/README.md`).
- **Block-level and transaction-level adversarial corpus: [MEASURE], to build.** A dedicated - **Block-level and transaction-level adversarial corpus: [MEASURE], to build.** A dedicated
corpus of adversarial or edge-case transactions (deep call stacks, storage-collision corpus of adversarial or edge-case transactions (deep call stacks, storage-collision
@ -232,7 +232,7 @@ against the Besu fork's output for the same input.
- `aerenew/conformance/`: the executable conformance suite has since grown to 83 precompile - `aerenew/conformance/`: the executable conformance suite has since grown to 83 precompile
vectors (Falcon-512 x12, Falcon-1024 x12, ML-DSA-44 x22, SLH-DSA-SHA2-128s x21, SHAKE256 vectors (Falcon-512 x12, Falcon-1024 x12, ML-DSA-44 x22, SLH-DSA-SHA2-128s x21, SHAKE256
x16), 112 vectors total including QBFT, EIP-2935, and extraData. Last live run: 112/112 x16), 112 vectors total including QBFT, EIP-2935, and extraData. Last live run: 112/112
passed against the chain-2800 Besu reference (`aerenew/conformance/README.md`). Note the passed against the chain-2800 Besu reference (`aere-quantum/conformance/README.md`). Note the
distinction: the 27/27 figure is the set re-run byte-for-byte inside the actual Nethermind distinction: the 27/27 figure is the set re-run byte-for-byte inside the actual Nethermind
process; the 112/112 figure is the full suite confirmed against the live Besu reference by process; the 112/112 figure is the full suite confirmed against the live Besu reference by
`runner.mjs`. `runner.mjs`.
@ -445,7 +445,7 @@ boundary indicates a wrong precompile gate; stop and fix.]
not the public `rpc.aere.network`. The public RPC is behind a proxy that overwrites not the public `rpc.aere.network`. The public RPC is behind a proxy that overwrites
`baseFeePerGas` with a constant 1 Gwei for display; that shimmed value does not reproduce the `baseFeePerGas` with a constant 1 Gwei for display; that shimmed value does not reproduce the
real block hash for blocks whose true base fee differs. A client reading directly from a Besu real block hash for blocks whose true base fee differs. A client reading directly from a Besu
node gets the true consensus value and needs no override (`aerenew/conformance/README.md`, node gets the true consensus value and needs no override (`aere-quantum/conformance/README.md`,
baseFee shim caveat). baseFee shim caveat).
### 5.5 Production interop and tamper control (3.1, 3.2) ### 5.5 Production interop and tamper control (3.1, 3.2)

5
CITATIONS-UNRESOLVED.md
View File

@ -13,7 +13,7 @@ Paths that DO resolve are written relative to a side-by-side checkout of the Aer
repositories, so they begin with a repository name, for example repositories, so they begin with a repository name, for example
`aere-contracts/contracts/pqc/AereCryptoRegistry.sol`. `aere-contracts/contracts/pqc/AereCryptoRegistry.sol`.
Unresolvable distinct paths in this repository: **254**. Unresolvable distinct paths in this repository: **251**.
- `06-mev-interop.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md - `06-mev-interop.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
- `07-compliance.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md - `07-compliance.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
@ -32,7 +32,6 @@ Unresolvable distinct paths in this repository: **254**.
- `aerenew/chaos/WATCHTOWER-DESIGN.md` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md - `aerenew/chaos/WATCHTOWER-DESIGN.md` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
- `aerenew/conformance/conformance-vectors.json` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md - `aerenew/conformance/conformance-vectors.json` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
- `aerenew/conformance/lib.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md - `aerenew/conformance/lib.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md
- `aerenew/conformance/README.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
- `aerenew/contracts/contracts/pqc/AereAccountRetirement.sol` cited in: aere-docs/AERE-QUANTUM-MIGRATION.md - `aerenew/contracts/contracts/pqc/AereAccountRetirement.sol` cited in: aere-docs/AERE-QUANTUM-MIGRATION.md
- `aerenew/contracts/deployments/wave-a-identity-compliance-2026-07-19.json` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md - `aerenew/contracts/deployments/wave-a-identity-compliance-2026-07-19.json` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
- `aerenew/contracts/foundry.toml` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md - `aerenew/contracts/foundry.toml` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
@ -249,8 +248,6 @@ Unresolvable distinct paths in this repository: **254**.
- `scripts/coverage/list-test-cases.js` cited in: aere-docs/REPRODUCE.md - `scripts/coverage/list-test-cases.js` cited in: aere-docs/REPRODUCE.md
- `scripts/coverage/tree-fingerprint.js` cited in: aere-docs/REPRODUCE.md - `scripts/coverage/tree-fingerprint.js` cited in: aere-docs/REPRODUCE.md
- `scripts/run-tests-sharded.js` cited in: aere-docs/REPRODUCE.md - `scripts/run-tests-sharded.js` cited in: aere-docs/REPRODUCE.md
- `sdk-js/README.md` cited in: aere-docs/REPRODUCE.md
- `sdk-js/src/addresses.ts` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md, aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md, aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md, aere-docs/AIP-PQ-TX-2026-07-18.md
- `SECURITY-POSTURE-VERIFICATION-2026-07-15.md` cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md - `SECURITY-POSTURE-VERIFICATION-2026-07-15.md` cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md
- `shadow-producer.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md - `shadow-producer.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md
- `shake256.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md - `shake256.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md