Alternatives and similar repositories for zkp-u256

Users that are interested in zkp-u256 are comparing it to the libraries listed below

• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆19Updated 3 years ago
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆34Updated 3 years ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 5 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years ago
• nulltea / tlock-rs
  Rust library for practical time-lock encryption using `drand` threshold network
  ☆41Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• halo2-ce / halo2
  ☆30Updated 2 years ago
• zemse / partial-mpt
  calculate new mpt root without loading entire trie
  ☆16Updated last year
• lucasgleba / zkSubleq
  A zero-knowledge virtual machine with only one instruction
  ☆12Updated 3 years ago
• EchoAlice / das-playground
  Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay
  ☆16Updated 2 years ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 4 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• rozbb / ct-merkle
  An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)
  ☆36Updated 3 months ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• w3f / fflonk
  ☆30Updated 3 months ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆32Updated 4 years ago
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Updated 2 years ago
• althea-net / guac_rs
  ☆14Updated 6 years ago
• zk-ml / research
  repository for machine learning algorithms and systems on emergent runtimes
  ☆21Updated 2 years ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆14Updated this week
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated 2 years ago
• dusk-network / plonkup
  Proof system with plonkup back-end proving arguments
  ☆14Updated 3 years ago
• kilic / cyclone-msm-expreriment
  ☆11Updated last year
• lopeetall / caulk
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Updated 3 years ago
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year