Unitychain / zkvote-node

Related projects: ⓘ

• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 5 years ago
• iden3 / go-circuits
  Circuits
  ☆22Updated this week
• iden3 / go-circom-prover-verifier
  Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
  ☆37Updated 5 months ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• kobigurk / privacypass-rs
  Fully-compatible implementation of Privacy Pass in Rust.
  ☆34Updated 4 years ago
• arnaucube / go-blindsecp256k1
  Blind signatures over secp256k1 elliptic curve
  ☆17Updated 2 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆36Updated 5 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 6 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
• arkworks-rs / ivls
  Implementation of incrementally verifiable ledger system
  ☆15Updated 3 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated last week
• gtank / merlin
  dalek-compatible implementation of the merlin transcript protocol
  ☆26Updated 4 years ago
• iden3 / go-rapidsnark
  go-rapidsnark
  ☆20Updated this week
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆18Updated 3 years ago
• umbracle / eth-event-tracker
  Ethereum event tracker
  ☆17Updated 2 years ago
• axelarnetwork / tofnd
  A gRPC server wrapper for the https://github.com/axelarnetwork/tofn library.
  ☆25Updated 2 months ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆23Updated 11 months ago
• consensus-shipyard / fendermint
  IPC implementation atop CometBFT
  ☆16Updated 8 months ago
• protolambda / eth2.0-ssz
  Draft of SSZ specs repo
  ☆15Updated 4 years ago
• CoinCulture / agnes
  BFT consensus in Rust
  ☆21Updated 2 years ago
• thedonutfactory / donut
  🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs
  ☆18Updated last year
• asonnino / fraudproofs-prototype
  Prototype of fraud proofs.
  ☆12Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 2 years ago
• rust-blockchain / evm-tests
  ☆12Updated 9 months ago
• adria0 / tesseracts
  A small block explorer for geth PoAs written in rust
  ☆17Updated 4 years ago
• danielkroeni / cairo-playground
  ☆20Updated 3 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated last month
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated last year
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆34Updated last year
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆25Updated last week