Zero-knowledge Sudoku using zk-SNARKs
☆48Mar 17, 2022Updated 4 years ago
Alternatives and similar repositories for snarky-sudoku
Users that are interested in snarky-sudoku are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Oct 7, 2026Updated last week
- Mobile ZK Puzzle Game with NFT rewards☆190Aug 30, 2021Updated 5 years ago
- ☆15Jul 8, 2021Updated 5 years ago
- ☆11Jan 28, 2023Updated 3 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 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A curated list of awesome things related to plonk proof system☆243Aug 17, 2024Updated 2 years ago
- ☆24Mar 8, 2024Updated 2 years ago
- ☆23Nov 1, 2023Updated 2 years ago
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- ☆55Jun 24, 2026Updated 3 months ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- ☆12Jun 5, 2025Updated last year
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DPC with Universal Setup☆46May 25, 2023Updated 3 years ago
- Spartan on Arkworks☆47Jun 12, 2026Updated 4 months ago
- My personal notebook for various zk-related topics☆48Jan 7, 2025Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Jun 20, 2024Updated 2 years ago
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆76Dec 2, 2024Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆125Feb 25, 2023Updated 3 years ago
- The Valida execution engine, prover, and verifier☆31Oct 6, 2025Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆41Jun 20, 2026Updated 3 months ago
- Middleware to compile Circom circuits to Nova prover☆247Mar 1, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Contracts for Onit smart account - A passkey controlled ERC-4337 Safe wallet☆20Aug 30, 2024Updated 2 years ago
- ☆32Oct 27, 2025Updated 11 months ago
- Airdrop an entire NFT collection extremely efficiently.☆19Jun 21, 2022Updated 4 years ago
- ☆81Nov 17, 2020Updated 5 years ago
- ☆108Aug 6, 2024Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- Ethereum Virtual Machine implementation from scratch in Rust☆26Sep 25, 2021Updated 5 years ago
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 3 years ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Jan 26, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 3 years ago
- ☆21Sep 12, 2021Updated 5 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
- ☆31Aug 12, 2026Updated 2 months ago
- polynomial commitments from linear codes☆51Dec 13, 2024Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- ☆11Feb 11, 2023Updated 3 years ago