Alternatives and similar repositories for ethereum_formal_verification_overview:

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

• ethereum / hevm
  symbolic EVM evaluator
  ☆261Updated this week
• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆167Updated 2 years ago
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆205Updated last year
• a16z / halmos
  A symbolic testing tool for EVM smart contracts
  ☆865Updated this week
• Consensys / scribble
  Scribble instrumentation tool
  ☆325Updated 2 months ago
• ethereum / act
  Smart contract specification language
  ☆235Updated 2 weeks ago
• holiman / goevmlab
  Evm laboratory
  ☆262Updated this week
• Certora / Tutorials
  Practical tutorials of Certora Prover
  ☆234Updated last year
• crytic / crytic-compile
  Abstraction layer for smart contract build systems
  ☆166Updated this week
• 0xPARC / zk-bug-tracker
  A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
  ☆639Updated 2 months ago
• RareSkills / zero-knowledge-puzzles
  Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
  ☆283Updated 2 months ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆176Updated 5 months ago
• lorenzb / libsubmarine
  Implementation of a novel practical scheme for submarine commitments
  ☆228Updated 2 years ago
• horsefacts / weth-invariant-testing
  ☆280Updated 6 months ago
• crytic / etheno
  Simplify Ethereum security analysis and testing
  ☆340Updated last week
• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆750Updated last week
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
  ☆275Updated this week
• AztecProtocol / huff
  Repository for Huff - an EVM programming language
  ☆233Updated 4 years ago
• Consensys / solidity-metrics
  Solidity Code Metrics
  ☆257Updated 2 months ago
• uni-due-syssec / eth-reentrancy-attack-patterns
  Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"
  ☆109Updated 5 years ago
• 0xKitsune / EVM-Book
  A collection of EVM related information.
  ☆328Updated 2 years ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆351Updated this week
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆272Updated last year
• Consensys / solc-typed-ast
  A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…
  ☆129Updated 2 months ago
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆442Updated 2 months ago
• zkoranges / zkPoEX
  zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …
  ☆226Updated last year
• OriginProtocol / security
  Materials related to security: docs, checklists, processes, etc...
  ☆201Updated this week
• quilt / etk
  evm toolkit
  ☆361Updated 8 months ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆468Updated last month
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆305Updated last month