vnavascues

py-substrate-interface

Python Substrate Interface

homerolled-zk

simple zk implementations in python

aave-v3-origin

Aave v3.1 protocol

wake

Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

bulloak

A Solidity test generator based on the Branching Tree Technique.

security

Security Reviews and Audit Checklists

evm.codes

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

combinatorics

🦕 Combinatorial generators including combinations, permutations, combinations with replacement, permutations with replacement, cartesian products, and power sets.

awesome-web3-ai-security

Immunefi-bug-bounty-writeups-list

curation of all(most) immunefi bug bounty writeups I could find(till now)

solidity-audit-template

Combines Hardhat, TypeChain, Ethers, Waffle, Solhint, Solcover, Prettier, Tracer, storage layout analysis, EVM network forking, Immunefi/Etherscan contract download and external contract testing

solhint-community

A community effort to keep solhint afloat

slither

Static Analyzer for Solidity and Vyper

formal-methods-curriculum

Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

properties

Pre-built security properties for common Ethereum operations

echidna-vs-forge

Testing echidna vs. forge fuzzing

verified-smart-contracts

Smart contracts which are formally verified

smart-contract-vulnerabilities

A collection of smart contract vulnerabilities along with prevention methods

slotmachine

detect hazardous storage writes in Solidity contracts

direct-request-coordinator

Chainlink Hackaton 2022 Fall

Solidity-Security-Compendium

A mission to breakout every single solidity vuln I come across and categorize it

EthEngGroupSolidityExamples

halmos

A symbolic testing tool for EVM smart contracts

pyrometer

A tool for analyzing the security and parameters of a solidity smart contract

hardhat-project-template-ts

A fully-fledged Hardhat project template based on TypeScript.

damn-vulnerable-defi

The smart contract security training ground for developers, security researchers and educators.

salmonella

Wrecking sandwich traders for fun and profit

DeFiHackLabs

Reproduce DeFi hacked incidents using Foundry.

semgrep-smart-contracts

Semgrep rules for smart contracts based on DeFi exploits