Mudra — hash-chain sealed zero-knowledge virtual machine
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
A comprehensive CLI tool for ZisK zkVM development with full macOS support. Features project initialization, building, execution, proof generation, environment diagnostics, and project management. This is a personal tool for testing and learning - not an
Bonsai lets users generate proofs for their zkVM applications, without using their own hardware for proof generation. Users specify which zkVM application they want to run, as well as the inputs to that program, and Bonsai returns a proof.
Model Context Protocol (MCP) server for RISC Zero documentation - enables AI assistants to access zkVM docs programmatically
TypeScript SDK for BNB ZKID.
Halo 2 Anonymous Authentication - Standalone ZK proof library for web integration
Automata DCAP Attestation EVM contracts and ABIs.
Verifier for RISC Zero receipts. See also risc-zero-verifier-react for a UI component.
Primus PoR client sdk
Verifier for RISC Zero receipts. See also risc-zero-verifier for a package with no UI component.
Automata DCAP Attestation Solidity contracts for EVM chains
TypeScript SDK for BNB ZKID.
No description provided.
Biome is a toolchain for the web: formatter, linter and more
zkFetch using zkTLS is a system that enables verifiable fetching of HTTPS data using zero-knowledge proofs (ZKPs). It ensures that the response from a remote TLS server (like a Web2 API) is authentic, integrity-preserved, and can be publicly verified—with
zkFetch using zkTLS is a system that enables verifiable fetching of HTTPS data using zero-knowledge proofs (ZKPs). It ensures that the response from a remote TLS server (like a Web2 API) is authentic, integrity-preserved, and can be publicly verified—with
zkFetch using zkTLS is a system that enables verifiable fetching of HTTPS data using zero-knowledge proofs (ZKPs). It ensures that the response from a remote TLS server (like a Web2 API) is authentic, integrity-preserved, and can be publicly verified—with
Risc Zero
Risc Zero
A blockchain VM with cloaked transactions and zero-knowledge smart contracts
RISC Zero zero-knowledge VM
Rational number arithmetic using crypto-bigint
Pure logic crate for Saorsa network - zkVM compatible, no_std
host for zkvm
RISC Zero zero-knowledge VM guest crate
The SP1 zkVM runtime and standard library
C3 ZKVM is a virtual machine implementation based on the Little Computer 3 (LC3) architecture, enhanced with zero-knowledge proof capabilities.
CLI for Neo zkVM script execution, proving, and verification
SP1-backed proof generation for Neo zkVM
Proof verification utilities for Neo zkVM
newton protocol core sdk