Описание услуги
Напишу формально верифицируемые смарт-контракты на языке Pact для блокчейна Kadena, которые делают ровно то, что требует ваша бизнес-логика, и ничего лишнего. Pact — это человекочитаемый язык Kadena, и он намеренно не является полным по Тьюрингу: одно это решение убирает целые классы уязвимостей, которые мучают другие сети, — никаких бесконечных циклов, неконтролируемого расхода газа и сюрпризов с повторным входом (reentrancy).
Сверх того я использую встроенную в Pact формальную верификацию (модель свойств и инвариантов), чтобы математически доказать, что контракт сохраняет важные для вас правила: общий объём эмиссии не раздувается, средства двигают только авторизованные guard'ы, балансы никогда не уходят в минус.
Что вы получаете: аккуратный модуль с capabilities и guard'ами для контроля доступа, полный набор тестов, машинно проверяемые свойства и — поскольку контракты на Pact обновляемы — безопасный путь выкатывать исправления и новые функции без передеплоя всей системы и без миграции состояния пользователей. Типовые задачи: взаимозаменяемые и невзаимозаменяемые токены, маркетплейсы, эскроу и вестинг, голосование DAO, произвольная он-чейн логика.
Процесс: вместе фиксируем инварианты, я реализую модуль, доказываю свойства, покрываю юнит-тестами на локальном devnet и передаю документированный, готовый к аудиту код со скриптами деплоя для тестовой и основной сети. Если вы переходите с Solidity, помогу перенести дизайн на более безопасную модель Pact.
Сверх того я использую встроенную в Pact формальную верификацию (модель свойств и инвариантов), чтобы математически доказать, что контракт сохраняет важные для вас правила: общий объём эмиссии не раздувается, средства двигают только авторизованные guard'ы, балансы никогда не уходят в минус.
Что вы получаете: аккуратный модуль с capabilities и guard'ами для контроля доступа, полный набор тестов, машинно проверяемые свойства и — поскольку контракты на Pact обновляемы — безопасный путь выкатывать исправления и новые функции без передеплоя всей системы и без миграции состояния пользователей. Типовые задачи: взаимозаменяемые и невзаимозаменяемые токены, маркетплейсы, эскроу и вестинг, голосование DAO, произвольная он-чейн логика.
Процесс: вместе фиксируем инварианты, я реализую модуль, доказываю свойства, покрываю юнит-тестами на локальном devnet и передаю документированный, готовый к аудиту код со скриптами деплоя для тестовой и основной сети. Если вы переходите с Solidity, помогу перенести дизайн на более безопасную модель Pact.
