Sofianel5 / zk-img-editorView external linksLinks
☆22Feb 19, 2024Updated last year
Alternatives and similar repositories for zk-img-editor
Users that are interested in zk-img-editor are comparing it to the libraries listed below
Sorting:
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Nov 6, 2024Updated last year
- ☆13Nov 10, 2023Updated 2 years ago
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated 10 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆46Dec 10, 2025Updated 2 months ago
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated last year
- ☆26Oct 6, 2025Updated 4 months ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- A repository to store historical, timestamped DKIM keys; and for anyone to upload their own. Basically https://archive.org for public key…☆15Dec 17, 2025Updated 2 months ago
- Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and wi…☆36Jun 3, 2025Updated 8 months ago
- A PoC of zkVM powered Hyperliquid☆14Mar 23, 2025Updated 10 months ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- ☆10Sep 15, 2023Updated 2 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆11Jan 21, 2026Updated 3 weeks ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 9, 2026Updated last week
- ☆12Oct 4, 2023Updated 2 years ago
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated last month
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆36Feb 10, 2026Updated last week
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 3 weeks ago
- ☆14Dec 13, 2024Updated last year
- bottom text☆16Jan 26, 2024Updated 2 years ago
- Sign in with Apple/Google on any EVM chain. Self-custodial.☆68Mar 12, 2025Updated 11 months ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆36Oct 10, 2024Updated last year
- ☆18Updated this week
- ☆18Jul 16, 2025Updated 7 months ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 2 years ago
- Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture☆28Jan 21, 2026Updated 3 weeks ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Unified zkVM Interface & Toolkit☆77Updated this week