web3-master / zksnark-sudoku
sudoku game verify by zksnark.
☆14Updated 2 years ago
Alternatives and similar repositories for zksnark-sudoku:
Users that are interested in zksnark-sudoku are comparing it to the libraries listed below
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Poseidon hash function implemented in Solidity☆44Updated 5 months ago
- My personal notebook for various zk-related topics☆47Updated 3 weeks ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- ☆48Updated this week
- A Noir circuit that mimics Solidity's ecrecover☆48Updated 2 months ago
- A curated list of awesome resources for learning and programming with Circom☆24Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆11Updated 7 months ago
- Provides tools for testing circom circuits.☆56Updated 7 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- A curated list of repos related to Circom☆95Updated 2 years ago
- ☆51Updated last year
- ☆19Updated 6 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 2 months ago
- Honk Verifier in Solidity☆49Updated 3 months ago
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- My notes related to Cryptography & Zero-Knowledge.☆39Updated 11 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆72Updated last month
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- ☆12Updated last year
- ☆64Updated 6 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Write-ups submitted by CTF participants☆33Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- simple zk implementations in python☆22Updated 8 months ago
- ☆44Updated 2 months ago
- Prove knowledge of smart contract bugs using zkEVM☆43Updated 4 months ago
- Circuits library for matrix operations in circom☆32Updated 7 months ago