ChainSecurity / deployment_validation
Deployment Validation Files aim to simplify Deployment Validation of Smart Contracts
☆23Updated last month
Alternatives and similar repositories for deployment_validation:
Users that are interested in deployment_validation are comparing it to the libraries listed below
- Foundry + Yul template☆95Updated last year
- A Proxy contract incorporating a Reentrancy Guard☆28Updated 2 years ago
- A collection of gas optimizations for the EVM.☆92Updated 2 years ago
- An opinionated template for Foundry projects.☆75Updated last month
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆121Updated 2 years ago
- ☆90Updated 10 months ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆58Updated last year
- ☆76Updated 2 years ago
- A Solidity library for transient storage management ✨☆59Updated 2 months ago
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- ☆50Updated 2 years ago
- List of Halmos resources.☆54Updated 2 months ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated last year
- Solidity Audit Report Generator☆85Updated last year
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆90Updated 4 years ago
- EVM contract size analyzer☆17Updated 2 years ago
- Pack data tightly together and save space.☆71Updated 2 years ago
- Repository containing past audit reports☆54Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 8 months ago
- Solidity library of smart contracts from the OpenZeppelin Community☆52Updated this week
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 3 years ago