Zkvm-Hosting

CodesbyFebin/Zkvm-Hosting

★ 0 stars JavaScript Code/Dev Tools Updated 6d ago

A real STARK-provable zero-knowledge virtual machine (Rust + Winterfell): conditional branching, a register file, an MCP server, on-chain attestation, and a CI proof gate.

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": {
    "zkvm-hosting": {
      "command": "npx",
      "args": [
        "-y",
        "CodesbyFebin/Zkvm-Hosting"
      ]
    }
  }
}

README Excerpt

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). It executes `ADD`/`SUB`/`MUL` programs with real conditional control flow (`JZ`/`JNZ`) and a small fixed register file (`LOAD`/`STORE`), and produces a STARK proof that a

Topics

blockchaincrypto-donationscryptographyfoundrygitcoin-grantsmcpmodel-context-protocolpublic-goods-fundingrustsoliditystarkwinterfellzero-knowledgezero-knowledge-proofszkvm

Zkvm-Hosting

Quick Install

README Excerpt

Topics

Related Code/Dev Tools Servers