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.
☆62Jun 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A hardcaml library to interface with arty boards☆19Feb 8, 2023Updated 3 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated last month
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- blah☆17Sep 20, 2021Updated 4 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Dec 2, 2024Updated last year
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 6 months ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 5 years ago
- ☆19Jun 20, 2022Updated 3 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- ☆12Sep 6, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆38Feb 11, 2022Updated 4 years ago
- C crypto library☆25Aug 2, 2023Updated 2 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- TIDENet is an ASIC written in Verilog for Tiny Image Detection at Edge with neural networks (TIDENet) using DNNWeaver 2.0, the Google Sky…☆17Jan 30, 2023Updated 3 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- Zcash FPGA acceleration engine☆133Sep 10, 2020Updated 5 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Dec 8, 2022Updated 3 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Jul 6, 2018Updated 7 years ago
- [toy] A rewriting language similar to the core of Mathematica☆53Apr 19, 2022Updated 3 years ago
- View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map☆19May 14, 2023Updated 2 years ago
- CUDA implementation of Filecoin's PC2 operation☆12Jun 20, 2023Updated 2 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆17Jan 5, 2023Updated 3 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Chisel module for performing Multi-Scalar Multiplication☆13Mar 25, 2022Updated 4 years ago
- BLS12-381 cryptography using Apache Milagro☆30Feb 2, 2024Updated 2 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Zero-related bugs in 4 BLS libs & standard draft,"splitting zero" attacks, $35000 award☆17Aug 20, 2021Updated 4 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago