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
- MPC implementation of proof of custody☆32Updated 4 years ago
- ☆26Updated 6 years ago
- ☆28Updated 3 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs☆41Updated 4 years ago
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆77Updated 6 years ago
- Publicly Verifiable Secret Sharing, and more...☆27Updated 10 months ago
- DEPRECATED☆22Updated 4 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 7 years ago
- A library for generating non-interactive proofs of knowledge without trusted setup☆30Updated 6 years ago
- Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions☆30Updated 6 years ago
- pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!☆18Updated 7 years ago
- The source code used in the Oakland 2019 paper “Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security”☆27Updated 4 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆30Updated 5 years ago
- ☆8Updated 6 years ago
- Implementation of perdersen commitments in node.js and solidity☆24Updated 7 years ago
- Ethereum-based Distributed Key Generation Protocol☆55Updated 3 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- Algorand's reference implementation of bls signature scheme☆51Updated 2 years ago
- Confidentiality-Preserving Smart Contract Platform☆22Updated 5 years ago
- Learning how to bulletproofs☆36Updated 6 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆32Updated last year
- Minimalistic implementation of a linkable spontaneously anonymous group (LSAG) signature scheme with python over elliptic curves.☆29Updated 4 years ago
- PVSS & Scrape in rust☆11Updated last year
- This project implements twisted ElGamal PKE, which is additively homomorphic and zero-knowledge proof friendly.☆7Updated 2 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆24Updated last year
- This is a Sharding Simulator to study blockchain scalability.☆37Updated 3 years ago