Koukyosyumei / MyZKPLinks
Building Zero Knowledge Proof from Scratch in Rust
☆47Updated last month
Alternatives and similar repositories for MyZKP
Users that are interested in MyZKP are comparing it to the libraries listed below
Sorting:
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆165Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆38Updated 3 months ago
- Fiat-Shamir for the masses.☆77Updated last week
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆162Updated this week
- Collection of mathematics routines and cryptography for the twenty-first century☆85Updated last week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆123Updated last week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆57Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆154Updated this week
- Threshold ECDSA via Triples☆81Updated last year
- ☆51Updated 8 months ago
- Bitcoin ZK client written in Cairo.☆97Updated last week
- A lattice-based non-interactive folding scheme written in Rust☆105Updated last week
- A curated list of rust articles worth reading☆23Updated 2 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆64Updated 11 months ago
- ☆60Updated 5 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆19Updated 6 months ago
- A verifiable supercomputer☆74Updated 3 months ago
- An observatory fork of SP1☆75Updated 8 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated 9 months ago
- Polymath: Groth16 Is Not The Limit☆29Updated 8 months ago
- Spartan on Arkworks☆42Updated last month
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- ☆48Updated last week
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated 2 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆113Updated last week
- ☆40Updated 2 years ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆50Updated 2 months ago
- A domain-specific language for writing AIR constraints for STARKs☆90Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆86Updated 7 months ago