Alternatives and similar repositories for horizen

Users that are interested in horizen are comparing it to the libraries listed below

• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 3 years ago
• sigp / opcode-purity
  A document describing purity detection in EVM opcode
  ☆16Updated 3 years ago
• rainbreak / crop
  ☆13Updated 4 years ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 4 years ago
• informartin / zkRelay
  ☆29Updated 4 years ago
• ricobank / multifab-draft
  SUPERCEDED by ricobank/multifab
  ☆20Updated 3 years ago
• protolambda / eth2-das
  DEPRECATED - Eth2 data availability sampling - Testground plan
  ☆27Updated 3 years ago
• thomas-waite / zkSocialRecovery
  Novel zero-knowledge proof based social recovery of smart contract wallets
  ☆34Updated 2 years ago
• sky-ecosystem / esm
  Emergency Shutdown Module
  ☆17Updated 2 years ago
• khovratovich / Kate
  ☆27Updated 3 years ago
• rust-blockchain / verkle
  ☆15Updated 4 years ago
• zcash / sapling-security-analysis
  ☆15Updated 6 years ago
• fiatdao / fiat-i
  Protocol
  ☆18Updated 2 years ago
• AztecProtocol / aztec-2-bug-bounty
  ☆17Updated 3 years ago
• AdvaithD / protocol-pg
  evm playground - optimizations, patterns and bytecode decoding
  ☆15Updated 2 years ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆14Updated last month
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• gakonst / optimism-tx-format
  Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…
  ☆27Updated 4 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated 2 years ago
• erigontech / libmdbx
  One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features…
  ☆12Updated 2 years ago
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 4 years ago
• 0xinugami / aztec-lido-bridge
  ☆12Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated last year
• fxfactorial / eth-peers-tui
  ☆10Updated 4 years ago
• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated 2 years ago
• asonnino / fraudproofs-prototype
  Prototype of fraud proofs.
  ☆12Updated 3 years ago
• 1Address / ecsol
  Elliptic Curve Implementation in Solidity
  ☆26Updated last year
• ensdomains / buffer
  A library for working with mutable byte buffers in Solidity.
  ☆29Updated last year
• RD-Crypto-Spec / Responsible-Disclosure
  A standard point from which crypto projects may derive their responsible disclosure policy.
  ☆18Updated 3 years ago