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.
☆67Updated 8 months ago
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 …☆29Updated 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 7 months ago
- ☆274Updated last week
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 6 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 4 months ago
- Created for Web3 builders☆32Updated 2 years ago
- ☆107Updated last year
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 8 months ago
- Nada-AI is a Python library designed for ML/AI on top of Nada DSL and Nillion Network.☆22Updated 7 months ago
- ☆173Updated last month
- Benchmark of multiple zk implementations.☆83Updated last year
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆128Updated 2 months ago
- ☆132Updated this week
- The schelling point for ZK applications.☆138Updated last year
- ☆99Updated 10 months ago
- Generates a stark from a pil☆97Updated 10 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 3 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆114Updated this week
- ☆207Updated last week
- ☆63Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆114Updated 3 weeks ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆154Updated this week
- ☆76Updated 5 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆152Updated last year
- ☆59Updated 7 months ago
- DPC with Universal Setup☆46Updated 2 years ago
- halo2 ecc circuit☆116Updated 2 years ago