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
- ☆330Updated last month
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆141Updated last week
- ☆221Updated 6 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆131Updated 7 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆134Updated 9 months ago
- A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.☆63Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Updated 10 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 11 months ago
- Monorepo of halo2 crates☆305Updated 5 months ago
- ☆81Updated last year
- ☆161Updated 11 months ago
- ☆238Updated 6 months ago
- ☆106Updated last year
- List of halo2-related resources☆203Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆209Updated last week
- A dapp SDK for the FHEVM protocol.☆63Updated last week
- A STARK-based VM focused on code reuse, performance, and modularity☆338Updated 6 months ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆162Updated 2 years ago
- Circom Circuits Library for Machine Learning☆181Updated last year
- ☆194Updated last month
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 11 months ago
- ☆132Updated last year
- ☆105Updated 5 months ago
- Generates a stark from a pil☆98Updated last year
- ☆61Updated 2 weeks ago
- DSL for Halo2 circuits☆188Updated last year
- The schelling point for ZK applications.☆144Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago