# 完整性验证器：实现 Starknet 超级扩展的重大飞跃

By [Starknet 中文](https://paragraph.com/@starknet-zh) · 2024-05-02

---

> _原文：_[_The Integrity verifier: A leap toward Starknet hyperscaling_](https://www.starknet.io/en/content/the-integrity-verifier-a-leap-toward-starknet-hyperscaling)_  
> 翻译及校对：_[_「Starknet 中文社区」_](https://twitter.com/StarkNet_ZH)_  
>   
> 📑 转载请注明出处 🕹️_

精选速览
====

*   完整性验证器由 Herodotus 开发，使开发者能够在 Starknet 上验证其他地方执行的 Cairo 程序。
    
*   通过在以太坊结算之前在 Starknet 引入额外的证明压缩层，从而降低成本，完整性验证器实现了三层（L3）的扩展。
    
*   作为 Starknet 提升可扩展性的几种方案之一，L3 扩展开启了构建完全可定制应用链的大门，这些应用链可受益于完整性验证器带来的成本降低优势。
    
*   完整性验证器在 Starknet 上的验证能力还将惠及其他用例，包括存储证明验证和零知识机器学习。
    

引言
==

两年多前，StarkWare [引入了分形扩展和 L3 的概念](https://mirror.xyz/starknet-zh.eth/-5oiKxwShIOzGUwuQJzIl070wopcPjqBcypVjRvyC1E)，使开发者能够在二层（L2）网络之外，额外降低一层成本，构建完全可定制的应用链。现在，存储证明的创新者 [Herodotus](https://herodotus.dev/) 正向 Starknet 引入这一功能，向前迈出了重要一步。

在 StarkWare 的支持下，Herodotus 推出了其[完整性验证器](https://integrityverifier.com/)，可以在 Starknet 上验证 Stone 证明。有了这个新的验证器，开发者可以在 Starknet 上验证在其他地方执行的 Cairo 程序，就像他们在以太坊上验证 Starknet 执行一样。

开启 L3 应用链之门
===========

作为  Starknet  最强大的功能之一，完整性验证器能够以较低的成本在 Starknet 上构建专用链（[应用链](https://book.starknet.io/ch03-05-layer-3.html)）。

这需要在 Starknet 上构建一个层，交易可以在此层执行并被打包进一个证明中，该证明证实了它们的有效性。在 L2 上验证这些证明就是完整性验证器发挥作用的地方。通过这种新的验证器，使用 [Stone](https://mirror.xyz/starknet-zh.eth/5EDWaorwc1rQnEs84jId53tWjTPSmCgT5APLEI2TyHU)（接下来还包括 [Stwo](https://mirror.xyz/starknet-zh.eth/AdkILKKV-5jUIh6HIiCCbNXSlS6_PLTo7DMhMOkv7z0)）生成的证明可以在 Starknet 上得以验证，从而确认应用链上执行的交易有效性。

由于 Starknet 应用链仍在以太坊上进行结算，它们和 Starknet 一样，继承了以太坊网络的安全性。但是，Starknet 上的应用链还带来了更多好处：

*   定制化：总的来说，[应用链](https://starkware.co/resource/what-are-appchains/)为开发者提供了比公共 L2 更大的灵活性，最大化了定制应用程序的各方面的能力。例如，可以定制区块大小、延迟、数据可用性模式，甚至实现公共 L2 不支持的功能。
    
*   超级扩展：当应用链作为 L3 构建时，Starknet 在以太坊上验证前进一步压缩证明。这些应用链受益于另一层的成本降低，使得开发更复杂的用例（如高频 DeFi 交易、供应链管理和完全链上游戏）变得经济可行。
    
*   避免拥堵：应用链可提供更稳定的交易环境（对于游戏等实时应用至关重要），一旦区块链实现大规模应用，可避免公共 L2 上潜在的网络拥堵。
    

完整性验证器的可扩展验证的其他优势
=================

放眼全局，由于 Cairo 是一种[图灵完备语言](https://eprint.iacr.org/2021/1063.pdf)，完整性验证器可以验证 Cairo 程序的执行，这使得验证器能够在 Starknet 上低成本地验证任何计算。这种额外的成本降低可以使应用链以外的许多用例受益，其中两个突出的例子就是存储证明和零知识机器学习（ZKML）。

存储证明使验证过去任何时间点的任何区块链状态变得经济可行，而无需信任第三方。一个有趣的事实是：完整性验证器背后的团队 Herodotus 最近通过提供[从创世区块开始的](https://mirror.xyz/starknet-zh.eth/nSA8dOt95r4KCpJgAXp0xeHA5W9FrBry7-xqDJI5QwU)以太坊无信任证明，使得存储证明得到了进一步的改进。STARK 证明降低了存储证明的成本，而完整性验证器则开启了进一步降低成本的大门。

随着人工智能在我们生活中扮演越来越重要的角色，零知识机器学习引起了广泛关注。零知识机器学习是指使用零知识证明来验证人工智能模型计算的概念。

在像人工智能这样经常缺乏透明度的领域，这种技术可能成为改变游戏规则的关键。可扩展的人工智能验证无法深入了解模型的「思考 」或得出结论的方式，但它可以验证是否确实使用了正确的模型。通过提高人工智能模型验证的成本效益，完整性验证器等工具可以使零知识机器学习变得经济可行。

Herodotus 已经宣布[与零知识机器学习的创新者 Giza 建立合作伙伴关系](https://herodotusdev.medium.com/herodotus-giza-ca335f944db1)，致力于帮助开发人员构建功能强大、安全可靠的人工智能应用程序。完整性验证器正是其努力成果的一部分。

结语
==

在 Starknet 上实现超级扩展已取到重大进展，完整性验证器的推出便是进展之一。通过使开发者能够在 Starknet 上验证在其他地方执行的 Cairo 程序，验证器为网络开启了全新的能力，包括以构建可定制的应用链，降低额外成本，以及开发零知识机器学习等新型用例。

**敬请关注更多关于 Starknet 可扩展性加倍努力的最新项目动态。同时，别忘了 L3 只是增强 Starknet 可扩展性的工具之一，更多工具将陆续推出。如需了解最新信息，**[**请关注 Starknet 的 Twitter 账号**](https://twitter.com/Starknet?ref_src=twsrc%5Egoogle%7Ctwcamp%5Eserp%7Ctwgr%5Eauthor)**。**

---

*Originally published on [Starknet 中文](https://paragraph.com/@starknet-zh/starknet-23)*