Certora / QuorumLinks
☆14Updated 2 weeks 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
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 11 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- ☆59Updated last year
- ☆18Updated 3 years ago
- ☆42Updated last year
- GitHub Action for building a Foundry project with a range of Solidity versions☆41Updated 2 weeks ago
- ☆16Updated 11 months ago
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- ☆63Updated 2 years ago
- Repository containing past audit reports☆55Updated last year
- ☆44Updated 9 months ago
- Secure by design reentrancy guards☆56Updated 2 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆44Updated 8 months ago
- Foundry + Yul template☆97Updated last year
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆57Updated 11 months ago
- ☆58Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- simple zk implementations in python☆28Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago
- The Incentivized Action Market (IAM) Protocol.☆72Updated 3 months ago
- ☆38Updated 2 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆113Updated last week
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆60Updated last week
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆96Updated 4 months ago
- Vyper Based Capture The Flag Challenges☆35Updated 3 years ago