StarkForge / zkSyslog

Proof-aware explorer shell for Starknet receipts, events, and verification evidence
🔍 Explorer ❤ Health ⚡ Proving
Offline

zkSyslog

Search blocks, transactions, facts, proof jobs, contracts, and models. Drill into verification timelines and relationships.

Latest Proof-Backed Receipts & Events
Latest proof-backed evidence. Click fact hashes or lanes to open detail pages.
STARK / Integrity
stone_prover
STARK / Integrity
stone_prover
STARK / Integrity
stone_prover
STARK / Integrity
stone_prover
System Status
Live composition from chain, proof, and settlement surfaces already wired into zkSyslog.
Proof Jobs221
On-chain Facts8
Settlement1/3
Recent Blocks
Block #-1 — N/A
Block Height
Current proof-chain head from the live runtime surface.
Chain ID
Canonical StarkForge zkSyslog chain identifier.
Block Time
5s
Observed cadence from the current block producer.
Uptime
0m
Derived from current head height and configured block interval.
Fee Model
subsidized (zero gas)
Current execution economics surfaced to explorer users.
Latest Block Hash
Latest observed runtime block hash.
Recent Proof Jobs
Latest proof-backed jobs crossing runtime, fact registration, and settlement surfaces.
STARK / Integrity
stone_prover
live—
STARK / Integrity
stone_prover
live—
Latest Facts
Recent fact hashes surfaced from the current proof job lineage, with explicit source labels.
0x26cce1c5...c9f039
STARK / Integrity
liveon-chain + runtime
0x5ccd9122...0ad03f
STARK / Integrity
liveon-chain + runtime
0x603061fe...478085
STARK / Integrity
liveon-chain + runtime
0x4cc10219...2d0e6b
STARK / Integrity
liveon-chain + runtime
Recent Blocks
Latest proof-bearing block summaries from the live runtime overlay.
Block #-1
Current chain head
N/A
Proof Lanes
Active proving paths surfaced inline instead of behind a second dashboard tab system.
stale

Groth16 / Garaga

Full Groth16 BN254 proof verification on L3 at zero gas cost
Verifiergroth16_garaga
Latest evidence0x36f5c2fd...78bd00
Speed5000 ms
Feezero gas
Source: on-chain + runtime
cryptographic — L3 contract verifies the proof
stale

ModelBridge / Groth16

EZKL→Groth16 bridge proof verification on L3 (ModelBridge circuit)
Verifiergroth16_model_bridge
Latest evidence0x2e1b19e6...470bbf
Speed5000 ms
Feezero gas
Source: on-chain + runtime
cryptographic — L3 ModelBridge verifier verifies the proof
stale

ModelBridgeHeavy / Groth16

Heavier EZKL→Groth16 bridge (16 outputs) verification on L3
Verifiergroth16_model_bridge_heavy
Latest evidence0x7e3d6d99...026ca0
Speed5000 ms
Feezero gas
Source: on-chain + runtime
cryptographic — L3 ModelBridgeHeavy verifier verifies the proof
stale

Noir HONK

Noir HONK proof verification on L3 (EZKL-style bridge; ~178M gas on L2)
Verifiernoir_honk
Latest evidence0x213e38a8...648f9f
Speed10000 ms
Feezero gas
Source: on-chain + runtime
cryptographic — L3 Garaga HONK verifier verifies the proof
stale

Noir Honk V2

Versioned Noir HONK bridge lane with bound EZKL proof hash + bounded outputs on L3
Verifiernoir_honk_v2
Latest evidence0x48d7af1f...3e97cf
Speed10000 ms
Feezero gas
Source: on-chain + runtime
cryptographic — L3 Garaga HONK verifier verifies the versioned bridge proof
stale

Native KZG

EZKL/Halo2 KZG proof verified natively in Cairo on L3 (~200-400M on L2)
Verifiernative_kzg
Latest evidence0x6e77e138...14a6c8
Speed15000 ms
Feezero gas
Source: on-chain + runtime
cryptographic — L3 Cairo KZG verifier verifies the proof
live

STARK / Integrity

Stone STARK proof verification on L3 via Integrity verifier
Verifierstark_integrity
Latest evidence0x26cce1c5...c9f039
Speed8000 ms
Feezero gas
Source: on-chain + runtime
cryptographic — L3 contract verifies the STARK proof
fallback_only

Hash-only Fallback

Register fact hash on L3 without on-chain verification
Verifierhash_only
Latest evidence0x5ed322b1...68d691
Speed2000 ms
Feezero gas
Source: on-chain + runtime
trust-the-operator — obsqra backend verified off-chain
Registry + Provers
Live model registry and verifier availability snapshots.
Model Registry
No active model found on-chain
Source: on-chain
unavailable
Verifier contracts
0/0 L3 verifier contracts reachable
Source: rpc + on-chain
unavailable
Stone / SNOS worker
0 queued, 0 pending
Source: runtime
unavailable
Receipt pipeline
221 proof jobs · 84 L2 verified · 0 L1 confirmed
Source: runtime + on-chain
live
Settlement
Current lineage and settlement state across fact registration and downstream verification.
L3 -> L2 mirror
0 settlements completed · last settled block 0
Source: runtime + on-chain
N/AN/Alive
SNOS queue
0 queued · 0 pending · 0 proven
Source: runtime
N/AN/Astale
L1 bridge
No live L1 verification markers yet
Source: runtime + on-chain
N/AN/Aunavailable
Receipt Stream
Live proof-backed receipts and facts, exposed directly instead of as a hidden tab pane.
Recent proof jobs
221
Live proof job rows available to render in the explorer.
Rendered rows
8
Latest receipt and fact rows shown below.
On-chain facts
8
Rows carrying L2 or L1 verification markers.
LaneModeStatusTxFactLatencySource
STARK / Integritystone_proverliveN/A0x26cce1c5...c9f039N/Aon-chain + runtime
STARK / Integritystone_proverliveN/A0x26cce1c5...c9f039N/Aon-chain + runtime
STARK / Integritystone_proverlive0x25a33973...6dffea0x5ccd9122...0ad03fN/Aon-chain + runtime
STARK / Integritystone_proverlive0x198a2362...6825f30x603061fe...478085N/Aon-chain + runtime
STARK / Integritystone_proverlive0x13531b39...94aad90x4cc10219...2d0e6bN/Aon-chain + runtime
STARK / Integritystone_proverlive0x79d5b8f5...9a0c9b0x4cc10219...2d0e6bN/Aon-chain + runtime
STARK / Integritystone_proverliveN/A0x4670fb66...f23217N/Aon-chain + runtime
STARK / Integritystone_proverlive0x44e03b56...6a29720x281ac93b...944773N/Aon-chain + runtime
RPC: :9944 Admin: :9943 Gateway: :8080 Versions: v0.7.1, v0.8.1, v0.9.0, v0.10.0 JSON API Blocks API Sequencer: N/A