ICICLE version for gnark integration
☆13Aug 29, 2025Updated last year
Alternatives and similar repositories for icicle-gnark
Users that are interested in icicle-gnark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Groth16 over ICICLE☆46Jul 16, 2025Updated last year
- ☆13Aug 15, 2024Updated 2 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- Rust implementation of ElGamal encryption☆13Feb 2, 2024Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Apr 12, 2026Updated 7 months ago
- distributed RSA modulus generation in Rust☆15Mar 19, 2022Updated 4 years ago
- ☆15May 27, 2021Updated 5 years ago
- A list of exceptionally good cryptography libraries that inspire our work☆15Jul 26, 2019Updated 7 years ago
- EquiPy is a Python package implementing sequential fairness on the predicted outputs of Machine Learning models, addressing multiple sens…☆12Mar 7, 2025Updated last year
- Circom to Gnark Groth16 parser and recursion example☆18Aug 28, 2026Updated 2 months ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- stone-cli is a CLI for proving and verifying Cairo programs.☆27Aug 7, 2025Updated last year
- ☆60Dec 27, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ethproofs monorepo☆21Feb 12, 2026Updated 9 months ago
- sCrypt library - Zero-Knowledge Proofs - curve BLS12-381 步行者☆13Mar 14, 2025Updated last year
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 5 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 5 years ago
- building blocks for accelerating ZK proofs over binary fields☆53Jun 19, 2025Updated last year
- Simplified educational python plonk implementation☆47Mar 28, 2026Updated 7 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Jun 23, 2026Updated 4 months ago
- Poseidon hash implementation in Rust☆26Oct 27, 2026Updated 2 weeks ago
- Driver for round-based protocols in Rust☆24Jan 17, 2024Updated 2 years ago
- Eigen zkVM's Proving Service☆30Aug 24, 2025Updated last year
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 6 years ago
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- ☆12Sep 8, 2025Updated last year
- Aggregatable Distributed Key Generation☆51Apr 6, 2022Updated 4 years ago
- A Language Server Protocol Implementation for Circom☆34Jun 3, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A unified scheduling framework for ZKM verifiable AI☆22Updated this week
- ☆18Dec 3, 2024Updated last year
- groth16 verifier implementation with solana altbn syscalls☆62Nov 4, 2026Updated last week
- ☆11Apr 3, 2026Updated 7 months ago
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated 2 years ago
- In this repo I implement a stark prover for learning purposes☆14May 22, 2025Updated last year
- WASM/HW-friendly lightweight client application for threshold ECDSA☆16Jan 19, 2021Updated 5 years ago
Are these results useful?