Описание услуги
Разрабатываю смарт-контракты промышленного уровня на Scilla — функциональном языке блокчейна Zilliqa, созданном с приоритетом безопасности. Scilla устроен иначе, чем Solidity: он намеренно отделяет вычисления от работы с состоянием и обмена сообщениями, что заранее исключает целые классы ошибок, включая реентрантность и путаницу в потоке управления.
Вдобавок контракты на Scilla поддаются формальной верификации, поэтому логику можно доказательно обосновать математически, а не только проверять тестами в надежде на удачу. Вы получаете не шаблон с копипастой, а модель ваших бизнес-правил в виде явных переходов состояния. Логику движения средств я держу минимальной и пригодной для аудита, а типизированные сообщения и сопоставление с образцом делают недопустимые состояния попросту невыразимыми.
Каждый контракт поставляется со спецификацией, документацией в коде и полным набором модульных и сценарных тестов, прогнанных на локальной сети Zilliqa до выхода на mainnet. Типичные задачи: токены ZRC-2 и ZRC-6, стейкинг и вестинг, эскроу и мультиподпись, DAO-управление, маркетплейсы и аукционы, кастомные DeFi-примитивы. Также провожу ревью и укрепление существующего кода, устраняю уязвимости и оптимизирую расход газа.
Процесс прозрачен: согласуем спецификацию, реализую короткими проверяемыми итерациями, показываю результаты тестов и передаю скрипты деплоя с разбором, чтобы ваша команда уверенно управляла контрактом. Безопасность здесь не довесок, а сама причина выбрать Scilla, и я отношусь к ней так с первой строки до финальной передачи, готовой к аудиту.
Вдобавок контракты на Scilla поддаются формальной верификации, поэтому логику можно доказательно обосновать математически, а не только проверять тестами в надежде на удачу. Вы получаете не шаблон с копипастой, а модель ваших бизнес-правил в виде явных переходов состояния. Логику движения средств я держу минимальной и пригодной для аудита, а типизированные сообщения и сопоставление с образцом делают недопустимые состояния попросту невыразимыми.
Каждый контракт поставляется со спецификацией, документацией в коде и полным набором модульных и сценарных тестов, прогнанных на локальной сети Zilliqa до выхода на mainnet. Типичные задачи: токены ZRC-2 и ZRC-6, стейкинг и вестинг, эскроу и мультиподпись, DAO-управление, маркетплейсы и аукционы, кастомные DeFi-примитивы. Также провожу ревью и укрепление существующего кода, устраняю уязвимости и оптимизирую расход газа.
Процесс прозрачен: согласуем спецификацию, реализую короткими проверяемыми итерациями, показываю результаты тестов и передаю скрипты деплоя с разбором, чтобы ваша команда уверенно управляла контрактом. Безопасность здесь не довесок, а сама причина выбрать Scilla, и я отношусь к ней так с первой строки до финальной передачи, готовой к аудиту.
