chainwayxyz / risc0-to-bitvm2Links
☆19Updated 3 months ago
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 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 3 months ago
- implentation of Ligerito☆20Updated 4 months ago
- ☆18Updated last week
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Updated last year
- Delve into low-level RISC Zero machine☆28Updated last year
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- Pessimistic proof for the AggLayer.☆28Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 7 months ago
- Rust implementation of the Alpen protocol☆79Updated last week
- A "Type 0" zkEVM☆12Updated 2 months ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆25Updated last month
- Witness encryption for KZG openings☆28Updated 10 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 2 years ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16Updated 5 months ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆17Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- ☆31Updated 5 months ago
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆20Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 2 years ago
- ☆30Updated 2 years ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆54Updated 3 years ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Updated 2 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Updated 2 months ago
- ☆14Updated 2 years ago
- Vectorized AVX-512 256-bit arithmetic library☆34Updated last year