Prove a hidden value reached a threshold without revealing the value.
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.
List the thresholds ṚTA can prove: for each predicate, the name, the threshold value, the circuit size and a plain-language label. Use before generating a proof, so the agent knows which statement it can prove without revealing the underlying value.
This tool takes no arguments.
List the thresholds ṚTA can prove: for each predicate, the name, the threshold value, the circuit size and a plain-language label. Use before generating a proof, so the agent knows which statement it can prove without revealing the underlying value.
No arguments.
{
"type": "object",
"properties": {},
"additionalProperties": false
}Verify a Groth16 zero-knowledge proof that a hidden value reached a threshold — for example 'the account balance is at least 1000'. The verifier learns that the threshold is met and never learns the value: the public signals are empty by construction. Returns whether the proof is valid, the predicate, and what the proof does NOT disclose. Use when a counterparty must show a threshold was met without revealing the number. A one-time nonce is required so the same proof cannot be replayed.
| Argument | Type | Description |
|---|---|---|
| nonce* | string | One-time nonce obtained from POST /v1/nonce. |
| proof* | object | The Groth16 proof as produced by snarkjs. |
| predicate* | string | Which predicate the proof is for, e.g. balance_threshold. |
| public_signals | array | Public signals of the proof (usually empty: that is the point). |
{
"type": "object",
"required": [
"predicate",
"proof",
"nonce"
],
"properties": {
"nonce": {
"type": "string",
"description": "One-time nonce obtained from POST /v1/nonce."
},
"proof": {
"type": "object",
"description": "The Groth16 proof as produced by snarkjs."
},
"predicate": {
"type": "string",
"description": "Which predicate the proof is for, e.g. balance_threshold."
},
"public_signals": {
"type": "array",
"description": "Public signals of the proof (usually empty: that is the point)."
}
},
"additionalProperties": false
}