uiuc-kang-lab / zk-torchView external linksLinks
☆36Nov 7, 2025Updated 3 months ago
Alternatives and similar repositories for zk-torch
Users that are interested in zk-torch are comparing it to the libraries listed below
Sorting:
- a noir library for multiparty computation primitives☆18Feb 5, 2026Updated last week
- bignum☆29Feb 5, 2026Updated last week
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Jan 15, 2026Updated last month
- 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
- 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
- A simple template to generate ZK proofs with Noir on mobile using React Native☆33Jul 28, 2025Updated 6 months ago
- ☆66May 13, 2025Updated 9 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated 11 months ago
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆28Aug 4, 2025Updated 6 months ago
- ☆22May 1, 2025Updated 9 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆40Feb 17, 2025Updated last year
- ☆19Feb 2, 2024Updated 2 years ago
- A monorepo of reusable Noir circuits.☆47Jan 24, 2026Updated 3 weeks ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆21Sep 9, 2025Updated 5 months ago
- ☆21Aug 23, 2024Updated last year
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆47May 7, 2025Updated 9 months ago
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated last year
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆21Oct 23, 2023Updated 2 years ago
- A lattice-based non-interactive folding scheme written in Rust☆124Dec 17, 2025Updated last month
- ☆26Oct 6, 2025Updated 4 months ago
- Poseidon hash function implemented in Solidity☆58Aug 14, 2024Updated last year
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆27Updated this week
- Rust implementation of IETF RFC 9421, http message signatures☆29Updated this week
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- SysX☆34Mar 27, 2024Updated last year
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated last month
- Generic AES Implementation in Circom☆25Sep 11, 2024Updated last year
- Circom AES-GCM circuits☆35Updated this week
- ☆27May 20, 2022Updated 3 years ago
- Verify JWTs using SNARK circuits☆29Jul 15, 2024Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆212Updated this week
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago