An open API service indexing awesome lists of open source software.

awesome-cryptocurrency-security

😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..)
https://github.com/nongiach/awesome-cryptocurrency-security

Last synced: 10 days ago
JSON representation

  • Awesomes

  • Blogs

  • Jobs

  • MISC

  • Paper

    • Smarter - Making Smart Contracts Smarter.
    • Yellow Paper - Ethereum: a secure decentralised generalised transaction ledger.
  • Tools

    • Securify - Formal Verification of Ethereum Smart Contracts.
    • fuildai - Fluid is an AI that can automatically find and fix fatal security vulnerabilities in Smart Contracts.
    • Mythril - Security analysis tool for Ethereum smart contracts.
    • Manticore - Manticore uses symbolic execution to simulate complex multi-contract and multi-transaction attacks against EVM bytecode.
    • Evmdis - EVM disassembler.
    • Diligence - Security Services, Tools and Best Practices for the Ethereum Ecosystem.
    • Porosity - Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts.
    • Echidna - Ethereum fuzz testing framework.
    • Ethersplay - A graphical EVM disassembler with advanced features. (Binja)
    • Oyente - An automatic EVM code analyzer based on symbolic execution and Z3 SMT solver.
    • vs code - Solidity Visual Auditor Extension for VS Code
    • IDA-EVM - IDA Processor Module for the Ethereum Virtual Machine.
    • MAIAN - Automatic tool for finding trace vulnerabilities in Ethereum smart contracts.
  • Training

    • Ethernaut - The ethernaut is a Web3/Solidity based wargame.
    • ctf challs
    • GOATCasino - GOATCasino is a Truffle project which deploys a set of intentionally vulnerable smart contracts.