NillionNetwork / tinynmc
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.
☆60Updated last month
Related projects ⓘ
Alternatives and complementary repositories for tinynmc
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆25Updated 7 months ago
- Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Updated 7 months ago
- Nillion technical reports☆19Updated 4 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 3 months ago
- ☆193Updated last week
- halo2 ecc circuit☆114Updated last year
- Generates a stark from a pil☆95Updated 3 months ago
- Benchmark of multiple zk implementations.☆82Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆78Updated this week
- ☆146Updated this week
- The schelling point for ZK applications.☆134Updated 6 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 8 months ago
- Monorepo of halo2 crates☆238Updated 3 months ago
- ☆102Updated this week
- ☆147Updated 8 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 2 months ago
- ☆173Updated 3 weeks ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- DSL for Halo2 circuits☆188Updated 2 weeks ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 8 months ago
- ☆46Updated this week
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆86Updated last month
- ☆94Updated 3 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆129Updated this week
- ☆85Updated 3 months ago
- ☆115Updated 3 months ago
- ☆49Updated last week
- ☆70Updated 3 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆79Updated last year