namnc / circom-mp-spdzView external linksLinks
Circom to MP-SPDZ
☆23Oct 27, 2024Updated last year
Alternatives and similar repositories for circom-mp-spdz
Users that are interested in circom-mp-spdz are comparing it to the libraries listed below
Sorting:
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Create MPC apps with TypeScript.☆57Jul 22, 2025Updated 6 months ago
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 7 months ago
- ☆24Mar 2, 2025Updated 11 months ago
- The PSE website☆26Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- ☆10Sep 22, 2023Updated 2 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆57Dec 21, 2025Updated last month
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆37Updated this week
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Oct 10, 2022Updated 3 years ago
- ☆16Feb 17, 2024Updated last year
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- ☆21Updated this week
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆113Sep 26, 2024Updated last year
- ☆18Nov 12, 2023Updated 2 years ago
- A testing & development environment for Circom.☆117Jul 31, 2025Updated 6 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Jul 6, 2023Updated 2 years ago
- ☆132Dec 23, 2024Updated last year
- ☆83Jan 7, 2025Updated last year
- Making client-side ZK proving on mobile simple.☆220Updated this week
- 2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.☆12Sep 7, 2019Updated 6 years ago
- 공학수학 강의노트☆19Feb 27, 2024Updated last year
- Hashing circuits implemented in circom☆27Jan 24, 2025Updated last year
- Template repository for zkLLVM-based projects☆19Mar 13, 2024Updated last year
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆106Jul 12, 2025Updated 7 months ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 6 months ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 2 months ago
- ☆61Nov 28, 2023Updated 2 years ago
- For practice to using halo2☆23Jun 7, 2023Updated 2 years ago
- Verifiable FHE with GKR☆28Oct 5, 2024Updated last year
- MACI Platform - Voting and Funding using MACI☆25Dec 13, 2025Updated 2 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Jun 22, 2024Updated last year
- ☆31Oct 27, 2025Updated 3 months ago
- BigInt library for Aztec's noir language☆32Mar 11, 2024Updated last year