我们如何利用零知识证明、Starknet和以太坊塑造模块化区块链的未来

我们坚信一个无需许可的未来，个人可以在可扩展的区块链环境中合作和协调。凭借在分布式系统方面十年的经验和对密码学的新热情，我们可以帮助构建者实现他们的目标。

为了实现这个未来，我们认为开发者没有所有必要的工具来创建在 UI/UX 方面与 Web2 竞争的产品。在过去的一年中，我们一直在与 StarkWare 合作，因为他们带给世界的技术将使我们能够实现这一目标。具体来说，STARKs 和 Cairo 不仅是计算机科学领域的一项重大突破，而且已经在 StarkEx 中经过了实战检验，最近也开始在 Starknet 中进行测试。

与大多数其他解决方案不同，StarkEx 已经投入生产多年，自成立以来已为数百万用户提供服务，并促成了超过 8500 亿美元的交易。但它不是一个无需许可的系统。而这正是 Starknet 所带来的。它的生态系统已经拥有 900 多名经验丰富、才华横溢的开发人员，他们正在为世界带来新产品。我们有信心，尽管 Starknet 可能会遇到问题，但我们知道我们能够克服它们。我们相信 StarkWare、我们自己的团队和 Starknet 社区的工程师的素质是世界上最好的。

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

• Sovereign rollups，其数据可用性存储在另一个链中，如 Bitcoin、Celestia 或其他系统
• 混合 rollups，使用乐观和零知识技术来获得两者的最佳效果
• ZK 存储证明，以便能够以更安全的方式在链之间移动资产
• 更安全的包装资产
• 使用多个链的流动性的多链订单簿

我们正在努力在内部并与其他公司合作来构建这些工具和产品。

我们在 Starknet 生态系统中的工作：

我们开发了 cairo-rs，现在它的速度比最初的实现快 150 倍。在过去的三个月中，我们一直在开发 starknet_in_rust 的实现。借助 rust 中的 starknet 和 cairo-rs vm，我们现在可以接收和执行交易。

我们还在 LambdaWorks 中的 Cairo STARK 证明器方面取得了很大进展。LambdaWorks 是一个为构建 SNARK 的证明器和验证器而设计的库，但我们构建的第一个东西是 Cairo STARK 证明器。我们仍然需要实现内置程序的证明。希望在 Starkware 的帮助下，我们将在未来几周内完成这项工作。

我们还在为 使用 Tendermint Core 构建的 Starknet 排序器 的概念验证而努力，该验证可以用作去中心化 L2（如 Starknet）的学习途径。昨天我们很高兴得知社区采用了这种方法，并使用 Rollkit 在 Celestia 上添加了对 Sovereign Rollups 的支持。我们还在使用 Cairo 和 Starknet 开发到 Bitcoin 的 Sovereign Rollup。

Twitter 嵌入

Starknet 排序器将是去中心化的。有了多个排序器，就没有必要生成执行跟踪，因为排序器可以比较它们的结果，并让证明器生成跟踪和证明，然后在 Ethereum L1 中对其进行检查。

这使我们可以将 Cairo 1.0 编译为 MLIR，以便可以从排序器以更快的速度执行它们。因此，我们目前正在开发 Cairo to MLIR 编译器

Starknet 极不可能采用乐观和 ZK rollup 的混合方法，但这样做是可能的。除此之外，正如我们之前提到的，数据可用性可以在不同的链中完成。

我们还在 Starknet 中开发其他项目，这些项目将在未来几周内公开。

我们认为 ZK 如何能够使构建者创建一个具有模块化区块链和更强大的应用程序的未来

我们还在尝试帮助那些将帮助创建模块化生态系统，但以 Ethereum 和 ZK 作为主要构建块的项目。

其中一些项目是：

Herodotus

Herodotus 团队正在努力将互操作性和同步性带回 Ethereum 生态系统。为此，他们利用一种称为存储证明的密码协议，该协议允许开发人员读取、访问和处理链上数据。开发人员将利用存储证明来处理来自链 A 的数据，以在链 B 上执行某些逻辑。这对于构建多链（目前仅限 L2 到 L2）应用程序（如安全桥和多链借贷）非常有用。

Giza

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

我们知道这将不是一条简单的道路，但我们很高兴与我们的合作伙伴一起开始这段旅程并测试我们的能力。在过去的几年中，在 LambdaClass，我们已成为一家专门开发关键基础设施和我们自己产品的软件强国。我们取得了令人难以置信的增长，但我们也认为我们必须授权其他开发团队和社区，因此请继续关注我们进展的更多更新。

如果你想与我们一起 hack，请发送电子邮件至 federico@lambdaclass.com

在 X 上访问此帖子

kariy

@ammarif_

·

Follow

在 X 上查看

broke: starknet 作为具有神圣结算层的 rollup woke: starknet 作为 celestia 上的主权 rollup

starknet <> rollkit <> celestia

在 X 上观看

上午 9:51 · 2023 年 3 月 6 日

X 广告信息和隐私

118 回复

复制链接

阅读 5 条回复

• 原文链接： blog.lambdaclass.com/how...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～