Adds numbered shortcuts to the output git status, and much more

Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.

A curated list of Smart Contract Security materials and resources For Researchers

A curated list of awesome security resources for ZK.

Cuda implementation of EVM bytecode executor

Solidity, the Smart Contract Programming Language