Austin-Williams / pro-bono-spot-checksLinks
Chaotic good security research
☆18Updated 2 months ago
Alternatives and similar repositories for pro-bono-spot-checks
Users that are interested in pro-bono-spot-checks are comparing it to the libraries listed below
Sorting:
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 3 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 2 years ago
- ☆49Updated 2 years ago
- ☆63Updated 2 years ago
- ☆43Updated last year
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- ☆52Updated 2 years ago
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆50Updated 2 years ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Updated 3 years ago
- ☆50Updated 3 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆57Updated 10 months ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- ☆59Updated last year
- ☆76Updated 3 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 3 months ago
- ☆51Updated last year
- A list of common Solidity optimization tips and myths.☆85Updated 3 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆30Updated last year
- ☆50Updated 2 years ago
- Complex numbers for Solidity☆53Updated last year
- ☆38Updated 2 years ago
- ☆58Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 10 months ago
- Decentralized Summation System☆46Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago