fyquah / hardcaml_zprizeView external linksLinks
Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally developed as submissions to the 2022 ZPrize competition.
☆61Jun 22, 2024Updated last year
Alternatives and similar repositories for hardcaml_zprize
Users that are interested in hardcaml_zprize are comparing it to the libraries listed below
Sorting:
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated last week
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 4 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Dec 8, 2022Updated 3 years ago
- A hardcaml library to interface with arty boards☆19Feb 8, 2023Updated 3 years ago
- Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity☆13Nov 2, 2018Updated 7 years ago
- ☆12Sep 6, 2020Updated 5 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- Zero-related bugs in 4 BLS libs & standard draft,"splitting zero" attacks, $35000 award☆17Aug 20, 2021Updated 4 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆25May 10, 2020Updated 5 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- C crypto library☆24Aug 2, 2023Updated 2 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Dec 2, 2024Updated last year
- fft impl for ff::Field☆17May 9, 2024Updated last year
- ☆19Jun 20, 2022Updated 3 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 4 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Nov 21, 2021Updated 4 years ago
- blah☆17Sep 20, 2021Updated 4 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map☆19May 14, 2023Updated 2 years ago
- BLS12-381 cryptography using Apache Milagro☆29Feb 2, 2024Updated 2 years ago
- BLS working standard draft☆40Aug 8, 2019Updated 6 years ago
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Feb 20, 2024Updated last year
- ☆17Mar 17, 2023Updated 2 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 2 years ago
- A simple and sufficient ERC721 implementation☆21Jul 11, 2022Updated 3 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 3 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 5 years ago
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago