{"tabs":[{"id":"overview","label":"Overview"},{"id":"proof_lanes","label":"Proof Lanes"},{"id":"registry_provers","label":"Registry + Provers"},{"id":"receipts_facts","label":"Receipts + Facts"},{"id":"settlement","label":"Settlement"}],"chain":{"rpc_alive":false,"rpc_url":"http://127.0.0.1:9944/rpc/v0.10.0","chain_id":"","chain_id_hex":"0x4f42535152415f50524f4f465f434841494e","block_number":-1,"block_hash":"","parent_hash":"","state_root":"","sequencer_address":"","block_timestamp":"","latest_tx_count":0,"syncing":false,"block_time_s":5,"fee_model":"subsidized (zero gas)","protocol_version":"0.14.1","native_token":"STRK","rpc_versions":["v0.7.1","v0.8.1","v0.9.0","v0.10.0"],"tokens":{"STRK":"0x04718f5a0fc34cc1af16a1cdee98ffb20c31f5cd61d6ab07201858f4287c938d","ETH":"0x049d36570d4e46f48e99674bd3fcc84644ddd6b96f7c741b1562b82f9e004dc7"},"checked_at":"2026-05-23T01:46:06.505083+00:00"},"evidence":{"overview":{"proof_lanes_live":1,"proof_lanes_total":8,"registry_live":1,"registry_total":4,"settlement_live":1,"settlement_total":3},"proof_lanes":[{"id":"groth16_garaga","lane_key":"groth16_garaga","label":"Groth16 / Garaga","description":"Full Groth16 BN254 proof verification on L3 at zero gas cost","status":"stale","verifier_mode":"groth16_garaga","last_evidence":"0x36f5c2fd4b271b2d25ca455e927e22a4a2a9a460b68bc4ff91c17a14e78bd00","trust_posture":"cryptographic — L3 contract verifies the proof","speed_display":"5000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"},{"id":"groth16_model_bridge","lane_key":"groth16_model_bridge","label":"ModelBridge / Groth16","description":"EZKL→Groth16 bridge proof verification on L3 (ModelBridge circuit)","status":"stale","verifier_mode":"groth16_model_bridge","last_evidence":"0x2e1b19e60c9aa3d104e4352c693fb1027d7d39621c9f02ed5af9a607f470bbf","trust_posture":"cryptographic — L3 ModelBridge verifier verifies the proof","speed_display":"5000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"},{"id":"groth16_model_bridge_heavy","lane_key":"groth16_model_bridge_heavy","label":"ModelBridgeHeavy / Groth16","description":"Heavier EZKL→Groth16 bridge (16 outputs) verification on L3","status":"stale","verifier_mode":"groth16_model_bridge_heavy","last_evidence":"0x7e3d6d99e8b9427a7d377de95b1f7ff02d2d6b1f89f6f47675c580f60026ca0","trust_posture":"cryptographic — L3 ModelBridgeHeavy verifier verifies the proof","speed_display":"5000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"},{"id":"noir_honk","lane_key":"noir_honk","label":"Noir HONK","description":"Noir HONK proof verification on L3 (EZKL-style bridge; ~178M gas on L2)","status":"stale","verifier_mode":"noir_honk","last_evidence":"0x213e38a87b0e075d8cb4baf8a5278210a06383e89797fa7a2a366cac6648f9f","trust_posture":"cryptographic — L3 Garaga HONK verifier verifies the proof","speed_display":"10000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"},{"id":"noir_honk_v2","lane_key":"noir_honk_v2","label":"Noir Honk V2","description":"Versioned Noir HONK bridge lane with bound EZKL proof hash + bounded outputs on L3","status":"stale","verifier_mode":"noir_honk_v2","last_evidence":"0x48d7af1f9de06b4888e2f451e197c85eb048ab75c40e358803d67225c3e97cf","trust_posture":"cryptographic — L3 Garaga HONK verifier verifies the versioned bridge proof","speed_display":"10000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"},{"id":"native_kzg","lane_key":"native_kzg","label":"Native KZG","description":"EZKL/Halo2 KZG proof verified natively in Cairo on L3 (~200-400M on L2)","status":"stale","verifier_mode":"native_kzg","last_evidence":"0x6e77e138143163f89bf282056551da3dfff5fc96a41e683b25b9caab414a6c8","trust_posture":"cryptographic — L3 Cairo KZG verifier verifies the proof","speed_display":"15000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"},{"id":"stark_integrity","lane_key":"stark_integrity","label":"STARK / Integrity","description":"Stone STARK proof verification on L3 via Integrity verifier","status":"live","verifier_mode":"stark_integrity","last_evidence":"0x26cce1c5f123fb57a6a843088865b5b95cb328aa38a0b86228a64852cc9f039","trust_posture":"cryptographic — L3 contract verifies the STARK proof","speed_display":"8000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"},{"id":"hash_only","lane_key":"hash_only","label":"Hash-only Fallback","description":"Register fact hash on L3 without on-chain verification","status":"fallback_only","verifier_mode":"hash_only","last_evidence":"0x5ed322b12ddc28d27b7797d79516ca285137f9bab9fde870191119b4c68d691","trust_posture":"trust-the-operator — obsqra backend verified off-chain","speed_display":"2000 ms","fee_display":"zero gas","verified_rate_pct":null,"available":true,"source":"on-chain + runtime"}],"registry_provers":[{"name":"Model Registry","status":"unavailable","detail":"No active model found on-chain","source":"on-chain"},{"name":"Verifier contracts","status":"unavailable","detail":"0/0 L3 verifier contracts reachable","source":"rpc + on-chain"},{"name":"Stone / SNOS worker","status":"unavailable","detail":"0 queued, 0 pending","source":"runtime"},{"name":"Receipt pipeline","status":"live","detail":"221 proof jobs · 84 L2 verified · 0 L1 confirmed","source":"runtime + on-chain"}],"receipts_facts":[{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":null,"fact_hash":"0x26cce1c5f123fb57a6a843088865b5b95cb328aa38a0b86228a64852cc9f039","job_id":"5da4d6db-611c-466e-bfb7-b8e5525b4047","duration_ms":null,"source":"on-chain + runtime"},{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":null,"fact_hash":"0x26cce1c5f123fb57a6a843088865b5b95cb328aa38a0b86228a64852cc9f039","job_id":"fb60a779-5224-432e-a590-425cfcb966c7","duration_ms":null,"source":"on-chain + runtime"},{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":"0x25a33973576254ad974890de5930080481a693311dc9bef848c06ff8d6dffea","fact_hash":"0x5ccd91225442ace419118780469f28f8679d1f382e606a287fca693530ad03f","job_id":"2954e844-95e8-4fc7-ae17-19cc1e83ae8f","duration_ms":null,"source":"on-chain + runtime"},{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":"0x198a2362778fa148e416953ab4d8ad304252ef13bad29152b01595d6f6825f3","fact_hash":"0x603061fee4872c1586eb71826bc1cc69f709c273f072274a0b99d2f4b478085","job_id":"096f0130-8a97-4fae-aa8d-e13ad021ebc2","duration_ms":null,"source":"on-chain + runtime"},{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":"0x13531b39db8ca51e178cb24f8e0b5c7185f654a09e72c76e9ecd856e994aad9","fact_hash":"0x4cc10219ee93588fd7abf9d3e96c73b3b5cd3c60ef97ce5a0add828572d0e6b","job_id":"61ae0f70-fed8-491c-a25e-f5b25a8ece73","duration_ms":null,"source":"on-chain + runtime"},{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":"0x79d5b8f56b4065990dbf09b6e3d12f72ed8a5457e11f1264d937c4bdc9a0c9b","fact_hash":"0x4cc10219ee93588fd7abf9d3e96c73b3b5cd3c60ef97ce5a0add828572d0e6b","job_id":"344e1fbc-cdc9-42ae-bb1f-65d7cf61923c","duration_ms":null,"source":"on-chain + runtime"},{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":null,"fact_hash":"0x4670fb661dff7d36eb0f10fda5738231fdf82bfe65f54cf2a47d8ebd6f23217","job_id":"e60fb1cc-ec4f-4f20-b3fd-e99d8af28395","duration_ms":null,"source":"on-chain + runtime"},{"lane":"STARK / Integrity","mode":"stone_prover","status":"live","tx_hash":"0x44e03b56b92e7183f3aa6c9368a463aba85931652e050fb4bc35e952d6a2972","fact_hash":"0x281ac93b63f4183ffdff366c5bbd882d640102645a673872ff4b9e198944773","job_id":"8c15a9b2-d944-46f5-9d08-bbd1b890dd3d","duration_ms":null,"source":"on-chain + runtime"}],"receipts_facts_summary":{"receipt_stream_count":221,"receipt_rows":8,"onchain_receipts":8},"settlement":{"l3_to_l2":{"status":"live","detail":"0 settlements completed · last settled block 0","l3_tx_hash":null,"l2_tx_hash":null,"tx_url":null,"source":"runtime + on-chain"},"snos_path":{"status":"stale","detail":"0 queued · 0 pending · 0 proven","l3_tx_hash":null,"l2_tx_hash":null,"tx_url":null,"source":"runtime"},"l1_bridge":{"status":"unavailable","detail":"No live L1 verification markers yet","l3_tx_hash":null,"l2_tx_hash":null,"tx_url":null,"source":"runtime + on-chain"}}},"roadmap":[{"phase":1,"title":"L3 Proof Chain — Live Sequencer","status":"complete","items":[{"task":"Build Madara from source (LLVM/MLIR 19)","done":true},{"task":"Chain config (OBSQRA_PROOF_CHAIN, 5s blocks)","done":true},{"task":"Sequencer running — RPC on :9944, gateway on :8080","done":true},{"task":"Admin RPC on :9943","done":true},{"task":"Zero-gas subsidized fee model","done":true},{"task":"Forge dashboard + JSON API","done":true}]},{"phase":2,"title":"Contract Deployment & Proving Paths","status":"complete","items":[{"task":"Compile L3 Cairo contracts (Sierra + CASM)","done":true},{"task":"Deploy ERC-20 token contracts (STRK + ETH) — devnet genesis","done":true},{"task":"Deploy VerifiedFactRegistry to L3","done":true},{"task":"Deploy ProofAggregatorL3 to L3","done":true},{"task":"Deploy L3SettlementContract to L3","done":true},{"task":"Deploy 14 contracts (15 classes declared)","done":true},{"task":"Deploy Garaga BN254 verifier to L3","done":true},{"task":"Path 1: Groth16 → Garaga → FactRegistry (31 circuits)","done":true},{"task":"Path 2: STARK → Integrity → FactRegistry (6 circuits)","done":true},{"task":"Path 3: Hash-only fallback with circuit breaker","done":true}]},{"phase":3,"title":"Backend Integration","status":"complete","items":[{"task":"Connect L3VerificationService → Madara RPC","done":true},{"task":"Wire L3 contract addresses into backend .env","done":true},{"task":"SNOS worker proves L3 blocks with Stone","done":true},{"task":"L3 Health Probe monitors sequencer liveness","done":true},{"task":"Proof Sequencer batches facts into aggregate","done":true}]},{"phase":4,"title":"L2 Settlement & Finality","status":"complete","items":[{"task":"Deploy L2 settlement contract on Starknet Sepolia","done":true},{"task":"Enable MADARA_SETTLE_ENABLED + L3 proving pipeline","done":true},{"task":"L3→L2 state settlement bridge (periodic fact submission)","done":true},{"task":"End-to-end: user action → L3 fact → SNOS → L2 finality","done":true}]},{"phase":5,"title":"Observability & Explorer","status":"complete","items":[{"task":"Prometheus metrics endpoint at /forge/metrics","done":true},{"task":"Custom block explorer at /forge/explorer","done":true},{"task":"Proof verification status page (via /forge/health + /forge/proving)","done":true},{"task":"Real-time WebSocket block feed at /forge/ws","done":true}]}],"progress":{"done":29,"total":29,"pct":100.0},"network_config":{"chain_id":"OBSQRA_PROOF_CHAIN","chain_id_hex":"0x4f42535152415f50524f4f465f434841494e","chain_name":"Obsqra Proof Chain","rpc_url":"https://starknet.obsqra.fi/l3/rpc/v0.7.1/","block_explorer_url":"https://starknet.obsqra.fi/forge","native_currency":{"name":"STRK","symbol":"STRK","decimals":18,"address":"0x04718f5a0fc34cc1af16a1cdee98ffb20c31f5cd61d6ab07201858f4287c938d"},"fee_token":{"name":"ETH","symbol":"ETH","decimals":18,"address":"0x049d36570d4e46f48e99674bd3fcc84644ddd6b96f7c741b1562b82f9e004dc7"}}}