Koukyosyumei / MyZKPLinks
Building Zero Knowledge Proof from Scratch in Rust
☆48Updated 2 weeks ago
Alternatives and similar repositories for MyZKP
Users that are interested in MyZKP are comparing it to the libraries listed below
Sorting:
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆39Updated 4 months ago
- Collection of mathematics routines and cryptography for the twenty-first century☆87Updated last week
- Fiat-Shamir for the masses.☆79Updated this week
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆65Updated 11 months ago
- A lattice-based non-interactive folding scheme written in Rust☆109Updated last week
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆171Updated 3 weeks ago
- ☆62Updated 5 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆124Updated this week
- ☆41Updated 3 years ago
- Threshold ECDSA via Triples☆82Updated last year
- ☆55Updated 3 weeks ago
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆17Updated last year
- Polymath: Groth16 Is Not The Limit☆30Updated 8 months ago
- A verifiable supercomputer☆74Updated 4 months ago
- Spartan: High-speed zkSNARKs without trusted setup☆115Updated last month
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- ☆74Updated 2 years ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated 9 months ago
- ☆41Updated last year
- ☆51Updated 8 months ago
- An observatory fork of SP1☆75Updated 8 months ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆20Updated 6 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆119Updated 2 years ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 10 months ago
- A python notebook to explain how Plonky3 underlying works☆18Updated 8 months ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆63Updated last month
- A domain-specific language for writing AIR constraints for STARKs☆90Updated last week
- Building blocks of a Circle STARK verifier in Bitcoin script☆156Updated 2 weeks ago
- An elastic proof system based on arkworks☆85Updated last year