{
  "checkedAt": "2026-09-06T11:02:38.995Z",
  "chainId": 43114,
  "scope": "isolated local EVM, no public deployment or transactions",
  "toolchain": {
    "nargo": "nargo version = 1.0.0-beta.22\nnoirc version = 1.0.0-beta.22+c57152f91260ecdb9faad4efc20abb14b6d2ece7\n(git version hash: c57152f91260ecdb9faad4efc20abb14b6d2ece7, is dirty: false)",
    "bb": "5.0.0-nightly.20260522",
    "solc": "solc, the solidity compiler commandline interface\nVersion: 0.8.30+commit.73712a01.Linux.g++"
  },
  "circuitTests": 5,
  "commandResults": [
    "nargo execute; bb prove and independent bb verify passed",
    "nargo execute; bb prove and independent bb verify passed"
  ],
  "outcomes": [
    "generated Solidity verifier accepted actual ZK proof",
    "unapproved Merkle root rejected",
    "unauthorized root issuer rejected",
    "recipient substitution rejected",
    "application/chain domain substitution rejected",
    "tampered proof rejected",
    "stateful proof consumption and nullifier persistence passed",
    "nullifier replay rejected"
  ],
  "receipt": {
    "status": 1,
    "gasUsed": "846840"
  },
  "limits": [
    "Synthetic public test witnesses",
    "Depth-two tree only",
    "Trusted root issuer",
    "Recipient and usage timing remain public",
    "No browser proving or production anonymity claim"
  ]
}