chainwayxyz / risc0-to-bitvm2
☆14Updated this week
Alternatives and similar repositories for risc0-to-bitvm2:
Users that are interested in risc0-to-bitvm2 are comparing it to the libraries listed below
- Helper lib to write complex bitcoin scripts☆18Updated last month
- ☆13Updated this week
- Pessimistic proof for the AggLayer.☆26Updated 7 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- ☆19Updated this week
- Implementation of bulletproofs++ in rust☆15Updated last year
- This library is archived; see crypto-primities for the latest version of this code☆22Updated 2 years ago
- Delve into low-level RISC Zero machine☆27Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- Libraries and primitives for Bitcoin, written in Zig.☆18Updated 5 months ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- Modern, lightweight & standard-compliant bitcoin wallet runtime & cli without rust-bitcoin dependencies☆18Updated this week
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- Fun with MuSig2 and Ledger devices 🎵☆13Updated 2 months ago
- Examples of covenants in Bitcoin script☆15Updated 4 months ago
- powdr application running Ethereum tests via revm☆17Updated 7 months ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 3 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- plonky2 implementation of bn254 pairing☆18Updated last year
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆19Updated 5 months ago
- ☆11Updated last year
- ☆23Updated last year
- ☆16Updated last year
- ☆28Updated 4 months ago
- ☆12Updated last year
- Plonkish Nova implementation along with advanced features☆15Updated last year
- ☆14Updated 3 years ago
- ☆18Updated last week