Skip to content
#

stark-proofs

Here are 2 public repositories matching this topic...

Language: All
Filter by language

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.

  • Updated Sep 7, 2026
  • HTML

Add this topic to your repo

To associate your repository with the stark-proofs topic, visit your repo's landing page and select "manage topics."

Learn more