Windowed big integer multiplication implementation on Bitcoin Script
☆14Nov 27, 2024Updated last year
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:
- Practical implementation of the BitVM2 protocol☆14Dec 24, 2024Updated last year
- Bulletproofs++ implementation on Rust☆25Jun 20, 2024Updated last year
- ☆11Sep 10, 2024Updated last year
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆14May 26, 2024Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- ☆16May 14, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- A curated list of awesome things related to learning Binius☆17Jan 9, 2025Updated last year
- Hardhat plugin to deeply compare smart contracts☆16Mar 12, 2024Updated last year
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16May 4, 2025Updated 10 months ago
- ZK Benchmarking Suite☆23Mar 15, 2024Updated last year
- ☆19Aug 15, 2024Updated last year
- Rust crypto library for zero-knowledge proofs☆20Jan 14, 2026Updated last month
- a lattice lib for building snarks☆21May 20, 2024Updated last year
- Helper lib to write complex bitcoin scripts☆21Dec 2, 2025Updated 3 months ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆87Jun 30, 2025Updated 8 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 11 months ago
- Rust Code for CELPC☆20Mar 28, 2025Updated 11 months ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- Building blocks of a Circle STARK verifier in Bitcoin script☆158Dec 3, 2025Updated 3 months ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated last year
- ☆32Feb 14, 2026Updated 2 weeks ago
- Bulletproofs++ implementation on Go☆29Jun 20, 2024Updated last year
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆68Mar 13, 2025Updated 11 months ago
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 6 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- ☆31Mar 31, 2025Updated 11 months ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 2 years ago
- ☆38Jul 30, 2025Updated 7 months ago
- Hardhat plugin to generate Go bindings for smart contracts☆29Oct 28, 2025Updated 4 months ago