NillionNetwork / tinysigLinks
Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressions via a non-interactive computation phase.
☆30Updated last year
Alternatives and similar repositories for tinysig
Users that are interested in tinysig are comparing it to the libraries listed below
Sorting:
- Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…☆66Updated 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 lattice-based non-interactive folding scheme written in Rust☆116Updated 3 weeks ago
- ☆131Updated last year
- ☆81Updated 5 years ago
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- ☆82Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 10 months ago
- ☆155Updated last year
- ☆112Updated last year
- ☆111Updated last month
- halo2 ecc circuit☆116Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Updated last year
- ☆106Updated last year
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆45Updated last year
- ☆52Updated 2 years ago
- A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.☆63Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Updated 5 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- ☆123Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆139Updated 3 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆57Updated 5 months ago
- Circom interpreter to arithmetic circuit description☆58Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 10 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Updated 9 months ago
- ☆61Updated 4 months ago
- DPC with Universal Setup☆46Updated 2 years ago
- ☆93Updated 2 weeks ago