zksnark-sudoku
Sudoku Verifier
A Sudoku game verifier utilizing zkSNARK to ensure puzzle solution integrity
sudoku game verify by zksnark.
15 stars
1 watching
2 forks
Language: TypeScript
last commit: almost 2 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
 mrozio13pl/sudoku-in-terminal | A Sudoku game built with TypeScript and React, playable in the terminal | 11 |
 patrick9313/sudoku | A MATLAB program using an heuristic search algorithm to solve specific Sudoku puzzles | 30 |
 zeevkatz/scroll | A TypeScript-based game written in Web Components using the JS13K game competition as a challenge | 23 |
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 210 |
 jstoxrocky/zksnarks_example | A practical tutorial on creating and verifying zkSNARKs in contracts | 295 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 moeidheidari/sudoku-challenge | A Sudoku game application with a web interface and containerized deployment on Kubernetes. | 27 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 vladmrnv/statify | A ZSH plugin for performing basic math and statistical operations. | 4 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 158 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 119 |
 lyronctk/zator | This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity. | 156 |