Formal verification of WETH9.sol with Z3
☆58Nov 19, 2022Updated 3 years ago
Alternatives and similar repositories for weth
Users that are interested in weth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆51Sep 11, 2023Updated 3 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Feb 21, 2023Updated 3 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 3 years ago
- evm inception: the evm inside the evm via yul and solidity☆226Apr 19, 2023Updated 3 years ago
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- GobblerWatch: Discord notifications for ArtGobblers☆21Mar 6, 2023Updated 3 years ago
- Optimised Uniswap V2 contracts written in Huff language☆115Apr 22, 2024Updated 2 years ago
- Beacon Chain from scratch☆43Feb 9, 2023Updated 3 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆29May 7, 2022Updated 4 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 4 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆94Aug 12, 2023Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- Tools for Yul.☆140Mar 29, 2023Updated 3 years ago
- Solidity snippets too edgy to be in Solady☆116Aug 23, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Exploring mempool listening methods☆25Mar 4, 2022Updated 4 years ago
- Foundry + Yul template☆97Dec 27, 2023Updated 2 years ago
- ☆13Sep 17, 2022Updated 4 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated 2 years ago
- ☆19Jun 20, 2022Updated 4 years ago
- ☆18Mar 28, 2023Updated 3 years ago
- ☆31Oct 9, 2022Updated 4 years ago
- ☆88Sep 16, 2023Updated 3 years ago
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆58May 11, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆50Jun 12, 2022Updated 4 years ago
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 4 years ago
- Generalized EIP-3074 Invoker with batch transaction support.☆17Apr 27, 2024Updated 2 years ago
- Testing echidna vs. forge fuzzing☆76Dec 20, 2022Updated 3 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Sep 28, 2022Updated 4 years ago
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 4 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆118Dec 4, 2023Updated 2 years ago
- Run arbitrary code on the EVM☆266Feb 21, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 4 years ago
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆279Jul 3, 2024Updated 2 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆114Apr 29, 2024Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 4 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Mar 9, 2023Updated 3 years ago
- Efficient beacon chain batch deposit contract written in huff☆23Oct 1, 2023Updated 3 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago