# 审计与模拟

为了确保我们的平台运行符合预期，我们将在整个开发周期中进行多次内部审计。我们的团队有能力编写符合规范的安全代码。

此外，除了内部审计之外，我们还将与业内顶尖公司合作开展外部审计。外部审查至关重要，因为开发团队过于依赖代码，难以以全新的视角审视代码，也难以对设计选择提出批判性意见。外部审计能够揭示规范与实现之间的不一致之处，确保文档及时更新，强化智能合约的安全模型，并为与合约交互的用户创造更佳体验。

除了审计之外，我们还会进行代理模拟，以模拟不同的场景和用户行为，从而可视化系统随时间推移的演变过程。我们可以模拟用户与系统交互的不同策略，并快速推进时间，观察系统属性的变化。

我们还将对核心合约功能进行形式化验证。形式化验证是一个成本高昂且复杂的过程，但它能提供额外的安全保障。系统的核心部分将由我们团队内部建模并进行形式化验证，同时也会由外部审计人员进行验证。确保我们做到这一点至关重要，因为分布式系统、内部会计核算、数学特性和特定变体都关系到用户的安全。

#### 安全验证流程包括：

**内部代码审计**\
由协议工程师和安全研究员对核心合约进行逐行审查，重点覆盖权限控制、资金流向、重入风险、整数溢出、价格计算、状态同步和边界条件。

**外部安全审计**\
邀请第三方安全机构对合约实现、业务逻辑、经济模型、权限结构和升级路径进行独立审查，发现内部团队可能忽略的问题。

**经济模型仿真**\
模拟用户参与、奖励释放、领取结算、LP 增长、赎回请求、市场波动、极端流动性变化等场景，验证协议状态是否符合设计预期。

**压力测试**\
在测试网和沙盒环境中模拟高并发请求、批量领取、批量赎回、预言机延迟、跨链消息失败和异常价格波动，测试系统稳定性。

**形式化验证**\
对核心资金分层、质押保全、奖励结算和销毁逻辑建立形式化模型，验证关键不变量，例如用户余额不可被未授权修改、奖励不能超过协议上限、VXP 结算后必须进入销毁路径等。

**上线后监控**\
主网上线后，协议应持续监控合约事件、资金池状态、RWA 数据更新、异常调用、Gas 异常、权限操作和治理提案执行情况。


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://verraprotocol.gitbook.io/verra-docs/an-quan-yu-shen-ji/shen-ji-yu-mo-ni.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.