Obsqra Labs — zkde.fi Verifiable AI Stack

Live research readout: proof lanes, policy gates, and auditable receipts.

Claims: 9/9 Explorer Proofs Facts Models

publish ready strict gate ready

Strict gate ready

All required stage gates and claim checks passed under the strict validation path. This artifact is suitable for the daily production-style `/test` run.

run: Bridge-only strict required stages: 5/5 core claims: 9/9

Generated2026-04-15T01:36:24.790102+00:00 UTC

Base URLhttp://127.0.0.1:8003

Wallet0x49d36570d4e46f48e99674bd3fcc84644ddd6b96f7c741b1562b82f9e004dc7

Latest On-chain TX0x6bc4d4f14cba...2a76dee5f50d40

Core Claims

9/9

Backend claim matrix

ready

ModelBridge L3

verified

mode=groth16_garaga

ready

Native KZG Strict

e2e tx

0x5d9ade8f...bd4b48c43d

ready

Recursive Stages

3/4

Stage check-ins complete

in progress

Operational Benchmark Snapshot

Visible rollup from the recent strict/full history window so gas and latency do not stay buried in the bridge appendix. Cost is reported as `FRI` for L3 lanes and `gas` for the L1 Path C bridge. Window=40/103 runs.

Lane	Verified Rate	p50 ms	p95 ms	p50 Cost	p95 Cost
ModelBridge	88.89%	21634	39031	14.2T FRI	521.3T FRI
ModelBridgeHeavy	52.78%	22477	35458	14.2T FRI	17.3T FRI
NoirEzklBridge	88.89%	40268	70567	62.9T FRI	76.8T FRI
NoirEzklBridgeV2	80.77%	57914	96870	62.9T FRI	2309.1T FRI
EzklNativeKzg	86.11%	31028	44712	6.2T FRI	7.3T FRI
PathCBridge	100.00%	148410	163435	632.9K gas	632.9K gas

Recursive Path Stability

Multirun evidence for Paths A/B/C. This is the bridge/runtime view: current state, recent pass rate, and latest receipt pointer.

Path	Current State	Samples	Verified Rate	Mode	Latest Tx	Note
Path A	live noir_honk	36	88.89%	noir_honk	0x6ff9255c6b...1caf20b46e94	Receipt-backed Noir HONK lane with recurring L3 verifier evidence.
Path A V2	live noir_honk_v2	26	80.77%	noir_honk	0x455c131267...dd016296e30c	Versioned Noir HONK bridge lane that additionally binds EZKL proof hash and timestamp.
Path B	strict native_kzg 5/5 mirrored	36	86.11%	native_kzg	0x5d9ade8fc5...fbbd4b48c43d	Coverage 5/5 models on dual; L2 mirrored 5.
Path C	l1->l2 confirmed	40	100.00%	l1_bridge	0xdf9f0eaa06...318074d2d74e	route coverage 4/5 confirmed; recent model coverage 4/4; L2 confirmed 40/40 recent report windows; checked_recently 30/40; last age 556.17h; p50 confirm 148410ms; p50 L1 gas 632.9K gas.

Executive Snapshot

What this tests: A concise research dashboard proving which zkde.fi claims are currently receipt-backed versus still in-progress.
Why Obsqra Labs cares: If we cannot explain trust boundaries in plain language with evidence links, we cannot claim verifiable AI execution.
Unlocks: A fast, credible narrative for judges, users, and collaborators without burying the technical receipts.

Research Framing

Lens	Current Position	Evidence Standard
Research thesis	Obsqra Labs is testing whether verifiable AI can enforce trust boundaries for agentic capital operations.	Every recommendation must be explainable, proveable, and receipt-linked.
Why zkde.fi	zkde.fi is the open-source execution surface where privacy rails, policy controls, and proof lanes are wired together.	Claims in this report are meant to be independently checkable from API output + on-chain receipts.
How to read this page	Start with Core Claims, then Bridge Live Receipts, then Recursive Stage Check-ins.	If a section says pass, you should be able to find matching hashes, tx links, and mode flags.
What this unlocks	Portable trust: the same intent can be screened by different proof systems without changing product semantics.	This is the foundation for multi-chain verifiable AI and trustless agentic apps in the broader Obsqra stack.

Public Proof Dashboard (Explorer-safe)

This block is safe to reuse on landing pages. It includes only public receipts that can be validated independently on public explorers. Internal Madara/L3 hashes stay in the full report and are not promoted here. Public entries: 2 | Excluded lanes: 4 | Path B public model coverage: 5/5 | Path C confirmed routes: 4/5

Receipt	Public Chain	Verified	Preferred Explorer	Fallback	Signal
Native KZG public Starknet mirror tx (yield_forecast)	starknet_l2	Verified	0x3eb613826cca...893fe135d13b5b	Starkscan	mode=starknet_l2_registry_mirrored model=yield_forecast strict_binding=true scope=lane/model mirror statement=native_kzg/native_kzg model=yield_forecast fact_hash=0x343f2de886be...643c8edc92b1c7 binding=full
L1 Ethereum bridge tx (llm_fallback)	ethereum_l1	Verified	0xdf9f0eaa06e6...4b318074d2d74e	-	mode=verify_and_bridge route=llm_fallback scope=exact proof

Public explorer: zkde.fi/explorer/ | Proofs: page | Facts: page | Models: page

Reusable snippet source: artifacts/hackathon_showcase/public_proof_dashboard.md

Excluded From Public Dashboard

Lane	Reason	Detail
ModelBridge	no_public_mirror_receipt	Current report has an L3-local receipt but no public Starknet mirror tx for this lane.
NoirEzklBridge	no_public_mirror_receipt	Current Noir run has no verified public Starknet mirror tx to surface.
NoirEzklBridgeV2	no_public_mirror_receipt	Current Noir V2 run has no verified public Starknet mirror tx to surface.
StarkHeavyReputation	no_public_mirror_receipt	Current STARK integrity receipt has no public Starknet mirror tx in this run.

Recursive Stage Check-ins

#	Stage	Status	Goal	Evidence	Explorer TX
1	Stage 0 - Backbone	Complete	Core backend + proof rails stable	core claims 9/9	0x6bc4d4f14c...76dee5f50d40
2	Stage 1 - Path A (Noir HONK)	Complete	Live noir_honk receipt + recurring Path A artifact	lane available=True, verified=True, mode=noir_honk	0xb892ce7b4d...e333b6dd346a
3	Stage 2 - Path C (L1 bridge)	In Progress	Live verifyAndBridge receipt + L2 receiver confirmation	live_verified=True, runtime_stage=l2_confirmed, checked_recently=False, l1_status=1, core_pending=False, l2_verified_on_l2=True, polls=20	0xdf9f0eaa06...318074d2d74e
4	Stage 3 - Path B (Native KZG strict)	Complete	Strict `kzg_mpcheck_v1` + on-chain native_kzg receipt	strict_route=True, lane_available=True, tx=0x5d9ade8f...bd4b48c43d	0x5d9ade8fc5...fbbd4b48c43d

Versioning Checkpoints

Stage	Status	Suggested Tag	Check-in Rule
Stage 0 - Backbone	Complete	v2026.04.15-stage0-backbone	Document E2E receipt + promote tag in GitHub release notes.
Stage 1 - Path A (Noir HONK)	Complete	v2026.04.15-stage1-path-a-noir	Document E2E receipt + promote tag in GitHub release notes.
Stage 2 - Path C (L1 bridge)	In Progress	-	Keep in roadmap checklist; do not tag final release yet.
Stage 3 - Path B (Native KZG strict)	Complete	v2026.04.15-stage3-path-b-native-kzg	Document E2E receipt + promote tag in GitHub release notes.

Core Claim Matrix

What this tests: The non-negotiable MVP claims for health, proofs, agent execution, policy controls, and on-chain visibility.
Why Obsqra Labs wanted this: Each pass maps to a UI surface that can be switched from placeholder to live data source.
Unlocks: A judge can trust that backend capabilities are real even if frontend polish is still catching up.

Claim	Status
Backend service is live	PASS
Proof pack is present and introspectable	PASS
Contracts are verifiably deployed across active RPC surfaces	PASS
Receipt visibility pipeline is live	PASS
Open-source ModelBridge + dual-proof lanes are demonstrable	PASS
ModelBridge live l3 verify emits receipt evidence	PASS
Primary Path A (Noir HONK) emits receipt evidence	PASS
Path B dual native-KZG mirror receipts are demonstrable	PASS
Recursive multichain proving paths are introspectable	PASS

Execution Steps

What this tests: Granular API and proving steps with concrete telemetry (IDs, proof hashes, counts, statuses).
Why Obsqra Labs wanted this: This is the exact backend contract the interface should call for progress states and debug panels.
Unlocks: Reliable observability, fast triage, and cleaner frontend integration.

Step	Status	Highlights
Backend health	PASS	status=200, service=zkdefi-backend, admin_configured=False
Reputation pack manifest	PASS	status=200, pack_id=zkfico_pack_v1, circuits=6, circuits_with_wasm_and_zkey=6
Raw RPC contract presence	PASS	rpc_url=https://rpc.starknet.lava.build:443, block_number=8800954, resolved_contracts=2, public_resolved_contracts=1, explorer_links=8, madara_healthy=True
Receipt stream visibility	PASS	status=200, count=1021, tx_hashes=1002, first_tx_hash=0x6bc4d4f14c...76dee5f50d40, public_explorer_links=197
ModelBridge live l3 verify receipt	PASS	status=200, proof_mode=EZKL_BRIDGE, bridge_backend=groth16_modelbridge, bridge_compliant=True, l3_mode=groth16_garaga, l3_tx_hash=0x163d8c05a3...715567541eb3
ModelBridgeHeavy live l3 verify receipt	PASS	skipped=bridge_only, status=skipped
Native KZG live l3 verify receipt	PASS	status=200, proof_mode=EZKL_BRIDGE, bridge_backend=native_kzg_ezkl_serialized_mpcheck, bridge_compliant=True, l3_mode=native_kzg, l3_tx_hash=0x5d9ade8fc5...fbbd4b48c43d
Noir HONK live l3 verify receipt	PASS	status=200, proof_mode=EZKL_BRIDGE, bridge_backend=noir_honk, bridge_compliant=True, lane_available=True, l3_mode=noir_honk
Noir HONK V2 live dual verify receipt	PASS	status=200, proof_mode=EZKL_BRIDGE, bridge_backend=noir_honk_v2, bridge_compliant=True, lane_available=True, l3_mode=noir_honk
Open-source ModelBridge + dual-proof architecture	PASS	modelbridge_artifacts=23/23, proving_paths_status=200, snark_lane_available=True, stark_lane_available=True, hash_fallback_available=True, dual_lanes_ready=True
Path B dual native KZG mirrors are demonstrable	PASS	strict_bridge=True, native_kzg_onchain_enabled=True, execution_chain=dual, attempted_models=5, verified_models=5, l3_receipt_models=5
Recursive EZKL paths (Phase 2/3/4) status	PASS	docs_present=5/5, path_a_status_doc=True, path_a_live_receipt_found=True, path_a_live_verified=True, path_a_l3_status=200, phase2_status_done=True
Bridge-only mode	PASS	scope=health, manifest, rpc, receipts, bridge, recursive_paths

Live Research Receipts: ModelBridge + Noir + Native KZG

What this tests: Live `proofs/ml-bridge` runs routed through `l3`, `dual`, `ModelBridgeHeavy`, `NoirEzklBridge`, `NoirEzklBridgeV2`, and `EzklNativeKzg`, each with a fresh probe fingerprint so receipts are generated from the current run instead of cached bridge facts.
Why Obsqra Labs wanted this: Powers deterministic “advisory -> proving -> receipt emitted” status in execution drawers.
Unlocks: Shows exactly when AI-guided flow crosses into cryptographic evidence and where to inspect each lane on-chain.

ModelBridge Receipt

Field	Value
API status	200
Probe seed	a02c8bf28497d720
Probe fingerprint	a90e7bad51b149...0e311869948ba9
Proof mode	EZKL_BRIDGE
Requested chain	l3
Bridge proof hash	0xbe05529bec5d...fe573f003986fd
Bridge backend	groth16_modelbridge
Bridge compliant	PASS
ModelBridge calldata words	2005
L3 attempted	PASS
L3 success	PASS
L3 verifier mode	groth16_garaga
L3 verified_on_chain	PASS
L3 actual fee	13618074938144 FRI
L3 execution steps	-
L1 gas / data gas / L2 gas	- / - / -
L3 tx hash	0x163d8c05a318...45715567541eb3
Can execute	PASS
Mirror status	not_requested
Trust mode	ezkl_local_verified_bridge
Failure reason	-
Generated at	2026-04-15T01:31:42.763346+00:00
Duration ms	27175
Statement version	obsqra_bridge_statement_v1
Statement lane / proof type	modelbridge / groth16
Statement model	yield_forecast
Statement fact hash	0xbe05529bec5d...fe573f003986fd
Statement EZKL proof hash	0x27d4fb6e2b34...aaded0c2286cc2
Statement output commitment	0x285dc37c1a3d...3965802776c26d
Statement timestamp	1776216702
Statement output count	8
Statement bindings	full \| bound=model_hash,bounds,outputs,commitment,timestamp,ezkl_proof_hash \| unbound=-

ModelBridge Dual Receipt (L3 primary + Starknet mirror)

Field	Value
API status	200
Probe seed	a02c8bf28497d720
Probe fingerprint	139cfe4f3af7bb...96864f5d5da6ac
Proof mode	EZKL_BRIDGE
Requested chain	dual
Bridge proof hash	0x3eb2f0cc56aa...6b6d74e0462720
Bridge backend	groth16_modelbridge
Bridge compliant	PASS
Can execute	PASS
Mirror status	mirror_underfunded
L3 attempted / success / verified	True / True / True
L3 mode	groth16_garaga
L3 tx hash	0xa7405046dac7...633c3ad5817baa
L2 attempted / success / verified	True / False / False
L2 mode	l2_mirror_underfunded
L2 verification backend	policy=auto, obsqra/integrity=false/false
L2 tx hash	0xe8284ac3d8f9...3e73ccb5229924
Trust mode	ezkl_local_verified_bridge
Failure reason	-
Generated at	2026-04-15T01:32:18.804329+00:00
Duration ms	60870
Statement version	obsqra_bridge_statement_v1
Statement lane / proof type	modelbridge / groth16
Statement model	yield_forecast
Statement fact hash	0x3eb2f0cc56aa...6b6d74e0462720
Statement EZKL proof hash	0x540ec2ce16dd...87d5c095854244
Statement output commitment	0x285dc37c1a3d...3965802776c26d
Statement timestamp	1776216738
Statement output count	8
Statement bindings	full \| bound=model_hash,bounds,outputs,commitment,timestamp,ezkl_proof_hash \| unbound=-

ModelBridgeHeavy Receipt (requested lane)

Field	Value
API status	-
Probe seed	a02c8bf28497d720
Probe fingerprint	60fd372fad490a...10fabe1ca0fcea
Proof mode	-
Requested chain	-
Bridge proof hash	-
Bridge backend	-
Bridge compliant	FAIL
ModelBridgeHeavy calldata words	-
L3 attempted	FAIL
L3 success	FAIL
L3 verifier mode	-
L3 verified_on_chain	FAIL
L3 actual fee	-
L3 execution steps	-
L1 gas / data gas / L2 gas	- / - / -
L3 tx hash	-
Can execute	FAIL
Mirror status	-
Trust mode	-
Failure reason	skipped_in_bridge_only_mode
Generated at	-
Duration ms	-

Noir HONK Receipt (Path A)

Field	Value
API status	200
Lane available	PASS
Probe seed	a02c8bf28497d720
Probe fingerprint	4925d52b3e6c69...a76661492eac02
Proof mode	EZKL_BRIDGE
Requested chain	dual
Bridge proof hash	0x8f6cbc990e93...7612898f31e2ca
Bridge backend	noir_honk
Bridge compliant	PASS
Noir calldata words	2874
L3 attempted	PASS
L3 success	PASS
L3 verifier mode	noir_honk
L3 verified_on_chain	PASS
L3 actual fee	60279450381344 FRI
L3 execution steps	-
L1 gas / data gas / L2 gas	- / - / -
L3 tx hash	0xb892ce7b4dca...37e333b6dd346a
L2 tx hash	0x6e4ab4146787...f1781fc333949c
Can execute	PASS
Mirror status	mirror_underfunded
L2 verification backend	policy=auto, obsqra/integrity=false/false
Trust mode	ezkl_local_verified_noir_bridge
Failure reason	-
Generated at	2026-04-15T01:33:41.354673+00:00
Duration ms	96293
Statement version	obsqra_bridge_statement_v1
Statement lane / proof type	noir / noir_honk
Statement model	yield_forecast
Statement fact hash	0x8f6cbc990e93...7612898f31e2ca
Statement EZKL proof hash	0x2be67ccb1802...fc8293674a54d5
Statement output commitment	0x285dc37c1a3d...3965802776c26d
Statement timestamp	1776216821
Statement output count	8
Statement bindings	partial \| bound=model_hash,bounds \| unbound=outputs,commitment,timestamp,ezkl_proof_hash

Noir HONK V2 Receipt (Path A V2)

Field	Value
API status	200
Lane available	PASS
Probe seed	a02c8bf28497d720
Probe fingerprint	61416915a6e965...a08d2ec62bda1f
Proof mode	EZKL_BRIDGE
Requested chain	dual
Bridge proof hash	0xd994af19416b...e68984bd82f900
Bridge backend	noir_honk_v2
Bridge compliant	PASS
Noir V2 calldata words	2878
L3 attempted	PASS
L3 success	PASS
L3 verifier mode	noir_honk
L3 verified_on_chain	PASS
L3 actual fee	60190367270944 FRI
L3 execution steps	-
L1 gas / data gas / L2 gas	- / - / -
L3 tx hash	0x75c128d98c39...9b7e666bb4d03b
L2 tx hash	0x3939412d1223...1707966efd6113
Can execute	PASS
Mirror status	mirror_underfunded
L2 verification backend	policy=auto, obsqra/integrity=false/false
Trust mode	ezkl_local_verified_noir_bridge_v2
Failure reason	-
Generated at	2026-04-15T01:35:00.604239+00:00
Duration ms	71975
Statement version	obsqra_bridge_statement_v1
Statement lane / proof type	noir_v2 / noir_honk
Statement model	yield_forecast
Statement fact hash	0xd994af19416b...e68984bd82f900
Statement EZKL proof hash	0x32593e75c0c8...5e2649440ed50d
Statement output commitment	0x285dc37c1a3d...3965802776c26d
Statement timestamp	1776216900
Statement output count	8
Statement bindings	full \| bound=model_hash,bounds,outputs,commitment,timestamp,ezkl_proof_hash \| unbound=-

Native KZG Receipt (Path B)

Field	Value
API status	200
Probe seed	a02c8bf28497d720
Probe fingerprint	60e81c9fa6c757...bdaad86569663a
Proof mode	EZKL_BRIDGE
Requested chain	l3
Bridge proof hash	0x343f2de886be...643c8edc92b1c7
Bridge backend	native_kzg_ezkl_serialized_mpcheck
Bridge compliant	PASS
KZG calldata words	4043
KZG bundle present	PASS
KZG hint felts	1752
KZG trailer marker	kzg_mpcheck_v3
KZG line source	garaga_precompute_lines_2f
KZG precomputed lines	176
Payload semantics	cryptographic_pairing
Bundle source	raw_json.kzg_mpcheck_bundle
Extractor attempted	Pending
Extractor error	-
Cached bundle path	-
L3 attempted	PASS
L3 success	PASS
L3 verifier mode	native_kzg
L3 ABI used	verify_ezkl_kzg_v1
L3 strict binding observed	Pending
L3 verified_on_chain	PASS
L3 actual fee	5972664768800 FRI
L3 execution steps	-
L1 gas / data gas / L2 gas	- / - / -
L3 tx hash	0x5d9ade8fc525...c1fbbd4b48c43d
Can execute	PASS
Mirror status	not_requested
L2 verification backend	-
Verifier expected fact	0x343f2de886be...643c8edc92b1c7
Verifier proof hash	0x343f2de886be...643c8edc92b1c7
Verifier payload hash	0x7dbcccf61a59...24085202b1b80b
Verifier marker	ezkl_kzg_v1
Trust mode	ezkl_local_verified
Failure reason	-
Generated at	2026-04-15T01:36:14.432017+00:00
Duration ms	42507
Statement version	obsqra_bridge_statement_v1
Statement lane / proof type	native_kzg / native_kzg
Statement model	yield_forecast
Statement fact hash	0x343f2de886be...643c8edc92b1c7
Statement EZKL proof hash	0x343f2de886be...643c8edc92b1c7
Statement output commitment	0x285dc37c1a3d...3965802776c26d
Statement timestamp	1776216974
Statement output count	8
Statement bindings	full \| bound=model_hash,bounds,outputs,commitment,timestamp,ezkl_proof_hash \| unbound=-

Lane Health + Degradation Notes

Quick health matrix for the four bridge lanes. This makes degraded states explicit and explainable in the research readout.

Lane	HTTP	Observed Mode	Expected Mode	Verified	Verdict	Failure	Note
L3	200	groth16_garaga	groth16_garaga	Verified	Healthy	-	lane is receipt-backed
L3_HEAVY_REQUEST	0	-	groth16_garaga	Unverified	Degraded	skipped_in_bridge_only_mode	timeout or transport issue; retry/run gate again
L3_NOIR_REQUEST	200	noir_honk	noir_honk	Verified	Healthy	-	lane is receipt-backed
L3_NOIR_V2_REQUEST	200	noir_honk	noir_honk	Verified	Healthy	-	lane is receipt-backed
L3_NATIVE_KZG_REQUEST	200	native_kzg	native_kzg	Verified	Healthy	-	lane is receipt-backed

Bridge Benchmark Receipts (Compact)

Per-lane benchmark snapshot for demos and judge review: HTTP status, verifier mode, backend route, on-chain verification flag, duration, fee, gas, and explorer tx.

Lane	HTTP	Mode	Backend	Verified	Duration ms	Actual Fee	Steps	L1 / L1Data / L2 gas	Tx
ModelBridge	200	groth16_garaga	groth16_modelbridge	PASS	27175	13618074938144 FRI	-	- / - / -	0x163d8c05a318...45715567541eb3
ModelBridgeHeavy	-	-	-	PASS	-	-	-	- / - / -	-
NoirEzklBridge	200	noir_honk	noir_honk	PASS	96293	60279450381344 FRI	-	- / - / -	0xb892ce7b4dca...37e333b6dd346a
NoirEzklBridgeV2	200	noir_honk	noir_honk_v2	PASS	71975	60190367270944 FRI	-	- / - / -	0x75c128d98c39...9b7e666bb4d03b
EzklNativeKzg	200	native_kzg	native_kzg_ezkl_serialized_mpcheck	PASS	42507	5972664768800 FRI	-	- / - / -	0x5d9ade8fc525...c1fbbd4b48c43d

Rolling Stability + Gas Trend (History)

Window: last 40 of 103 recorded runs (requested window=40). Source: artifacts/hackathon_showcase/history.jsonl

Lane	Samples	Verified Rate	Dominant Mode	p50 ms	p95 ms	p50 Cost	p95 Cost	Latest Mode	Latest Verified	Latest Tx
ModelBridge	36	88.89%	groth16_garaga	21634	39031	14.2T FRI	521.3T FRI	groth16_garaga	PASS	0x163d8c05a318...45715567541eb3
ModelBridgeHeavy	36	52.78%	groth16_garaga	22477	35458	14.2T FRI	17.3T FRI	-	FAIL	0x766ed22131db...2ad5a3f64a20bf
NoirEzklBridge	36	88.89%	noir_honk	40268	70567	62.9T FRI	76.8T FRI	noir_honk	PASS	0xb892ce7b4dca...37e333b6dd346a
NoirEzklBridgeV2	26	80.77%	noir_honk	57914	96870	62.9T FRI	2309.1T FRI	noir_honk	PASS	0x75c128d98c39...9b7e666bb4d03b
EzklNativeKzg	36	86.11%	native_kzg	31028	44712	6.2T FRI	7.3T FRI	native_kzg	PASS	0x5d9ade8fc525...c1fbbd4b48c43d
PathCBridge	40	100.00%	verify_and_bridge	148410	163435	632.9K gas	632.9K gas	verify_and_bridge	PASS	0xdf9f0eaa06e6...4b318074d2d74e

Recursive Path Stability (Multirun)

Path-level runtime evidence across the same history window. Path B includes live model coverage and dual mirror state, while Path C tracks recurring bridge confirmation rather than just one L1 tx.

Path	Current State	Samples	Verified Rate	Mode	Latest Tx	Note
Path A	live noir_honk	36	88.89%	noir_honk	0x6ff9255c6b...1caf20b46e94	Receipt-backed Noir HONK lane with recurring L3 verifier evidence.
Path A V2	live noir_honk_v2	26	80.77%	noir_honk	0x455c131267...dd016296e30c	Versioned Noir HONK bridge lane that additionally binds EZKL proof hash and timestamp.
Path B	strict native_kzg 5/5 mirrored	36	86.11%	native_kzg	0x5d9ade8fc5...fbbd4b48c43d	Coverage 5/5 models on dual; L2 mirrored 5.
Path C	l1->l2 confirmed	40	100.00%	l1_bridge	0xdf9f0eaa06...318074d2d74e	route coverage 4/5 confirmed; recent model coverage 4/4; L2 confirmed 40/40 recent report windows; checked_recently 30/40; last age 556.17h; p50 confirm 148410ms; p50 L1 gas 632.9K gas.

StarkHeavyReputation (Stone -> L3)

Phase 1 backend lane: protocol-agnostic 4-pool heavy STARK proving path (`stark_heavy_reputation` / `StarkHeavyReputation`) with optional L3 submission.

Field	Value
API status	-
Circuit name	-
Proof success	FAIL
Proof hash	-
Fact hash	-
L3 mode	-
L3 success	FAIL
L3 verified_on_chain	FAIL
L3 tx hash	-
L2 mode	-
L2 verified_on_chain	FAIL
L2 verification backend	-
L2 tx hash	-
L2 error	-
L3 error	-
Error	-

Retry/Attempt Timeline

Run	Attempt	HTTP	Mirror	L3 Mode	Bridge Backend	L3 Tx	L2 Tx	Can Execute	Failure Text
L3	1	200	not_requested	groth16_garaga	groth16_modelbridge	0x163d8c05a3...715567541eb3	-	PASS	-
L3_NOIR_REQUEST	1	200	mirror_underfunded	noir_honk	noir_honk	0xb892ce7b4d...e333b6dd346a	0x6e4ab41467...781fc333949c	PASS	mirror_register_underfunded
L3_NOIR_V2_REQUEST	1	200	mirror_underfunded	noir_honk	noir_honk_v2	0x75c128d98c...7e666bb4d03b	0x3939412d12...07966efd6113	PASS	mirror_register_underfunded
L3_NATIVE_KZG_REQUEST	1	200	not_requested	native_kzg	native_kzg_ezkl_serialized_mpcheck	0x5d9ade8fc5...fbbd4b48c43d	-	PASS	-
DUAL	1	200	mirror_underfunded	groth16_garaga	groth16_modelbridge	0xa7405046da...3c3ad5817baa	0xe8284ac3d8...73ccb5229924	PASS	mirror_register_underfunded

Research Core: Open-source ModelBridge + Dual-Proof Architecture

What this tests: That the zkML bridge implementation is present in repo, then exercised via runtime probes that hit both single-chain and dual-chain proof paths.
Why Obsqra Labs wanted this: Lets UI show proof-lane selection (`l3`, `l2`, `dual`), verifier mode, and trust posture before execution.
Unlocks: Novel Proof-aware AI actions where model output is bridged into circuit-calldata semantics and chained to Starknet verification lanes.

Selected model for runtime probe: yield_predictor | Proof-model registry status: - | Registered models: 0 | Ready models: 0 | Runtime mode: bridge_runtime_non_synthetic

Bridge Artifacts in Repository

Artifact	Path	Status
ModelBridge circuit	`circuits/ModelBridge.circom`	Present
ModelBridge build zkey	`circuits/build/ModelBridge_final.zkey`	Present
ModelBridge build wasm	`circuits/build/ModelBridge_js/ModelBridge.wasm`	Present
ModelBridge build verification key	`circuits/build/ModelBridge_verification_key.json`	Present
ModelBridgeHeavy circuit	`circuits/ModelBridgeHeavy.circom`	Present
ModelBridgeHeavy build zkey	`circuits/build/ModelBridgeHeavy_final.zkey`	Present
ModelBridgeHeavy build wasm	`circuits/build/ModelBridgeHeavy_js/ModelBridgeHeavy.wasm`	Present
ModelBridgeHeavy build verification key	`circuits/build/ModelBridgeHeavy_verification_key.json`	Present
ModelBridge root zkey	`circuits/ModelBridge_final.zkey`	Present
ModelBridge root wasm	`circuits/ModelBridge_js/ModelBridge.wasm`	Present
ModelBridge build script	`circuits/build_model_bridge.sh`	Present
ModelBridgeHeavy build script	`circuits/build_model_bridge_heavy.sh`	Present
ModelBridge verifier generation script	`circuits/generate_model_bridge_verifier.sh`	Present
ModelBridgeHeavy verifier generation script	`circuits/generate_model_bridge_heavy_verifier.sh`	Present
ModelBridge verifier deploy script	`scripts/deploy_model_bridge_verifier.sh`	Present
ModelBridge verifier deploy plan	`docs/plans/MODELBRIDGE_VERIFIER_DEPLOY.md`	Present
ZkmlVerifier Cairo contract	`contracts/src/zkml_verifier.cairo`	Present
Generated ModelBridge verifier project	`circuits/contracts/src/garaga_verifier_model_bridge/Scarb.toml`	Present
Generated ModelBridgeHeavy verifier project	`circuits/contracts/src/garaga_verifier_model_bridge_heavy/Scarb.toml`	Present
ML bridge API route	`backend/app/api/routes/proofs.py`	Present
Groth16 bridge prover service	`backend/app/services/groth16_prover.py`	Present
Proof pipeline	`backend/app/services/proof_pipeline.py`	Present
Proof mode resolver	`backend/app/services/proof_mode.py`	Present

Live Proving Lanes (STARK vs SNARK)

Proving-path endpoint status: 200 | Dual lanes ready: Yes | ModelBridgeHeavy lane available: Yes | SNOS proving: not available (planned)

Lane ID	Lane Name	Available	Contract	Trust Model
groth16_garaga	Groth16 On-Chain Verification (Garaga)	Yes	0x36f5c2fd4b27...1c17a14e78bd00 Madara L3 (local RPC)	cryptographic — L3 contract verifies the proof
groth16_model_bridge	ModelBridge Groth16 On-Chain Verification	Yes	0x2e1b19e60c9a...af9a607f470bbf Madara L3 (local RPC)	cryptographic — L3 ModelBridge verifier verifies the proof
groth16_model_bridge_heavy	ModelBridgeHeavy Groth16 On-Chain Verification	Yes	0x7e3d6d99e8b9...5c580f60026ca0 Madara L3 (local RPC)	cryptographic — L3 ModelBridgeHeavy verifier verifies the proof
noir_honk	Noir EZKL-Bridge HONK On-Chain Verification	Yes	0x213e38a87b0e...a366cac6648f9f Madara L3 (local RPC)	cryptographic — L3 Garaga HONK verifier verifies the proof
noir_honk_v2	Noir EZKL-Bridge V2 HONK On-Chain Verification	Yes	0x48d7af1f9de0...3d67225c3e97cf Madara L3 (local RPC)	cryptographic — L3 Garaga HONK verifier verifies the versioned bridge proof
native_kzg	Native KZG On-Chain Verification (Phase 4)	Yes	0x6e77e1381431...5b9caab414a6c8 Madara L3 (local RPC)	cryptographic — L3 Cairo KZG verifier verifies the proof
stark_integrity	STARK On-Chain Verification (Integrity)	Yes	0x2c036366dcf9...14e35ae0271e69 Madara L3 (local RPC)	cryptographic — L3 contract verifies the STARK proof
hash_only	Hash Registration (Fallback)	Yes	0x5ed322b12ddc...91119b4c68d691 Madara L3 (local RPC)	trust-the-operator — obsqra backend verified off-chain

Runtime Bridge Probes (`/api/v1/zkdefi/proofs/ml-bridge`)

Run	Proof Mode	Requested Chain	L3 Mode	L2 Mode	Bridge Backend	Mirror	Can Execute	Failure Reason
L3	EZKL_BRIDGE	l3	groth16_garaga	-	groth16_modelbridge	not_requested	PASS	-
L3_HEAVY_REQUEST	-	-	-	-	-	-	FAIL	skipped_in_bridge_only_mode
L3_NOIR_REQUEST	EZKL_BRIDGE	dual	noir_honk	l2_mirror_underfunded	noir_honk	mirror_underfunded	PASS	-
L3_NOIR_V2_REQUEST	EZKL_BRIDGE	dual	noir_honk	l2_mirror_underfunded	noir_honk_v2	mirror_underfunded	PASS	-
L3_NATIVE_KZG_REQUEST	EZKL_BRIDGE	l3	native_kzg	-	native_kzg_ezkl_serialized_mpcheck	not_requested	PASS	-
DUAL	EZKL_BRIDGE	dual	groth16_garaga	l2_mirror_underfunded	groth16_modelbridge	mirror_underfunded	PASS	-

SNARK lane in this stack is the Groth16/Garaga path; STARK lane is Integrity/Stone verification. In `dual` mode, backend attempts both and records mirror status for policy gating.

Bridge Lane Narrative

Lane	What It Proves	Current Evidence
ModelBridge (Groth16/Garaga)	Wraps EZKL/KZG model context into a Groth16 verifier lane that Starknet/L3 can consume as a policy gate.	Live receipt 0x163d8c05a3...715567541eb3 proves the baseline bridge is operational.
Path A (Noir HONK)	Exercises an independent HONK verifier lane so the stack is not locked to Groth16 as its only SNARK closure path.	Live noir_honk receipt 0xb892ce7b4d...e333b6dd346a shows the same proof intent can clear a second proving backend on-chain.
Path A V2 (Noir HONK + proof-hash binding)	Versioned HONK bridge lane that binds timestamp and EZKL proof hash explicitly, instead of reusing the legacy Path A circuit shape.	Live noir_honk_v2 receipt 0x75c128d98c...7e666bb4d03b shows the upgrade lane is deployed and independently verifiable.
Path B (Native KZG)	Keeps the KZG semantics native in Cairo instead of always wrapping them into another SNARK, which is the stricter long-term verifier path.	Dual native_kzg coverage is 5/5 mirrored models in the latest warm run.

EZKL runtime probe status: 0 | Real proof detected: No

Why This Bridge Is An Unlock

Unlock	Design Signal	Why It Matters
Model output -> policy gate, not just model output -> score	ModelBridge binds model_output + proof/model hashes + bounds + timestamp into a Groth16 public-signal commitment that policy lanes can enforce.	Lets AI recommendations become cryptographically gateable execution intents.
Portable zkML semantics across stacks	Bridge lane can consume zkML-style artifacts, format calldata for Garaga, then target Starknet verification paths.	De-risks lock-in to a single proving stack while keeping one policy interface.
Dual STARK/SNARK trust posture	The same intent can flow through SNARK (Groth16/Garaga) and STARK (integrity/SNOS-style) lanes with mirror status tracking.	Allows product-level trust modes instead of one hardcoded proof lane.
Privacy-first execution controls	Bridge proofs feed strategy gating while shielded/nullifier/relayer rails preserve user privacy and selective disclosure.	Supports private capital ops without losing verifiable safety checks.

Who Does Adjacent Pieces vs This Full Composition

Stack	Published Signal	Bridge-to-Privacy-Gate Signal	Reference
EZKL	Open-source zkML proving from ONNX models to proofs.	No direct Starknet privacy-policy bridge wiring documented in cited source.	source
Garaga	Starknet-oriented SNARK verifier/calldata tooling (Groth16/Plonk lanes).	Verifier primitives, but not end-to-end zkML recommendation gating product flow.	source
Giza on Starknet	Verifiable ML context in Starknet ecosystem.	Public material does not describe the same privacy-tier + relayer gating composition.	source
zkde.fi (this repo)	ModelBridge circuit + Groth16 prover + proof pipeline + proving-path routing + privacy rails + strategy badges.	Bridge-to-policy-gate wiring is implemented as first-class backend flow.	`circuits/ModelBridge.circom`, `backend/app/services/groth16_prover.py`, `backend/app/services/proof_pipeline.py`

ModelBridge Verifier On-chain Readiness (Starknet + L3)

Check	Status
ZkmlVerifier has model_bridge_verifier storage	Yes
ZkmlVerifier constructor accepts 3 args	Yes
Getter/setter for model bridge verifier	Yes
verify_model_bridge_proof entrypoint	Yes
Fallback logic (dedicated verifier else garaga)	Yes
Generated ModelBridge verifier project present	Yes
Generated contract classes	1
Generated ModelBridgeHeavy verifier project present	Yes
Generated ModelBridgeHeavy contract classes	1
Deployment marker (.model_bridge_verifier.deployed)	Found
Deployment marker (.model_bridge_heavy_verifier.deployed)	Found
Deployment marker (.zkml_verifier_model_bridge.deployed)	Found
Deployed ModelBridge verifier address	0x037c42e8...786fa4626f
Deployed ModelBridge verifier class hash	0x04745a6b...b5574257f8
Deployed ModelBridgeHeavy verifier address	0x07e3d6d9...0f60026ca0
Deployed ModelBridgeHeavy verifier class hash	0x1b0946ab...560a056652
Deployed ZkmlVerifier (ModelBridge-capable)	0x068abd64...a5aad08923
Deployed ZkmlVerifier class hash	0x00f9c1bd...b7687aa066
ZkmlVerifier constructor Garaga verifier	0x06d0cb7a...2fe3aa6d37
ZkmlVerifier constructor ModelBridge verifier	0x037c42e8...786fa4626f

Recursive EZKL Paths (Phase 2 / 3 / 4)

What this tests: Whether Path A (Noir HONK), Path C (L1 Sepolia bridge), and Path B (native Cairo KZG) are documented and wired in code, beyond narrative claims.
Why Obsqra Labs wanted this: Frontend can render honest state badges: `implemented`, `implemented_stub`, or `partial` per path.
Unlocks: Clear migration story from current ModelBridge lane to full on-chain EZKL attestation options.

Roadmap Narrative (Ready Readout)

Roadmap Lens	Where We Are	What Unlocks Next
Overall bridge roadmap	3/4 stage gates complete; Phase 2 delivered, Phase 3 operationalizing, Phase 4 strict-native hardening.	Next unlocks: Path C live verifyAndBridge + L2 confirmation
Path A (Noir HONK)	live and receipt-backed	Path A is receipt-backed; next step is a production runbook with recurring Noir receipt evidence and benchmarking.
Path A V2 (Versioned Noir HONK)	in active development	Capture recurring noir_honk_v2 receipts and decide when V2 should replace the legacy Path A lane in the strict bridge gate.
Path C (L1 bridge)	implemented; finishing environment + receipt hardening	Run live verifyAndBridge from L1 -> poll L2 receiver confirmation and pin receipt links.
Path B (native Cairo KZG)	live and receipt-backed	Scale strict native KZG lane to broader model catalog with stability/gas benchmarks.

Documentation Presence

Artifact	Path	Status
Recursive EZKL roadmap	`archive/ideas/docs/RECURSIVE_EZKL_ROADMAP.md`	Present
Advanced L3 + EZKL implementation plan	`docs/plans/2026-03-10-advanced-l3-and-ezkl-onchain-implementation.md`	Present
L1 Sepolia EZKL verifier doc	`docs/plans/L1_SEPOLIA_EZKL_VERIFIER.md`	Present
L1->L2 EZKL bridge spec	`docs/plans/L1_EZKL_BRIDGE_SPEC.md`	Present
Cairo native KZG verifier spec	`docs/plans/CAIRO_KZG_VERIFIER_SPEC.md`	Present

Path Status Matrix

Path	Status	Lane ID	Lane Listed	Lane Available	Contract	Evidence
Path A (Primary Noir bridge)	implemented_live	noir_honk	Yes	Yes	0x213e38a87b0e...a366cac6648f9f Madara L3 (local RPC)	Primary Path A is the legacy noir_honk lane while the versioned V2 lane remains available for staged promotion.
Path A Secondary (Versioned V2)	implemented_live	noir_honk_v2	Yes	Yes	0x48d7af1f9de0...3d67225c3e97cf Madara L3 (local RPC)	Versioned Path A lane is live; V2 binds timestamp + ezkl_proof_hash and has its own receipt-backed verifier lane.
Path C (L1 Sepolia bridge)	implemented	l1_bridge	Yes	No	0xD62AE6dac7aE...082288961a73F9	Live verifyAndBridge receipt captured and L2 receiver confirmed, but the recurring monitor check is stale.
Path B (native Cairo KZG)	implemented_live	native_kzg	Yes	Yes	0x6e77e1381431...5b9caab414a6c8 Madara L3 (local RPC) class 0xd73f1b91e9ce...0cf8f499fb1f09	Cairo KZG verifier package builds; strict native KZG route is live with receipt-backed coverage across the current proving-ready catalog....

Path B Verifier RPC Evidence

This is the direct L3 verifier backing the native KZG lane. It is re-checked over the active Madara RPC, so the report shows deployment metadata instead of only env wiring.

Field	Value
Network	Madara L3 (local RPC)
RPC URL	`http://127.0.0.1:9944/rpc/v0.10.0`
Address	0x6e77e1381431...5b9caab414a6c8
RPC deployment check	Present
Class hash	0xd73f1b91e9ce...0cf8f499fb1f09
Required ABI methods	verify_kzg, verify_ezkl_kzg_v1, get_last_verification
ABI methods found	get_last_verification, verify_ezkl_kzg_v1, verify_kzg
Strict selector readiness	Ready
Public explorer	not available for local Madara L3

Path A Live Receipt (Noir HONK)

Path A Primary Live Receipt

Primary Path A follows SHOWCASE_PREFER_NOIR_V2. When enabled, strict gating and the roadmap treat V2 as canonical while keeping legacy Noir available for fallback.

Field	Value
Preferred V2	No
Lane id	noir_honk
Artifact path	`artifacts/hackathon_showcase/patha_latest.json`
Artifact present	Yes
Live verified (L3)	Verified
Mode	noir_honk
Bridge backend	noir_honk
Proof mode	EZKL_BRIDGE
L3 tx hash	0xb892ce7b4dca...37e333b6dd346a
L2 mirror tx hash	0x6e4ab4146787...f1781fc333949c
Mirror status	mirror_underfunded
Bridge proof hash	0x8f6cbc990e93...7612898f31e2ca
Generated at	2026-04-15T01:33:41.354673+00:00

Path A Live Receipt (Legacy Noir HONK)

Receipt source: artifacts/hackathon_showcase/patha_latest.json (captured from live `NoirEzklBridge` -> `noir_honk` verification).

Field	Value
Artifact path	`artifacts/hackathon_showcase/patha_latest.json`
Artifact present	Yes
Live verified (L3)	Verified
Mode	noir_honk
Bridge backend	noir_honk
Proof mode	EZKL_BRIDGE
L3 tx hash	0xb892ce7b4dca...37e333b6dd346a
L2 mirror tx hash	0x6e4ab4146787...f1781fc333949c
L3 status	200
Can execute	Yes
Mirror status	mirror_underfunded
Bridge proof hash	0x8f6cbc990e93...7612898f31e2ca
Calldata words	2874
L3 actual fee	60279450381344 FRI
L3 execution steps	-
Failure reason	-
Generated at	2026-04-15T01:33:41.354673+00:00

Path A V2 Live Receipt (Versioned Noir HONK V2)

Receipt source: artifacts/hackathon_showcase/patha_v2_latest.json (captured from live `NoirEzklBridgeV2` -> `noir_honk` verification).

Field	Value
Artifact path	`artifacts/hackathon_showcase/patha_v2_latest.json`
Artifact present	Yes
Live verified (L3)	Verified
Mode	noir_honk
Bridge backend	noir_honk_v2
Proof mode	EZKL_BRIDGE
L3 tx hash	0x75c128d98c39...9b7e666bb4d03b
L2 mirror tx hash	0x3939412d1223...1707966efd6113
L3 status	200
Can execute	Yes
Mirror status	mirror_underfunded
Bridge proof hash	0xd994af19416b...e68984bd82f900
Calldata words	2878
L3 actual fee	60190367270944 FRI
L3 execution steps	-
Failure reason	-
Generated at	2026-04-15T01:35:00.604239+00:00

Path C Live Receipt (L1 -> L2)

Receipt source: artifacts/hackathon_showcase/pathc_latest.json (captured from live `verifyAndBridge` + poll flow).

Field	Value
Artifact path	`artifacts/hackathon_showcase/pathc_latest.json`
Artifact present	Yes
Live verified (L1 + L2)	Verified
Runtime stage	l2_confirmed
Monitor freshness	Fresh
Mode	verify_and_bridge
Source model	llm_fallback
Resolved model	llm_fallback
First captured (UTC)	2026-03-21T16:50:56.589780+00:00
Last checked (UTC)	2026-03-22T21:26:24.306914+00:00
Artifact age (hours)	556.17
Confirmation latency (ms)	148410
L1 tx hash	0xdf9f0eaa06e6...4b318074d2d74e
L1 status	1
L1 block	10492050
L1 gas used	632886
Route source	model_name
Route key	llm_fallback
L1 sender	0xD62AE6dac7aE...082288961a73F9
L1 verifier	0x1Fe90fdFaF0c...67812cb0cF5AF3
L2 receiver	0x010c5bb60937b1863a047a83f0afa3a851bf80648eca6dadde2fe817238d0e28
L1 core message pending	PASS
L1 core queue value	0x0
L1 core address	0xe2bb56ee936fd6433dc0f6e7e3b8365c906aa057
Model hash	0x1e5def634565...bfd54d67472dd2
Raw model hash	0x91e5def63456...bfd54d67472dd2
Bridge model hash	0x1e5def634565...bfd54d67472dd2
Raw output commitment	0xa32701a87b28...ca7bde654c85e0
Bridge output commitment	0x32701a87b28b...ca7bde654c85e0
Nonce used	0
L2 verified_on_l2	Verified
L2 output commitment	0x32701a87b28b...ca7bde654c85e0
L2 block timestamp (UTC)	2026-03-21T16:53:25+00:00
Poll attempts until confirm	20
Capture history file	`artifacts/hackathon_showcase/pathc_history.jsonl`
Distinct models captured	4
Recent model coverage	anomaly_detector, creditworthiness, llm_fallback, yield_forecast
Configured route inventory	5
Receipt-backed routes	4
L2-confirmed routes	4
Verification status URL	verification-status query

Path C Route Coverage

Configured model-specific L1 bridge routes cross-checked against the latest live captures. This is the fastest way to see how broad the L1 -> L2 bridge surface really is right now, instead of reading only the current primary receipt.

Model	Route Key	Status	Primary	Verifier	Sender	Receiver	Latest Tx
llm_fallback	llm_fallback	Confirmed	Yes	0x1Fe90fdFaF0c...67812cb0cF5AF3	0xD62AE6dac7aE...082288961a73F9	0x010c5bb60937...2fe817238d0e28	0xdf9f0eaa06e6...4b318074d2d74e
anomaly_detector	anomaly_detector	Confirmed	-	0x3fFe7f71deBC...f8a012c7e07679	0x8859B9537cEE...3BDF83AA073a97	0x04f6f065a009...8ccda285bfafa7	0xf3443c2b25bc...7bb96a0eab9007
creditworthiness	creditworthiness	Confirmed	-	0xF7b555ca4E54...7341575a852Ab9	0x2a1b030f2835...5e96da293853ab	0x02ed07ab9be1...e3e97415b1a220	0x664067e18278...4f72c0157efad3
yield_forecast	yield_forecast	Confirmed	-	0x8B837E5E2873...907e9eEaC9efDe	0x6F95ef817B09...Bb1235B3CC5a5F	0x01309c372bda...7a28bbcb52f909	0x224f06a732e6...fd4d531af9d778
creditworthiness	default	Configured	-	0xF7b555ca4E54...7341575a852Ab9	0x2a1b030f2835...5e96da293853ab	0x02ed07ab9be1...e3e97415b1a220	-

Path C Recent Receipt History

Recent Path C captures across first-party EZKL models. This is the bridge-coverage view, separate from the single latest receipt used by the strict gate.

Model	Captured At (UTC)	Route Source	Route Key	L2 Confirmed	Latency ms	L1 Gas	Tx
llm_fallback	2026-03-21T16:50:56.589780+00:00	model_name	llm_fallback	Unverified	-	632.9K gas	0xdf9f0eaa06e6...4b318074d2d74e
anomaly_detector	2026-03-21T16:21:59.193613+00:00	model_name	anomaly_detector	Unverified	-	630.7K gas	0xf3443c2b25bc...7bb96a0eab9007
yield_forecast	2026-03-21T14:11:38.321499+00:00	model_name	yield_forecast	Unverified	-	618.5K gas	0x224f06a732e6...fd4d531af9d778
yield_forecast	2026-03-21T13:28:35.672808+00:00	model_name	yield_forecast	Unverified	-	635.6K gas	0xc72ebb42647d...e674c450f332e1
creditworthiness	2026-03-21T06:38:47.565177+00:00	-	-	Unverified	-	625.3K gas	0x664067e18278...4f72c0157efad3
creditworthiness	2026-03-20T20:00:47.213841+00:00	-	-	Verified	9195786	625.1K gas	0x85f726c4ed4a...35c243bdd7d98e

Path B Catalog Warm Report

Receipt source: artifacts/hackathon_showcase/pathb_bundle_warm.json (real-proof warm coverage run). This section now separates first-party model bootstrap provenance from the actual native-KZG receipt counts, so the report does not blur training/setup readiness with cryptographic execution readiness.

Field	Value
Artifact path	`artifacts/hackathon_showcase/pathb_bundle_warm.json`
Artifact present	Yes
Generated at	2026-03-22T21:30:22.636978+00:00
Coverage scope	proving_ready_catalog
Catalog models	5
Catalog model names	-
Selected model names	-
Proving-ready catalog models	5
Excluded non-EZKL models	-
Bootstrap known models	Enabled
Bootstrap supported models	-
Bootstrap attempted / ready / failed	0/0/0
Bootstrap attempted models	-
Bootstrap ready models	-
Bootstrap failed models	-
Models total	5
Models verified	5
Models with bundle	5
Coverage	100.00%
Strict target	100.00%
Gate result	PASS
Gate reason	-
History file	`artifacts/hackathon_showcase/pathb_bundle_history.jsonl`
History entries	56
Daily delta window (hours)	24
Previous-run delta (pct points)	-
Daily delta (pct points)	-
Native KZG onchain probe enabled	Yes
Native KZG base URL	http://127.0.0.1:8003
Native KZG execution chain	dual
Native KZG attempted / verified / L3 receipts	5/5/5
Native KZG L2 receipts / mirrored	5/5
Native KZG strict ABI / legacy fallback / strict binding	5/0/5
Daily new bundles / regressions	0/0
Daily native_kzg verified / regressions	0/0
New bundles (daily baseline)	-
Regressions (daily baseline)	-
New native_kzg verified models (daily baseline)	-
Regressed native_kzg models (daily baseline)	-
Strict ABI models	anomaly_detector, creditworthiness, llm_fallback, timing_predictor, yield_forecast
Legacy fallback models	-
Strict binding observed models	anomaly_detector, creditworthiness, llm_fallback, timing_predictor, yield_forecast
Excluded model details	-

Path B Bootstrap Provenance

These are the first-party model provisioning attempts made by the Path B warm flow itself. They show training/setup readiness for supported models, while the receipt matrix below remains the source of truth for live native-KZG execution coverage.

Model	Attempted	Ready	Trained	Train Status	Setup Status	Missing Before	Missing After	Source	Error
-	PASS	-	-	-	-	-	-	-	No bootstrap attempts were needed in this run.

Path B Native KZG Receipt Matrix

Optional per-model `EzklNativeKzg` probe layered on top of the warm report so catalog coverage can be cross-checked against actual on-chain receipt generation, including dual-lane mirror evidence when the probe runs in `dual` mode.

Model	HTTP	Verified	Can Execute	Exec Chain	Mirror	L3 Mode	L3 ABI	Strict Bind	L2 Mode	Backend	L3 Tx	L2 Tx	Failure
anomaly_detector	200	Verified	Yes	dual	mirrored	native_kzg	verify_ezkl_kzg_v1	Yes	starknet_l2_registry_mirrored	native_kzg_ezkl_serialized_mpcheck	0x17e5fe97f956...1f03c16615525c Madara L3 tx hash	0x49a2a430ebe2...cb0d28280888ec	-
creditworthiness	200	Verified	Yes	dual	mirrored	native_kzg	verify_ezkl_kzg_v1	Yes	starknet_l2_registry_mirrored	native_kzg_ezkl_serialized_mpcheck	0x69bf347500f3...049eb314ca2a0b Madara L3 tx hash	0x797c08395268...133b36b4cf5726	-
llm_fallback	200	Verified	Yes	dual	mirrored	native_kzg	verify_ezkl_kzg_v1	Yes	starknet_l2_registry_mirrored	native_kzg_ezkl_serialized_mpcheck	0x6e982fa304aa...609cd3ce9a3489 Madara L3 tx hash	0x64696698273e...d7b4a0413ad3d9	-
timing_predictor	200	Verified	Yes	dual	mirrored	native_kzg	verify_ezkl_kzg_v1	Yes	starknet_l2_registry_mirrored	native_kzg_ezkl_serialized_mpcheck	0x3b3cfd3cd639...e6ede38d351f6e Madara L3 tx hash	0x37ed119988b7...0a9649cfae25f3	-
yield_forecast	200	Verified	Yes	dual	mirrored	native_kzg	verify_ezkl_kzg_v1	Yes	starknet_l2_registry_mirrored	native_kzg_ezkl_serialized_mpcheck	0x10295358a0c8...8ca04a642c4c8c Madara L3 tx hash	0x3eb613826cca...893fe135d13b5b	-

Code Wiring Signals

Check	Status
Path A primary lane id	noir_honk
Path A primary prefers V2	No
Path A primary live receipt verified	Yes
Path A status in roadmap	Yes
Path A live receipt artifact found	Yes
Path A live receipt verified	Yes
Path A V2 live receipt artifact found	Yes
Path A V2 live receipt verified	Yes
Phase 2 status marked complete	Yes
Phase 3 tasks expanded (3.1-3.5)	Yes
Phase 4 tasks expanded (4.1-4.5)	Yes
Parent backend Phase 3 config keys	Yes
Parent backend Phase 3 service stub	Yes
Parent backend Phase 4 config key	Yes
Parent backend Phase 4 route (native_kzg)	Yes
Path B verifier re-verified on L3 RPC	Yes
Path B strict ABI selector present	Yes
Path B warm report found	Yes
Path B warm coverage	5/5
Path B warm gate (strict)	PASS
Path B min coverage target	100.00%
Path B actual coverage	100.00%
Path B history snapshots	56
Path B daily delta window (hours)	24
Path B previous-run delta (pct points)	-
Path B daily delta (pct points)	-
Path B daily new bundles / regressions	0/0
Path B native_kzg attempted / verified / receipts	5/5/5
Path B native_kzg daily new / regressions	0/0
Path C live receipt file found	Yes
Path C L1 receipt status == 1	Yes
Path C L2 confirmation	Yes

Environment Readiness (Parent Backend)

Config	Status
Parent backend .env found	Yes
L1_SEPOLIA_RPC set	Yes
L1_EZKL_VERIFIER_ADDRESS set	Yes
L1_EZKL_BRIDGE_SENDER_ADDRESS set	Yes
L1_BRIDGE_RECEIVER_ADDRESS set	Yes
SHOWCASE_PREFER_NOIR_V2	False
L1 signer configured	Yes
L3_KZG_VERIFIER_ADDRESS set	Yes
zkdefi backend .env found	Yes
MODELBRIDGE_REQUIRE_REAL_GROTH16	True
MODELBRIDGE_REQUIRE_REAL_EZKL	True
NATIVE_KZG_REQUIRE_REAL_EZKL	True
NATIVE_KZG_REQUIRE_MPCHECK	True
NATIVE_KZG_WARM_ON_REAL_PROVE	True

Stage Completion Check-ins

#	Stage	Status	Goal	Evidence	Explorer TX
1	Stage 0 - Backbone	Complete	Core backend + proof rails stable	core claims 9/9	0x6bc4d4f14c...76dee5f50d40
2	Stage 1 - Path A (Noir HONK)	Complete	Live noir_honk receipt + recurring Path A artifact	lane available=True, verified=True, mode=noir_honk	0xb892ce7b4d...e333b6dd346a
3	Stage 2 - Path C (L1 bridge)	In Progress	Live verifyAndBridge receipt + L2 receiver confirmation	live_verified=True, runtime_stage=l2_confirmed, checked_recently=False, l1_status=1, core_pending=False, l2_verified_on_l2=True, polls=20	0xdf9f0eaa06...318074d2d74e
4	Stage 3 - Path B (Native KZG strict)	Complete	Strict `kzg_mpcheck_v1` + on-chain native_kzg receipt	strict_route=True, lane_available=True, tx=0x5d9ade8f...bd4b48c43d	0x5d9ade8fc5...fbbd4b48c43d

GitHub Version Gates

Stage	Status	Suggested Tag	Check-in Rule
Stage 0 - Backbone	Complete	v2026.04.15-stage0-backbone	Document E2E receipt + promote tag in GitHub release notes.
Stage 1 - Path A (Noir HONK)	Complete	v2026.04.15-stage1-path-a-noir	Document E2E receipt + promote tag in GitHub release notes.
Stage 2 - Path C (L1 bridge)	In Progress	-	Keep in roadmap checklist; do not tag final release yet.
Stage 3 - Path B (Native KZG strict)	Complete	v2026.04.15-stage3-path-b-native-kzg	Document E2E receipt + promote tag in GitHub release notes.

Next Steps

#	Action
1	Phase 2/Path A: recurring noir_honk receipt is live (0xb892ce7b4d...e333b6dd346a); keep patha_latest.json refreshed from the strict bridge gate.
2	Phase 2/Path A V2: recurring noir_honk_v2 receipt is live (0x75c128d98c...7e666bb4d03b); keep patha_v2_latest.json refreshed while the legacy Path A lane remains in service.
3	Phase 3: Path C live receipt is captured (0xdf9f0eaa06...318074d2d74e); refresh recurring monitor checks.
4	Phase 3: keep allowed_l1_sender pinned to the deployed L1 bridge sender when rotating contracts.
5	Phase 4: keep ezkl_kzg_verifier deployed on L3 and set L3_KZG_VERIFIER_ADDRESS in parent backend.
6	Phase 4: catalog warm report is 5/5 models with bundles; daily delta=0.0 pct points; increase toward full model coverage.

Ecosystem Sources (Research Appendix)

What this tests: External source sanity-check so bridge claims are benchmarked against current open-source zkML and Starknet proof infrastructure.
Why Obsqra Labs wanted this: Feeds judge-facing technical appendix links without unsupported claims.
Unlocks: Transparent positioning: what exists in ecosystem today, and where this bridge design goes further.

Project/Source	Published Focus	Positioning Signal	Link
EZKL	Open-source zkML proving stack (ONNX to ZK proof flow).	Shows mature zkML proving tooling; zkde.fi extends this with a circuit bridge and Starknet proving lanes.	source
Garaga	SNARK verifier stack for Starknet (Groth16/Plonk tooling and calldata).	Confirms active Starknet SNARK verification primitives that the ModelBridge lane can target.	source
Starknet verify-proofs docs	Production guide for verifying zk proofs on Starknet.	Anchors on-chain verifier patterns and expected integration shape on Starknet.	source
SNOS / SHARP model	STARK validity proving model used by Starknet (execution trace to proof).	Frames the STARK side of dual architecture and integrity-style proof semantics.	source
Giza on Starknet	Verifiable ML effort built on Starknet tooling.	Provides ecosystem context: zkML on Starknet exists, but bridge-to-circuit proof gating remains a distinct design choice.	source
SN Stack open-source launch	Open-source Starknet stack announced by StarkWare.	Signals broader open infrastructure momentum that makes privacy-preserving appchain/prover designs more composable.	source

On-chain Links (Public Explorers)

What this tests: Contract/class presence on Starknet RPC and receipt linkage to explorer URLs.
Why Obsqra Labs wanted this: “View on-chain” buttons in product surfaces should point to these references.
Unlocks: External verifiability for judges, users, and auditors.

RPC used: https://rpc.starknet.lava.build:443

Contract	Address	Class Hash
REPUTATION_REGISTRY_ADDRESS	0x10d00b33b568...b5246312b7e022	-
FULL_PRIVACY_POOL_V2_ADDRESS	0x3dde5617d362...eeb6237c811559	-
RECEIPT_REGISTRY_ADDRESS	0x48bfcab6cde9...723fed0c8d4aac	0x60dd1b2768be...8a2d3d7faf8ccf
VAULT_CONTROLLER_ADDRESS	0x2f29b985bc96...186a81d0853b63	-
GARAGA_VERIFIER_ADDRESS	0x6d0cb7a48b48...38502fe3aa6d37	-
MODEL_BRIDGE_VERIFIER_ADDRESS	0x37c42e873427...bbb8786fa4626f	-
ZKML_VERIFIER_ADDRESS	0x68abd64a4a78...b72da5aad08923	-
MADARA_FACT_REGISTRY	0x5ed322b12ddc...91119b4c68d691	-

Receipts / Tx Links

Tx	Action	Proof Type	Timestamp	Link Status
0x6bc4d4f14cba7b...cc2a76dee5f50d40	proof_generated	EZKL_BRIDGE	2026-04-15T01:30:54.930419+00:00	non-public lane hash (l3)
0x455c13126775c0...3e94dd016296e30c	proof_generated	EZKL_BRIDGE	2026-04-15T01:28:53.195066+00:00	non-public lane hash (l3)
0x306098363f0152...a672225a4f061da2	proof_generated	EZKL_BRIDGE	2026-04-15T01:28:53.195066+00:00	public Starknet Sepolia tx (l2)
0x6ff9255c6be2ad...736e1caf20b46e94	proof_generated	EZKL_BRIDGE	2026-04-15T01:27:44.838428+00:00	non-public lane hash (l3)
0x246ad0ee22866c...c72fd3f9c1cc4a24	proof_generated	EZKL_BRIDGE	2026-04-15T01:27:44.838428+00:00	public Starknet Sepolia tx (l2)
0x1a5ec0aef7f64f...a0cf58216158df17	proof_generated	EZKL_BRIDGE	2026-04-15T01:26:41.155447+00:00	non-public lane hash (l3)
0x119f91bef7bed1...075ad04e7629c7df	proof_generated	EZKL_BRIDGE	2026-04-15T01:26:41.155447+00:00	public Starknet Sepolia tx (l2)
0x26f47e6251ba31...e0ab7c0ab93fa6e6	proof_generated	EZKL_BRIDGE	2026-04-15T01:26:22.026746+00:00	non-public lane hash (l3)
0x14ad994fcc3dbd...872fcffabbd0e03c	proof_generated	EZKL_BRIDGE	2026-04-15T01:26:02.223524+00:00	non-public lane hash (l3)
0x81d7a175307988...b596aff6ddcba837	proof_generated	EZKL_BRIDGE	2026-04-14T22:08:14.688760+00:00	non-public lane hash (l3)
0x20b2d05adc5f51...79bb0de6aa0f7c46	proof_generated	EZKL_BRIDGE	2026-04-14T22:08:06.625970+00:00	non-public lane hash (l3)
0x3aab6e3c6d525a...881829b8af16f88b	proof_generated	EZKL_BRIDGE	2026-04-14T22:06:43.204325+00:00	non-public lane hash (l3)
0x6f618ab402ca51...a7e787e152cf388e	proof_generated	EZKL_BRIDGE	2026-04-14T22:06:43.204325+00:00	public Starknet Sepolia tx (l2)
0x2bbcfceb9be9bc...163bad3345bb404d	proof_generated	EZKL_BRIDGE	2026-04-14T22:05:15.036969+00:00	non-public lane hash (l3)
0x3d6297de2da38e...f972f6d7fb04607f	proof_generated	EZKL_BRIDGE	2026-04-14T22:05:15.036969+00:00	public Starknet Sepolia tx (l2)
0x1fc1bdff849a3b...5b5d734e8cf6003e	proof_generated	EZKL_BRIDGE	2026-04-14T22:03:56.095975+00:00	non-public lane hash (l3)
0x4fd136075a52fb...86028653e019117a	proof_generated	EZKL_BRIDGE	2026-04-14T22:02:49.183121+00:00	non-public lane hash (l3)
0x5d1d78d5a56682...b5be6a39810d9dc6	proof_generated	EZKL_BRIDGE	2026-04-14T22:02:49.183121+00:00	public Starknet Sepolia tx (l2)
0x440a0337b8da5d...5f69e8f3070ae882	proof_generated	EZKL_BRIDGE	2026-04-14T22:01:40.981418+00:00	non-public lane hash (l3)
0x280077e70cf68e...62c2ef8593f19112	proof_generated	EZKL_BRIDGE	2026-04-14T21:43:11.163456+00:00	non-public lane hash (l3)

zkML Circuit Deep Dive

What this tests: Real inventory and readiness of first-party circuits, proving artifacts, and adjacent Cairo/ONNX footprint.
Why Obsqra Labs wanted this: Powers “capability explorer” and strategy badge transparency in the app.
Unlocks: Demonstrates this is a multi-circuit platform, not a single proof demo.

Circom sources: 0 | wasm ready: 0 | zkey ready: 0 | dual-ready: 0

Cairo contract sources: 0 | Groth16 final zkeys (repo-wide): 0 | ONNX models: 0

No rows.

Circuit Inventory (first 40)

No rows.

Opportunity Advisory + Badge Flow

What this tests: Live opportunities, LLM advisory, then ZK circuit screening before recommendation is treated as trusted.
Why Obsqra Labs wanted this: The stream can show “advisory”, “proving”, and “proved/flagged” states deterministically.
Unlocks: Novel AI-guided suggestions with cryptographic gating, not opaque black-box outputs.

Opportunity source used: none

Opportunity Source Probe

No rows.

Selected Opportunities

No rows.

AI Advisory Snapshot

No rows.

Badge Circuit Screening Snapshot

No rows.

AI Circuit Skills Engine (LLM Tooling)

What this tests: LLM opportunity advice is validated against a broad zkML skill bundle before being upgraded to trusted execution.
Why Obsqra Labs wanted this: Frontend can render a deterministic “tool-call audit” timeline (skill pass/fail, proof hash, rationale).
Unlocks: AI recommendations become verifiable policy outputs, not opaque prompts.

Skills in this pass:

No rows.

Skill Trail (sample)

No rows.

Skill Proof Receipts

Literal backend trail: "I used skill X" -> proof hash -> receipt lookup endpoint. `index_pending` means proof exists from skill runtime but is not indexed in the bridge-proof cache route yet.

No rows.

Privacy Rails + Voting/Lending Backend Demo

What this tests: End-to-end privacy rails: shielded commitments, nullifier + claim hash proofs, relayer-style withdraw queueing, and L3 dark settlement endpoints.
Why Obsqra Labs wanted this: Enables a stepper UI with explicit states: shielded deposit, proofed withdraw, relayer queued, settlement verified.
Unlocks: Private voting and private lending backends can be surfaced even while UI is still maturing.

Reputation / Access Tiers

No rows.

Shielded -> Nullifier -> Claim Hash Rails

No rows.

Ledger + Relayer Withdraw

Flow	Status	Reference	Status URL	Settlement ETA
shielded transfer_in	-	-	-	-
relayer withdraw transfer_out	-	-	-	-

L3 Dark Settlement (Madara)

Endpoint	Status	Signal
health	-	-
config	-	-
verify	-	-
batch submit	-	-

Private Voting

Proposal ID	Create	Proof	Cast	Error
-	-	-	-	-

Private Lending + Pool Privacy Modes

Lending Pool	Supply	Borrow	Health	DAO Policy	Active Loans
-	-	-	-	-	-

No rows.

Private Prediction Market Primitive (Forecaster)

What this tests: Commit/reveal forecasting with scoring and explainability so private prediction workflows can run without exposing raw strategy state.
Why Obsqra Labs wanted this: Enables a timeline UI: window open -> commit -> reveal -> score receipt -> reputation update.
Unlocks: Proof-aware forecasting that can plug into private voting, risk tiers, and strategy gating.

Stage	Status	Signal
create_window	-	-
suggest_outputs	-	-
commit	-	-
reveal	-	-
outcomes	-	-
score	-	-
explain	-	-

Suggested Outputs (scaled)

No rows.

Score Metrics

No rows.

Explainability: No explanation text returned.

LLM + Marketplace Config Packs

What this tests: Runtime-validated config packs built from active provider/model/skill registries.
Why Obsqra Labs wanted this: Direct seed data for agent-builder presets (conservative / balanced / aggressive).
Unlocks: Faster onboarding into a proof-aware agent marketplace.

No rows.

Poseidon Runtime Status

What this tests: Commitment hashing reliability across badge-screen and credit-eligibility proof flows.
Why Obsqra Labs wanted this: If this is unhealthy, proof badges and eligibility cards should degrade gracefully.
Unlocks: Stable commitment generation across private strategy and trust workflows.

Current status: FAIL (FAIL)

Poseidon runtime is not fully healthy; check optional proof step errors.

Step	Status	API Status	Signal
Optional: batch skill proof runtime	FAIL	-	-
Optional: credit eligibility proof	FAIL	-	-

Strategy API Evidence

What this tests: Recommendation and analysis payloads that downstream UI widgets depend on.
Why Obsqra Labs wanted this: Plugs directly into allocation cards, rationale panels, and audit drawers.
Unlocks: Explainable strategy decisions with proof-linked context.

Endpoint	Status	Evidence ID	Confidence	Signal	Failure
recommend	-	-	0.00	0.00%	-
analyze	-	-	-	-	-

Allocation Rows

No rows.