智能合约开发，代码编写前先检查

首次合约检查比较什么？

1次预构建检查将您发送的规则与合约需执行的行为进行比较。我们在实施前识别缺失的决策，然后商定哪些工作属于链上。

该表格区分了可纳入同一项目的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 — 准备交接窗口：发布准备。我们提供部署说明并协调任何包含的外部审计工作。