{
  "schema": "aere-claim-evidence/1",
  "title": "AERE Network claim to evidence map",
  "description": "Each verifiable capability on AERE mainnet (chain 2800) mapped to its on-chain contract address and a real, reproducible piece of evidence: either a successful on-chain transaction hash or a read-only eth_call that anyone can replay. Scope labels are attached to every claim. The 273,000 TPS figure is a block-parameter design ceiling, never a measured mainnet rate, and is deliberately excluded from this transaction-backed map.",
  "generatedAt": "2026-07-18",
  "chainId": 2800,
  "chainIdHex": "0xaf0",
  "rpc": "https://rpc.aere.network",
  "explorer": "https://explorer.aere.network",
  "interactiveVerify": "https://aere.network/quantum.html",
  "methodology": "https://aere.network/benchmarks.html",
  "verifiedContracts": "https://aere.network/verified-contracts.html",
  "notes": [
    "AERE mainnet consensus is classical secp256k1 ECDSA under Hyperledger Besu QBFT. It is NOT post-quantum. Post-quantum cryptography on AERE is at the account and application layer via on-chain verifiers and precompiles.",
    "The outbound light client and outbound verifier are trust-minimized (security reduces to at least 5 of 7 Foundation-operated validators being honest) and rest on classical secp256k1 seals plus a classical BN254 Groth16 wrap. They are interop-layer components and do not change or gate consensus.",
    "Every transaction below was confirmed on chain 2800 with receipt status success (0x1); reproduce with eth_getTransactionReceipt. Every eth_call below is read-only and needs no wallet or gas."
  ],
  "claims": [
    {
      "capability": "On-chain NIST Falcon-512 post-quantum signature verification, recorded in state",
      "scope": "live-mainnet-application-layer",
      "contract": "AereFalcon512Verifier",
      "address": "0x4E8e9682329e646784fB3bd01430aA4bA54D8fFC",
      "evidence": {
        "type": "transaction",
        "txHash": "0x3a1838deb9f1b4b26f7af5ef1b4609a8aea77a3ebe654e38151caeadfff4fd5c",
        "block": 8735205,
        "gasUsed": 10492455,
        "status": "success",
        "explorer": "https://explorer.aere.network/tx/0x3a1838deb9f1b4b26f7af5ef1b4609a8aea77a3ebe654e38151caeadfff4fd5c",
        "note": "A full Falcon-512 verify-and-record transaction. The gas used (10,492,455) matches the documented pure-Solidity Falcon-512 verify-and-record cost."
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_getTransactionReceipt\",\"params\":[\"0x3a1838deb9f1b4b26f7af5ef1b4609a8aea77a3ebe654e38151caeadfff4fd5c\"],\"id\":1}'",
      "honestScope": "A spec-complete verifier only, not key generation or signing, and Falcon-512 rather than Falcon-1024."
    },
    {
      "capability": "Falcon-512 post-quantum finality attestation that runs alongside QBFT (not a replacement for ECDSA block signing)",
      "scope": "live-mainnet-application-layer",
      "contract": "AereConsensusPQCAttestor",
      "address": "0xf3681Aa6444F79562683C26f9d5c369A479c87dD",
      "evidence": {
        "type": "transaction",
        "txHash": "0xe3fcce571cca808530ef655628cecae7ace900e42f7f3007b6300d87cb129214",
        "block": 8819084,
        "gasUsed": 10072348,
        "status": "success",
        "explorer": "https://explorer.aere.network/tx/0xe3fcce571cca808530ef655628cecae7ace900e42f7f3007b6300d87cb129214",
        "note": "A Falcon-512 attestation transaction; the gas used (about 10.1M) matches the documented per-attestation cost."
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_getTransactionReceipt\",\"params\":[\"0xe3fcce571cca808530ef655628cecae7ace900e42f7f3007b6300d87cb129214\"],\"id\":1}'",
      "honestScope": "This is explicitly NOT post-quantum consensus. Blocks are still signed by validators with classical secp256k1 ECDSA; this attestation layer marks a block post-quantum finalized at a two-thirds threshold in addition to consensus."
    },
    {
      "capability": "Five native NIST post-quantum precompiles live on-chain (SHAKE256, Falcon-512, Falcon-1024, ML-DSA-44, SLH-DSA-128s) at the reserved band 0x0AE1 to 0x0AE5",
      "scope": "live-mainnet-application-layer",
      "address": "0x0000000000000000000000000000000000000AE5",
      "activationBlock": 9189161,
      "activationDate": "2026-07-12",
      "evidence": {
        "type": "eth_call",
        "note": "The SHAKE256 precompile at 0x0AE5 returns the exact NIST Known-Answer-Test digest for the empty message. A read-only call with a 32-byte output-length prefix and no message returns 0x46b9dd2b0ba88d13233b3feb743eeb243fcd52ea62b81b82b50c27646ed5762f, the published SHAKE256 digest of the empty input, truncated to 32 bytes.",
        "expected": "0x46b9dd2b0ba88d13233b3feb743eeb243fcd52ea62b81b82b50c27646ed5762f"
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_call\",\"params\":[{\"to\":\"0x0000000000000000000000000000000000000AE5\",\"data\":\"0x0000000000000000000000000000000000000000000000000000000000000020\"},\"latest\"],\"id\":1}'",
      "honestScope": "Precompiles are verifiers and a hash function, not key generation or signing. They are an application and execution layer capability. Mainnet consensus remains classical ECDSA QBFT. The full KAT and ACVP vector set can be replayed live at https://aere.network/quantum.html."
    },
    {
      "capability": "Private-input zkML inference (MNIST classifier) verified on-chain with a real Groth16 proof",
      "scope": "live-mainnet-application-layer",
      "contract": "AereZKMLVerifier",
      "address": "0xf1BF15d5018a35D21FBB4Ec868f062DF7C06783c",
      "evidence": {
        "type": "transaction",
        "txHash": "0xf84f179f54dd0b4d85abcdba5f1fdb1d6be7573a262b26ef2a3e423f9de80a8f",
        "block": 8741876,
        "gasUsed": 28628,
        "status": "success",
        "explorer": "https://explorer.aere.network/tx/0xf84f179f54dd0b4d85abcdba5f1fdb1d6be7573a262b26ef2a3e423f9de80a8f",
        "note": "A successful on-chain transaction to the deployed zkML verifier contract."
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_getTransactionReceipt\",\"params\":[\"0xf84f179f54dd0b4d85abcdba5f1fdb1d6be7573a262b26ef2a3e423f9de80a8f\"],\"id\":1}'",
      "honestScope": "The model is a 784 to 256 to 10 MLP (not a CNN); its 97.98 percent accuracy is measured off-chain over the 10,000-image MNIST test set, and one image is proven on-chain per proof."
    },
    {
      "capability": "Zero-knowledge screening verifier with program-anchored soundness (SP1 Groth16)",
      "scope": "live-mainnet-application-layer",
      "contract": "AereZKScreen",
      "address": "0x3A097A459FD26aC79573aCB5adB51430e473C2f1",
      "evidence": {
        "type": "transaction",
        "txHash": "0x0dead975e1fba323dbd140279a4fcd12300004753d57f0b57169caeea806207e",
        "block": 8434909,
        "gasUsed": 303140,
        "status": "success",
        "explorer": "https://explorer.aere.network/tx/0x0dead975e1fba323dbd140279a4fcd12300004753d57f0b57169caeea806207e",
        "note": "A successful on-chain transaction to the deployed ZKScreen v3 verifier contract."
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_getTransactionReceipt\",\"params\":[\"0x0dead975e1fba323dbd140279a4fcd12300004753d57f0b57169caeea806207e\"],\"id\":1}'",
      "honestScope": "Proven with the real SP1 Groth16 verifier through the SP1 gateway; binds proof submission to the program's authorized root."
    },
    {
      "capability": "Immutable fee flywheel: a fixed coinbase split that routes a Foundation-set share of validator rewards to a sealed burn path",
      "scope": "live-mainnet-economics",
      "contract": "AereCoinbaseSplitterV2",
      "address": "0x8C1A48eFA57b66fEE743A00E3899c29ad3Fd27b4",
      "evidence": {
        "type": "transaction",
        "txHash": "0x12f8b275d10442195474c289317e1feb5786ed176a033840b26be7aea11ca825",
        "block": 8941601,
        "gasUsed": 69663,
        "status": "success",
        "explorer": "https://explorer.aere.network/tx/0x12f8b275d10442195474c289317e1feb5786ed176a033840b26be7aea11ca825",
        "note": "A successful on-chain transaction to the deployed splitter contract."
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_getTransactionReceipt\",\"params\":[\"0x12f8b275d10442195474c289317e1feb5786ed176a033840b26be7aea11ca825\"],\"id\":1}'",
      "honestScope": "burnBps default 3750 (37.5 percent), hard-capped at 5000 (50 percent). Once value enters the sealed vault it cannot be recovered by anyone. On an idle chain realized burn is near zero."
    },
    {
      "capability": "Outbound zk QBFT finality light client: an external chain can verify AERE finality from a zk proof instead of trusting a relayer",
      "scope": "interop-layer",
      "contract": "AereZkQbftLightClient",
      "address": "0xCaDA54FAb6E7AE311d240Cf0C2Df45e974156488",
      "evidence": {
        "type": "transaction",
        "txHash": "0xc606be93490b9944b16c6f1743fd9ed3de046765831d84ec904fdd95a5102903",
        "block": 9991732,
        "gasUsed": 313462,
        "status": "success",
        "explorer": "https://explorer.aere.network/tx/0xc606be93490b9944b16c6f1743fd9ed3de046765831d84ec904fdd95a5102903",
        "note": "A real SP1 Groth16 proof that a chain-2800 block carries a 5-of-7 committed-seal quorum, verified on-chain, advancing the tracked finalized head."
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_getTransactionReceipt\",\"params\":[\"0xc606be93490b9944b16c6f1743fd9ed3de046765831d84ec904fdd95a5102903\"],\"id\":1}'",
      "honestScope": "Trust-minimized, not trustless: security reduces to at least 5 of 7 Foundation-operated validators being honest, plus the pinned verification key and the SP1 gateway being sound. Classical secp256k1 seals and a classical BN254 Groth16 wrap, so it is not quantum-safe. Interop layer only; it does not change or gate consensus. The validator-set anchor is immutable and does not track rotation."
    },
    {
      "capability": "Outbound bridge message verifier, anchor-bound so a prover cannot substitute its own validator keys; proven to accept a real message and reject a forged one",
      "scope": "interop-layer",
      "contract": "AereOutboundVerifierV2",
      "address": "0x08b68bd553116Dffb99E648cb764AA93930da96F",
      "evidence": {
        "type": "transaction",
        "txHash": "0xc27f09365e9bbeb37225bc42d1fc194228326f57352d1c8842159fb7f5a62b2b",
        "block": 10074980,
        "gasUsed": 471507,
        "status": "success",
        "explorer": "https://explorer.aere.network/tx/0xc27f09365e9bbeb37225bc42d1fc194228326f57352d1c8842159fb7f5a62b2b",
        "note": "A real outbound message, proven included in a QBFT-final block, delivered exactly once on-chain. In a paired control a forged message built from an attacker's own keys was rejected with ValidatorSetMismatch even though the SP1 gateway confirmed the forged proof was cryptographically valid."
      },
      "reproduce": "curl -s -X POST https://rpc.aere.network -H 'content-type: application/json' -d '{\"jsonrpc\":\"2.0\",\"method\":\"eth_getTransactionReceipt\",\"params\":[\"0xc27f09365e9bbeb37225bc42d1fc194228326f57352d1c8842159fb7f5a62b2b\"],\"id\":1}'",
      "honestScope": "Trust-minimized (at least 5 of 7 Foundation-operated validators), not trustless, not quantum-safe (classical ECDSA seals plus BN254 Groth16 wrap). Interop layer only; it does not change AERE consensus."
    }
  ]
}