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: 22 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.