chainwayxyz / risc0-to-bitvm2Links
☆19Updated 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☆23Updated this week
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- Delve into low-level RISC Zero machine☆27Updated last year
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆27Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- A "Type 0" zkEVM☆12Updated 2 weeks ago
- ☆25Updated 2 weeks ago
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- ☆16Updated last week
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- ☆21Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated last month
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 4 months ago
- STARK book☆20Updated 10 months ago
- ☆24Updated last year
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆55Updated 2 years ago
- plonky2 implementation of bn254 pairing☆18Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated 2 years ago
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆23Updated last year
- RLN on KZG☆20Updated last year
- ECDSA gadgets for plonky2☆19Updated last year
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Updated last year
- Explorations on mobile-first GPU acceleration, currently support MSM.☆21Updated 3 weeks ago
- A list of worth-reading articles about Cryptohraphy☆16Updated last year
- A curated list of rust articles worth reading☆23Updated 2 years ago
- We're living in Obfustopia☆27Updated 7 months ago
- [wip] implementing origami VDF☆13Updated 2 years ago
- ☆10Updated 2 years ago
- Rust implementation of the Alpen protocol☆77Updated this week