Categories › Security › Pentest & threat intel
Prove a hidden value reached a threshold without revealing the value.
Remote server: your requests and data go to rta.lat. Claude Code: claude mcp add --transport http rta-zero-knowledge-proof-of-a-threshold https://rta.lat/mcp · Claude app: Settings → Connectors → Add custom connector.
The tools this server listed when we connected to it, in its own words.
list_predicates — List the thresholds ṚTA can prove: for each predicate, the name, the threshold value, the circuit size and a plain-language label. Use beforverify_proof — Verify a Groth16 zero-knowledge proof that a hidden value reached a threshold — for example 'the account balance is at least 1000'. The veriNot tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.