Mainnet360：与Prysm Group联合开展的经济与安全审查

2019年10月28日，在加密经济学安全会议上，Trail of Bits宣布与Prysm Group合作推出全新服务——Mainnet360。该服务经过精心设计，旨在对区块链软件的安全性和经济要素进行全面评估，为团队提供更广阔的视角，帮助他们构建更安全、更具弹性的系统。

简而言之，Mainnet360确保系统实际部署的代码既正确又经济高效。这些系统的安全性仅通过经济学和计算机科学的复杂互动来实现；任何一方的实施错误都可能导致价值被窃取或破坏。这种多维问题正是我们擅长的领域。

工作原理

自最初的比特币白皮书发布以来，去中心化系统一直建立在经济安全的概念之上。为了避免单一特权管理员的存在，必须调整激励措施，使网络参与者能够合作维护系统。实现这一愿景既需要健全的激励模型，也需要忠实实现该模型的代码；模型或代码中的任何错误都可能导致系统完全崩溃。

Mainnet360的客户将获得对其系统驱动的经济框架及实现代码的全面审查。我们将与团队密切合作，识别和消除风险，规划未来工作，并为棘手的经济约束找到理想的技术解决方案。构建稳定的去中心化系统需要广泛的专家紧密合作，我们很自豪能以便捷的方式提供这一服务。

我们的服务不仅限于设计审查。Trail of Bits还专门为客户提供新的测试和验证工具。现在，借助Prysm Group的输入，我们可以进一步扩展这些工具，以验证经济属性。我们对所审查系统中存在的风险的全面理解意味着我们可以提供更多的架构指导。漏洞列表是有用的，但消除漏洞类别的战略指导更能赋予您力量。

合作背景

Mainnet360已经筹备了数月。在DARPA于2月举办的共识协议应用与障碍研讨会上，Prysm Group介绍了他们关于“设计区块链节点市场”的研究，之后我们的团队被双方评估流程的相似性所震撼。尽管我们的专业知识截然不同，但我们发现我们以相似的格式向一些相同的客户提供相似的建议。我们也很快意识到我们的技能组合高度互补。

在几个试验项目中相互观察后，我们发现许多我们评估的机制需要一个同时考虑代码正确性和机制设计的视角。从那里开始，我们紧密合作，了解彼此的流程、策略、交付成果和限制。我们收集了过去共同客户的反馈，审查了彼此的报告，参与了彼此的电话会议，并建立了一个协作流程。

现在，我们很高兴向公众展示我们构建的内容，并与第一批公司合作，为他们构建的系统做好实际使用的准备。如果您正在构建需要此类审查和指导的项目，请联系我们。我们很乐意与您合作。

如果您喜欢这篇文章，请分享：

• Twitter
• LinkedIn
• GitHub
• Mastodon
• Hacker News