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