chainwayxyz / risc0-to-bitvm2Links
☆20Updated last month
Alternatives and similar repositories for risc0-to-bitvm2
Users that are interested in risc0-to-bitvm2 are comparing it to the libraries listed below
Sorting:
- Helper lib to write complex bitcoin scripts☆21Updated 2 weeks ago
- Delve into low-level RISC Zero machine☆28Updated last year
- A "Type 0" zkEVM☆12Updated 4 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- implentation of Ligerito☆19Updated 3 weeks ago
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 5 months ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
- ☆15Updated last year
- ☆19Updated this week
- ☆24Updated 2 years ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆25Updated 3 months ago
- Cryptography libraries for ZKsync☆36Updated last month
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Updated last year
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆54Updated 3 years ago
- ☆23Updated 5 months ago
- Witness encryption for KZG openings☆31Updated last year
- ☆31Updated 7 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- An observatory fork of SP1☆75Updated 9 months ago
- We're living in Obfustopia☆27Updated 11 months ago
- A parallel proving service for ZKM.☆22Updated this week
- ☆30Updated 2 years ago
- RLN on KZG☆21Updated 2 years ago
- ☆14Updated 2 years ago
- Libraries and primitives for Bitcoin, written in Zig.☆17Updated last year
- Rust library for accumulation schemes☆25Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 9 months ago
- ☆42Updated 4 years ago