kunxian-xia / sudoku-zk-snarksLinks
A libsnark's tutorial on sudoku
☆17Updated 6 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:
- Example to create merkle path proof using libsnark☆45Updated 4 years ago
- ☆26Updated 6 years ago
- ☆28Updated 3 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆30Updated 5 years ago
- MPC implementation of proof of custody☆32Updated 4 years ago
- DEPRECATED☆22Updated 4 years ago
- Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions☆30Updated 6 years ago
- Confidentiality-Preserving Smart Contract Platform☆22Updated 5 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆32Updated last year
- Implementation of perdersen commitments in node.js and solidity☆24Updated 7 years ago
- A simple Python implementation of threshold BLS signatures.☆41Updated last year
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆67Updated 5 years ago
- ☆60Updated 6 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- Accumulators and Vector Commitments☆43Updated 2 years ago
- This project implements twisted ElGamal PKE, which is additively homomorphic and zero-knowledge proof friendly.☆7Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆77Updated 6 years ago
- Boneh–Lynn–Shacham signature scheme.☆36Updated 7 years ago
- BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs☆41Updated 4 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated last year
- Publicly Verifiable Secret Sharing, and more...☆27Updated 9 months ago
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆62Updated 3 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 7 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆120Updated 2 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆83Updated 5 years ago
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 6 years ago
- Ethereum-based Distributed Key Generation Protocol☆55Updated 3 years ago