Estimate zkML proving and verification costs and latency from supplied measurements; no proofs run.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
Retrieve a public tool reference by the ID returned from search. Contains methodology, limits, official source links and fictional worked examples; no user records. Cite the returned canonical URL.
Retrieve a public tool reference by the ID returned from search. Contains methodology, limits, official source links and fictional worked examples; no user records. Cite the returned canonical URL.
| Argument | Type | Description |
|---|---|---|
| id* | string |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"id"
],
"properties": {
"id": {
"enum": [
"proof"
],
"type": "string"
}
},
"additionalProperties": false
}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. No ZK proof generation or cryptographic verification. File hashing verifies bytes only; it is not proof of model correctness. Retrieve proof with fetch or read its example resource to obtain exact inputs. Parameters are processed remotely without application persistence.
| Argument | Type | Description |
|---|---|---|
| jobs* | number | Jobs |
| verifyMs* | number | Verification time (ms) |
| budgetUsd* | number | Budget (USD) |
| inputHash* | string | Input Hash (preserve source text; decimal amounts must stay strings) |
| modelHash* | string | Model Hash (preserve source text; decimal amounts must stay strings) |
| statement* | string | Statement (preserve source text; decimal amounts must stay strings) |
| proofBytes* | number | Proof size (bytes) |
| gasPerVerify* | number | Gas per verification |
| gasPriceGwei* | number | Gas Price Gwei |
| proveSeconds* | number | Proving time (seconds) |
| nativePriceUsd* | number | Native token price (USD) |
Search this server’s public AI/Web3 tools and citation pages. English and Chinese names supported. Empty query lists the available worksheets.
| Argument | Type | Description |
|---|---|---|
| query* | string |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"query"
],
"properties": {
"query": {
"type": "string",
"maxLength": 160
}
},
"additionalProperties": false
}| verifierVersion* | string | Verifier Version (preserve source text; decimal amounts must stay strings) |
| computeHourlyUsd* | number | Proving compute (USD/hour) |
| latencySlaSeconds* | number | Latency target (seconds) |
| verificationKeyHash* | string | Verification Key Hash (preserve source text; decimal amounts must stay strings) |
{
"type": "object",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"required": [
"statement",
"modelHash",
"inputHash",
"verificationKeyHash",
"verifierVersion",
"jobs",
"proveSeconds",
"verifyMs",
"proofBytes",
"gasPerVerify",
"gasPriceGwei",
"nativePriceUsd",
"computeHourlyUsd",
"budgetUsd",
"latencySlaSeconds"
],
"properties": {
"jobs": {
"type": "number",
"description": "Jobs"
},
"verifyMs": {
"type": "number",
"description": "Verification time (ms)"
},
"budgetUsd": {
"type": "number",
"description": "Budget (USD)"
},
"inputHash": {
"type": "string",
"maxLength": 131072,
"description": "Input Hash (preserve source text; decimal amounts must stay strings)"
},
"modelHash": {
"type": "string",
"maxLength": 131072,
"description": "Model Hash (preserve source text; decimal amounts must stay strings)"
},
"statement": {
"type": "string",
"maxLength": 131072,
"description": "Statement (preserve source text; decimal amounts must stay strings)"
},
"proofBytes": {
"type": "number",
"description": "Proof size (bytes)"
},
"gasPerVerify": {
"type": "number",
"description": "Gas per verification"
},
"gasPriceGwei": {
"type": "number",
"description": "Gas Price Gwei"
},
"proveSeconds": {
"type": "number",
"description": "Proving time (seconds)"
},
"nativePriceUsd": {
"type": "number",
"description": "Native token price (USD)"
},
"verifierVersion": {
"type": "string",
"maxLength": 131072,
"description": "Verifier Version (preserve source text; decimal amounts must stay strings)"
},
"computeHourlyUsd": {
"type": "number",
"description": "Proving compute (USD/hour)"
},
"latencySlaSeconds": {
"type": "number",
"description": "Latency target (seconds)"
},
"verificationKeyHash": {
"type": "string",
"maxLength": 131072,
"description": "Verification Key Hash (preserve source text; decimal amounts must stay strings)"
}
},
"description": "Exact record structure; the engine additionally checks bounds, dates, identifiers and cross-field constraints.",
"additionalProperties": false
}