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
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 8 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆135Updated last month
- ☆315Updated 3 weeks ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆183Updated this week
- Prototype implementations of various Collaborative zkSNARKs.☆131Updated 4 months ago
- A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.☆59Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆175Updated 7 months ago
- List of halo2-related resources☆201Updated 9 months ago
- ☆80Updated 9 months ago
- ☆218Updated 3 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆130Updated 6 months ago
- ☆232Updated 3 months ago
- Experimental folding schemes library☆254Updated this week
- ☆155Updated last year
- Multi-party computation libraries written in Rust 🦀☆278Updated 2 weeks ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 8 months ago
- ☆104Updated last year
- DSL for Halo2 circuits☆188Updated 11 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- Monorepo of halo2 crates☆296Updated 2 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆335Updated 3 months ago
- ☆130Updated 10 months ago
- ED25519 implementation in Circom☆119Updated 2 years ago
- ☆158Updated 8 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆138Updated 3 months ago
- Circom Circuits Library for Machine Learning☆180Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- A lattice-based non-interactive folding scheme written in Rust☆109Updated last week