StarkNet 打下了一些基础

carolcao (65)in Amaze Creater Union • 3 years ago

StarkNet 是一个基于 Stark 技术的去中心化 L2 ZK-Rollup 方案，支持在以太坊上的通用计算，具有免许可性和抗审查性。该方案是使用图灵完备的 Cairo 语言编写的。

一个免许可型 L2 Rollup 可以满足开发者、用户和 StarkNet 节点的所有期望：开发者可以根据自己的商业逻辑构建应用并部署到 StarkNet 上。用户可以发送交易到 StarkNet 上执行，就像和以太坊交互那样。

StarkEx 的节点和参与者将受到密码学货币的经济激励，来确保网络高效公平地运行。所有 StarkNet 交易将会被定期打包处理，提供 STARK 证明来证明其有效性，并在以太坊上进行验证。与验证以太坊事务的计算成本相比，验证 STARK 证明所需的计算成本要小得多。

因此，StarkNet 可以将以太坊的可扩展性提升好几个数量级。由于所有 StarkNet 状态转换都将由 STARK 证明来证明，只有有效的状态转换会被以太坊接受。重构完整 StarkNet 状态所需的全部数据都将在链上发布。任何人都能运行他们自己的 StarkNet 节点。这些特性会让 StarkNet 获得堪比以太坊的安全性和免许可性。

开发工作持续了 3 年，并且在将 “月亮数学（Moon Math）” 转化为以太坊上高效的生产级软件方面取得了一些重要里程碑。的做法是先解决难题，构建核心技术，然后逐步投入生产。将继续通过这种方式构建 StarkNet，直至最后阶段。

已经为 StarkNet 打下了一些基础。

Cairo

Cairo 是图灵完备的高级编程语言和框架，可以为通用计算生成 STARK 证明。应用开发者可以使用 Cairo 定义任何商业逻辑，在链下生成证明，并在链上进行验证，而无需自己编写复杂的“电路”或 AIR。Cairo 已在主网上线，向所有开发者开放。近几周内，将在以太坊公共测试网上发布 Cairo 的通用证明服务（Generic Proof Service ，GPS）的 alpha 版本。通过该服务，开发者可以使用 Cairo 构建自己的应用，实现他们想要的一切商业逻辑。他们会将自己的 Cairo 代码发送至 GPS 来生成证明，再在链上进行验证。GPS 可以使用单个证明来证明多个独立应用的执行完整性，让这些应用可以分摊证明验证的 gas 成本。Cairo 和 GPS 都是 StarkNet 的基础。决定将二者开放给外部开发者，让他们早些接触 StarkNet 技术。这样一来，开发者不仅可以开始在 StarkNet 的基础上进行构建，还能影响 StarkNet 的发展。会基于开发者社区的需求和反馈继续开发 Cairo。会引入新的功能、语法和能够提高其可用性的内部插件来强化该语言。会继续开发并改进 Cairo 工具：编译器、跟踪器/调试器以及与通用 IDE（集成开发环境）的集成。StarkNet 也会在底层运行 Cairo。

STARK 软件栈

已经开发了整个生态系统中最强大的证明系统。这个系统已经在主网上线数月之久。还开发了开源证明器 ethSTARK。ethSTARK 不仅在速度上比任何证明器都要快 20 倍，而且提供抗量子计算的零知识签名。的可扩展性实效（既不是推断，也不是承诺）包括，在主网上使用单个证明处理 30 万笔交易，在 Rollup 吞吐量上创下了高达 3000 tps 的世界记录。在此过程中，同样在 Rollup 的 gas 效率上创下每笔交易 315 gas 的世界纪录，比以太坊 L1 上的交易便宜几个数量级。ethSTARK 将成为 StarkNet 去中心化证明层的基石。因此，作为 StarkNet 开发的一部分，还将发布更多增强型证明器。

本帖 steem 首发

StarkNet 打下了一些基础

StarkNet 打下了一些基础

本帖 steem 首发

最近新帖

Coin Marketplace