zksnark-sudoku
by web3-master
sudoku game verify by zksnark.
AI summary
Sudoku Verifier
A Sudoku game verifier utilizing zkSNARK to ensure puzzle solution integrity
- stars
- 15
- forks
- 2
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
iden3/snarkjs1.8K
Zero-knowledge computation library
A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations
Sudoku game
A Sudoku game built with TypeScript and React, playable in the terminal
Sudoku solver
A MATLAB program using an heuristic search algorithm to solve specific Sudoku puzzles
Game
A TypeScript-based game written in Web Components using the JS13K game competition as a challenge
Zero-knowledge proof generator
A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols
Contract guide
A practical tutorial on creating and verifying zkSNARKs in contracts
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
Sudoku game
A Sudoku game application with a web interface and containerized deployment on Kubernetes.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
Calculator
A ZSH plugin for performing basic math and statistical operations.
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
ZK proof game
A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves.
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
Network verifier
This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity.