|
我们已经有多个系统在生产环境中运行，这些系统使用一种称为 Cairo 的图灵完备编程语言，该语言是现成可用的。Matter Labs 处于生产环境中的只有一个简单的支付系统，没有图灵完备的语言可用。 最后，我们的核心技术 -- ZK STARK 更快、更安全 (从密码学的意义上来说)、透明 (无需可信设置) 和后量子安全，而 Matter Labs 使用的核心技术 (由另一个团队构建) 较慢，需要可信设置，并且可以被量子计算机攻破。 StarkWare 团队在布局 Layer2 赛道走了一条稳扎稳打的路线，最终目标是在主网上线你们的通用 L2 网络 StarkNet。根据 StareWare 产品经理 Tom Brand 最近所说，StarkNet 有望最近几周上线测试网，并于今年晚些时候上线主网。可以说，你们已经推出的 L2 可扩展性引擎 StarkEx、图灵完备的编程语言 Cairo、用于生成证明 (proofs) 的 STARK Provers (证明器) 等都是作为推出 StarkNet 的前奏。能否简单介绍一下 Cairo 和 STARK Provers？以及它们如何推动 StarkNet 网络的上线？ Eli Ben-Sasson：是的！StarkNet 是一项非常令人兴奋的发展。想想以太坊，它允许你编写和部署任何智能合约，然后其他人可以向它发送任何交易。这真的太神奇了！但由于以太坊的惊人成功，该网络现在很拥堵，在它上执行交易的成本很高。 STARK 证明系统能够以指数方式缩短验证程序正确执行所需的时间，因此可以从理论上用于以指数方式扩展以太坊 (和其他区块链) 上的交易速率，或者换句话说，以指数方式降低每笔交易的 Gas 成本。 到目前为止，主要的问题是如何使用这项惊人的 STARK 技术。要以一种能使 STARK 证明有效的方式来编写程序是非常困难的；搭建和运行 STARK 证明器 (provers) 也是非常困难的。但所有这一切将在未来一两周内发生改变：StarkNet 是无需许可的，所以任何人都可以编写任何智能合约并将其提交到 StarkNet 链，就像以太坊一样！ 同时，任何人都可以向 StarkNet 提交交易，这些交易将被执行。由于 STARK 带来的扩容性，通过 StarkNet 进行交易的 Gas 成本相对于以太坊上 (的交易成本) 呈指数级降低。 现在，StarkNet 智能合约是用一种名为 Cairo 的新编程语言编写 (就像以太坊上的智能合约是由一种特殊的语言 Solidity 编写)。这样做的原因是，我们需要一种语言来优化 STARK 证明的使用和扩容性，而这正是 Cairo 所能实现的。
预期今年和明年将上线更多的 L2 方案，包括 Optimism Ethereum 和 Arbitrum 等基于 Optimistic Rollup 的 L2 网络，以及 StarkNet、zkSync 2.0 等基于 ZK Rollup 的 L2 网络，当然还有已经主网上线的 Polygon、xDai 等侧链方案。当前主流 dApps 似乎也已经完成 L2 的站队，你如何看待 StarkNet 面临的竞争格局？以及 StarkNet 将如何吸引更多的 dApps 和用户的采用？StarkNet 的未来规划如何？ (责任编辑：admin) |