NillionNetwork / tinysig
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.
☆28Updated 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 library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Updated last year
- Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…☆66Updated 7 months ago
- ☆77Updated 4 months ago
- ☆107Updated last year
- DPC with Universal Setup☆46Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆59Updated 6 months ago
- ☆59Updated 5 months ago
- ☆39Updated 2 months ago
- ☆51Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 3 months ago
- Created for Web3 builders☆32Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆55Updated 8 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.☆45Updated last year
- ☆259Updated 2 weeks ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 5 months ago
- ☆99Updated 9 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Updated last year
- Polynomials Identity Language☆68Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆41Updated last week
- Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga☆21Updated 2 years ago
- ☆45Updated this week
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆82Updated 2 years ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆104Updated 3 weeks ago
- ☆150Updated last year
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆47Updated last month
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆171Updated last month
- A SNARK using towers of binary fields, implemented in Rust☆108Updated this week