Alternatives and similar repositories for evmverif

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

• pirapira / eth-isabelle

  View on GitHub
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆242Mar 24, 2022Updated 3 years ago
• pirapira / ethereum-formal-verification-overview

  View on GitHub
  The start page about my efforts around smart contract verification
  ☆296Mar 24, 2022Updated 3 years ago
• ether-camp / ethereum-testing-reference

  View on GitHub
  ☆30Mar 19, 2017Updated 8 years ago
• DigixGlobal / sigmate

  View on GitHub
  🔏 Simple Keystore Generator
  ☆12Jan 7, 2019Updated 7 years ago
• paritytech / withdraw-dao

  View on GitHub
  A DAO-ABI-compatible contract to allow *only* withdrawals
  ☆11Jun 25, 2016Updated 9 years ago
• pirapira / bamboo

  View on GitHub
  Bamboo see https://github.com/cornellblockchain/bamboo
  ☆324Mar 24, 2022Updated 3 years ago
• jamshidh / ethereum-client-haskell

  View on GitHub
  ☆77Dec 21, 2022Updated 3 years ago
• pirapira / dry-analyzer

  View on GitHub
  Dr. Y's Ethereum Contract Analyzer
  ☆41Mar 24, 2022Updated 3 years ago
• gavofyork / curly-engine

  View on GitHub
  ☆12Apr 24, 2016Updated 9 years ago
• mattgstevens / awesome-zero-knowledge-proofs

  View on GitHub
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆20Nov 5, 2018Updated 7 years ago
• evm-lang-design / evm-lang-design

  View on GitHub
  Language Design Community for the EVM: Intro and Resources
  ☆133Aug 1, 2017Updated 8 years ago
• Zilliqa / scilla-coq

  View on GitHub
  State-Transition Systems for Smart Contracts
  ☆25Sep 3, 2020Updated 5 years ago
• Drops-of-Diamond / diamond_drops

  View on GitHub
  WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…
  ☆58Aug 28, 2018Updated 7 years ago
• agda-attic / agda-spec

  View on GitHub
  Specification of Agda.
  ☆25Jan 13, 2019Updated 7 years ago
• zcash-hackworks / babyzoe

  View on GitHub
  Baby ZoE - first step towards Zerocash over Ethereum
  ☆120Nov 1, 2016Updated 9 years ago
• federicobond / solidity-spec

  View on GitHub
  A Solidity spec suite to test parsers for language compliance.
  ☆11Dec 31, 2017Updated 8 years ago
• ilya-klyuchnikov / faba

  View on GitHub
  Fast Bytecode Analysis
  ☆15Jan 2, 2016Updated 10 years ago
• status-im / the-explainers

  View on GitHub
  The Explainers Initiative is an open effort to bring technical content regarding the Serenity upgrade of the Ethereum blockchain closer t…
  ☆10Aug 15, 2019Updated 6 years ago
• BumblebeeBat / FlyingFox

  View on GitHub
  Proof of stake blockchain
  ☆107Aug 10, 2020Updated 5 years ago
• LeastAuthority / ethereum-analyses

  View on GitHub
  ☆168Apr 28, 2016Updated 9 years ago
• sigp / opcode-purity

  View on GitHub
  A document describing purity detection in EVM opcode
  ☆16Mar 28, 2022Updated 3 years ago
• slothbag / hierarchical-dao

  View on GitHub
  ☆11Aug 10, 2016Updated 9 years ago
• haskell-cryptography / blake2

  View on GitHub
  A Haskell library providing BLAKE2
  ☆11Jun 27, 2023Updated 2 years ago
• petertodd / tree-chains-paper

  View on GitHub
  ☆16Oct 10, 2016Updated 9 years ago
• arielgabizon / Lectures

  View on GitHub
  ☆28Jan 12, 2026Updated last month
• axic / swarmgw

  View on GitHub
  Simple Swarm interface to swarm-gateways.net (or other gateways)
  ☆10Mar 15, 2019Updated 6 years ago
• leithaus / pi4u

  View on GitHub
  A collection of papers about new models and applications of mobile process calculi
  ☆12Jan 2, 2020Updated 6 years ago
• Arachnid / evmdis

  View on GitHub
  EVM disassembler
  ☆572May 9, 2022Updated 3 years ago
• gnidan / interval-trees-solidity

  View on GitHub
  Interval Trees in Solidity
  ☆13Sep 10, 2017Updated 8 years ago
• NethermindEth / cortex

  View on GitHub
  .NET Core Ethereum 2.0
  ☆13Jul 9, 2024Updated last year
• Blockstream / borromean_paper

  View on GitHub
  Technical paper on the Borromean ring signature construction
  ☆47Mar 31, 2017Updated 8 years ago
• lorenzb / submarine_sends

  View on GitHub
  A proof-of-concept implementation of Submarine Sends for Ethereum
  ☆28Nov 16, 2018Updated 7 years ago
• cryptape / ruby-serpent

  View on GitHub
  Ruby binding to Ethereum Serpent compiler. Serpent is a Python style smart contract language.
  ☆11Mar 18, 2016Updated 9 years ago
• dogethereum / dogethereum-tools

  View on GitHub
  Command line tools for the Dogecoin <-> Ethereum bridge
  ☆13Jul 19, 2023Updated 2 years ago
• DigixGlobal / tempo

  View on GitHub
  ⏱ Testing tool: Block & time management over RPC
  ☆14Mar 26, 2019Updated 6 years ago
• gavofyork / gavcoin

  View on GitHub
  The Gavcoin repo
  ☆14Jan 19, 2018Updated 8 years ago
• PhABC / gastoken-factory--token-sale

  View on GitHub
  Token Sale example implementing GasToken Factory methods
  ☆19Jun 8, 2018Updated 7 years ago
• the729 / lcs

  View on GitHub
  Libra Canonical Serialization (LCS) library in golang
  ☆14Apr 18, 2020Updated 5 years ago
• takikawa / wasm-redex

  View on GitHub
  WebAssembly model in Redex
  ☆16May 16, 2019Updated 6 years ago