O usłudze
PrzetłumaczonePiszę kod EVM niskiego poziomu w Yul i assemblerze inline, aby uczynić Twoje kontrakty Ethereum tańszymi i szybszymi bez zmiany ich zachowania w sieci. Jeśli gorąca funkcja zużywa gaz, jeśli pętla dotyka pamięci, której nie powinna, lub biblioteka potrzebuje ścisłego, ręcznie napisanego rdzenia — to dokładnie ta praca, którą wykonuję każdego dnia.
Co otrzymasz: przepisane krytyczne ścieżki w Yul lub assemblerze inline Solidity, staranny układ pamięci i calldata, spakowane sloty pamięci, ręczne obliczenia keccak i slotów mapowania, niestandardowe błędy i operacje bitowe zamiast rozbudowanych pomocników ABI, oraz niekontrolowane bloki tylko tam, gdzie jest to udowodnione jako bezpieczne. Profiluję każdą zmianę za pomocą zrzutów gazu, abyś widział „przed” i „po” w rzeczywistych liczbach, a nie obietnicach.
Typowe zadania: oszczędzanie gazu przy transferach ERC20/ERC721/ERC1155, optymalizacja matematyki swapów i skarbców DeFi, minimalne proxy i fabryki klonów, pomocnicy assemblera dla dowodów Merkle, odzyskiwanie podpisów i spakowane kodowanie, oraz audyt gotowych kontraktów w celu uzyskania tanich wygranych przed przeglądem.
Jak pracuję: biorę Twój Solidity, zgadzam się na inwarianty, które nie mogą być złamane, a następnie przepisuję gorącą ścieżkę w Yul i udowadniam równoważność z pełnym pokryciem testów i fuzzingiem. Każda optymalizacja zawiera testy, różnicę gazu i komentarze, aby Twój zespół mógł czytać assembler bez bólu. Testuję w Foundry i Hardhat, celuję w Twoją wersję EVM. Wynik jest gotowy do produkcji i udokumentowany. Nazwij kontrakt i funkcję, która sprawia ból — pokażę Ci, gdzie ukrywa się gaz.
Co otrzymasz: przepisane krytyczne ścieżki w Yul lub assemblerze inline Solidity, staranny układ pamięci i calldata, spakowane sloty pamięci, ręczne obliczenia keccak i slotów mapowania, niestandardowe błędy i operacje bitowe zamiast rozbudowanych pomocników ABI, oraz niekontrolowane bloki tylko tam, gdzie jest to udowodnione jako bezpieczne. Profiluję każdą zmianę za pomocą zrzutów gazu, abyś widział „przed” i „po” w rzeczywistych liczbach, a nie obietnicach.
Typowe zadania: oszczędzanie gazu przy transferach ERC20/ERC721/ERC1155, optymalizacja matematyki swapów i skarbców DeFi, minimalne proxy i fabryki klonów, pomocnicy assemblera dla dowodów Merkle, odzyskiwanie podpisów i spakowane kodowanie, oraz audyt gotowych kontraktów w celu uzyskania tanich wygranych przed przeglądem.
Jak pracuję: biorę Twój Solidity, zgadzam się na inwarianty, które nie mogą być złamane, a następnie przepisuję gorącą ścieżkę w Yul i udowadniam równoważność z pełnym pokryciem testów i fuzzingiem. Każda optymalizacja zawiera testy, różnicę gazu i komentarze, aby Twój zespół mógł czytać assembler bez bólu. Testuję w Foundry i Hardhat, celuję w Twoją wersję EVM. Wynik jest gotowy do produkcji i udokumentowany. Nazwij kontrakt i funkcję, która sprawia ból — pokażę Ci, gdzie ukrywa się gaz.
