TinyZKP

by logannye

175 downloads

Not rated

GitHub

About

A height-compressed, sublinear-space STARK prover. Designed to make very long zero-knowledge proofs practical on fixed-memory hardware (CPUs, GPUs, & edge devices). Post-quantum. Built in Rust.

Details

Author: logannye
Downloads: 175
Categories: Developer Tools, Other, Security, AI, Knowledge Base

- O(√T) prover memory vs standard STARK O(T) — ≈4,096× reduction measured
- Verification in polylog time, always free
- Transparent (no trusted setup) and post-quantum (hash-based)
- SDKs for Python, TypeScript, and Rust
- MCP server for native AI agent integration (Claude, GPT, Cursor)
- Browser WASM verifier with no server or API key required

Setting up with Highlight

This MCP is not yet compatible with Highlight’s one-click setup. However, you can still use it with Highlight by following these steps:

Download and install Highlight from highlightai.com/download
Navigate to the plugins tab and select "Add Custom Plugin"
Configure the plugin with the settings below

Plugin Name TinyZKP

Command (node, npx, python, etc.)

Please refer to the README for specific instructions on how to obtain API keys or other required environment variables.
Enable "Start Automatically" if you want the plugin to start when Highlight launches

Setting up with Cursor

Open Cursor's settings
Navigate to the MCP section
Click "Add new Global MCP server"
Copy and paste the configuration below based on your operating system

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

Setting up with Claude Desktop

Open Claude Desktop's settings
Go to the Integrations tab
Click "Add MCP Server"
Use the configuration below based on your operating system

Note: Make sure Claude Desktop is running before attempting to connect.

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

Setting up with Windsurf

Open Windsurf's preferences
Go to the Integrations section
Click "Add MCP Integration"
Use the configuration below based on your operating system

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

Setting up with Cline

Open Cline's settings
Navigate to the Integrations section
Click "Add MCP Server"
Copy and paste the configuration below based on your operating system

Note: Make sure to restart Cline after adding the configuration.

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

Setting up with Goose

Open Goose's preferences
Go to the Integrations tab
Select "MCP Servers"
Click "Add New Server"
Use the configuration below based on your operating system

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

JSON

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

From the repository

Install the MCP server for AI agents (Claude, GPT, Cursor) via claude mcp add --transport http tinyzkp https://mcp.tinyzp.com, then call its proof tools as native function calls. Alternatively, use the terminal CLI via npx @tinyzp/cli or the plain HTTP API at https://api.tinyzzp.com with an API key from tinyzzp.com/signup. Verification is always free and works in the browser via the WASM package @tinyzzp/verify.

Claude Desktop / Cursor

Paste into your MCP client config file to install this server.

{
    "mcpServers": {
        "tinyzkp": {
            "tinyzkp": {
                "type": "http",
                "url": "https://mcp.tinyzkp.com"
            }
        }
    }
}

McpServers

{
    "tinyzkp": {
        "type": "http",
        "url": "https://mcp.tinyzkp.com"
    }
}

TinyZKP — Proof Receipts for Agents, APIs, and State Transitions

tinyzkp.com · Try it in browser · API docs · Free signup

Mint a tamper-evident proof that a state-transition chain is consistent — start at X, apply these steps, provably reach Y — so an agent (or any caller) can hand over a verifiable receipt instead of "trust me." One MCP install. One API call. Verify in milliseconds. No cryptography degree required.

Three ways to start in under a minute

1. Try in browser, no signup

Mint and verify a real ZK proof at tinyzkp.com/try — type a value, hit Generate, hit Verify. Result in ~2 seconds.

2. Native install for AI agents (Claude Code)

claude mcp add --transport http tinyzkp https://mcp.tinyzkp.com

Your agent now has 10 state-transition proof tools (list_templates, describe_template, prove_template, poll_job, get_proof, verify_proof, ...) as native function calls. No signup, no API key, no credit card — the MCP endpoint is public and rate-limited via a server-side concurrency cap. For Claude Desktop, Cursor, OpenAI agents, and other MCP clients, see the MCP install guide.

Discovery via Smithery works the same way — the directory routes through Smithery's gateway to the same endpoint.

If you want Claude to recognize when a use case calls for a proof on its own (not just respond to "use TinyZKP"), install the companion Claude Skill at skills/tinyzkp-proofs/.

3. Terminal CLI (works against any TinyZKP API key)

npx @tinyzkp/cli templates                                # list available templates
npx @tinyzkp/cli prove accumulator_step '{"initial":1000,"final":1045,"deltas":[10,20,15]}' --wait
npx @tinyzkp/cli verify proof.json                        # always free

@tinyzkp/cli is a zero-dependency Node 18+ ESM package. See clients/cli/README.md for the full command reference.

What you can prove

| Template | What it proves | Typical use |
|----------|---------------|-------------|
| accumulator_step | "Starting at X, applying these deltas reaches Y" | State machine attestation, audit-log checkpoints |

More proof types are in development.

Two-line plain HTTP version

```bash
curl -X POST https://api.tinyzkp.com/prove/template/accumulator_step \
-H "Authorization: Bearer tzk_..." \
-H "Content-Type: application/json" \
-d '{"params":{"initial":1000,"final":1045,"deltas":[10,20,15]}}'

No reviews yet — be the first

Use Google, GitHub, or an email account so ratings stay tied to real people.

Email sign in

No reviews posted yet.

About

Details

Jump to

Setting up with Highlight

From the repository

Claude Desktop / Cursor

McpServers

TinyZKP — Proof Receipts for Agents, APIs, and State Transitions

Three ways to start in under a minute

1. Try in browser, no signup

2. Native install for AI agents (Claude Code)

3. Terminal CLI (works against any TinyZKP API key)

What you can prove

Two-line plain HTTP version

Install

More like this

Sequential Thinking

Sentry

Github

Filesystem

EverArt

Google Drive