Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
☆10Nov 23, 2022Updated 3 years ago
Alternatives and similar repositories for sparkworks
Users that are interested in sparkworks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 7 months ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- polynomial commitments from linear codes☆51Dec 13, 2024Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- ☆22Oct 11, 2022Updated 3 years ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆17Jan 5, 2023Updated 3 years ago
- ☆24Mar 8, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- ☆42Jul 25, 2024Updated last year
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- ☆10Jan 11, 2022Updated 4 years ago
- A formal verification of Linear PCP SNARKs.☆61Jul 20, 2024Updated last year
- ☆47Aug 31, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 3 years ago
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆49Aug 27, 2025Updated 7 months 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.
- comparing the performance of different zero-knowledge proof libraries☆135Oct 15, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- ☆52Mar 7, 2024Updated 2 years ago
- A port of TinySMPC into Rust.☆22Nov 21, 2025Updated 4 months ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Dec 6, 2022Updated 3 years ago
- Starky implementation of Bls12-381