rust-stark-zkvm

CodesbyFebin/rust-stark-zkvm

★ 1 stars HTML API Integration Updated 5d ago

Open-source Rust zkVM for STARK-based verifiable computation, powered by Winterfell. Custom VM ISA with branching and registers, STARK prover/verifier, CLI, MCP server, HTTP proving API, CI proof gates, and on-chain attestation.

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "rust-stark-zkvm": {
      "command": "npx",
      "args": [
        "-y",
        "CodesbyFebin/rust-stark-zkvm"
      ]
    }
  }
}

README Excerpt

www.zkvm.host STARK-Verifiable Virtual Machine for Provable Computation <img width="1983" height="793" alt="banner" src="https://github.com/user-attachments/assets/ebc8ee07-ed22-410a-b7ed-cb57967f8a0e" /> A small, real zero-knowledge virtual machine: an interpreter, a STARK arithmetization (AIR), and a prover/verifier built on [Winterfell](https://github.com/facebook/winterfell).

Topics

blockchaincrypto-donationscryptographyfoundrygitcoin-grantsmcpmcp-servermodel-context-protocolproverpublic-goods-fundingrustsoliditystarkstark-proofsverifiable-computation

rust-stark-zkvm

Quick Install

README Excerpt

Topics

Related API Integration Servers