Optimised bilinear pairings over elliptic curves
☆56Feb 3, 2024Updated 2 years ago
Alternatives and similar repositories for pairing
Users that are interested in pairing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A polymorphic interface for elliptic curve operations☆43Jun 23, 2023Updated 2 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆48Apr 5, 2020Updated 5 years ago
- Shamir Secret Sharing☆21Nov 27, 2019Updated 6 years ago
- Finite field and algebraic extension field arithmetic☆53Feb 3, 2024Updated 2 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆76Feb 10, 2020Updated 6 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Modular arithmetic, promoting moduli to the type level☆24Sep 13, 2025Updated 6 months ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Oblivious transfer for multiparty computation☆37Feb 25, 2020Updated 6 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆49Nov 28, 2019Updated 6 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Elliptic curve pairing in Python☆57Jul 31, 2020Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 2 years ago
- ☆137May 13, 2020Updated 5 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- Optimized implementation of the Picnic signature scheme☆83Sep 2, 2022Updated 3 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago
- Double ratchet algorithm for E2E encryption☆61Nov 22, 2018Updated 7 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Dec 8, 2022Updated 3 years ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- A Haskell library implementing the Noise protocol.☆104Jan 9, 2025Updated last year
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- a portable and fast pairing-based cryptography library☆520Mar 5, 2026Updated 2 weeks ago
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 6 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- An Ethereum contract analyzer.☆19Jan 22, 2025Updated last year