Koukyosyumei / MyZKPLinks
Building Zero Knowledge Proof from Scratch in Rust
☆42Updated last week
Alternatives and similar repositories for MyZKP
Users that are interested in MyZKP are comparing it to the libraries listed below
Sorting:
- Threshold ECDSA via Triples☆80Updated last year
- Fiat-Shamir for the masses.☆73Updated last month
- Collection of mathematics routines and cryptography for the twenty-first century☆84Updated last month
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆62Updated 9 months ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆56Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated 6 months ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated 2 years ago
- Bitcoin ZK client written in Cairo.☆74Updated last week
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆65Updated 7 months ago
- ☆51Updated 6 months ago
- Rust implementation of the Alpen protocol☆77Updated this week
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆19Updated 5 months ago
- A lattice-based non-interactive folding scheme written in Rust☆101Updated last week
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆151Updated last week
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆50Updated last month
- An observatory fork of SP1☆73Updated 6 months ago
- ☆46Updated 2 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆20Updated last week
- ☆41Updated this week
- ☆40Updated 2 years ago
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆163Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆85Updated 6 months ago
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆35Updated 2 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆119Updated last week
- ☆58Updated 3 months ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆62Updated last year
- A verifiable supercomputer☆72Updated 2 months ago
- Spartan on Arkworks☆42Updated 2 weeks ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆12Updated 6 months ago