From 5c8d1001737fe0a294aa05b86e76d4f3b33b9120 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Thu, 24 Sep 2026 17:35:07 +0300 Subject: [PATCH] Citations: the declaration of unpublished paths regenerated (2026-09-24); cross-repository citations written with their repository name --- CITATIONS-UNRESOLVED.md | 39 +++++++++++++++++++++++++++++++++++++-- aips/AIP-22.md | 4 ++-- 2 files changed, 39 insertions(+), 4 deletions(-) diff --git a/CITATIONS-UNRESOLVED.md b/CITATIONS-UNRESOLVED.md index 774a7f4..5922dcf 100644 --- a/CITATIONS-UNRESOLVED.md +++ b/CITATIONS-UNRESOLVED.md @@ -1,7 +1,7 @@ # Citations in this repository that you cannot open This file is generated by the legaturi-repara.cjs script in the Aere working tree and -enforced by legaturi.cjs. It is the complete list, measured on 2026-09-12, of every +enforced by legaturi.cjs. It is the complete list, measured on 2026-09-24, of every path cited in this repository that does not resolve to a published file. A citation is a promise that a claim is checkable. Where the target is not published, @@ -13,8 +13,11 @@ 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 `aere-contracts/contracts/pqc/AereCryptoRegistry.sol`. -Unresolvable distinct paths in this repository: **102**. +Unresolvable distinct paths in this repository: **137**. +- `83-binar-nod-f2.sh` cited in: aere-research/aips/AIP-21.md +- `89-finalitate-usa-client2.sh` cited in: aere-research/aips/AIP-21.md +- `addresses.ts` cited in: aere-research/research/specs/spec-account-abstraction.md, aere-research/research/specs/spec-antimev-mempool.md, aere-research/research/specs/spec-eip2935-lookback.md, aere-research/research/specs/spec-full-evm-validity.md, aere-research/research/specs/spec-recursive-aggregation-scale.md, aere-research/research/specs/spec-zk-stack.md, aere-research/results/PROVEN-RESULTS-2026-07-11.md - `aerenew/basefee-floor-dryrun/basefee-floor.diff` cited in: aere-research/aips/AIP-10.md, aere-research/aips/AIP-17.md - `aerenew/consensus-pqc/besu-consensus-pqc-fork-activation.patch` cited in: aere-research/aips/AIP-15.md - `aerenew/contracts/deployments/falcon-512-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md @@ -32,7 +35,16 @@ Unresolvable distinct paths in this repository: **102**. - `aerenew/scripts/deschise/flaguri-verify.cjs` cited in: aere-research/VERIFY-POLICY.md - `aerenew/strategie/EXECUTION-KERNEL-2026-08-15.md` cited in: aere-research/execution-kernel/MACHINE-INTERFACE-CONTRACT.md - `AIP-N.md` cited in: aere-research/aips/AIP-1.md, aere-research/aips/CONTRIBUTING.md, aere-research/aips/README.md +- `aip21-aplica.py` cited in: aere-research/aips/AIP-21.md +- `aip21-conformitate/DOVEDESTE.sh` cited in: aere-research/aips/README.md +- `aips/aip20-conformitate/DOVEDESTE.sh` cited in: aere-research/aips/AIP-20.md +- `aips/aip20-conformitate/TESTNET-28001-2026-09-17.md` cited in: aere-research/aips/AIP-20.md +- `aips/aip21-conformitate/DOVEDESTE.sh` cited in: aere-research/aips/AIP-21.md +- `aips/aip21-conformitate/runda1-bloc-2285333-nethermind.json` cited in: aere-research/aips/AIP-21.md +- `aips/aip21-conformitate/TESTNET-28001-2026-09-18.md` cited in: aere-research/aips/AIP-21.md - `air.rs` cited in: aere-research/pq-stark/README.md +- `APLICA-AIP20.sh` cited in: aere-research/aips/AIP-20.md +- `audit-package-pq-consensus/evidence/EVIDENCE-INDEX.md` cited in: aere-research/aips/AIP-22.md - `batch-prover-recovered/bin/aere-prover/Cargo.toml` cited in: aere-research/pq-stark/export-inner-stark-vector.md - `besu-pqc-precompiles-mlkem-hashtopoint.patch` cited in: aere-research/PQC-FORK-README.md - `bootnodes.txt` cited in: aere-research/VERIFY-POLICY.md @@ -40,6 +52,9 @@ Unresolvable distinct paths in this repository: **102**. - `CLAUDE.md` cited in: aere-research/execution-kernel/MACHINE-INTERFACE-CONTRACT.md - `compression.rs` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `config.rs` cited in: aere-research/pq-stark/spec-fri-babybear.md +- `consensus-pqc/aip22-treapta0/REZULTATE.md` cited in: aere-research/aips/AIP-22.md +- `consensus-pqc/ancora-v2/README.md` cited in: aere-research/aips/AIP-22.md +- `consensus-pqc/COSTUL-DISCULUI-HIBRID-2026-09-04.md` cited in: aere-research/aips/AIP-22.md - `contracts/contracts/AereIdentity.sol` cited in: aere-research/research/specs/spec-identity-compliance.md - `contracts/contracts/anchor/AereHistoryStateRootAnchor.sol` cited in: aere-research/research/specs/spec-eip2935-lookback.md - `contracts/contracts/parallel/AereBlockSTMRegistry.sol` cited in: aere-research/research/specs/spec-parallel-execution.md @@ -64,6 +79,8 @@ Unresolvable distinct paths in this repository: **102**. - `crypto/merklesignature/committablePublicKeys.go` cited in: aere-research/research/pqc-onchain-verification.md - `data/transactions/logic/langspec_v12.json` cited in: aere-research/research/pqc-onchain-verification.md - `dense-batch-2026-07-11/NOTE.md` cited in: aere-research/research/specs/spec-full-evm-validity.md +- `deploy/client2/nginx-client2-rpc.conf` cited in: aere-research/aips/AIP-21.md +- `deploy/validators/aip2021-2026-09-22/dovedeste-aip2021-2800.sh` cited in: aere-research/aips/AIP-21.md - `deployments/falcon-1024-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `deployments/falcon-512-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `deployments/mldsa-44-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md @@ -71,9 +88,12 @@ Unresolvable distinct paths in this repository: **102**. - `deployments/xmss-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `docs/PQ-STARK-VERIFIER-ACTIVATION-2026-07-18.md` cited in: aere-research/pq-stark/export-inner-stark-vector.md - `domain.rs` cited in: aere-research/pq-stark/README.md +- `DOVEDESTE.sh` cited in: aere-research/aips/AIP-21.md - `duplex_challenger.rs` cited in: aere-research/pq-stark/README.md - `expectedResults.json` cited in: aere-research/research/aip-draft-pqc-precompiles.md, aere-research/research/pqc-onchain-verification.md - `falcon-1024-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md +- `falconbench-bouncycastle.txt` cited in: aere-research/aips/AIP-22.md +- `finalitate-proxy.mjs` cited in: aere-research/aips/AIP-21.md - `folder.rs` cited in: aere-research/pq-stark/README.md - `grinding_challenger.rs` cited in: aere-research/pq-stark/README.md - `KNOWN-ISSUES.md` cited in: aere-research/VERIFY-POLICY.md @@ -82,10 +102,15 @@ Unresolvable distinct paths in this repository: **102**. - `mldsa-44-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `mmcs_ground_truth.json` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `mmcs.rs` cited in: aere-research/pq-stark/README.md, aere-research/pq-stark/spec-mmcs-babybear.md +- `nethermind-pqc/nethermind-intree/patches/aip20-tranzactii-pq.sh` cited in: aere-research/aips/AIP-20.md +- `Nethermind.AerePqc/Consensus/Finality/AerePqFinality.cs` cited in: aere-research/aips/AIP-21.md - `NOTE.md` cited in: aere-research/results/PROVEN-RESULTS-2026-07-11.md - `p3_ground_truth.json` cited in: aere-research/pq-stark/spec-poseidon2-constants.md - `p3_matrices.json` cited in: aere-research/pq-stark/spec-poseidon2-constants.md - `parallel_commit.patch` cited in: aere-research/research/specs/spec-parallel-execution.md +- `patches/AereAip21PqFinalityProofTests.cs` cited in: aere-research/aips/AIP-21.md +- `patches/AereRpcModule.cs` cited in: aere-research/aips/AIP-21.md +- `patches/aip21-finalitate-nm.py` cited in: aere-research/aips/AIP-21.md - `pqc-verifier.json` cited in: aere-research/research/pqc-onchain-verification.md - `prompt.json` cited in: aere-research/research/aip-draft-pqc-precompiles.md, aere-research/research/pqc-onchain-verification.md - `proof-aggregator-scale.json` cited in: aere-research/research/specs/spec-recursive-aggregation-scale.md, aere-research/research/specs/spec-zk-stack.md @@ -101,6 +126,9 @@ Unresolvable distinct paths in this repository: **102**. - `rollup-sequencer/src/blockstm/BlockSTMExecutor.ts` cited in: aere-research/research/specs/spec-parallel-execution.md - `rollup-sequencer/src/blockstm/example.ts` cited in: aere-research/research/specs/spec-parallel-execution.md - `run-kats.sh` cited in: aere-research/PQC-FORK-README.md +- `scripts/deschise/pragul-ancorei-e-cvorumul-setului.sh` cited in: aere-research/aips/AIP-22.md +- `sdk-js/src/addresses.ts` cited in: aere-research/aips/AIP-1.md, aere-research/aips/AIP-11.md, aere-research/aips/AIP-2.md, aere-research/aips/AIP-4.md, aere-research/aips/AIP-5.md, aere-research/aips/AIP-6.md, aere-research/aips/AIP-7.md, aere-research/aips/AIP-8.md, aere-research/aips/CONTRIBUTING.md, aere-research/aips/README.md, aere-research/aips/aip-template.md, aere-research/research/pqc-onchain-verification.md, aere-research/research/specs/spec-account-abstraction.md, aere-research/research/specs/spec-antimev-mempool.md, aere-research/research/specs/spec-eip2935-lookback.md, aere-research/research/specs/spec-flywheel-economics.md, aere-research/research/specs/spec-full-evm-validity.md, aere-research/research/specs/spec-identity-compliance.md, aere-research/research/specs/spec-parallel-execution.md, aere-research/research/specs/spec-recursive-aggregation-scale.md, aere-research/research/specs/spec-zk-stack.md, aere-research/results/PROVEN-RESULTS-2026-07-11.md +- `SealSchemeBench.java` cited in: aere-research/aips/AIP-22.md - `setup-fork.sh` cited in: aere-research/PQC-FORK-README.md - `shutter-mempool-v2.json` cited in: aere-research/research/specs/spec-antimev-mempool.md - `shutter-mempool-v3.json` cited in: aere-research/research/specs/spec-antimev-mempool.md @@ -108,10 +136,17 @@ Unresolvable distinct paths in this repository: **102**. - `sponge.rs` cited in: aere-research/pq-stark/spec-mmcs-babybear.md - `src/main.rs` cited in: aere-research/research/specs/spec-parallel-execution.md - `src/mmcs.rs` cited in: aere-research/pq-stark/spec-mmcs-babybear.md +- `strategie/agregare-pq/CIFRE-MASURATE.md` cited in: aere-research/aips/AIP-22.md +- `strategie/agregare-pq/DOVADA-FRI-MASURATA-2026-08-24.md` cited in: aere-research/aips/AIP-22.md +- `STUDIU-2026-08-24.md` cited in: aere-research/aips/AIP-22.md - `test/vectors.c` cited in: aere-research/research/pqc-onchain-verification.md +- `testnet-public/84-comuta-toate-f2.sh` cited in: aere-research/aips/AIP-21.md +- `testnet-public/88-aip21-nm-binar-nou.sh` cited in: aere-research/aips/AIP-21.md - `tests/fib_air.rs` cited in: aere-research/pq-stark/README.md - `tests/mul_air.rs` cited in: aere-research/pq-stark/README.md - `TLC-RUN-REPORT.md` cited in: aere-research/formal-consensus/RULEAZA-TOT.md +- `tools/pqtx/pqtx.mjs` cited in: aere-research/aips/AIP-20.md +- `ULTIMA.txt` cited in: aere-research/aips/AIP-20.md, aere-research/aips/AIP-21.md - `VALIDITY-ROLLUP-SEQUENCER-PLAN.md` cited in: aere-research/results/PROVEN-RESULTS-2026-07-11.md - `vectors/sp1_shrink_valid_01.bin` cited in: aere-research/pq-stark/export-inner-stark-vector.md - `verifier.rs` cited in: aere-research/pq-stark/README.md, aere-research/pq-stark/spec-fri-babybear.md diff --git a/aips/AIP-22.md b/aips/AIP-22.md index 4548687..a6d057b 100644 --- a/aips/AIP-22.md +++ b/aips/AIP-22.md @@ -94,7 +94,7 @@ Derivations, so they can be checked: GB per year = bytes per block x 55,854,159 | `aere.pq.anchorMinSeals` step (`AERE_PQ_ANCHOR_MIN_SEALS`) | per-scheme minimum, floor semantics, existing property | `:7` appended; at N = 21 a further step `:14` in the epoch that admits the eleventh validator | | `aere.pq.anchor.maxSeals` (`AERE_PQ_ANCHOR_MAX_SEALS`) | proposer cap, existing | 10 (raised from today's 9), then N | | `aere.pq.schemeIntervalSchedule` (`AERE_PQ_SCHEME_INTERVAL_SCHEDULE`), **new** | from height `h`, scheme `s` is required at anchor heights `a` with `(a - H_grid) mod I_s == 0`; `I_s` MUST be a multiple of the base anchor interval; the anchor grid itself becomes the finest interval named | `:falcon-512/32+slh-dsa-sha2-128s/128` | -| public verifier `SCHEME_INTERVAL_SCHEDULE` | the same rule in `tools/verify-anchor.mjs` | same | +| public verifier `SCHEME_INTERVAL_SCHEDULE` | the same rule in `aere-node/tools/verify-anchor.mjs` | same | The threshold guard (`PqAnchorThresholdGuard`, doctrine of 2026-08-20) refuses a step above N - f and warns at or above Q; at N = 10, Q = N - f = 7, so K = 7 is configurable today and starts under the guard's "liveness tax" warning. The warning's arithmetic is the honest statement of the cost: with f = 3 validators down, an anchor needs every one of the remaining seven seals. QBFT itself needs those same seven to commit any block in that state, so the new condition is not a new fault tolerance, it is a timing condition on the anchor's proposer, bounded by a round change (section 8, Liveness). @@ -205,7 +205,7 @@ Both clients of chain 2800 MUST: compute the same `id` from the same key; load, ## Backwards Compatibility -Every activation height here is a coordinated fork: the same binary and the same schedule on every node that validates or reads blocks (the validators of both clients and every reader, whoever operates it), armed before the height, one node at a time with cooling between restarts (SPEC section 2.6 and the published activation procedure): a node that judges headers on a different binary or a different schedule diverges from the validators at the height, so readers are armed with the validators, never after them. Below each height nothing changes. Headers produced before `H_hdr` keep their ECDSA seals and remain valid at their heights; the strict codec round-trips them unchanged. The public verifier `tools/verify-anchor.mjs` needs the scheme-interval schedule (Stage 2), the v3 registry and `id`s (Stage 3), and the proposer seal (Stage 5), each published in the same hour as the fleet change (a registry epoch that the public verifier does not know makes it reject every anchor the new signer takes part in). The published follower configuration in `RUN-A-NODE.md` and the SPEC gain the new properties at each stage. The ZK light client contracts (`AereZkQbftLightClient`, canonical verifiers anchored to the seven-validator set; findings register, 2026-09-05 and 2026-09-11) verify ECDSA quorums with an elliptic-curve SNARK and cannot attest post-quantum finality; after `H_fin` a light client either verifies anchor certificates directly (the published verifier already does) or waits for a hash-based proof system (section 7). Integrators that read `extraData` element 1 as ECDSA addresses must read `id`s from `H_id`; `eth_getBlockByNumber` is otherwise unchanged; `coinbase` becomes an `id`. +Every activation height here is a coordinated fork: the same binary and the same schedule on every node that validates or reads blocks (the validators of both clients and every reader, whoever operates it), armed before the height, one node at a time with cooling between restarts (SPEC section 2.6 and the published activation procedure): a node that judges headers on a different binary or a different schedule diverges from the validators at the height, so readers are armed with the validators, never after them. Below each height nothing changes. Headers produced before `H_hdr` keep their ECDSA seals and remain valid at their heights; the strict codec round-trips them unchanged. The public verifier `aere-node/tools/verify-anchor.mjs` needs the scheme-interval schedule (Stage 2), the v3 registry and `id`s (Stage 3), and the proposer seal (Stage 5), each published in the same hour as the fleet change (a registry epoch that the public verifier does not know makes it reject every anchor the new signer takes part in). The published follower configuration in `RUN-A-NODE.md` and the SPEC gain the new properties at each stage. The ZK light client contracts (`AereZkQbftLightClient`, canonical verifiers anchored to the seven-validator set; findings register, 2026-09-05 and 2026-09-11) verify ECDSA quorums with an elliptic-curve SNARK and cannot attest post-quantum finality; after `H_fin` a light client either verifies anchor certificates directly (the published verifier already does) or waits for a hash-based proof system (section 7). Integrators that read `extraData` element 1 as ECDSA addresses must read `id`s from `H_id`; `eth_getBlockByNumber` is otherwise unchanged; `coinbase` becomes an `id`. ## Security Considerations