Proof Plan

zkML cost calculator

Make the proof budget explicit.

Plan a zkML handoff with measured proving time, verification cost and a pinned model/input/key manifest.

Use my own records

Local processing · No account · No wallet connection

What would you like to check?

Choose a fictional scenario to run it immediately, then change the assumptions.

Explore the calculations and common mistakes

Make it your own

Edit the form or import the example-shaped JSON. Input reference

Edit the inputs

Inputs stay in this tab and clear on reload. No automatic upload or wallet access. Maximum 128 KiB.

Report text for manual copy

Fingerprint a local artifact

SHA-256 of a file up to 10 MiB. This confirms bytes only; it does not verify a ZK proof.

From your records to a reviewable result

  1. Measure the intended model using an established prover such as EZKL.
  2. Pin model, input and verification-key hashes; record tool version and statement.
  3. Review the budget, then verify the actual proof with the established verifier and trusted key.
Read the method and example

Where this tool fits

A pre-integration worksheet connecting the exact declared artifacts, job count, latency and economic assumptions in a portable handoff.

Scope: No ZK proof generation or cryptographic verification. File hashing verifies bytes only; it is not proof of model correctness.

zkML 部署与证据清单：可直接使用表单，也可导入 JSON。先运行虚构示例理解结果，再切换到自己的材料。输入仅在当前页面处理。查看中文说明。

Compare with established tools

Use a real prover/verifier for cryptographic assurance. This site addresses planning and artifact review only; it cannot replace EZKL, snarkjs or a security review.

Official product descriptions reviewed 19 September 2026. These are alternatives, not partners or endorsements.

  • EZKL

    Converts ONNX model computations into circuits and provides proof generation and verification.

  • snarkjs

    JavaScript/WASM tools for established SNARK proving and verification workflows.

What does Proof Plan do?

Proof Plan estimates proving compute and onchain verification costs from your own measurements. It checks a per-job latency target and preserves model, input and verification-key hashes. It plans an integration; it does not generate or verify a zero-knowledge proof.

By the AGI Scorecard team. Method and sources reviewed . Read the method.

Questions before you start

Does a matching file hash verify a zkML proof?

No. A hash helps identify bytes. Proof verification requires an appropriate verifier, verification key and statement. Use established proving tools and check their trust assumptions.

Is Proof Plan free, and do I need a wallet?

All current functions are free beta. No account, wallet connection, subscription or model API key is needed. No ZK proof generation or cryptographic verification. File hashing verifies bytes only; it is not proof of model correctness.

Can I use my own records and keep them private?

Yes. Enter records, import JSON or paste CSV into record groups. Inputs and comparison snapshots stay in this browser tab. Share-example links contain only a public scenario name. Review downloaded reports before sharing your records.

Continue your review

Compute LensBring measured workloads and account for setup, egress, storage and failed outputs before choosing compute.Data PermitCheck intended AI use against recorded grants, expiry and regions, then model a revenue split without moving funds.

Use this workflow in your AI assistant

Connect the MCP server to read sources and run these calculations from a supported client. Remote calls send parameters to the server; the browser worksheet remains local.

Get the MCP connection and citation guide