runtimeverification / kontrol-solady
Solady formal verification with Kontrol
☆11Updated this week
Alternatives and similar repositories for kontrol-solady:
Users that are interested in kontrol-solady are comparing it to the libraries listed below
- ring buffer in solidity☆10Updated last year
- Use the EVM cache state to shim transient storage☆20Updated last year
- Dynamic constructor-initializable immutables example in Huff☆15Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated 4 months ago
- Beating OpenZeppelin's Ethernaut in Pure Assembly. Masochists Only.☆24Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- gas comparisons between vyper and solady☆20Updated 3 months ago
- ☆34Updated 2 years ago
- Perform an arbitrary series of actions in the EVM in a single transaction.☆12Updated 2 months ago
- Solidity string utilities written in yul☆20Updated 2 years ago
- sane NFT fractionalization with no fees or middlemen☆14Updated 11 months ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated 11 months ago
- A simple tool to convert Yul arithmetic expressions to Huff☆14Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆21Updated 2 years ago
- solidity compression utility☆19Updated 3 months ago
- Implementation of a faucet in Huff with differential fuzzing vs solidity☆14Updated last year
- Uniswap V2 with Zolidity☆14Updated 5 months ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Updated 2 years ago
- ☆17Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 6 months ago
- ☆14Updated 2 years ago
- ☆12Updated 2 years ago
- Create persistent Anvil instances☆32Updated 5 months ago
- WETH Implementation in Vyper + gas comparisons to WETH9 and WETH10☆16Updated 10 months ago
- Voting extension for ERC-1155 multi-token standard☆12Updated 2 years ago
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆27Updated last year
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- ☆14Updated last year
- Generic Vector library for Solidity☆27Updated 2 years ago
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year