# 我们如何用零知识证明、Starknet和Ethereum塑造模块化区块链的未来

By [scarlet](https://paragraph.com/@kol8) · 2023-03-11

---

我们相信在一个无许可的未来，这里每个个体可以在可扩展的区块链环境中合作和协调。凭借十年的分布式系统经验和对密码学的迷恋，我们可以帮助建设者实现他们的目标。

[https://www.notamonadtutorial.com/how-we-are-shaping-the-future-of-modular-blockchains-with-zero-knowledge-proof-verifications-in-ethereum/](https://www.notamonadtutorial.com/how-we-are-shaping-the-future-of-modular-blockchains-with-zero-knowledge-proof-verifications-in-ethereum/)

为了实现这个未来，我们(lambdaclass)认为开发人员没有所有必要的工具来创造与Web2的UI/UX相竞争的产品。在过去的一年里，我们一直在与StarkWare合作，因为他们带来的技术将使我们能够实现这个目标。具体来说，STARKs和Cairo不仅是计算机科学的一个重大突破，而且还在StarkEx中进行了实战检验，最近它又开始在Starknet中进行检验。

与其他大多数解决方案不同的是，StarkEx已经投入生产多年，已经为数以百万计的用户提供服务，自成立以来促进了超过8500亿美元的交易。它不是一个无许可的系统。(而Starknet是）。它的生态系统已经有超过900个有经验和有才华的开发者为世界带来新的产品。我们有信心，虽然Starknet可能会遇到问题，但我们知道，我们将能够克服这些问题。我们相信，StarkWare公司、我们自己的团队和Starknet社区的工程师的质量是世界上最好的。

我们确实认识到，还有很多工作要做。具体来说，能够启动排序器和证明器真的很重要。我们还希望有轻型的客户端，并支持可互操作的协议，如IBC。这方面的一个很好的例子是zkMint。这些是构建模块化区块链的未来所缺少的。

**1 主权rollups，数据的可用性被存储在另一个链上，如比特币、Celestia或其他系统**

**2 混合rollups，同时使用optimistic和零知识技术，以获得两个世界的最佳效果**

**3 ZK存储证明，能够以更安全的方式在链之间移动资产**

**4 更安全的包装资产**

**5 使用多个链的流动性的多链订单簿**

**_一 我们在Starknet生态系统中的工作_**

我们开发了[cairo-rs](https://github.com/lambdaclass/cairo-rs?ref=not-a-monad-tutorial)，它现在比最初的实现快150倍。在过去的三个月里，我们在实现[starknet\_in\_rust](https://github.com/lambdaclass/starknet_in_rust?ref=not-a-monad-tutorial)方面做了很多工作。我们现在可以接收和执行有了rust的starknet和cairo-rs vm交易， 我们在[LambdaWorks](https://github.com/lambdaclass/lambdaworks?ref=not-a-monad-tutorial)中的 Cairo STARK证明方面也取得了很大进展。LambdaWorks是一个旨在为SNARKs建立证明器和验证器的库（lib)，但我们建立的第一个东西是 CairoSTARK证明器。我们仍然需要实现对内置程序的证明。希望在Starkware的帮助下，我们将在未来几周内完成这一工作。

我们也在为一个[Starknet sequencer built with Tendermint Core](https://github.com/lambdaclass/starknet_tendermint_sequencer?ref=not-a-monad-tutorial)做概念验证，它可以作为学习路径，将Starknet等L2去中心化。昨天，我们很高兴地得知，社区利用这一特质，在[Celestia](https://celestia.space/?ref=not-a-monad-tutorial)上使用[Rollkit](https://github.com/rollkit/?ref=not-a-monad-tutorial)增加了对Sovereign Rollups的支持。我们也在用Cairo和Starknet对比特币进行Sovereign Rollups的工作。

[https://twitter.com/ammarif\_/status/1632680324290453506?ref\_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1632680324290453506%7Ctwgr%5E1373800b811e4e4ab7e6a496f872dae1ad7a1cf3%7Ctwcon%5Es1\_&ref\_url=https%3A%2F%2Fwww.notamonadtutorial.com%2Fhow-we-are-shaping-the-future-of-modular-blockchains-with-zero-knowledge-proof-verifications-in-ethereum%2F](https://twitter.com/ammarif_/status/1632680324290453506?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1632680324290453506%7Ctwgr%5E1373800b811e4e4ab7e6a496f872dae1ad7a1cf3%7Ctwcon%5Es1_&ref_url=https%3A%2F%2Fwww.notamonadtutorial.com%2Fhow-we-are-shaping-the-future-of-modular-blockchains-with-zero-knowledge-proof-verifications-in-ethereum%2F)

Starknet排序器将会去[中心化的](https://medium.com/starkware/starknet-on-to-the-next-challenge-96a39de7717?ref=not-a-monad-tutorial)。有了多个排序器，就没有必要产生执行跟踪，因为排序器可以比较他们的结果，让验证者产生跟踪和证明，然后在以太坊L1中检查。 这使我们能够将Cairo 1.0编译成[MLIR](https://mlir.llvm.org/?ref=not-a-monad-tutorial)，以便它们能够以更快的方式从排序器中执行。因此，我们目前正在开发一个[Cairo到MLIR的编译器](https://github.com/lambdaclass/cairo_sierra_2_MLIR?ref=not-a-monad-tutorial) Starknet不太可能要做Optimistic和ZKrollup的混合rollup，但有可能做到这一点。因为正如我们之前提到的，数据的可用性可以在不同的链中完成。 我们还在Starknet的其他项目上工作，这些项目将在未来几周内公开。

\*\*\*二 就ZK如何赋予建设者权力，用模块化的区块链和更强大的应用程序来创造一个未来谈谈我们的想法 \*\*\*我们也在努力帮助那些有助于创建一个模块化生态系统的项目，但这些项目必须以以太坊和ZK为主要构建块。其中有 \*\*[Herodotus](https://www.herodotus.dev/?ref=not-a-monad-tutorial) \*\*Herodotus团队正试图将互操作性和同步性带回以太坊的生态系统中。为此，他们利用了一个名为Storage Proofs的加密协议，允许开发者读取、访问和处理链上数据。开发者将利用存储证明来处理来自链A的数据，以便在链B上执行某些逻辑。这对于建立多链（目前只是L2到L2）应用，如安全桥梁和多链借贷，是非常有用的。 \*\*[Giza](https://www.gizatech.xyz/?ref=not-a-monad-tutorial) \*\*

另一方面，Giza正在利用Cairo使链上机器学习成为现实。这对于链上游戏、高级DeFi协议和zkML来说将是非常有用的。也就是说，我们认为一旦证明部分以更快的方式完成，将有可能证明ML模型的训练和推理。这对于在链外运行复杂的ML模型并在链上验证它们至关重要。

我们知道这不会是一条简单的道路，但我们很高兴能与我们的合作伙伴一起踏上这段旅程并测试我们的能力。在过去的几年里，在LambdaClass，我们已经成为一个专门开发关键基础设施和我们自己产品的软件力量。我们有令人难以置信的增长，但我们也相信我们必须赋予其他开发者团队和社区权力，所以请继续关注我们的进一步进展。

---

*Originally published on [scarlet](https://paragraph.com/@kol8/starknet-ethereum)*