boundless-xyz / risc0-solanaView external linksLinks
☆43Oct 24, 2025Updated 3 months ago
Alternatives and similar repositories for risc0-solana
Users that are interested in risc0-solana are comparing it to the libraries listed below
Sorting:
- groth16 verifier implementation with solana altbn syscalls☆58Oct 25, 2025Updated 3 months ago
- solana + risc0☆92Jan 19, 2026Updated 3 weeks ago
- ☆33Aug 14, 2025Updated 6 months ago
- A simple benchmark of SVM entrypoints.☆12Aug 9, 2025Updated 6 months ago
- A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana☆19Oct 10, 2024Updated last year
- Low latency pricing oracle for ephemeral rollups☆23Jan 20, 2026Updated 3 weeks ago
- zero-knowledge execution of eBPF bytecode☆94Jun 29, 2023Updated 2 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆88Jan 7, 2026Updated last month
- Efficient cryptographic primitives for arbitrary cryptography on Secp256k1 in SVM☆22Nov 22, 2024Updated last year
- Solmaps☆20Apr 17, 2024Updated last year
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 10 months ago
- Sologger is a group of libraries and binaries that can be used to parse raw logs emitted from a Solana RPC into structured logs and trans…☆20Jan 14, 2026Updated last month
- Solana list of zk shiz☆26Dec 14, 2023Updated 2 years ago
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 2 months ago
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆27Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Feb 10, 2026Updated last week
- ☆10Sep 29, 2024Updated last year
- ☆13Aug 15, 2024Updated last year
- Testing framework for SVM programs & integrations☆12Dec 5, 2024Updated last year
- ☆12Aug 19, 2024Updated last year
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- High TPS Solana client powered by Rakurai.☆13Sep 27, 2024Updated last year
- ☆12Sep 18, 2024Updated last year
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and wi…☆36Jun 3, 2025Updated 8 months ago
- ☆28Dec 20, 2023Updated 2 years ago
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 7 months ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆29May 30, 2025Updated 8 months ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 5 months ago
- ☆15Dec 27, 2023Updated 2 years ago
- Repository for building optimized Solana native program thinking in low CU is the best☆17Dec 4, 2024Updated last year
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 8 months ago
- Verify JWTs using SNARK circuits☆29Jul 15, 2024Updated last year
- ☆56Sep 16, 2025Updated 5 months ago
- ☆30Nov 26, 2024Updated last year
- The ZK Compression Protocol For Solana☆318Updated this week
- SVM program test harness☆270Updated this week