kunxian-xia / sudoku-zk-snarksView external linksLinks
A libsnark's tutorial on sudoku
☆17Nov 8, 2018Updated 7 years ago
Alternatives and similar repositories for sudoku-zk-snarks
Users that are interested in sudoku-zk-snarks are comparing it to the libraries listed below
Sorting:
- Solidity API contract design information for utilizing RPC/RESTful Node Interaction and GraphQL☆23Oct 5, 2021Updated 4 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 2 years ago
- Learning ZkSNARKs using libsnark☆12Dec 26, 2018Updated 7 years ago
- ☆23Aug 1, 2021Updated 4 years ago
- ☆17Jul 14, 2018Updated 7 years ago
- Keeping track of all bitcoin seized and sold by the US Marshals & GSA☆15Mar 31, 2023Updated 2 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Sep 3, 2020Updated 5 years ago
- Guide to auditing EVM smart contracts using tools☆22Apr 2, 2023Updated 2 years ago
- Advanced functionality for ERC20 tokens, as abstract inheritable contracts☆20Jan 24, 2023Updated 3 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 6 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- Implementation of anonymous atomic locks described in https://eprint.iacr.org/2019/589☆26Apr 7, 2022Updated 3 years ago
- ☆19Jul 13, 2020Updated 5 years ago
- Presentations about R1CS☆18May 1, 2019Updated 6 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago
- ☆79Nov 1, 2016Updated 9 years ago
- py.test plugin for testing Ethereum smart contracts☆20Nov 19, 2018Updated 7 years ago
- Example to create merkle path proof using libsnark☆45Jul 27, 2020Updated 5 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Jun 24, 2019Updated 6 years ago
- Falcon signature and its ZKP extensions☆23Jul 5, 2022Updated 3 years ago
- An efficient and stable Rust library of BFT protocol for distributed system.☆53Nov 4, 2019Updated 6 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- ☆27Nov 22, 2018Updated 7 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆31Mar 30, 2020Updated 5 years ago
- Rust implementation of Bitcoin p2p protocol.☆29Aug 11, 2023Updated 2 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Apr 18, 2019Updated 6 years ago
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆33Jul 29, 2024Updated last year
- ☆11Jan 9, 2022Updated 4 years ago
- Tutorial and example code for using libsnark☆190May 17, 2021Updated 4 years ago
- Rust crate for creating ABCI applications☆32Mar 7, 2023Updated 2 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Aug 13, 2021Updated 4 years ago
- node.js bindings for the sss secret sharing library☆35Dec 10, 2022Updated 3 years ago
- A proof-of-concept implementation of Submarine Sends for Ethereum☆28Nov 16, 2018Updated 7 years ago
- Solidity library to parse raw Bitcoin transaction bytes☆33May 7, 2017Updated 8 years ago
- C++ library for zkSNARKs☆1,915Jun 12, 2025Updated 8 months ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆41Oct 8, 2020Updated 5 years ago
- This Projects has implemented three asymmetric and homomorphic encryption BGN, Benaloh, Paillier in Java using JPBC library.☆10Dec 27, 2019Updated 6 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Expander Compiler☆41Feb 9, 2026Updated last week