Alternatives and similar repositories for ethereum-dapps-verification

Users that are interested in ethereum-dapps-verification are comparing it to the libraries listed below

• crate-crypto / qesa

  View on GitHub
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Mar 4, 2020Updated 5 years ago
• interlay / compressed-inclusion-proofs

  View on GitHub
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Jan 24, 2023Updated 3 years ago
• QED-it / libsnark-tutorial_forge_proof

  View on GitHub
  ☆17Jul 14, 2018Updated 7 years ago
• lovesh / pixel-signature

  View on GitHub
  Pixel: Forward secure multi-signatures and threshold signatures
  ☆17Apr 28, 2022Updated 3 years ago
• daira / tweedle

  View on GitHub
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Oct 25, 2022Updated 3 years ago
• ingo-weber / blockchain-architecture

  View on GitHub
  Website and teaching materials for the book "Architecture for Blockchain Applications", Springer 2019
  ☆16Jan 7, 2024Updated 2 years ago
• sec-bit / adelaide

  View on GitHub
  The SECBIT Static Analysis Extension to Solidity Compiler
  ☆18Jan 31, 2019Updated 7 years ago
• Aptoide / AppCoins-white-paper

  View on GitHub
  AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…
  ☆12May 22, 2018Updated 7 years ago
• joshbeal / derecho

  View on GitHub
  A Rust library for proof-carrying disclosures
  ☆23Apr 10, 2024Updated last year
• KyberNetwork / peace-relay

  View on GitHub
  PeaceRelay: Connecting the Ethereum blockchains
  ☆38Oct 23, 2018Updated 7 years ago
• yushih / solidity-gas-profiler

  View on GitHub
  Profile Solidity gas consumption line-wise.
  ☆23Jun 1, 2021Updated 4 years ago
• kwantam / GooSig

  View on GitHub
  GooSig: short signatures from RSA that hide the signer's RSA public key
  ☆12Jan 8, 2020Updated 6 years ago
• SabaEskandarian / PunchCard

  View on GitHub
  A privacy-preserving digital version of punch cards used in store loyalty programs
  ☆11Apr 19, 2021Updated 4 years ago
• sec-bit / zkPoD-lib

  View on GitHub
  The underlying core library for zkPoD system
  ☆21Jan 21, 2020Updated 6 years ago
• supranational / vdf-fpga-round1-results

  View on GitHub
  ☆10Oct 22, 2019Updated 6 years ago
• dancju / ln-crypto

  View on GitHub
  message signing and verifying for Lightning Network
  ☆11Jan 6, 2023Updated 3 years ago
• cwgoes / snarky-workshop

  View on GitHub
  Hackathon project for Snarky workshop.
  ☆11Jun 21, 2019Updated 6 years ago
• foodotbar / Compact-Proofs-of-Retrievability

  View on GitHub
  Compact Proofs of Retrievability
  ☆14May 28, 2014Updated 11 years ago
• wfus / proof-of-sequential-work

  View on GitHub
  Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…
  ☆10Aug 26, 2018Updated 7 years ago
• burdges / isogenies_vdf_uses

  View on GitHub
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Oct 19, 2021Updated 4 years ago
• tse-group / ebb-and-flow

  View on GitHub
  ☆11Oct 7, 2022Updated 3 years ago
• sdaveas / nipopow-verifier

  View on GitHub
  Verify your NIPoPoWs efficiently, here
  ☆11Dec 8, 2022Updated 3 years ago
• cryptosubtlety / final-security-bug

  View on GitHub
  Google Tink's critical Ed25519 bug related to Java "final" keyword
  ☆11Apr 5, 2020Updated 5 years ago
• bladedoyle / grin_nicehash_defender

  View on GitHub
  ☆12Jun 25, 2021Updated 4 years ago
• zcash / zcash-test-vectors

  View on GitHub
  ☆13Nov 25, 2025Updated 2 months ago
• txrx-research / vorpal

  View on GitHub
  A Python simulator used to model cross shard transaction strategies for Ethereum 2.0
  ☆11May 3, 2024Updated last year
• celo-org / plumo-prover

  View on GitHub
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Jan 4, 2022Updated 4 years ago
• danhper / blockchain-analyzer

  View on GitHub
  Tool to fetch and analyze blockchain transactions
  ☆10Mar 9, 2021Updated 4 years ago
• hashcloak / Meson

  View on GitHub
  The monorepo for Meson project
  ☆11May 30, 2024Updated last year
• w3f / polkadot-tests

  View on GitHub
  Polkadot Protocol Conformance Tests
  ☆10May 22, 2023Updated 2 years ago
• hashmatter / privacy-preserving-primitives

  View on GitHub
  primitives and protocols for implementing privacy preserving networks
  ☆16Jan 18, 2019Updated 7 years ago
• adlerjohn / rollups-admin-keys

  View on GitHub
  Curated list of rollups on Ethereum and their security guarantees.
  ☆13Feb 3, 2021Updated 5 years ago
• vincenthz / rust-pvss

  View on GitHub
  PVSS & Scrape in rust
  ☆11Aug 14, 2025Updated 6 months ago
• cwcrypto / arwen-eth-contracts

  View on GitHub
  Ethereum Smart Contracts for Arwen payment channels
  ☆14Feb 12, 2022Updated 4 years ago
• cryptolu / LegendrePRF

  View on GitHub
  Cryptanalysis of the Legendre PRF Challenges
  ☆11Nov 27, 2019Updated 6 years ago
• ivan-homoliak-sutd / SmartOTPs

  View on GitHub
  Full implementation of SmartOTPs: An air-gapped 2-factor authentication for smart-contract wallets.
  ☆13Sep 7, 2020Updated 5 years ago
• zcash / sapling-security-analysis

  View on GitHub
  ☆15May 3, 2019Updated 6 years ago
• NatoliChris / diablo-benchmark

  View on GitHub
  The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…
  ☆13Jan 12, 2024Updated 2 years ago
• alinush / eprint-iacr-notifier

  View on GitHub
  Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers
  ☆15Nov 11, 2020Updated 5 years ago