amiller / python-zk-proofs

Related projects: ⓘ

• AdamISZ / bulletproofs-poc
  Learning how to bulletproofs
  ☆34Updated 5 years ago
• amiller / sprites
  ☆43Updated 6 years ago
• ZenGo-X / class
  Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
  ☆63Updated last year
• HarryR / rsa-accumulator
  Implements an RSA accumulator in Python
  ☆14Updated 5 years ago
• christsim / pedersen-commitments
  Implementation of perdersen commitments in node.js and solidity
  ☆24Updated 6 years ago
• isogenies-vdf / isogenies-vdf-sage
  Sage implementation of the isogeny-and-pairing based VDF
  ☆24Updated 3 years ago
• clearmatics / zeth
  Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905
  ☆57Updated last year
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆37Updated 3 years ago
• gnosis / pydkg
  A python implementation of distributed key generation over secp256k1
  ☆13Updated 6 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated last year
• meilof / geppetri
  Pinocchio-based adaptive zk-SNARK and distributed computation
  ☆15Updated 6 years ago
• barryWhiteHat / baby_jubjub_ecc
  altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments
  ☆65Updated 4 years ago
• Project-Arda / bgls
  Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381
  ☆60Updated 2 years ago
• Consensys / handel
  Multi-Signature Aggregation in a Large Byzantine Committees
  ☆53Updated 2 months ago
• apoelstra / secp256k1-zkp
  Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.
  ☆82Updated 3 months ago
• edcon-reiwa / zexe-ethereum
  An implementation of ZEXE on Ethereum
  ☆36Updated 5 years ago
• oleiba / RSA-accumulator
  Cryptographic accumulator based on the strong RSA assumption, Python & Solidity
  ☆71Updated 5 years ago
• mit-dci / zksigma
  A library for generating non-interactive proofs of knowledge without trusted setup
  ☆29Updated 5 years ago
• amiller / pinocchio
  pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!
  ☆18Updated 6 years ago
• cfromknecht / tpec
  2P-ECDSA: Two-Party ECDSA MultiSignatures
  ☆47Updated 5 years ago
• naure / zk
  A framework to build Zero-knowledge non-interactive proofs, based on the Fiat-Shamir heuristic, a proof-of-work, and a constant-size comm…
  ☆31Updated 6 years ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 6 years ago
• BANKEX / BulletproofJS
  Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions
  ☆29Updated 5 years ago
• dis2 / bls12
  DEPRECATED
  ☆22Updated 3 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• ZenGo-X / ShareLock
  ShareLock: mixing for cryptocurrencies from multiparty ECDSA
  ☆50Updated last year
• plutomonkey / zcash-sprout-verifier
  Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.
  ☆20Updated 7 years ago
• IAIK / gzkbpp
  Implementation of the ZKB++ proof system
  ☆20Updated 5 years ago
• torusresearch / pvss
  Publicly Verifiable Secret Sharing, and more...
  ☆26Updated 2 weeks ago
• Zokrates / pycrypto
  Crypto application code for the zkSNARKs toolbox ZoKrates
  ☆52Updated 6 months ago