Опис послуги
ПерекладПишу низькорівневий 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. Результат готовий до продакшену та задокументований. Назвіть контракт та функцію, яка болить, — і я покажу, де приховується газ.
