Создаю и аудирую смарт-контракты Ethereum на языке Vyper — питоноподобном диалекте EVM, где во главу угла поставлены безопасность и намеренная простота. В отличие от Solidity здесь нет громоздкого наследования, нет ассемблерных вставок по умолчанию и нет тихих переполнений. Тот код, который уходит в сеть, остаётся понятным целиком — а это ровно то, что требуется, когда контракт распоряжается реальными средствами.
В работу входят: токены стандартов ERC-20 и ERC-721, контракты стейкинга и вестинга, строительные блоки DeFi (AMM, кредитные пулы, распределители комиссий), механизмы DAO и голосований, а также нестандартная логика под ваш сценарий. Каждый контракт сопровождается набором тестов в Brownie или Titanoboa, замерами расхода газа, документацией NatSpec и готовыми скриптами публикации в тестовой сети и основной сети.
Безопасность здесь не отдельная услуга, а основа процесса. Прослеживаю каждый внешний вызов, проверяю защиту от повторного входа и разграничение прав, выверяю вычисления и округления, разбираю раскладку хранилища ещё до первой транзакции. Для готовых контрактов на Vyper или Solidity выполняю полноценный аудит с письменным заключением, где указаны уровень риска и точечные исправления.
Отдельно занимаюсь газом: уплотняю переменные в слотах, срезаю лишние обращения к хранилищу и показываю замеры до и после. На выходе — аккуратный код, понятная документация и разбор по видеосвязи для вашей команды.
В работу входят: токены стандартов ERC-20 и ERC-721, контракты стейкинга и вестинга, строительные блоки DeFi (AMM, кредитные пулы, распределители комиссий), механизмы DAO и голосований, а также нестандартная логика под ваш сценарий. Каждый контракт сопровождается набором тестов в Brownie или Titanoboa, замерами расхода газа, документацией NatSpec и готовыми скриптами публикации в тестовой сети и основной сети.
Безопасность здесь не отдельная услуга, а основа процесса. Прослеживаю каждый внешний вызов, проверяю защиту от повторного входа и разграничение прав, выверяю вычисления и округления, разбираю раскладку хранилища ещё до первой транзакции. Для готовых контрактов на Vyper или Solidity выполняю полноценный аудит с письменным заключением, где указаны уровень риска и точечные исправления.
Отдельно занимаюсь газом: уплотняю переменные в слотах, срезаю лишние обращения к хранилищу и показываю замеры до и после. На выходе — аккуратный код, понятная документация и разбор по видеосвязи для вашей команды.
