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.
☆66Updated 5 months ago
Alternatives and similar repositories for tinynmc:
Users that are interested in tinynmc are comparing it to the libraries listed below
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆28Updated last year
- Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Updated last year
- Nillion technical reports☆23Updated last month
- Nada-Numpy is a Python library designed for algebraic operations on NumPy-like array objects on top of Nada DSL and Nillion Network.☆12Updated 4 months ago
- ☆242Updated last month
- The schelling point for ZK applications.☆137Updated 11 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated last month
- Nada-AI is a Python library designed for ML/AI on top of Nada DSL and Nillion Network.☆21Updated 4 months ago
- ☆76Updated 2 months ago
- Created for Web3 builders☆32Updated 2 years ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆102Updated this week
- ☆141Updated last month
- Generates a stark from a pil☆95Updated 7 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆111Updated last year
- Out-of-circuit zkEVM implementation☆79Updated 7 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- ☆195Updated 3 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 4 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆63Updated last month
- ☆122Updated this week
- ☆98Updated 7 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆137Updated this week
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- Polynomials Identity Language☆68Updated last year
- ☆62Updated 11 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated last year
- ☆114Updated 7 months ago
- ☆56Updated 4 months ago
- ☆107Updated 11 months ago