BitVM / garbled-snark-verifierLinks
☆20Updated last month
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 last month
- Practical implementation of the BitVM2 protocol☆13Updated last year
- Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation☆236Updated this week
- Bitcoin ZK client written in Cairo.☆112Updated last month
- Collection of mathematics routines and cryptography for the twenty-first century☆95Updated this week
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆54Updated 3 years ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Updated last year
- ☆20Updated 2 months ago
- Weighted Schnorr Threshold Signatures☆34Updated 4 months ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆158Updated last month
- Libraries and primitives for Bitcoin, written in Zig.☆17Updated last year
- Fiat-Shamir for the masses.☆86Updated 3 weeks ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16Updated 8 months ago
- A domain-specific language for writing AIR constraints for STARKs☆93Updated 2 weeks ago
- Bitcoin Script interpreter implemented in Rust☆52Updated last month
- Implementation of the Zcash Orchard Protocol☆64Updated last month
- An advanced fork of Nova (contact:@huitseeker)☆87Updated 10 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Updated 2 years ago
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆163Updated last year
- Windowed big integer multiplication implementation on Bitcoin Script☆14Updated last year
- Rust implementation of the Alpen protocol☆90Updated this week
- Powering Verifiable Computation for Nostr Data Vending Machines.☆24Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆52Updated last year
- STARK verifier written in SimplicityHL language☆19Updated 3 months ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆65Updated 4 months ago
- Spartan: High-speed zkSNARKs without trusted setup☆121Updated 2 months ago
- A lattice-based non-interactive folding scheme written in Rust☆116Updated last month
- Writing tasm with Rust syntax☆15Updated 8 months ago
- Threshold ECDSA via Triples☆83Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆70Updated 2 months ago