Proof Generation
Dual-proof architecture: STARK (trustless) + Groth16 (on-chain verifiable). Partial success is valid.
Dual-proof (STARK + Groth16) with privacy-preserving options. Early-stage stack.
JediSwap Metrics
Ekubo Metrics
Dual-Proof Architecture
STARK (Stone/Integrity) — Trustless verification via transparent setup. Proof verified by Starknet node via call_contract. Fact registered in ObsqraFactRegistry (~5K steps). Cannot invoke on-chain directly (exceeds 10M step limit).
Groth16 (Circom/Garaga) — On-chain verifiable via Garaga verifier contract (fits within 10M step limit). Requires trusted setup, but the STARK binding neutralizes this: the STARK fact_hash is a public input in the Groth16 proof, tying both together.
Partial success — Either proof system succeeding independently is a valid result. Both succeeding gives the strongest guarantee: trustless verification + on-chain verifiability.