{"orchestrator_stats":{"orchestrator":{"total_blocks_processed":0,"total_proofs_verified_onchain":0,"total_proofs_hash_only":0},"path_1_verification":{"configured":true,"garaga_available":true,"model_bridge_available":true,"model_bridge_heavy_available":true,"noir_honk_available":true,"noir_honk_v2_available":true,"kzg_verifier_available":true,"integrity_available":true,"total_verified":0,"by_mode":{"groth16_garaga":0,"stark_integrity":0,"noir_honk":0,"native_kzg":0,"hash_only":0},"total_failed":0,"avg_verification_ms":0.0,"contracts":{"garaga_verifier":"0x36f5c2fd4b271b2d25ca455e927e22a4a2a9a460b68bc4ff91c17a14e78bd00","model_bridge_verifier":"0x2e1b19e60c9aa3d104e4352c693fb1027d7d39621c9f02ed5af9a607f470bbf","model_bridge_heavy_verifier":"0x7e3d6d99e8b9427a7d377de95b1f7ff02d2d6b1f89f6f47675c580f60026ca0","noir_honk_verifier":"0x213e38a87b0e075d8cb4baf8a5278210a06383e89797fa7a2a366cac6648f9f","noir_honk_v2_verifier":"0x48d7af1f9de06b4888e2f451e197c85eb048ab75c40e358803d67225c3e97cf","kzg_verifier":"0x6e77e138143163f89bf282056551da3dfff5fc96a41e683b25b9caab414a6c8","verified_fact_registry":"0x5ed322b12ddc28d27b7797d79516ca285137f9bab9fde870191119b4c68d691","integrity_verifier":"0x2c036366dcf933dab91ea4a059292e351a40352ce9374776114e35ae0271e69","fact_registry":"0x5ed322b12ddc28d27b7797d79516ca285137f9bab9fde870191119b4c68d691"},"circuit_breaker":{"name":"l3_verification","state":"open","failure_count":724685,"success_count":0,"total_requests":0,"failure_threshold":5,"recovery_timeout_sec":60.0}},"path_2_snos":{"available":false,"worker_running":true,"blocks_queued":0,"blocks_pending":0,"blocks_proven":0,"blocks_failed":0,"prove_block_bin":"(not found)","stone_prover_bin":"/opt/obsqra.starknet/stone-prover/build/bazelout/k8-opt/bin/src/starkware/main/cpu/cpu_air_prover","madara_rpc":"http://127.0.0.1:9944/rpc/v0.10.0"},"path_3_onchain_aggregation":{"available":false,"status":"planned"}},"snos_worker_stats":{"running":true,"blocks_processed":0,"blocks_failed":0,"poll_interval_sec":30.0,"pipeline_available":false,"prove_block_bin":"(not found)","stone_prover_bin":"/opt/obsqra.starknet/stone-prover/build/bazelout/k8-opt/bin/src/starkware/main/cpu/cpu_air_prover","madara_rpc":"http://127.0.0.1:9944/rpc/v0.10.0","pie_dir":"/tmp/snos_pies","last_poll":1779501225.9980462},"capabilities":{"proving_paths":{"paths":[{"id":"groth16_garaga","name":"Groth16 On-Chain Verification (Garaga)","description":"Full Groth16 BN254 proof verification on L3 at zero gas cost","available":true,"contract":"0x36f5c2fd4b271b2d25ca455e927e22a4a2a9a460b68bc4ff91c17a14e78bd00","trust_model":"cryptographic — L3 contract verifies the proof","applicable_to":["RiskScoreAllocation","AnomalyDetector","PrivateDeposit","PrivateWithdraw","ReputationMint","StrategyConstraint"],"gas_cost_l3":0,"latency_estimate_ms":5000},{"id":"groth16_model_bridge","name":"ModelBridge Groth16 On-Chain Verification","description":"EZKL→Groth16 bridge proof verification on L3 (ModelBridge circuit)","available":true,"contract":"0x2e1b19e60c9aa3d104e4352c693fb1027d7d39621c9f02ed5af9a607f470bbf","trust_model":"cryptographic — L3 ModelBridge verifier verifies the proof","applicable_to":["ModelBridge"],"gas_cost_l3":0,"latency_estimate_ms":5000},{"id":"groth16_model_bridge_heavy","name":"ModelBridgeHeavy Groth16 On-Chain Verification","description":"Heavier EZKL→Groth16 bridge (16 outputs) verification on L3","available":true,"contract":"0x7e3d6d99e8b9427a7d377de95b1f7ff02d2d6b1f89f6f47675c580f60026ca0","trust_model":"cryptographic — L3 ModelBridgeHeavy verifier verifies the proof","applicable_to":["ModelBridgeHeavy"],"gas_cost_l3":0,"latency_estimate_ms":5000},{"id":"noir_honk","name":"Noir EZKL-Bridge HONK On-Chain Verification","description":"Noir HONK proof verification on L3 (EZKL-style bridge; ~178M gas on L2)","available":true,"contract":"0x213e38a87b0e075d8cb4baf8a5278210a06383e89797fa7a2a366cac6648f9f","trust_model":"cryptographic — L3 Garaga HONK verifier verifies the proof","applicable_to":["NoirEzklBridge"],"gas_cost_l3":0,"latency_estimate_ms":10000},{"id":"noir_honk_v2","name":"Noir EZKL-Bridge V2 HONK On-Chain Verification","description":"Versioned Noir HONK bridge lane with bound EZKL proof hash + bounded outputs on L3","available":true,"contract":"0x48d7af1f9de06b4888e2f451e197c85eb048ab75c40e358803d67225c3e97cf","trust_model":"cryptographic — L3 Garaga HONK verifier verifies the versioned bridge proof","applicable_to":["NoirEzklBridgeV2"],"gas_cost_l3":0,"latency_estimate_ms":10000},{"id":"native_kzg","name":"Native KZG On-Chain Verification (Phase 4)","description":"EZKL/Halo2 KZG proof verified natively in Cairo on L3 (~200-400M on L2)","available":true,"contract":"0x6e77e138143163f89bf282056551da3dfff5fc96a41e683b25b9caab414a6c8","trust_model":"cryptographic — L3 Cairo KZG verifier verifies the proof","applicable_to":["EzklNativeKzg"],"gas_cost_l3":0,"latency_estimate_ms":15000},{"id":"stark_integrity","name":"STARK On-Chain Verification (Integrity)","description":"Stone STARK proof verification on L3 via Integrity verifier","available":true,"contract":"0x2c036366dcf933dab91ea4a059292e351a40352ce9374776114e35ae0271e69","trust_model":"cryptographic — L3 contract verifies the STARK proof","applicable_to":["risk_small_minimal","risk_small","risk_cairo0","reputation_passport","constraint_check","StarkHeavyReputation","stark_heavy_reputation"],"gas_cost_l3":0,"latency_estimate_ms":8000},{"id":"hash_only","name":"Hash Registration (Fallback)","description":"Register fact hash on L3 without on-chain verification","available":true,"contract":"0x5ed322b12ddc28d27b7797d79516ca285137f9bab9fde870191119b4c68d691","trust_model":"trust-the-operator — obsqra backend verified off-chain","applicable_to":["all"],"gas_cost_l3":0,"latency_estimate_ms":2000}],"snos_proving":{"name":"SNOS Block Proving (L3 → L2)","description":"Starknet OS proves L3 block state transitions → validity-proven L2 settlement","available":false,"status":"planned","trust_model":"validity proof — SNOS STARK proves entire L3 block was executed correctly","prerequisites":["Madara binary running","SNOS compiled for OBSQRA_PROOF_CHAIN","Stone/STWO prover configured for SNOS traces","L2 settlement contract accepting SNOS proofs"]}},"obsqra_services":{"stone_prover":{"description":"Local Stone CPU AIR prover for STARK proof generation","endpoint":"/api/v1/prove/{program_name}","programs":["risk_small_minimal","risk_small","risk_cairo0","reputation_passport","constraint_check"],"status":"active","avg_proof_time_sec":3.0},"dual_prover":{"description":"STARK + Groth16 dual proof for max trust (both systems verify same computation)","endpoint":"/api/v1/dual-prove","proof_types":["stark_stone","groth16_garaga"],"status":"active","binding":"STARK fact_hash embedded as Groth16 public input"},"proof_aggregator":{"description":"Batches proofs and generates recursive STARK proof via reputation_passport","endpoint":"/api/v1/aggregation/submit","batch_size":8,"timeout_sec":60,"status":"active"},"proof_sequencer":{"description":"Block-based proof settlement (30s blocks, Madara L3 primary, L2 fallback)","endpoint":"/api/v1/aggregation/submit","block_time_sec":30,"max_proofs_per_block":32,"settlement":"madara_l3 → starknet_l2 fallback","status":"active"},"integrity_verifier":{"description":"Herodotus Integrity FactRegistry on Starknet L2 for STARK verification","contract":"0x4ce7851f00b6c3289674841fd7a1b96b6fd41ed1edc248faccd672c26371b8c","chain":"starknet_sepolia","status":"active"},"obsqra_fact_registry":{"description":"Custom FactRegistry on Starknet L2 for proof-gated facts","contract":"0x059b65ad723c1f0dcb2643f34d2e03292b366c987a63b2177d4f7ea40ba664a8","chain":"starknet_sepolia","status":"active"},"generic_prover":{"description":"Run any registered Cairo0 program → Stone STARK proof","endpoint":"/api/v1/prove/{program_name}","programs_available":5,"status":"active"},"reputation_passport":{"description":"Recursive STARK aggregation of multiple proof badges into one passport","endpoint":"/api/v1/aggregation/passport","status":"active","proof_type":"stone_stark","proof_size_kb":394.1},"zkrag":{"description":"Verifiable RAG — query indexed chain data with provenance","endpoint":"/api/v1/zkrag/query","status":"active","data_source":"4.8M indexed blocks, 11K attested snapshots"},"madara_settlement":{"description":"Madara L3 appchain for proof fact settlement","rpc":"http://127.0.0.1:9944/rpc/v0.10.0","chain_id":"OBSQRA_PROOF_CHAIN","block_time":"5s","gas_price":"zero (operator-subsidized)","status":"active"}},"circuits":{"groth16_snark":{"total":31,"in_registry":25,"verifiable_on_l3":31,"examples":["RiskScoreAllocation","AnomalyDetector","PrivateDeposit","PrivateWithdraw","ReputationMint","StrategyConstraint"]},"cairo0_stark":{"total":5,"programs":["risk_small_minimal","risk_small","risk_cairo0","reputation_passport","constraint_check"],"verifiable_on_l3":5}}},"recent_blocks":[]}