À propos du service
TraduitJ'écris du code EVM de bas niveau en Yul et en assembleur inline pour rendre vos contrats Ethereum moins chers et plus rapides sans changer leur comportement réseau. Si une fonction critique consomme du gaz, si une boucle touche un stockage qu'elle ne devrait pas, ou si une bibliothèque a besoin d'un cœur écrit à la main — c'est exactement le travail que je fais chaque jour.
Ce que vous obtiendrez : des chemins critiques réécrits en Yul ou en assembleur inline Solidity, une disposition soigneuse de la mémoire et des données d'appel, des emplacements de stockage packés, des calculs manuels de keccak et d'emplacements de mappage, des erreurs personnalisées et des opérations bit à bit au lieu d'aides ABI gonflées, et des blocs non vérifiés uniquement là où c'est prouvé sûr. Je profile chaque changement avec des instantanés de gaz afin que vous voyiez "avant" et "après" en chiffres réels, pas en promesses.
Tâches typiques : réduire le gaz sur les transferts ERC20/ERC721/ERC1155, optimiser les mathématiques d'échange et les coffres DeFi, des proxys minimaux et des usines de clones, des aides assembleur pour les preuves Merkle, la récupération de signatures et l'encodage packé, et auditer des contrats prêts pour des gains rapides avant révision.
Comment je travaille : Je prends votre Solidity, je m'accorde sur des invariants qui ne peuvent pas être brisés, puis je réécris le chemin critique en Yul et prouve l'équivalence avec une couverture de test complète et du fuzzing. Chaque optimisation est accompagnée de tests, d'un diff de gaz et de commentaires afin que votre équipe puisse lire l'assembleur sans douleur. Je teste dans Foundry et Hardhat, cible votre version EVM. Le résultat est prêt pour la production et documenté. Nommez le contrat et la fonction qui posent problème — je vous montrerai où se cache le gaz.
Ce que vous obtiendrez : des chemins critiques réécrits en Yul ou en assembleur inline Solidity, une disposition soigneuse de la mémoire et des données d'appel, des emplacements de stockage packés, des calculs manuels de keccak et d'emplacements de mappage, des erreurs personnalisées et des opérations bit à bit au lieu d'aides ABI gonflées, et des blocs non vérifiés uniquement là où c'est prouvé sûr. Je profile chaque changement avec des instantanés de gaz afin que vous voyiez "avant" et "après" en chiffres réels, pas en promesses.
Tâches typiques : réduire le gaz sur les transferts ERC20/ERC721/ERC1155, optimiser les mathématiques d'échange et les coffres DeFi, des proxys minimaux et des usines de clones, des aides assembleur pour les preuves Merkle, la récupération de signatures et l'encodage packé, et auditer des contrats prêts pour des gains rapides avant révision.
Comment je travaille : Je prends votre Solidity, je m'accorde sur des invariants qui ne peuvent pas être brisés, puis je réécris le chemin critique en Yul et prouve l'équivalence avec une couverture de test complète et du fuzzing. Chaque optimisation est accompagnée de tests, d'un diff de gaz et de commentaires afin que votre équipe puisse lire l'assembleur sans douleur. Je teste dans Foundry et Hardhat, cible votre version EVM. Le résultat est prêt pour la production et documenté. Nommez le contrat et la fonction qui posent problème — je vous montrerai où se cache le gaz.
