Описание услуги
Пишу низкоуровневый EVM-код на Yul и inline-ассемблере, чтобы ваши контракты Ethereum стали дешевле и быстрее, не меняя их поведение в сети. Если горячая функция съедает газ, если цикл переписывает хранилище, которого не должен касаться, или библиотеке нужно плотное ручное ядро — это ровно та работа, которой я занимаюсь каждый день.
Что вы получите: переписанные критические пути на Yul или inline-ассемблере Solidity, аккуратную раскладку памяти и calldata, упакованные слоты хранилища, ручной расчёт keccak и слотов маппингов, кастомные ошибки и битовые операции вместо раздутых ABI-хелперов, а также unchecked-блоки только там, где это доказуемо безопасно. Каждое изменение я профилирую снапшотами газа, чтобы вы видели «до» и «после» в реальных числах, а не в обещаниях.
Типичные задачи: снятие газа с трансферов ERC20/ERC721/ERC1155, оптимизация математики свопов и хранилищ DeFi, минимальные прокси и клон-фабрики, ассемблерные хелперы для доказательств Меркла, восстановления подписи и упакованного кодирования, а также разбор готового контракта на дешёвые улучшения перед аудитом.
Как я работаю: беру ваш Solidity, согласую инварианты, которые нельзя ломать, затем переписываю горячий путь на Yul и доказываю эквивалентность полным набором тестов и фаззингом. Каждая оптимизация выходит с тестами, диффом газа и комментариями, чтобы ваша команда потом читала ассемблер без боли. Тестирую в Foundry и Hardhat, целюсь в вашу версию EVM. Результат готов к продакшену и задокументирован. Назовите контракт и функцию, которая болит, — и я покажу, где прячется газ.
Что вы получите: переписанные критические пути на Yul или inline-ассемблере Solidity, аккуратную раскладку памяти и calldata, упакованные слоты хранилища, ручной расчёт keccak и слотов маппингов, кастомные ошибки и битовые операции вместо раздутых ABI-хелперов, а также unchecked-блоки только там, где это доказуемо безопасно. Каждое изменение я профилирую снапшотами газа, чтобы вы видели «до» и «после» в реальных числах, а не в обещаниях.
Типичные задачи: снятие газа с трансферов ERC20/ERC721/ERC1155, оптимизация математики свопов и хранилищ DeFi, минимальные прокси и клон-фабрики, ассемблерные хелперы для доказательств Меркла, восстановления подписи и упакованного кодирования, а также разбор готового контракта на дешёвые улучшения перед аудитом.
Как я работаю: беру ваш Solidity, согласую инварианты, которые нельзя ломать, затем переписываю горячий путь на Yul и доказываю эквивалентность полным набором тестов и фаззингом. Каждая оптимизация выходит с тестами, диффом газа и комментариями, чтобы ваша команда потом читала ассемблер без боли. Тестирую в Foundry и Hardhat, целюсь в вашу версию EVM. Результат готов к продакшену и задокументирован. Назовите контракт и функцию, которая болит, — и я покажу, где прячется газ.
