rust-stark-zkvm
Small STARK VM with arithmetic, forward branches, a fixed register file, Winterfell proving, and HTTP/MCP interfaces. The current verifier re-executes public programs; private witnesses and general-purpose execution are outside the documented scope.
What to inspect
Review instruction semantics, AIR constraints, proof binding, and tamper tests together. A useful first experiment changes the claimed result or program and confirms rejection. Keep the attested on-chain demo distinct from a fully on-chain STARK verifier.
Source and review status
Inspect the repository. This project is listed as Source documented. Metadata was reviewed on 3 October 2026. The GitHub record shows 1 stars and 0 forks in this dated snapshot. Those counts are not a quality score or a guarantee of future activity.
The portfolio does not execute this repository's runtime during its website build. Use the current source, test suite, configuration, and deployment evidence to assess the capability that matters for your environment.
Related reading
Selected systems explains architecture boundaries. Technical specifications covers state, evidence, and negative controls. Contribution workflow explains how to propose a focused correction. Return to the project directory to compare source surfaces.
Related repositories
- awesome-zkvm reference — Fork