NethermindEth / stwo-gpuLinks
☆20Updated 6 months ago
Alternatives and similar repositories for stwo-gpu
Users that are interested in stwo-gpu are comparing it to the libraries listed below
Sorting:
- Frobenius sumcheck for vectorized boolean ops☆56Updated 8 months ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆76Updated 3 weeks ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 9 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 11 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆131Updated this week
- ☆46Updated last month
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆42Updated 4 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆75Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- barretenburg in rust (here we go)☆99Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆38Updated last month
- Proof system backends for OpenVM.☆31Updated this week
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆88Updated 3 months ago
- A ZK-VM for the Brainfuck language, based on Stwo☆33Updated 9 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Verifiable FHE with GKR☆27Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Benchmark of ZKVMs and Proving Schemes☆31Updated last month
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year
- Crypto Gadgets for Plonky2☆77Updated last year
- Workbook for Introduction to Programmable Cryptography☆34Updated 8 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆40Updated 10 months ago
- For practice to using halo2☆23Updated 2 years ago
- ☆63Updated last month
- A monorepo of reusable Noir circuits.☆47Updated 4 months ago
- ZK proofs for image authenticity☆49Updated 3 months ago
- SMT 2023 Submission; license pending☆56Updated last year
- A library for fast NTTs over the Goldilocks prime field☆80Updated last year