Разработка смарт-контрактов с проверкой до написания кода

Что сравнивает первая проверка контракта?

1 проверка перед разработкой сравнивает отправленные правила с поведением, которое контракт должен обеспечивать. Мы выявляем недостающие решения до реализации, затем согласовываем, какая работа относится к on-chain.

Таблица разделяет 4 области работы, которые могут быть в одном проекте. Ваши правила определяют, какие из них применимы. Один контракт может выполнять одну функцию. Связанные контракты требуют больше решений по интерфейсам.

Для каждого действия мы фиксируем, кто его инициирует, какие условия применяются и что меняется. Мы также отмечаем отклоненные действия и ожидаемые результаты для пользователей. Это дает вашей команде конкретный обзор до того, как код превратит допущения в поведение контракта.

Если в дизайне участвует токен, свяжите эту работу с созданием и деплоем токена.

7 входных данных, которые делают решения по контракту прозрачными

7 входных данных дают нам практическую отправную точку для спецификации контракта. Отправьте то, что у вас есть; отметьте неотвеченные пункты, а не считайте предположения утвержденными правилами.

• Назначение продукта: задача, которую должен выполнять контракт.
• Пользовательские сценарии: действия от входа до завершения.
• Роли: пользователи, администраторы и каждое необходимое им разрешение.
• Бизнес-правила: условия, сроки и исключительные случаи.
• Предпочтение сети: целевая сеть, если уже выбрана.
• Интерфейсы: существующие контракты и требования приложения.
• Потребности в проверке: известные операционные, юридические или аудиторские требования.

Для вестинга укажите:

• Источник распределения, бенефициар и условие начала.
• График выпуска и процесс получения.
• Может ли кто-либо изменять график и кто может авторизовать это действие.

Для стейкинга запишите:

• Шаги депозита и вывода.
• Входные данные вознаграждений и правила получения.
• Поведение при паузе.

Мы отмечаем зависимости и открытые решения в проверке. Затем мы просим вашу команду утвердить критерии приемки. Это утверждение дает реализации четкий ориентир.

Если ваша работа выходит за рамки кода контракта, Web3 разработка может покрыть более широкий продукт. Разработка dApp касается уровня приложения.

3 окна разработки: от правил до релиза

3 окна работы разделяют продуктовые решения, код и подготовку к релизу. Точный календарь зависит от согласованного поведения контракта, интеграций и потребностей в проверке.

1. Окно правил: мы сопоставляем роли, действия, условия и крайние случаи. Ваша команда решает вопросы, влияющие на поведение контракта.
2. Окно спецификации: мы фиксируем утвержденное поведение и критерии приемки. Вы просматриваете документ до начала реализации.
3. Окно разработки: мы реализуем согласованную логику контракта. Мы поддерживаем соответствие кода проверенной спецификации.
4. Окно тестирования: мы проверяем ожидаемые пути, разрешения, недопустимые входные данные и указанные крайние случаи. Находки и нерешенные продуктовые решения фиксируются для проверки.
5. Окно релиза: мы готовим заметки по конфигурации и детали передачи. Если включена независимая проверка, мы координируем ее материалы и вопросы.

Каждое окно заканчивается проверяемым артефактом или решением, а не предполагаемым одобрением. Вы видите, что готово и что требует ответа. Для связанного продукта подтвердите, какая команда отвечает за интеграцию приложения. Также подтвердите, какие интерфейсы контракта оно будет использовать.

Что могут рассказать тесты и аудит контракта?

Тесты показывают, следует ли контракт поведению, согласованному в спецификации. Независимый аудит — это отдельная проверка с собственной оценкой и выводами.

Мы связываем каждое ключевое поведение с конкретными проверками:

• Действия пользователей.
• Разрешения.
• Недопустимые входные данные.
• Взаимодействия между частями контракта, включенными в план.

Мы обобщаем выполнение тестов и фиксируем открытые вопросы простым языком. Это помогает вашей команде отличить проблему кода от продуктового правила, которое еще требует решения.

Для внешней проверки подготовьте точную версию исходного кода, краткое описание потока контракта, известные допущения, зависимости и инструкции по тестированию. Мы можем организовать эти материалы, отслеживать вопросы рецензента и помогать команде проверять согласованные исправления. Тестирование разработки и координация аудита отделены от собственной работы рецензента.

Тестовый прогон не может определить, как развернутый контракт будет вести себя в любых сетевых условиях. Выбранный аудитор контролирует свои выводы. Поведение кошелька и сторонние интеграции также находятся вне кода контракта, который мы создаем. Учитывайте эти границы в решении о релизе, наряду со спецификацией, записями тестов и выводами проверки.

3 записи для передачи от разработки к релизу

3 записи дают вашей команде полезную передачу: утвержденные правила, доказательства тестов и заметки по деплою. Мы согласовываем их содержание до начала работы, чтобы ваша команда знала, чего ожидать.

• Запись аудита: мы держим аудит отдельно. Если внешний аудит является частью плана, его провайдер владеет оценкой; мы координируем материалы и ответы.
• Токен или приложение: согласуйте решения по интерфейсам с созданием и деплоем токена или разработкой dApp.
• Веб-сайт: Web3 сайт может быть спланирован как отдельный компонент продукта.

В DigitalMedia1 мы проверяем правила и интерфейсы до реализации. Затем мы связываем тесты с утвержденным поведением. Отправьте нам бриф продукта, предпочтительную сеть и существующие материалы по контракту. Мы их проверим и отправим письменное предложение в течение 2 рабочих дней.

Как мы работаем

1. 1 — Отправьте правила продуктаОкно: до спецификации. Отправьте пользовательские сценарии, роли, предпочтения по сети, существующий код и известные потребности в проверке.
2. 2 — Проверьте границы контрактаОкно: план проверки. Мы выявляем зависимости, открытые решения и поведение, требующее утверждения.
3. 3 — Утвердите спецификациюОкно: до реализации. Ваша команда проверяет роли, сценарии, крайние случаи и критерии приемки.
4. 4 — Разработка и тестированиеОкно: реализация и тесты. Мы создаем согласованную логику и фиксируем проверки против указанного поведения.
5. 5 — Подготовка передачиОкно: подготовка к релизу. Мы предоставляем заметки по деплою и координируем любую включенную внешнюю аудиторскую работу.