智能合约开发审查协议范本

智能合约开发与审查协议

协议编号： 2024-WG-001

签订日期： 2024 年 07 月 11 日

签订地点： 中国北京市朝阳区

甲方（委托方）：

• 名称： 文稿稿
• 统一社会信用代码： 91110105MA01K7432D （示例，请根据实际情况修改）
• 住所： 北京市朝阳区[具体街道地址]
• 法定代表人/负责人/个人： 文稿稿
• 联系电话： 95022435
• 电子邮箱： mail@wengaogao.com
• 网站： wengaogao.com

乙方（受托方）：

• 名称： [乙方全称] （请填写乙方公司全称）
• 统一社会信用代码： [乙方统一社会信用代码] （请填写乙方统一社会信用代码）
• 住所： [乙方住所] （请填写乙方公司地址）
• 法定代表人/负责人： [乙方代表] （请填写乙方法定代表人或负责人姓名）
• 联系电话： [乙方联系电话] （请填写乙方联系电话）
• 电子邮箱： [乙方电子邮箱] （请填写乙方电子邮箱）

鉴于：

1. 甲方希望委托乙方进行智能合约的开发/或审查服务；
2. 乙方具备提供智能合约开发/或审查服务所需的专业知识、技术能力和经验。

双方本着平等互利、诚实信用的原则，经友好协商，达成如下协议，以资共同遵守：

第一条 定义

除非本协议另有明确约定，下列术语应具有以下含义：

1. 智能合约（Smart Contract）： 指以计算机代码形式存在，部署在区块链上，能够自动执行、验证和实施协议条款的程序。
2. 区块链（Blockchain）： 指一种分布式数据库技术，通过密码学方法保证数据不可篡改和伪造。
3. 源代码（Source Code）： 指智能合约的原始计算机代码，以人类可读的形式表示。
4. 目标代码（Object Code）： 指源代码经过编译后生成的，可在区块链上执行的机器可读代码。
5. 测试网（Testnet）： 指用于测试智能合约功能的模拟区块链环境，不涉及真实资产。
6. 主网（Mainnet）： 指正式运行的区块链网络，智能合约部署后将直接影响真实资产。
7. Gas： 指在区块链上执行智能合约操作所需的费用，通常以区块链的原生代币计价。
8. 漏洞（Vulnerability）： 指智能合约代码中存在的缺陷，可能导致合约被攻击、资金损失或其他意外后果。
9. 形式化验证（Formal Verification）： 指使用数学方法证明智能合约代码符合其规范，不存在漏洞。

• 安全审计（Security Audit）： 指对智能合约代码进行全面检查，识别潜在漏洞和安全风险的过程。

业务逻辑（Business Logic）：