kunxian-xia / sudoku-zk-snarks

Related projects ⓘ

Alternatives and complementary repositories for sudoku-zk-snarks

• StarLI-Trapdoor / libsnark_sample
  Example to create merkle path proof using libsnark
  ☆45Updated 4 years ago
• lEthDev / FairSwap
  ☆24Updated 5 years ago
• ekiden / ekiden
  Confidentiality-Preserving Smart Contract Platform
  ☆21Updated 4 years ago
• celo-org / shrubs
  ☆28Updated 2 years ago
• Agzs / BlockMaze
  BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs
  ☆38Updated 4 years ago
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆37Updated 4 years ago
• alinush / libpolycrypto
  (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…
  ☆31Updated 9 months ago
• lightning-li / zkSNARK-toy
  ☆63Updated 6 years ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• asonnino / bls
  A simple Python implementation of threshold BLS signatures.
  ☆39Updated 6 months ago
• oleiba / RSA-accumulator
  Cryptographic accumulator based on the strong RSA assumption, Python & Solidity
  ☆74Updated 5 years ago
• PlatONnetwork / proof_of_custody
  MPC implementation of proof of custody
  ☆32Updated 3 years ago
• etairi / A2L
  Implementation of anonymous atomic locks described in https://eprint.iacr.org/2019/589
  ☆23Updated 2 years ago
• Zokrates / pycrypto
  Crypto application code for the zkSNARKs toolbox ZoKrates
  ☆52Updated 8 months ago
• BANKEX / BulletproofJS
  Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions
  ☆29Updated 5 years ago
• enzoh / go-bls
  Boneh–Lynn–Shacham signature scheme.
  ☆36Updated 6 years ago
• verifiable-timed-signatures / liblhtlp
  Linearly Homomorphic Time Lock Puzzle Library
  ☆28Updated 4 years ago
• AdamISZ / bulletproofs-poc
  Learning how to bulletproofs
  ☆34Updated 5 years ago
• liyue201 / gnark-examples
  《zkSNARK实践》中的源码
  ☆17Updated 2 years ago
• Charterhouse / pysnark
  Python-based system for zk-SNARK based verifiable computations and smart contracts
  ☆80Updated 5 years ago
• dis2 / bls12
  DEPRECATED
  ☆22Updated 3 years ago
• clearmatics / zeth
  Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905
  ☆57Updated last year
• leobago / shardSim
  This is a Sharding Simulator to study blockchain scalability.
  ☆37Updated 2 years ago
• algorand / pointproofs
  ☆48Updated last year
• randombit / pairings.py
  Elliptic curve pairing in Python
  ☆49Updated 4 years ago
• Project-Arda / bgls
  Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381
  ☆60Updated 2 years ago
• torusresearch / pvss
  Publicly Verifiable Secret Sharing, and more...
  ☆26Updated 2 months ago
• isogenies-vdf / isogenies-vdf-sage
  Sage implementation of the isogeny-and-pairing based VDF
  ☆24Updated 3 years ago
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆84Updated last year