matteocam / sha256-circuit

Related projects: ⓘ

• daira / r1cs
  Presentations about R1CS
  ☆18Updated 5 years ago
• dis2 / bls12
  DEPRECATED
  ☆22Updated 3 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆21Updated last year
• aspiers / zkp-eddsa-point-doubler
  Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates
  ☆12Updated 5 years ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 6 years ago
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆37Updated 3 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated last year
• ZenGo-X / class
  Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
  ☆63Updated last year
• IAIK / gzkbpp
  Implementation of the ZKB++ proof system
  ☆20Updated 5 years ago
• cambrian / accumulator-demo
  A proof-of-concept for stateless Bitcoin nodes.
  ☆31Updated 5 years ago
• plutomonkey / zcash-sprout-verifier
  Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.
  ☆20Updated 7 years ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• isogenies-vdf / isogenies-vdf-sage
  Sage implementation of the isogeny-and-pairing based VDF
  ☆24Updated 3 years ago
• dignifiedquire / rust-accumulators
  Accumulators and Vector Commitments
  ☆42Updated last year
• cfromknecht / tpec
  2P-ECDSA: Two-Party ECDSA MultiSignatures
  ☆47Updated 5 years ago
• amiller / pinocchio
  pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!
  ☆18Updated 6 years ago
• interstellar / spacesuit
  Efficient multi-asset confidential transactions
  ☆34Updated 5 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• ZKProofs / zkp.bib
  A BibTeX collection on Zero-Knowledge Proofs
  ☆16Updated 5 years ago
• sdaveas / nipopow-verifier
  Verify your NIPoPoWs efficiently, here
  ☆10Updated last year
• elichai / ecc-secp256k1
  Elliptic curve operations over secp256k1 *not for production*
  ☆16Updated 2 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 4 years ago
• solidblu1992 / RingCTToken
  Ethereum Token Implementing RingCT
  ☆23Updated 6 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated last year
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆19Updated 3 years ago
• amsee01 / ZeroWallet
  The project page of ZeroWallet
  ☆19Updated 5 years ago
• orbs-network / dkg-on-evm
  DKG for BLS threshold signature scheme on the EVM using solidity
  ☆32Updated 5 years ago
• simonkamp / curve-trees
  ☆22Updated 2 months ago
• christsim / pedersen-commitments
  Implementation of perdersen commitments in node.js and solidity
  ☆24Updated 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