fluidex / circuits

Related projects: ⓘ

• 0xProject / VDF
  A Solidity implementation of a VDF verifier contract
  ☆16Updated last year
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆23Updated 11 months ago
• thomas-waite / zkSocialRecovery
  Novel zero-knowledge proof based social recovery of smart contract wallets
  ☆34Updated last year
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆25Updated 3 years ago
• Consensys / liszt
  zk-rollup
  ☆22Updated last year
• thehubbleproject / hubble-bls
  BLS typescript wrapper to interact with the contract
  ☆15Updated 2 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆22Updated 4 months ago
• gballet / verkle-block-sample
  ☆38Updated last year
• ebfull / bellman-demo
  ☆8Updated 5 years ago
• gakonst / solidity-bls
  BLS threshold signature verification in Solidity
  ☆18Updated 5 years ago
• thehubbleproject / contracts
  Smart contracts for OPRHub protocol ✌🏻
  ☆12Updated 4 years ago
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• vocdoni / zk-franchise-proof-circuit
  zk-Snarks circuit for franchise proof
  ☆12Updated 9 months ago
• ethresearch / Shuffle_SSLE
  ☆14Updated 3 years ago
• AztecProtocol / consolerr
  Solidity error logging
  ☆23Updated 2 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated last year
• interlay / btc-relay-solidity
  Bitcoin Light Client on Ethereum
  ☆40Updated 2 months ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆23Updated last month
• privacy-scaling-explorations / rln
  ☆18Updated last year
• kilic / rln
  ☆29Updated last year
• DelphinusLab / zkWasm-prover
  ☆18Updated this week
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• informartin / zkRelay
  ☆26Updated 3 years ago
• privacy-scaling-explorations / semaphore-phase2-setup
  Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit
  ☆16Updated 4 years ago
• odradev / evm-at-risc0
  ☆17Updated last year
• privacy-scaling-explorations / zkey-manager
  ☆18Updated 9 months ago
• daira / plonk-standard
  Draft documents for standardization of Plonkish arithmetization
  ☆23Updated 6 months ago
• hermeznetwork / hermez-docs
  Hermez documentation
  ☆9Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 2 years ago
• mir-protocol / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆29Updated 4 years ago