NillionNetwork / tinynmcLinks
Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressions via a non-interactive computation phase.
☆66Updated last year
Alternatives and similar repositories for tinynmc
Users that are interested in tinynmc are comparing it to the libraries listed below
Sorting:
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆30Updated last year
- Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Updated last year
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆133Updated 8 months ago
- ☆317Updated 3 weeks ago
- ☆221Updated 4 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 10 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆136Updated 2 months ago
- Monorepo of halo2 crates☆299Updated 3 months ago
- ☆237Updated 5 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Updated 8 months ago
- List of halo2-related resources☆203Updated 10 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆336Updated 4 months ago
- ☆155Updated last year
- ☆160Updated 9 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆199Updated last week
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆139Updated 5 months ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆162Updated 2 years ago
- Experimental folding schemes library☆259Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 9 months ago
- ☆106Updated last year
- ☆188Updated last week
- halo2 ecc circuit☆116Updated 2 years ago
- ☆81Updated 11 months ago
- ☆203Updated 2 years ago
- Circom Circuits Library for Machine Learning☆181Updated last year
- A dapp SDK for the FHEVM protocol.☆60Updated last week
- ED25519 implementation in Circom☆119Updated 2 years ago
- Generates a stark from a pil☆98Updated last year
- ☆268Updated last year