STARKNET 安全性详解 STARK 证明系统（即可扩展透明知识论证）是计算完整性的强大工具：它允许以无信任的方式验证在公共数据上执行的计算的正确性。在本文中，我们将深入探讨 STARK 证明所提供的安全性，对其进行定义，并探索证明方案安全性的技术。 （详情请阅读 ethSTARK 文档（1.2 版）第 6 节，以及布洛克等人就此主题所做的重要而全面的独立工作）。 我们试图通过安全分析实现什么？我们希望防止对 STARK 系统的「成功攻击」，这种攻击是由虚假陈述以及 STARK 验证器针对该（虚假）陈述而接受的 STARK 证明引起的。由于虚假陈述很危险，并且它们可能以各种规模和形式出现，所以我们希望能安全地防范所有的虚假陈述。任何虚假陈述，哪怕是微不足道的 1+1=3，只要与 STARK 验证器接受的 STARK 证明相结合，就会被视为对系统的成功攻击。（有密码学背景的人可能有兴趣知道，STARK 还能满足更强的安全概念，如知识可靠性，但为了简单起见，本篇文章将重点讨论关于可靠性的简单案例）。 我们如何正式定义 STARK 系统的安全性？我们通过分析 「可靠性误差」来确定。...