{"name": "prove-army-anchor-arcium", "primary_path": "Anchor session opens the burn-gated proof attempt; Arcium computes the confidential verdict callback.", "anchor": {"program_id": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "program_id_scope": "env-configured", "default_rpc_url": "https://api.mainnet-beta.solana.com", "deployment_status": {"closed_legacy_program_id": "Dwu4RUjRPhYkvmwVaY6NdRZMyN5yKuxWR3Vi1SQrwEma", "surfpool_program_id": "6bu7FPuP6S3FAdNkR27LUUBpzhpRLE5xWHnVSioA3tu2", "mainnet_program_id": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "recommended_env": {"ANCHOR_PROGRAM_ID": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "ANCHOR_RPC_URL": "https://mainnet.helius-rpc.com/...", "POP_DUAL_ORACLE": "require"}}, "verdict_tokens": {"valid": 4938, "invalid": 12515, "malformed": 50256}, "verdict_enum": {"invalid": 0, "valid": 1, "malformed": 2}, "instructions": {"init_pop": 60, "local_verdict": 61, "init_arcium_pop": 62, "init_arcium_config": 63, "set_arcium_authority": 64, "arcium_verdict": 65, "layer_commit": 66}, "burn_gate": {"mint": "6K4xdfEk5rvySM496rxm4x8AgC9wVt7N4C7mFFpNAj5f", "token_program": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "basis_points": 1, "amount": "ceil(current_supply / 10_000)"}, "chain_rule": "Canonical Prove Army mode: burn-gated Anchor session owned by the configured program id, done=true, and either local verdict_enum VALID or Arcium callback verdict_enum VALID.", "arcium_mode": {"mxe_program_id": "ASinJeq5ruJLzxE6LfpMX972hgf7VT6Tu2dFsTya81KK", "state_mode": 2, "config_pda_seed": "arcium-config", "transcript_proof_digest": "sha3-256(step_count || rule_ids[0..8])", "callback_data": "[verdict:u8][challenge_hash:32][proof_digest:32][parent_hash:32][computation_hash:32]", "milestone": "Anchor mode-2 transcript-shape bridge", "milestone_scope": {"proves_in_mpc": ["verdict over encrypted step_count + rule_ids shape", "SHA3-256 transcript binding to proof_digest at queue time", "Anchor callback after binding checks"], "does_not_prove": ["step-by-step symbolic replay", "solo mint authority without symbolic_verifier.accept(proof)"], "epistemic_note": "Dual-oracle mint still requires the public symbolic verifier."}}, "fly_role": "Fly is an MCP/API/indexer surface; Anchor/Arcium is the settlement path."}, "arcium": {"name": "prove-army-arcium-pop-verdict", "programs": {"arcium_pop_verdict": "ASinJeq5ruJLzxE6LfpMX972hgf7VT6Tu2dFsTya81KK", "anchor_default": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "anchor_mainnet_pop": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "token_2022": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb"}, "instructions": {"anchor_init_arcium_pop": 62, "anchor_init_arcium_config": 63, "anchor_set_arcium_authority": 64, "anchor_arcium_verdict": 65, "arcium_judge_pop_proof": "judge_pop_proof", "arcium_verdict_request_seed": "verdict-req", "anchor_arcium_config_seed": "arcium-config"}, "burn_gate": {"mint": "6K4xdfEk5rvySM496rxm4x8AgC9wVt7N4C7mFFpNAj5f", "token_program": "TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb", "basis_points": 1, "amount": "ceil(current_supply / 10_000)", "note": "Builder target is 1 bp of the Token-2022 supply."}, "transcript": {"max_steps": 8, "message": "[step_count:u8, rule_ids:u8; 8]", "digest": "sha3-256(message)", "rule_ids": {"0": "premise", "1": "inference", "2": "qed/conclusion"}, "scope": "transcript-shape bridge; not full symbolic replay"}, "queue_bindings": ["challenge_hash", "proof_digest (Arcium transcript digest)", "parent_hash", "anchor_state", "anchor_arcium_config", "anchor_program"], "callback": {"verdict_valid": 1, "verdict_invalid": 0, "verdict_malformed": 2, "writes": "IX_ARCIUM_VERDICT [verdict, challenge_hash, proof_digest, parent_hash, computation_hash]"}, "scope_disclosure": {"proves_in_mpc": ["encrypted step_count + rule_ids shape", "sha3-256 binding to the queued transcript digest", "verified callback settlement into Anchor mode 2"], "does_not_prove": ["per-step formulas", "target equality", "symbolic rule semantics", "solo mint validity without the public symbolic verifier"]}}, "dual_oracle": {"mode": "require", "mint_rule": "Anchor session accepted + Arcium callback/bindings settled + public symbolic verifier confirms formulas", "solo_arcium_mint": false, "env": "POP_DUAL_ORACLE=off|optional|require (production default require)", "submit_field": "anchor_session.state_account (+ optional rpc_url, program_id)"}, "production": {"production": true, "env_flag": "PROVE_ARMY_PRODUCTION=1", "anchor_arcium_dual_oracle": {"mode": "require", "rule": "symbolic_verifier.accept AND Anchor session verdict VALID (no solo Arcium)", "solo_arcium_mint": false}, "anchor_layer_commitment": {"on_chain_ix": "IX_LAYER_COMMIT (66)", "fold": "blake3(prev_root || layer || hidden_hash)", "circuit": "circuits/layer_hidden.circom (quantized hidden binding)", "module": "pop/layer_zk.py"}, "arcium_private_verdict": {"circuit": "judge_pop_proof", "route": "/arcium/private-spec", "mint_rule": "Arcium callback is an oracle input; public symbolic replay still gates mint."}, "vouch_noir": {"status": "off-chain only", "solana_path": "export Noir/UltraHonk proof to Groth16 via groth16-solana (not wired)", "module": "pop/vouch_noir.py"}, "deployed_mainnet": {"fly_api": "deployed", "anchor_program_id": "LKe1tkPf8G8q6pMWFzdgGbhKVPjjoEDMqZrtiqfEsEa", "groth16_verifier_program_id": "BTr26LdsaYarh2cFBopvJVhSKLCZoqmWET6t9Y8QxyRr", "arcium_mxe_program_id": "ASinJeq5ruJLzxE6LfpMX972hgf7VT6Tu2dFsTya81KK", "arcium_cluster_offset": 2026, "arcium_deployed": false, "arcium_status": "rent-blocked before full mainnet settlement", "estimated_rent_needed_sol": 45, "anchor_upgraded_ix_layer_commit": true, "groth16_verifier_deployed": false}}, "routes": {"config": "/anchor/config", "build_session": "/anchor/build", "verify_session": "/anchor/verify", "arcium_config": "/arcium/config", "arcium_build": "/arcium/build"}}