This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…

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

Cheaper (up to 35k gas) Create3 deployments for small sized contracts (<= ~3.6KB).

A performant and modular zkVM framework built for customization and extensibility.

The Compact is an ownerless ERC6909 contract that facilitates the formation and mediation of reusable resource locks.

A toolkit for polynomial IOPs (PIOPs)

Smart Contract Property-Based Testing Framework

Source code for "Building Cryptographic Proofs from Hash Functions"

Guidelines and training material to write secure smart contracts

A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

Honk Verifier in Solidity

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

CLI tool for deterministically building and verifying executable against on-chain programs or buffer accounts

Allows to easily create tx to be signed through CLI and submitted on a Safe

Applied offensive security with Rust - https://kerkour.com/black-hat-rust

Simple Minting Website for Solana NFTs (for windows machines)

Solidity Function Selector Miner (AVX2 + Multithreaded)

Foundry Test Suit to test weird ERC20 behavior

Replay and track historical state

A quick reference for EVM opcodes

Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.

Ethereum Virtual Machine implementation

Specification for the Execution Layer. Tracking network upgrades.

Simulates Curve Finance pools