QED-it / zkinterface-wasm

Related projects: ⓘ

• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆29Updated 2 years ago
• matter-labs-archive / plasma_winter
  Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore
  ☆31Updated 5 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆23Updated 5 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆23Updated last month
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆19Updated 3 years ago
• iden3 / za
  ☆10Updated this week
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆23Updated 11 months ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated last year
• kilic / rln
  ☆29Updated last year
• daira / r1cs
  Presentations about R1CS
  ☆18Updated 5 years ago
• arnaucube / shamirsecretsharing
  ShamirSecretSharing Rust & Go implementation + WASM lib
  ☆18Updated 2 years ago
• ewasm / ewasm-precompiles
  Implementation of the Ethereum precompiled contracts in Rust.
  ☆49Updated 4 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 6 years ago
• khovratovich / Kate
  ☆25Updated last year
• nervosnetwork / merkle-mountain-range
  A generalized merkle mountain range implementation.
  ☆51Updated last year
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆36Updated 5 years ago
• paritytech / arber
  Merkle-Mountain-Range library
  ☆17Updated last year
• paritytech / bn
  Pairing cryptography library in Rust
  ☆32Updated 8 months ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• jrhea / imp
  😈 Eth2 Network Agent 😈
  ☆31Updated 3 years ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆25Updated 3 years ago
• karlfloersch / research
  🐹
  ☆17Updated last year
• songzLi / coded_merkle_tree
  Coded Merkle Tree
  ☆26Updated 5 years ago
• ethresearch / Shuffle_SSLE
  ☆14Updated 3 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆34Updated last year
• edcon-reiwa / zexe-ethereum
  An implementation of ZEXE on Ethereum
  ☆36Updated 5 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 4 years ago
• celo-org / plumo-prover
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Updated 2 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated last year
• matter-labs-archive / sapling-crypto
  Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood
  ☆15Updated 4 years ago