BitVM / garbled-snark-verifierLinks
☆17Updated this week
Alternatives and similar repositories for garbled-snark-verifier
Users that are interested in garbled-snark-verifier are comparing it to the libraries listed below
Sorting:
- Helper lib to write complex bitcoin scripts☆21Updated 2 months ago
- ☆19Updated 3 months ago
- Bitcoin ZK client written in Cairo.☆97Updated this week
- Libraries and primitives for Bitcoin, written in Zig.☆17Updated last year
- Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation☆215Updated this week
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆54Updated 3 years ago
- Weighted Schnorr Threshold Signatures☆34Updated last month
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Updated last year
- Bitcoin Script interpreter implemented in Rust☆51Updated 9 months ago
- Collection of mathematics routines and cryptography for the twenty-first century☆85Updated last week
- Building blocks of a Circle STARK verifier in Bitcoin script☆153Updated 2 weeks ago
- Zero Knowledge Proof for Schnorr☆13Updated 7 months ago
- STARK verifier written in SimplicityHL language☆19Updated 2 weeks ago
- Threshold ECDSA via Triples☆81Updated last year
- Rust implementation of the Alpen protocol☆79Updated this week
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆15Updated 11 months ago
- Flexible Rust implementation of the MuSig2 multisignature protocol, compatible with Bitcoin.☆39Updated 2 months ago
- Composable proof transcripts for public-coin arguments of knowledge