funcaudit-labs/funcaudit-portfolio

# funcaudit-labs **用于 TON 智能合约的 invariant 测试套件。你运行它们。你查看结果。** 我们使用 Blueprint 和 @ton/sandbox 为 FunC/Tolk 合约构建基于属性的 invariant 测试套件，在你指定的 commit 上运行它们，并将测试套件及实际运行输出交给你。无需信任：我们做出的每一项声明都是一条你可以自行重新运行的命令。 ## 你将获得什么 — $600–900，5 天 - 针对你的合约编写的 invariant 测试套件（Blueprint + @ton/sandbox） - 绑定 commit 的范围：测试套件针对你仓库中的一个特定 commit - 复现说明：我们使用的确切命令，从 clone 到运行 - 来自我们环境的实际运行输出 - 该测试套件归你所有：它会被放入你的仓库中，并在服务结束后持续有效 我们编码的典型属性包括：余额守恒、总供应量完整性、单调计数器、访问控制边界、跨异步 bounce 的 jetton 身份一致性。 ## 这不是什么 这不是安全审计，也不是最终签署认可。我们不声称你的合约是安全的，也不出具审计报告。我们交付的是测试基础设施：对你的合约必须保持的属性进行可执行的检查。通过的测试套件意味着 invariant 在测试的序列中得以保持——仅此而已。 公司对简单的 token 审计报价 $5,000+，对 DeFi 协议报价 $20,000–60,000。我们做的更少，收费也低了一个数量级。 ## 服务流程 1. 你向我们提供一个仓库和一个 commit。 2. 我们以书面形式确认范围：涉及哪些合约、哪些属性以及固定价格。 3. 预付 50% USDT。第 5 天：你将收到测试套件、运行说明以及我们的运行输出。交付时支付剩余的 50%。 ## 公开产出物 **case-01 — STON.fi DEX core v2 invariant 测试套件** 在 ston-fi/dex-core-v2 的 af0a955 commit 上执行的测试套件（约 4,355 行 FunC 代码，上游遵循 GPL-3.0 协议）。 结果：5/5 套件通过，6/6 测试通过，250 个加权 stableswap 用例和 250 个 constant-sum 用例，与参考模型 0 偏差。 产出物和完整运行输出：artifacts/stonfi-v2-invariant-tests/ **case-02 — EVAA 协议审查笔记** 对 evaafi/contracts v8 在 ef9ea25 commit 上的结构化审查（约 10,800 行 FunC 代码），该快照此前曾由 Trail of Bits 进行过审计。重点关注审计范围之外的层面：价格解析、管理员流程、清算分支。仅作事实性观察，不包含任何漏洞声明。 参见 case-02-evaa-review.md。 ## 联系方式 邮箱：cpljoshrayperson@yandex.ru 将在 24 小时内提供明确范围的报价。

标签：TON, 区块链, 智能合约, 测试工具, 自动化攻击