nalinbhardwaj / snarky-sudokuLinks
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
Sorting:
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- ☆40Updated 2 years ago
- Basic Noir private proof of membership☆89Updated 3 months ago
- A Brainfuck zkVM with Circom.☆60Updated last year
- Like Safe... but secret 🥷🏽☆60Updated 5 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆82Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- JWT verification with zero knowledge proofs☆50Updated last year
- Batch ECDSA in circom☆33Updated 2 years ago
- ☆40Updated 8 months ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- ☆46Updated 3 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 8 months ago
- ☆47Updated 2 years ago
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated 2 years ago
- My personal notebook for various zk-related topics☆48Updated 5 months ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- Installation tooling for Noir☆27Updated 3 weeks ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- ☆34Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated last year