nalinbhardwaj / snarky-sudoku
Zero-knowledge Sudoku using zk-SNARKs
☆46Updated 3 years ago
Alternatives and similar repositories for snarky-sudoku:
Users that are interested in snarky-sudoku are comparing it to the libraries listed below
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- Zero-Knowledge dApp Boilerplate☆24Updated 2 years ago
- ZK Erdos Numbers using recursive SNARKs☆80Updated 2 years ago
- A curated list of resources on zkECDSA☆37Updated last year
- Basic Noir private proof of membership☆89Updated last month
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- ☆40Updated 2 years ago
- Batch ECDSA in circom☆33Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆65Updated 5 months ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- ☆65Updated 9 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Like Safe... but secret 🥷🏽☆59Updated 3 months ago
- ☆47Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 6 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Library for common cairo functions☆38Updated 3 years ago
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- ☆48Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- ☆42Updated 9 months ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆101Updated 2 months ago
- JWT verification with zero knowledge proofs☆48Updated last year