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