leonardoalt / hevm_paperLinks
☆12Updated 3 years ago
Alternatives and similar repositories for hevm_paper
Users that are interested in hevm_paper are comparing it to the libraries listed below
Sorting:
- ☆35Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- ☆33Updated 2 years ago
- ☆23Updated 2 years ago
- ☆14Updated 3 years ago
- ☆28Updated 2 years ago
- A puzzle for Curta CTF☆26Updated last year
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Updated last year
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- ☆23Updated 5 years ago
- Fork of cannon that supports Rust☆15Updated 2 years ago
- devp2p implementation from akula☆15Updated 2 years ago
- ☆31Updated 2 years ago
- A set of tools for use with the huff language.☆21Updated 2 years ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated 2 years ago
- foundry + ethers☆22Updated 3 years ago
- etk-Foundry project template☆21Updated 2 years ago
- ☆28Updated 3 years ago
- Foundry test utils.☆29Updated 2 years ago
- Groth16 verifier in EVM☆21Updated last year
- Use the EVM cache state to shim transient storage☆20Updated 2 years ago
- Certora integration with the Forge testing framework of Foundry☆21Updated 2 years ago
- Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.☆46Updated 2 years ago
- A salmonella token built with foundry☆20Updated 3 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Updated 3 years ago