distributed-lab / bitcoin-window-mulLinks
Windowed big integer multiplication implementation on Bitcoin Script
☆14Updated 9 months ago
Alternatives and similar repositories for bitcoin-window-mul
Users that are interested in bitcoin-window-mul are comparing it to the libraries listed below
Sorting:
- A curated list of awesome things related to learning Binius☆13Updated 7 months ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆26Updated last year
- Bitcoin ZK client written in Cairo.☆74Updated last week
- ☆58Updated 3 months ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆37Updated this week
- Gadgets for covenants: Schnorr trick and txid reflection☆17Updated 4 months ago
- Writing tasm with Rust syntax☆14Updated 3 months ago
- Rust Code for CELPC☆20Updated 5 months ago
- Bulletproofs++ implementation on Rust☆25Updated last year
- ☆41Updated this week
- Building blocks of a Circle STARK verifier in Bitcoin script☆154Updated last week
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆13Updated last year
- a lattice lib for building snarks☆21Updated last year
- A lattice-based non-interactive folding scheme written in Rust☆101Updated this week
- ☆51Updated last year
- Bulletproofs++ implementation on Go☆26Updated last year
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆15Updated 7 months ago
- ☆29Updated 2 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆62Updated 9 months ago
- A library for lattice-based multiparty homomorphic encryption in Go☆13Updated 8 months ago
- Polymath: Groth16 Is Not The Limit☆29Updated 6 months ago
- STARK verifier written in SimplicityHL language☆20Updated last month
- Implementation for https://eprint.iacr.org/2025/1300☆32Updated last week
- Spartan: High-speed zkSNARKs without trusted setup☆113Updated last week
- Building Zero Knowledge Proof from Scratch in Rust☆42Updated last week
- Bitcoin Script VM in Cairo☆72Updated 3 months ago
- A domain-specific language for writing AIR constraints for STARKs☆89Updated last week
- ☆76Updated 7 months ago
- A STARK proof of Bitcoin's header chain☆41Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆43Updated 3 months ago