A python interface for interacting with the Ethereum blockchain and ecosystem.

VMware Workstation macOS

Ethereum Proof-of-Stake Consensus Specifications

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Symbolic execution tool

Build and explore on-chain with Python

A symbolic testing tool for EVM smart contracts

the Network Protocol Fuzzer that we will want to use.

Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.

A high-performance proxy server for streaming media, supporting HTTP(S), HLS, and MPEG-DASH with real-time DRM decryption, acestream, xtreamcode proxy

A grammar based feedback Fuzzer

Compact self-describing codecs. Save space by using predefined multicodec tables.

flood is a load testing tool for benchmarking EVM nodes over RPC

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

Account abstraction library for web3.py

Polygon Technical Docs

Python implementation of ECC pairing and bn_128 and bls12_381 curve operations

This repository contains 47,398 smart contracts extracted from the Ethereum network.

Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs

Hashing to Elliptic Curves

Vero is a multi-node validator client software implementation, targeting Ethereum and Gnosis Chain.

Python types for type hinting commonly used ethereum types

ethPandaOps' giant-wok based AI workflows

Algorand's reference implementation of bls signature scheme

Ethereum 2.0 Specifications

This repository provides a simulated Restricted Cone NAT environment.

Heatmap for equities inside an index-heavy portfolio