Live Proof Readout
This page exists for one purpose: get you to zkde.fi/test with enough context to understand what you're looking at.
Every technical claim in these docs — every contract address, every proof lane, every privacy primitive — is verifiable at that endpoint.
What zkde.fi/test Shows
The test endpoint runs a full backend showcase that exercises the entire proof pipeline and reports pass/fail status for each claim. It validates 14 independent claims across:
ModelBridge Dual-Lane Proving
- EZKL model inference → Groth16 proof generation
- ModelBridge circuit verification via Garaga on Starknet Sepolia
- ModelBridgeHeavy lane with heavier artifact payloads
- STARK integrity lane via Stone prover
- Noir HONK bridge lane
- Native KZG strict lane with bundle injection
AI Advisory Flow
- zkML risk scoring and anomaly detection
- 13-circuit screening bundle execution
- Pool safety analysis with proof receipts
- Agent skill registration and performance tracking
Privacy and Settlement
- Full privacy pool commitment and withdrawal proof generation
- Nullifier and Merkle proof verification
- Privacy tier enforcement (strict / standard / express)
- Madara L3 fact registration
On-Chain Verification
- Contract state reads from deployed verifiers
- Receipt registry lookups
- Reputation tier and FICO-pack proof status
Live Transaction Evidence
These are real verified transactions on Starknet Sepolia. Click through to Voyager to inspect the proof data independently.
| Lane | Verifier | Tx Hash |
|---|---|---|
| ModelBridge (Groth16/Garaga) | groth16_garaga | 0x2c8ea...679b |
| ModelBridgeHeavy (Groth16/Garaga) | groth16_garaga | 0x49226...b59c |
| Heavy STARK Reputation | stark_integrity | 0x7249f...739d |
| Noir HONK Bridge | noir_honk | 0x55f1d...3475 |
| Native KZG Strict | native_kzg | 0x5c9e2...5f42 |
Core Verification Contracts
| Contract | Network | Address |
|---|---|---|
| ModelBridge Verifier | Starknet Sepolia | 0x037c4...626f |
| ZkmlVerifier (ModelBridge-capable) | Starknet Sepolia | 0x068ab...8923 |
| GaragaVerifier (BN254) | Starknet Sepolia | 0x06d0c...6d37 |
| Halo2Verifier (EZKL KZG) | Ethereum Sepolia | 0xF7b55...2Ab9 |
| ObsqraFactRegistry | Starknet Sepolia | 0x02009...faa3 |
How To Read The Report
The report at zkde.fi/test shows:
- Claim name — what is being tested (e.g., "ModelBridge dual-lane proof with on-chain verification")
- Status — PASS or FAIL, with timing data
- Evidence — transaction hashes, contract addresses, API response excerpts, proof artifacts
- Chain — which network the verification happened on
A fully passing report (14/14) means the entire proof pipeline — from EZKL inference through Garaga verification through Madara settlement — is operational at the time of the run.
Programmatic Access
The same data is available as JSON:
GET https://zkde.fi/test?format=jsonOr run the showcase script directly:
python3 scripts/hackathon_backend_showcase.py \
--base-url http://127.0.0.1:8003 \
--emit-report --emit-report-force --judge-modeThis generates artifacts/hackathon_showcase/latest.html and latest.json.
Every claim in this submission and these docs is verifiable at zkde.fi/test.
Next: The Primitive | Proof Pipeline | Deployed Contracts