nalinbhardwaj / snarky-sudokuView external linksLinks
Zero-knowledge Sudoku using zk-SNARKs
☆48Mar 17, 2022Updated 3 years ago
Alternatives and similar repositories for snarky-sudoku
Users that are interested in snarky-sudoku are comparing it to the libraries listed below
Sorting:
- ☆15Jul 8, 2021Updated 4 years ago
- DPC with Universal Setup☆46May 25, 2023Updated 2 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.☆70Jul 8, 2022Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- A curated list of awesome things related to plonk proof system☆239Aug 17, 2024Updated last year
- My personal notebook for various zk-related topics☆48Jan 7, 2025Updated last year
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆75Dec 2, 2024Updated last year
- ☆17Aug 2, 2021Updated 4 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆41Oct 24, 2022Updated 3 years ago
- ☆22Nov 1, 2023Updated 2 years ago
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆25May 10, 2020Updated 5 years ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆28Aug 19, 2025Updated 5 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Feb 25, 2023Updated 2 years ago
- ☆49Updated this week
- Ethereum Virtual Machine implementation from scratch in Rust☆26Sep 25, 2021Updated 4 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Dec 15, 2023Updated 2 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- ☆23Mar 8, 2024Updated last year
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- 🦀 I'm learning Rust and publishing exercises and small projects I've completed!☆12Oct 15, 2024Updated last year
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- ☆13Mar 6, 2023Updated 2 years ago
- ☆10Sep 4, 2021Updated 4 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- AppliedZKP's zkEVM Documentation☆26Jul 5, 2024Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- ☆43Oct 26, 2024Updated last year
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- ☆27Oct 18, 2022Updated 3 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago