Lowering client-side proving cost for private ZK signatures in circom
☆112Mar 18, 2023Updated 3 years ago
Alternatives and similar repositories for efficient-zk-ecdsa
Users that are interested in efficient-zk-ecdsa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆222Dec 5, 2023Updated 2 years ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆340Nov 3, 2023Updated 3 years ago
- ☆206Nov 25, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 3 years ago
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 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.
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated 2 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 3 years ago
- Middleware to compile Circom circuits to Nova prover☆247Mar 1, 2024Updated 2 years ago
- ☆134Apr 23, 2022Updated 4 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 4 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 4 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- Zero Knowledge Proof for RSA☆54Jun 19, 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.
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆269Sep 30, 2026Updated last month
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆143May 5, 2026Updated 6 months ago
- ☆124Nov 30, 2024Updated last year
- ED25519 implementation in Circom☆119Jun 30, 2023Updated 3 years ago
- An online playground for zero knowledge circuits☆155Jun 30, 2026Updated 4 months ago
- ☆33Sep 22, 2023Updated 3 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Sep 12, 2023Updated 3 years ago
- Circuits used by heyanon☆21Sep 14, 2022Updated 4 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.
- keccak256 hash implementation in Circom☆83Apr 24, 2022Updated 4 years ago
- Trust-minimized commitment pools with zkSNARKs☆37Apr 10, 2023Updated 3 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 3 years ago
- ☆41Aug 31, 2023Updated 3 years ago
- ☆103Nov 16, 2022Updated 3 years ago
- Private treasuries enabled by ECDH and ZKPs☆18Mar 31, 2023Updated 3 years ago
- Verifying a 512-layer CNN w/ Nova☆173May 5, 2023Updated 3 years ago
- ☆22Oct 11, 2022Updated 4 years ago
- ☆52Mar 7, 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.
- Testudo: Spartan + Groth16☆54Feb 21, 2024Updated 2 years ago
- halo2 ecc circuit☆118Feb 17, 2023Updated 3 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆284Apr 26, 2026Updated 6 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆116Aug 2, 2022Updated 4 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Dec 19, 2023Updated 2 years ago
- Circom Circuits Library for Machine Learning☆186Jun 19, 2024Updated 2 years ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 3 years ago