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.
☆66Jun 22, 2024Updated 2 years ago
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:
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated 8 months ago
- Library containing the definition of S-expressions and some base converters☆21Jul 10, 2026Updated 3 months ago
- Faster Homomorphic Discrete Fourier Transforms and Improved FHE Bootstrapping☆13Apr 4, 2019Updated 7 years ago
- Simple implementation of KZG commitments in C☆35Jan 18, 2023Updated 3 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A homomorphic encryption accelerator for fast matrix-vector product☆33Sep 5, 2023Updated 3 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- DELEGATECALL-safe multi-owner auth☆12Feb 1, 2022Updated 4 years ago
- Web server for IOCaml☆23Jun 24, 2017Updated 9 years ago
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- blah☆17Sep 20, 2021Updated 5 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated this week
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Sep 6, 2020Updated 6 years ago
- Chisel module for performing Multi-Scalar Multiplication☆13Mar 25, 2022Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 4 years ago
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated last year
- ☆19Jun 20, 2022Updated 4 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 4 years ago
- A toy L4 load balancer running on FPGA☆20Feb 28, 2022Updated 4 years ago
- An Implementation of the Number Theoretic Transform☆55Aug 23, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆38Feb 11, 2022Updated 4 years ago
- FPGA-accelerated MSM☆29Jan 20, 2023Updated 3 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆20Dec 8, 2022Updated 3 years ago
- processor for post-quantum cryptography☆18Apr 17, 2020Updated 6 years ago
- ☆17Oct 19, 2026Updated last week
- ☆16Oct 29, 2022Updated 4 years ago
- C crypto library☆25Aug 2, 2023Updated 3 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 5 years ago
- For Jar artifacts☆20Nov 8, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆28Oct 29, 2021Updated 5 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 5 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated 2 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 6 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 7 years ago
- ☆17Jul 14, 2018Updated 8 years ago
- OCaml implementation of the MQTT pubsub protocol.☆20Nov 25, 2020Updated 5 years ago