Live deployments
EZKL and Circom stacks are deployed on Ethereum Sepolia with verified score submissions and consumer policy updates.
RiskOracle · RiskConsumer · verifier adapters
Zyocra
Verifiable risk oracle · Sepolia testnet live
Prove inference.
Publish score.
Adjust collateral.
Zyocra is a benchmark-driven zkML oracle for DeFi. It compares compiler-generated EZKL circuits against a hand-optimized Circom LoRA head on the same hidden-to-logit statement, verifies scores on EVM, and updates mock lending policy by risk bucket. Local-first. No paid infra required for the default path.
106 vs 90PLONK rows vs R1CS (head)
28.2s vs 1.9sMedian prove (n=10)
536k vs 251kStandalone verify gas
4 jobsGitHub Actions CI
Epoch pipeline
Commitmodel + adapter hash
ProveEZKL or Circom
VerifyHalo2 / Groth16
OraclesubmitScore
Applycollateral policy
Stack
Monorepo spanning ML export, dual zk paths, Foundry contracts, benchmark harness, Operator API, and Vite UI.
ml-base · circuits-baseline · circuits-custom · contracts · benchmarks · operator · frontend
Primary benchmark claim: matched EZKL head vs Circom head. Full-graph EZKL is a separate system workload.