Certora / QuorumLinks
☆14Updated 3 months ago
Alternatives and similar repositories for Quorum
Users that are interested in Quorum are comparing it to the libraries listed below
Sorting:
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated last year
- ☆44Updated last year
- unhacked challenge 1: reaper☆42Updated 3 years ago
- simple zk implementations in python☆34Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year
- ☆42Updated 2 years ago
- Secure by design reentrancy guards☆56Updated 2 years ago
- Repository containing past audit reports☆55Updated 2 years ago
- ☆59Updated 2 years ago
- Foundry + Yul template☆97Updated 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
- ☆19Updated 3 years ago
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆37Updated 2 years ago
- ☆58Updated 2 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 10 months ago
- GitHub Action for building a Foundry project with a range of Solidity versions☆41Updated 6 months ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 9 months ago
- ☆70Updated 8 months ago
- standardized framework to simulate governance proposals with forge☆58Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 3 years ago
- Testing echidna vs. forge fuzzing☆77Updated 3 years ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆43Updated last year
- Solidity static analyzer☆83Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 3 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆52Updated 2 years ago
- ☆50Updated 3 years ago
- Diagrams for Solidity contracts☆48Updated last year
- An opinionated template for Foundry projects.☆78Updated 2 months ago
- Pack data tightly together and save space.☆71Updated 2 years ago