我们的StarkNet开发分为4个阶段：
筑基
行星：只支持单一App的Rollup
星群：支持多App的Rollup
宇宙：去中心化的Rollup
我们预计在几个月内部署好“行星”，并在2021年底之前完成“星群”和“宇宙”的构建。
介绍
我们正在构建的StarkNet是一个基于Stark技术的去中心化L2ZK-Rollup方案，支持在以太坊上的通用计算，具有免许可性和抗审查性。该方案是使用图灵完备的Cairo语言编写的。
一个免许可型L2Rollup可以满足开发者、用户和StarkNet节点的所有期望：开发者可以根据自己的商业逻辑构建应用并部署到StarkNet上。用户可以发送交易到StarkNet上执行，就像和以太坊交互那样。StarkEx的节点和参与者将受到密码学货币的经济激励，来确保网络高效公平地运行。
虎符智能链HSC与红链资本建立官方战略合作关系:据官方消息，虎符智能链HSC宣布与红链资本建立战略合作关系。虎符智能链HSC是一条去中心化公链，坚持“技术过硬+玩法创新+生态可持续”之路，和开发者一起构建开放共享共荣的公链2.0生态。
红链资本是一家专注投资区块链技术领域的投资机构。在资管领域是多策略资管团队，为几十家交易所提供交易所做市商服务，月均成交量2000亿。[2021/8/6 1:39:12]
所有StarkNet交易将会被定期打包处理，提供STARK证明来证明其有效性，并在以太坊上进行验证。与验证以太坊事务的计算成本相比，验证STARK证明所需的计算成本要小得多。因此，StarkNet可以将以太坊的可扩展性提升好几个数量级。
由于所有StarkNet状态转换都将由STARK证明来证明，只有有效的状态转换会被以太坊接受。重构完整StarkNet状态所需的全部数据都将在链上发布。任何人都能运行他们自己的StarkNet节点。这些特性会让StarkNet获得堪比以太坊的安全性和免许可性。
HeshiSwap上线虎符智能链HSC:据官方消息，去中心化交易所HeshiSwap将于5月8日20时上线虎符智能链HSC。
HeishiSwap拥有被动挖矿，0 协议手续费和自适应做市商算法等诸多特性，可使用固定乘积做市商算法，模拟适合稳定币的交易曲线。同时，秉承打造 Public Good 服务 HSC 生态用户的理念，HeshiSwap将不设项目代币。用户可通过抵押 USDT-USDC / USDT-HOO / USDC-HOO 交易对挖取 HOO。[2021/5/8 21:38:29]
我们的开发工作持续了3年，并且在将“月亮数学”转化为以太坊上高效的生产级软件方面取得了一些重要里程碑。我们的做法是先解决难题，构建核心技术，然后逐步投入生产。我们将继续通过这种方式构建StarkNet，直至最后阶段。
筑基
我们已经为StarkNet打下了一些基础。
Cairo
Cairo是图灵完备的高级编程语言和框架，可以为通用计算生成STARK证明。应用开发者可以使用Cairo定义任何商业逻辑，在链下生成证明，并在链上进行验证，而无需自己编写复杂的“电路”或AIR。Cairo已在主网上线，向所有开发者开放。
虎符创始人王瑞锡：平台应该合理的引导用户进行杠杆交易:金色财经现场报道，7月5日，由杭州市余杭区政府指导，杭州未来科技城管委会、巴比特主办的2020杭州区块链国际周在杭州举办。在《合规化突围之路：寻找数字市场新距离》圆桌论坛中，虎符创始人王瑞锡表示：交易所都有期货或者期权，所有的期货都是有很高的倍率杠杆，对于用户而言，是有很高的风险的。对于交易所而言，存在的风险是我们是否能合理的利用杠杆率。平台应该合理的引导用户进行杠杆交易。合规包括多个层面，一个是风险的把控，一个是是否规范。从政策角度来看，应该有一些制度和引导来规范市场。[2020/7/5]
近几周内，我们将在以太坊公共测试网上发布Cairo的通用证明服务的alpha版本。通过该服务，开发者可以使用Cairo构建自己的应用，实现他们想要的一切商业逻辑。他们会将自己的Cairo代码发送至GPS来生成证明，再在链上进行验证。
GPS可以使用单个证明来证明多个独立应用的执行完整性，让这些应用可以分摊证明验证的gas成本。
Cairo和GPS都是StarkNet的基础。我们决定将二者开放给外部开发者，让他们早些接触StarkNet技术。这样一来，开发者不仅可以开始在StarkNet的基础上进行构建，还能影响StarkNet的发展。
我们会基于开发者社区的需求和反馈继续开发Cairo。我们会引入新的功能、语法和能够提高其可用性的内部插件来强化该语言。我们会继续开发并改进Cairo工具：编译器、跟踪器/调试器以及与通用IDE的集成。
StarkNet也会在底层运行Cairo。
STARK软件栈
我们已经开发了整个生态系统中最强大的证明系统。这个系统已经在主网上线数月之久。我们还开发了开源证明器ethSTARK。ethSTARK不仅在速度上比任何证明器都要快20倍，而且提供抗量子计算的零知识签名。
我们的可扩展性实效包括，在主网上使用单个证明处理30万笔交易，在Rollup吞吐量上创下了高达3000tps的世界记录。在此过程中，我们同样在Rollup的gas效率上创下每笔交易315gas的世界纪录，比以太坊L1上的交易便宜几个数量级。
ethSTARK将成为StarkNet去中心化证明层的基石。因此，作为StarkNet开发的一部分，我们还将发布更多增强型证明器。
StarkEx
StarkEx是我们的L2可扩展性引擎。2020年6月以来，StarkEx就一直在为主网上的DeversiFi用户提供服务。接下来几周，StarkEx将开始支持dYdX和ImmutableX。StarkEx可以处理复杂的交易逻辑以及付款。
在StarkEx的开发过程中，我们也亲自试用了自己开发的工具，并测试了其是否能满足现实世界的需求。没有什么比实际需求和用户更能推动工具不断走向成熟。这也帮助我们了解了生态需要我们去解决什么问题，如，与钱包和区块浏览器的集成。
StarkEx是使用基于STARK的ZK-Rollup提高应用可扩展性的活生生的例子，也是第一个在主网上线的采用Cairo语言编写的应用。另外，它也是运行在StarkNet上的应用之一。
展望未来
行星：只支持单一App的Rollup
在该阶段，开发者可以在StarkNet上构建并部署他们自己的可扩展应用。
每个StarkNet实例都能运行一个应用。不同的实例可能会运行不同的应用。
StarkNet架构包含以下部分：
为任意Cairo逻辑生成STARK证明、然后提交证明并在以太坊上验证所需的机制
与L1以太坊交互：L1代币的存取、链上数据的发布、保护用户免受恶意StarkNet运营者攻击的逃跑机制
L2用户余额以及应用存储项的管理
开发者只需专注于根据自己的商业逻辑构建应用，然后正式上线：在StarkNet上部署并大规模运行。
我们之所以能构建通用计算可扩展ZK-Rollup，主要依赖于以下两点：
通用型图灵完备的编程语言Cairo
我们强大的STARK技术，可以将大量计算捆绑到一个证明中
星群：支持多App的Rollup
该阶段将支持多个应用在同一个StarkNet实例上运行，并访问同一个的全局L2状态。这样一来，不同应用之间将具有互操作性，而且规模经济也有助于降低gas成本。
强大的STARK栈Cairo和GPS增强了StarkNet在支持多AppRollup方面的竞争优势。
在这一阶段，StarkNet将成为一个功能完备的框架，可以在以太坊的基础上运行多个商业逻辑不同的应用，每个实例都由一个单独的运营者来运行。
运营者可以运行StarkNet节点，应用开发者可以在上面部署自己的合约。从用户的角度来说，StarkNet感觉上跟以太坊差不多，但是在可扩展性上强于以太坊。
宇宙：去中心化Rollup
StarkNet发展的最后一步是实现去中心化运营。
关于该阶段，我们现在正在解决一些有趣的研发问题，包括：使用ZK-Rollups来改进共识机制，以及设计密码学经济机制来激励去中心化StarkNet贡献者和运营者高效、公平且安全地运行。
总结
我们正在构建StarkNet。StarkNet是一个基于Stark技术的去中心化L2ZK-Rollup方案，具有免许可性，支持基于Cairo语言的通用计算。
StarkNet可以在不损害安全性的情况下提高应用的可扩展性，帮助用户节省交易费用，并促进整个生态系统迅猛发展、实现其承诺。
我们诚挚邀请开发者社区与我们一起踏上这一征程。
原文链接:
https://medium.com/starkware/on-the-road-to-starknet-a-permissionless-stark-powered-l2-zk-rollup-83be53640880
作者:?StarkWare
翻译&校对:?闵敏&?阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。