275 lines
27 KiB
Markdown
275 lines
27 KiB
Markdown
# 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-08-27, 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,
|
|
the claim is traceable but **not independently verifiable by you**, and it should be
|
|
read as our assertion. Nothing was deleted to produce this list: every path below is
|
|
still cited in the text exactly as our authors wrote it.
|
|
|
|
Paths that DO resolve are written relative to a side-by-side checkout of the Aere
|
|
repositories, so they begin with a repository name, for example
|
|
`aere-contracts/contracts/pqc/AereCryptoRegistry.sol`.
|
|
|
|
Unresolvable distinct paths in this repository: **257**.
|
|
|
|
- `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
|
|
- `AERE-COVERAGE-README.md` cited in: aere-docs/REPRODUCE.md
|
|
- `aere-coverage-summary.json` cited in: aere-docs/REPRODUCE.md
|
|
- `AERE-ERC8004-X402-CONFORMANCE-RESULT-2026-07-20.md` cited in: aere-docs/AERE-ERC8004-X402-CONFORMANCE.md
|
|
- `aere-genesis-current.json` cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md
|
|
- `aere-genesis-fusaka.json` cited in: aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
|
|
- `aere-genesis-pectra.json` cited in: aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
|
|
- `AERE-VSM-ATTESTED-RETRIEVAL.md` cited in: aere-docs/AERE-VSM.md
|
|
- `aerenew/.github/workflows/reproducible-besu-build.yml` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/aips/AIP-N.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
|
|
- `aerenew/aips/CONTRIBUTING.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
|
|
- `aerenew/audit-package-pq-consensus/REPRODUCE.md` cited in: aere-docs/AERE-BENCHMARK-REPORT.md
|
|
- `aerenew/basefee-floor-dryrun/basefee-floor.diff` cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md
|
|
- `aerenew/build-tracker/control.json` cited in: aere-docs/AERE-QUANTUM-MIGRATION.md, aere-docs/AERE-QUANTUM-SAFE-NETWORKING.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/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/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/hardhat.config.js` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/contracts/hardhat.config.prague.js` cited in: aere-docs/AERE-ENTROPY-BEACON-FIX.md
|
|
- `aerenew/contracts/reports/sharded-test-run/results.json` cited in: aere-docs/REPRODUCE.md
|
|
- `aerenew/contracts/scripts/test-mldsa-local.js` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `aerenew/contracts/test/account-retirement.test.js` cited in: aere-docs/AERE-QUANTUM-MIGRATION.md
|
|
- `aerenew/contracts/test/AereComputeMarketV3.liveness.test.js` cited in: aere-docs/AERE-COMPUTE-MARKET-V3-SUMMARY.md, aere-docs/AERE-COMPUTE-MARKET-V3.md
|
|
- `aerenew/contracts/test/erc8004-x402-conformance.live.test.js` cited in: aere-docs/AERE-ERC8004-X402-CONFORMANCE.md
|
|
- `aerenew/cross-client-determinism/LIVE-BESU-VS-NETHERMIND-2026-07-19.md` cited in: aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
|
|
- `aerenew/docs/AERE-AIP-PROCESS-AND-INDEX.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-ARCHITECTURE-MAP.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-BENCHMARK-REPORT.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-BUILD-LOOP-SUMMARY-2026-07-19.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-COMPUTE-MARKET-V3.md` cited in: aere-docs/AERE-COMPUTE-MARKET-V3-SUMMARY.md
|
|
- `aerenew/docs/AERE-CROSS-CLIENT-DETERMINISM.md` cited in: aere-docs/AERE-SHADOW-PRODUCER.md
|
|
- `aerenew/docs/AERE-EIP-COMPATIBILITY-MATRIX.md` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md, aere-docs/AERE-QUANTUM-MIGRATION.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-ENGINEERING-SECURITY-SPEC.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md, aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md, aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-ERC7683-DESTINATION.md` cited in: aere-docs/AERE-ERC7683-DESTINATION-SUMMARY.md
|
|
- `aerenew/docs/AERE-ERC8004-X402-CONFORMANCE.md` cited in: aere-docs/AERE-ERC8004-SUMMARY.md
|
|
- `aerenew/docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md` cited in: aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md
|
|
- `aerenew/docs/AERE-POST-QUANTUM-GOVERNANCE.md` cited in: aere-docs/AERE-QUANTUM-MIGRATION.md
|
|
- `aerenew/docs/AERE-PQ-AGGREGATE.md` cited in: aere-docs/AERE-PQ-AGGREGATE-SUMMARY.md
|
|
- `aerenew/docs/AERE-PQ-FINALITY-CERTIFICATE.md` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE-SUMMARY.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
|
|
- `aerenew/docs/AERE-PQ-SCREEN.md` cited in: aere-docs/AERE-PQ-SCREEN-SUMMARY.md
|
|
- `aerenew/docs/AERE-PROTOCOL-SPECIFICATION.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-QA-CONSOLIDATION-REPORT.md` cited in: aere-docs/AERE-BUILD-LOOP-SUMMARY-2026-07-19.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-QUANTUM-MIGRATION.md` cited in: aere-docs/AERE-QUANTUM-MIGRATION-SUMMARY.md
|
|
- `aerenew/docs/AERE-QUANTUM-SAFE-NETWORKING.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-SECURITY-FIXES.md` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
|
|
- `aerenew/docs/AERE-SECURITY-REVIEW-NEW-CONTRACTS.md` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md, aere-docs/AERE-SECURITY-FIXES.md
|
|
- `aerenew/docs/AERE-SHADOW-PRODUCER.md` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md
|
|
- `aerenew/docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC-SUMMARY.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC-SUMMARY.md
|
|
- `aerenew/docs/AERE-STARK-VERIFIER-PORT-SPEC.md` cited in: aere-docs/AERE-STARK-BABYBEAR-FIELD-SUMMARY.md, aere-docs/AERE-STARK-CORE-ADVANCE-SUMMARY.md, aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md, aere-docs/AERE-STARK-POSEIDON2-CONSTANTS-CONFIRMED.md, aere-docs/AERE-STARK-POSEIDON2-SUMMARY.md
|
|
- `aerenew/docs/AERE-VSM.md` cited in: aere-docs/AERE-VSM-SUMMARY.md
|
|
- `aerenew/docs/AERE-WHITEPAPER-AIP-LINKAGE.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
|
|
- `aerenew/docs/AERE-XMSS-AGGREGATION-CIRCUIT.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
|
|
- `aerenew/docs/aerecore/AERECORE_PLAN.md` cited in: aere-docs/REPRODUCE.md
|
|
- `aerenew/docs/AUDIT-FINDING-THRESHOLD-DUPLICATE-KEYS-2026-07-15.md` cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
|
|
- `aerenew/docs/BASEFEE-FLOOR-FORK-RUNBOOK-2026-07-17.md` cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md
|
|
- `aerenew/docs/DECENTRALIZATION-2ND-CLIENT-RUNBOOK.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/docs/GOVERNANCE.md` cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
|
|
- `aerenew/docs/NETHERMIND-2ND-CLIENT-LIVE-2026-07-17.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/docs/PQ-STARK-VERIFIER-ACTIVATION-2026-07-18.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/PQ-STARK-VERIFIER-PRECOMPILE-2026-07-18.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `aerenew/docs/RPC2-NODE-2026-07-17.md` cited in: aere-docs/AERE-QUANTUM-SAFE-NETWORKING.md
|
|
- `aerenew/docs/THRESHOLD-PQC-2026-07-12.md` cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
|
|
- `aerenew/docs/TRANZITIA-QBFT-SETTLED-2026-07-20.md` cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-PROTOCOL-SPECIFICATION.md
|
|
- `aerenew/dryrun-results/dryrun/phase_postfork_kat.sh` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `aerenew/eips/eip-draft-pqc-account-authorization.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
|
|
- `aerenew/eips/eip-draft-pqc-signature-precompiles.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
|
|
- `aerenew/eips/eip-draft-shake256-precompile.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md, aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
|
|
- `aerenew/eips/README.md` cited in: aere-docs/AERE-AIP-PROCESS-AND-INDEX.md
|
|
- `aerenew/formal-contracts/specs/AereSink.symbolic.t.sol` cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md
|
|
- `aerenew/formal-tla/MCliveness.cfg` cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
|
|
- `aerenew/formal-tla/MCliveness.tla` cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
|
|
- `aerenew/formal-tla/MCsafety.cfg` cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
|
|
- `aerenew/formal-tla/MCsafety.tla` cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
|
|
- `aerenew/formal-tla/MCsafety7.cfg` cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
|
|
- `aerenew/formal-tla/QBFT.tla` cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
|
|
- `aerenew/formal-tla/README.md` cited in: aere-docs/AERE-TLA-FORMAL-SPEC.md
|
|
- `aerenew/genesis.json` cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-EIP-COMPATIBILITY-MATRIX.md
|
|
- `aerenew/GITHUB_DEPLOYMENT_CHECKLIST.md` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/nethermind-pqc/proofs/mixed-client/proposer/01-onchain-alternation-hashmatch.txt` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/nethermind-pqc/QBFT-FOLLOWER-2026-07-12.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/nethermind-pqc/QBFT-GENESIS-SYNC-FIX-2026-07-13.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/nethermind-pqc/QBFT-PRODUCER-2ND-CLIENT-2026-07-13.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/nethermind-pqc/QBFT-VALIDATION-2026-07-12.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/nethermind-pqc/REAL-NETHERMIND-PQC-2026-07-12.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/nethermind-pqc/test/AerePqc.Tests/qbft-vectors.json` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `aerenew/node/REPRODUCIBLE.md` cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/parallel/combined-fork-binary/BUILD_INFO.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/parallel/combined-fork-binary/logs/nist_kat_bc183.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `aerenew/parallel/combined-fork-binary/scripts/check5_precompiles.py` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `aerenew/parallel/combined-fork-binary/scripts/run_kat.sh` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `aerenew/parallel/combined-fork-binary/VALIDATION_REPORT.md` cited in: aere-docs/AERE-SHADOW-PRODUCER.md
|
|
- `aerenew/pqc-fork/build-dist.sh` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/pqc-fork/probe-precompile-liveness.js` cited in: aere-docs/AERE-BENCHMARK-REPORT.md
|
|
- `aerenew/pqc-fork/README.md` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `aerenew/pqc-fork/run-kats.sh` cited in: aere-docs/AERE-BENCHMARK-REPORT.md
|
|
- `aerenew/pqc-fork/setup-fork.sh` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/REPRODUCE.md` cited in: aere-docs/AERE-BUILD-LOOP-SUMMARY-2026-07-19.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/research-stage/formal-consensus/REPRODUCE.md` cited in: aere-docs/AERE-BENCHMARK-REPORT.md
|
|
- `aerenew/scripts/deschise/flaguri-verify.cjs` cited in: aere-docs/VERIFY-POLICY.md
|
|
- `aerenew/scripts/verify-besu-image.sh` cited in: aere-docs/AERE-BENCHMARK-REPORT.md, aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `aerenew/sdk-js/README.md` cited in: aere-docs/REPRODUCE.md
|
|
- `aerenew/sdk-js/src/addresses.ts` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md, aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
|
|
- `aerenew/shadow-producer/blockstm-adapter.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md
|
|
- `aerenew/shadow-producer/package.json` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md
|
|
- `aerenew/shadow-producer/README.md` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md
|
|
- `aerenew/shadow-producer/shadow-producer.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER-SUMMARY.md
|
|
- `aerenew/tools/create-aere-pqc/README.md` cited in: aere-docs/REPRODUCE.md
|
|
- `AereVSMAttestor.sol` cited in: aere-docs/AERE-VSM.md
|
|
- `air.rs` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `artifacts/besu-image-digest.json` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `AUDIT-REPORT-2026-07-14.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `batch-prover-recovered/bin/aere-prover/Cargo.toml` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `besu-image-digest.json` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `blockstm-adapter.mjs` cited in: aere-docs/AERE-SHADOW-PRODUCER.md
|
|
- `bootnodes.txt` cited in: aere-docs/VERIFY-POLICY.md
|
|
- `chips/alu_base.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `chips/alu_ext.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `chips/prefix_sum_checks.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `chips/public_values.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `chips/select.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `combined-fork-binary/BUILD_INFO.txt` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `config/config.toml` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `config/genesis.json` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `contracts/contracts/interop/AereZkQbftLightClient.sol` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
|
|
- `contracts/contracts/modular/AerePQAggregateModule.sol` cited in: aere-docs/AERE-PQ-AGGREGATE.md
|
|
- `contracts/contracts/mpc/AerePQAggregateVerifier.sol` cited in: aere-docs/AERE-PQ-AGGREGATE.md, aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
|
|
- `contracts/contracts/pqc/AerePQCKeyRegistry.sol` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
|
|
- `contracts/contracts/pqc/AerePQCTxAccount.sol` cited in: aere-docs/AIP-PQ-TX-2026-07-18.md
|
|
- `contracts/contracts/pqc/AereXmssVerifier.sol` cited in: aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
|
|
- `contracts/contracts/pqfinality/AereFinalityCertificateVerifier.sol` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
|
|
- `contracts/contracts/pqfinality/AerePQAttestationKeyRegistry.sol` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
|
|
- `contracts/contracts/validators/AereValidatorManifest.sol` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md
|
|
- `contracts/contracts/zkverify/AerePQStarkVerifier.sol` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `contracts/test/AerePQAggregate.test.js` cited in: aere-docs/AERE-PQ-AGGREGATE.md
|
|
- `contracts/test/AerePQCTxAccount.test.js` cited in: aere-docs/AIP-PQ-TX-2026-07-18.md
|
|
- `contracts/test/AerePQFinalityCertificate.test.js` cited in: aere-docs/AERE-PQ-FINALITY-CERTIFICATE.md, aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
|
|
- `contracts/test/fixtures/xmss-sha2_10_256-kat.json` cited in: aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md
|
|
- `contracts/test/xmssVerifier.test.js` cited in: aere-docs/AERE-XMSS-AGGREGATION-CIRCUIT.md, aere-docs/AERE-XMSS-CIRCUIT-CORE-SUMMARY.md
|
|
- `crates/hypercube/src/verifier/hashable_key.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `crates/hypercube/src/verifier/shard.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `crates/primitives/src/lib.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `crates/prover/src/recursion.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `crates/recursion/executor/src/public_values.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `DECENTRALIZATION-2ND-CLIENT-RUNBOOK.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `deployments/compute-market-e2e.json` cited in: aere-docs/AERE-COMPUTE-MARKET-V3.md
|
|
- `docs/AERE-EIP-COMPATIBILITY-MATRIX.md` cited in: aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md, aere-docs/AERE-ENTROPY-BEACON-FIX.md
|
|
- `docs/AERE-PQ-AGGREGATE.md` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
|
|
- `docs/AERE-PQ-FINALITY-CERTIFICATE.md` cited in: aere-docs/AERE-NEW-CONTRACTS-DEPLOY-RUNBOOK.md
|
|
- `docs/AERE-SECURITY-REVIEW-NEW-CONTRACTS.md` cited in: aere-docs/AERE-DEPLOY-RUNBOOK-SUMMARY.md
|
|
- `docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `docs/AERE-STARK-VERIFIER-PORT-SPEC.md` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `docs/PQ-STARK-VERIFIER-ACTIVATION-2026-07-18.md` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `docs/PQ-STARK-VERIFIER-PRECOMPILE-2026-07-18.md` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `domain.rs` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `duplex_challenger.rs` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `ethers.js` cited in: aere-docs/AERE-QUANTUM-SAFE-NETWORKING.md
|
|
- `falcon1024.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `falcon512.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `FAULT-TOLERANCE-CHARACTERIZATION-2026-07-14.md` cited in: aere-docs/AERE-ENGINEERING-SECURITY-SPEC.md
|
|
- `folder.rs` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `foundry.toml` cited in: aere-docs/REPRODUCE.md
|
|
- `FRONTIER-PROGRAM-2026-07-12.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `genesis-subsecond.json` cited in: aere-docs/AERE-BENCHMARK-REPORT.md
|
|
- `GITHUB_DEPLOYMENT_CHECKLIST.md` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `GOVERNANCE.md` cited in: aere-docs/AERE-POST-QUANTUM-GOVERNANCE.md
|
|
- `grinding_challenger.rs` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `harness/DummyERC20A.sol` cited in: aere-docs/AERE-CERTORA-FORMAL-VERIFICATION.md
|
|
- `hypercube-verifier/crates/stark/folder.rs` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `interfaces/draft-IERC7579.sol` cited in: aere-docs/AERE-PQ-AGGREGATE.md
|
|
- `KNOWN-ISSUES.md` cited in: aere-docs/VERIFY-POLICY.md
|
|
- `LAST-SHARD-ONLY-NOT-THE-COVERAGE-NUMBER.json` cited in: aere-docs/REPRODUCE.md
|
|
- `lib/attest-recovery.js` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
|
|
- `lib/migrate.js` cited in: aere-docs/AERE-MIGRATION-TOOLKIT.md
|
|
- `lib/partition.sh` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
|
|
- `LondonFeeMarket.java` cited in: aere-docs/AERE-PROTOCOL-SPECIFICATION.md
|
|
- `matrix.json` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
|
|
- `merge-shards.js` cited in: aere-docs/REPRODUCE.md
|
|
- `mldsa44.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `mmcs.rs` cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `NETHERMIND-2ND-CLIENT-LIVE-2026-07-17.md` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `nist_kat_bc183.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `node_modules/hardhat/internal/hardhat-network/provider/provider.js` cited in: aere-docs/REPRODUCE.md
|
|
- `PQ-CONSENSUS-LIVE-READINESS-2026-07-18.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `pqc-fork/pq-stark/air_quotient_ground_truth.json` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/air_quotient_reference.py` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/babybear_field_reference.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/challenger_ground_truth.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/challenger_reference.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/export-inner-stark-vector.md` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/fri_ground_truth.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/fri_query_index_reference.mjs` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/fri_query_index_reference.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/fri_verify_reference.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/FriQueryIndexSelfTest.java` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/mmcs_babybear_reference.py` cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/poseidon2_babybear_reference.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/README.md` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/spec-fri-babybear.md` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/spec-mmcs-babybear.md` cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/spec-poseidon2-constants.md` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/test_air_quotient.py` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md
|
|
- `pqc-fork/pq-stark/test_babybear_field.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/test_challenger.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/test_fri_query_index.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/test_fri_verify.py` cited in: aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md
|
|
- `pqc-fork/pq-stark/test_mmcs_babybear.py` cited in: aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/pq-stark/test_poseidon2_babybear.py` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/precompiles/Sp1StarkVerifierPrecompiledContract.java` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-MMCS-SUMMARY.md, aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md, aere-docs/AERE-STARK-TRANSCRIPT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/results/kat-results-air-quotient.json` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/results/kat-results-babybear-field.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/results/kat-results-challenger.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/results/kat-results-fri-query-index.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/results/kat-results-fri-verify.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/results/kat-results-mmcs-babybear.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc-fork/results/kat-results-poseidon2-babybear.json` cited in: aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `pqc/AereAccountRetirement.sol` cited in: aere-docs/AERE-QUANTUM-MIGRATION.md
|
|
- `precompile` cited in: aere-docs/REPRODUCE.md
|
|
- `Probe.java` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `proofs/mixed-client/follower-sync/REGRESSION-n4.txt` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `proofs/qbft-producer-besu-import-proof-2026-07-13.txt` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `proofs/qbft-producer-manifest-2026-07-13.json` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.md
|
|
- `reproducible-besu-build.yml` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `REPRODUCIBLE.md` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `rollup-evm-validity/guest/Cargo.toml` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `rollup-evm-validity/host/Cargo.lock` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `rollup-evm-validity/host/Cargo.toml` cited in: aere-docs/AERE-STARK-SP1-RECURSION-AIR-PORT-SPEC.md
|
|
- `run_kat.sh` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `run-chaos-matrix.sh` cited in: aere-docs/AERE-FAULT-INJECTION-HARNESS.md
|
|
- `run-kats.sh` cited in: aere-docs/REPRODUCE.md
|
|
- `runner.mjs` cited in: aere-docs/AERE-CROSS-CLIENT-DETERMINISM.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/run-tests-sharded.js` cited in: aere-docs/REPRODUCE.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
|
|
- `shake256.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `shards/shard-NNN.partial-istanbul.json` cited in: aere-docs/REPRODUCE.md
|
|
- `slhdsa128s.txt` cited in: aere-docs/AERE-NIST-VALIDATION-STATUS.md
|
|
- `test/AereComputeMarketV3.liveness.test.js` cited in: aere-docs/AERE-COMPUTE-MARKET-V3.md
|
|
- `test/formal/ForgePropertyFuzz.t.sol` cited in: aere-docs/REPRODUCE.md
|
|
- `tests/fib_air.rs` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `tests/mul_air.rs` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `unmeasurable.txt` cited in: aere-docs/REPRODUCE.md
|
|
- `VALIDITY-ROLLUP-SEQUENCER-PLAN.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `verifier.rs` cited in: aere-docs/AERE-STARK-AIR-QUOTIENT-SUMMARY.md, aere-docs/AERE-STARK-VERIFIER-PORT-SPEC.md
|
|
- `verify-besu-image.sh` cited in: aere-docs/AERE-REPRODUCIBLE-BUILDS.md
|
|
- `WHITEPAPER-V2.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `wp2-sections/02-architecture.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `wp2-sections/04-zk.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `ZK-ANCHOR-FIXES-2026-07-17.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|
|
- `ZK-PQ-FINALITY-2026-07-18.md` cited in: aere-docs/AERE-STARK-DOC-CAVEAT-SWEEP.md
|