zksnark-sudoku

Sudoku Verifier

A Sudoku game verifier utilizing zkSNARK to ensure puzzle solution integrity

sudoku game verify by zksnark.

GitHub

15 stars
1 watching
2 forks
Language: TypeScript
last commit: over 3 years ago

Related projects:

RepositoryDescriptionStars
iden3/snarkjsA JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations1,801
mrozio13pl/sudoku-in-terminalA Sudoku game built with TypeScript and React, playable in the terminal11
patrick9313/sudokuA MATLAB program using an heuristic search algorithm to solve specific Sudoku puzzles28
zeevkatz/scrollA TypeScript-based game written in Web Components using the JS13K game competition as a challenge23
iden3/wasmsnarkA Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols211
jstoxrocky/zksnarks_exampleA practical tutorial on creating and verifying zkSNARKs in contracts296
matter-labs-archive/snarkygpuA GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.23
moeidheidari/sudoku-challengeA Sudoku game application with a web interface and containerized deployment on Kubernetes.27
zokrates/zokratesToolbox for implementing and deploying zkSNARKs on the Ethereum blockchain1,836
vladmrnv/statifyA ZSH plugin for performing basic math and statistical operations.4
luozhuzhang/zkps-circuit-snarkA zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.61
fluidex/plonkitProvides tools and utilities for generating and verifying proofs in a zkSNARK proof system159
nalinbhardwaj/zordleA web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves.215
0xzkml/zk-mnistA demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.121
lyronctk/zatorThis project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity.160