Certora / QuorumLinks
☆14Updated 2 months ago
Alternatives and similar repositories for Quorum
Users that are interested in Quorum are comparing it to the libraries listed below
Sorting:
- unhacked challenge 1: reaper☆42Updated 3 years ago
- ☆42Updated 2 years ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- GitHub Action for building a Foundry project with a range of Solidity versions☆41Updated 5 months ago
- Secure by design reentrancy guards☆56Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆61Updated 4 years ago
- simple zk implementations in python☆34Updated last year
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated last year
- ☆37Updated 3 years ago
- ☆59Updated 2 years ago
- Repository containing past audit reports☆55Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆58Updated 2 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 3 years ago
- Testing echidna vs. forge fuzzing☆77Updated 3 years ago
- ☆19Updated 3 years ago
- ☆58Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year
- ☆70Updated 8 months ago
- A suite of contracts and utilities that enable cheaper transactions on Optimism (and other EVM-equivalent L2s)☆98Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- ☆65Updated 3 years ago
- ☆74Updated 3 years ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆100Updated 9 months ago
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆37Updated 2 years ago
- ☆44Updated last year
- ☆50Updated 3 years ago
- Vyper Based Capture The Flag Challenges☆35Updated 3 years ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Updated last year
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 9 months ago
- ☆34Updated 8 months ago