About the service
I write low-level EVM code in Yul and inline assembler to make your Ethereum contracts cheaper and faster without changing their network behavior. If a hot function burns gas, if a loop touches storage it shouldn't, or a library needs a tight hand-written core — this is exactly the work I do every day.
What you'll get: rewritten critical paths in Yul or Solidity inline assembler, careful memory and calldata layout, packed storage slots, manual keccak and mapping slot calculation, custom errors and bitwise operations instead of bloated ABI helpers, and unchecked blocks only where provably safe. I profile every change with gas snapshots so you see "before" and "after" in real numbers, not promises.
Typical tasks: shaving gas off ERC20/ERC721/ERC1155 transfers, optimizing swap math and DeFi vaults, minimal proxies and clone factories, assembler helpers for Merkle proofs, signature recovery and packed encoding, and auditing ready contracts for cheap wins before review.
How I work: I take your Solidity, agree on invariants that can't break, then rewrite the hot path in Yul and prove equivalence with full test coverage and fuzzing. Each optimization comes with tests, a gas diff and comments so your team reads the assembler without pain. I test in Foundry and Hardhat, target your EVM version. The result is production-ready and documented. Name the contract and function that hurts — I'll show you where the gas hides.
What you'll get: rewritten critical paths in Yul or Solidity inline assembler, careful memory and calldata layout, packed storage slots, manual keccak and mapping slot calculation, custom errors and bitwise operations instead of bloated ABI helpers, and unchecked blocks only where provably safe. I profile every change with gas snapshots so you see "before" and "after" in real numbers, not promises.
Typical tasks: shaving gas off ERC20/ERC721/ERC1155 transfers, optimizing swap math and DeFi vaults, minimal proxies and clone factories, assembler helpers for Merkle proofs, signature recovery and packed encoding, and auditing ready contracts for cheap wins before review.
How I work: I take your Solidity, agree on invariants that can't break, then rewrite the hot path in Yul and prove equivalence with full test coverage and fuzzing. Each optimization comes with tests, a gas diff and comments so your team reads the assembler without pain. I test in Foundry and Hardhat, target your EVM version. The result is production-ready and documented. Name the contract and function that hurts — I'll show you where the gas hides.
