BitVM / garbled-snark-verifierLinks
☆20Updated 2 months ago
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
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Updated last year
- Collection of mathematics routines and cryptography for the twenty-first century☆95Updated 2 weeks ago
- Bitcoin ZK client written in Cairo.☆113Updated 2 months ago
- Weighted Schnorr Threshold Signatures☆34Updated 3 weeks ago
- ☆20Updated 3 months ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16Updated 9 months ago
- Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation☆238Updated last week
- Fiat-Shamir for the masses.☆87Updated last month
- Bitcoin Script interpreter implemented in Rust☆53Updated last month
- Rust implementation of the Alpen protocol☆92Updated this week
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆54Updated 3 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆52Updated last year
- Practical implementation of the BitVM2 protocol☆14Updated last year
- Writing tasm with Rust syntax☆16Updated 8 months ago
- STARK verifier written in SimplicityHL language☆19Updated 4 months ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆159Updated 2 months ago
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Updated last year
- A domain-specific language for writing AIR constraints for STARKs☆94Updated this week
- Groth16 over ICICLE☆43Updated 6 months ago
- LegoGroth16 implementation on top of Zexe☆25Updated 4 years ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Updated last year
- Polymath: Groth16 Is Not The Limit☆31Updated last year
- Windowed big integer multiplication implementation on Bitcoin Script☆14Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆164Updated last year
- Testudo: Spartan + Groth16☆53Updated last year
- Libraries and primitives for Bitcoin, written in Zig.☆19Updated last year
- Implementation of the Zcash Orchard Protocol☆64Updated 2 months ago
- ☆41Updated 2 years ago