作者：StarkWare
编译：Kyle@巴比特
零知识证明研发机构StarkWare表示，其二层扩容解决方案ZKRollup“StarkNet”目前已经完成基础构建，即图灵完备框架Cairo、STARK软件堆栈和二层扩容引擎StarkEx，之后将进行构建阶段一至阶段三。其中，阶段一将支持单一应用Rollup“Single-AppRollup”，将使开发人员能够在StarkNet上构建和部署自己的可扩展性应用程序；阶段二将支持多应用Rollup“Multi-AppRollup”，支持在同一StarkNet实例上运行并访问多个应用程序，这将实现不同应用程序之间的互操作性，以及降低Gas成本；阶段三将支持去中心化Rollup“DecentralizedRollup”。
StarkWare预计将在近几个月内部署阶段一，并在2021年底之前顺利进入阶段二和阶段三。StarkWare构建的StarkNet是一种由STARK驱动的去中心化二层ZKRollup，可支持以太坊的通用计算。
以下是StarkWare发布的公告全文：
波士顿咨询：AI应用将占30%比例，市场规模至少达600亿美元:金色财经报道，波士顿咨询公司（BCG）董事总经理魏杰鸿（JeffWalters）表示，AI潜在市场规模至少会达到600亿美元，已经存在和将来会存在的人工智能应用会越来越多，将占到30%的比例。他表示：“我们在人工智能方面所取得的成就，特别是在认知理论上的成就，相比六年之前已经取得了长足的进展。”虽然ChatGPT一夜之间成为非常热门的话题，但魏杰鸿指出，“从更长远的角度来看，我们只是处在更加广泛的变革初步时期，有一些基础应用，比如文本概括应用等都是比较低限度的模型学习，而且目前还非常依赖于数据的输入，在将来如果数据的输入不够，数据可及量不够，可能还是会有一些挑战。”
谈到应用场景，魏杰鸿表示，ChatGPT等生成式人工智能对企业界有三大影响。第一大影响领域是药物发现，使用AI技术生成新的蛋白质结构，并预测它们之间的相互作用，来减少药物研发的时间和处理所需的精力。期待在未来首先出现剧变的领域是药物发现；第二个影响是自动编程，它可以在提高产出的同时降低重复性的人工操作；第三个影响是文本概括，进行文本总结来提升客户体验。（澎湃新闻）[2023/2/25 12:29:27]
我们正在分四个步骤构建StarkNet：
MakerDAO Github管理权移交至TechOps Core Unit:2月20日消息，MakerDAO宣布，“Dai Foundation已经将MakerDAO Github组织的管理移交给TechOps Core Unit，希望减少官僚主义，让Dai Foundation进一步远离日常运营任务。”
据悉，Dai Foundation在其2022年第一季度报告中呼吁对其软件开发服务和GitHub整体管理进行临时调整。在此之前，在2021年Maker基金会解散期间，Dai Foundation临时接管MakerDAO Github存储库。
如今，TechOps Core Unit将确保对Maker Project和MakerDAO中使用的所有软件的读取权限。它还将确保所有公共存储库使用许可。（Cryptoslate）[2023/2/21 12:18:22]
步骤0——基础
步骤I——行星：单一应用汇总
步骤II——星座：多应用汇总
步骤III——宇宙：去中心化汇总
我们预计将在几个月内部署步骤I，并在2021年底之前顺利步入步骤II和III。
央视推出全球首个元宇宙庙会:金色财经报道，中央广播电视总台数字文化艺术博物馆推出全球首个元宇宙庙会。在央博新春云庙会，用户的数字分身可互动体验多种新春民俗文化，与万人同屏共迎中国年。
此前消息，1月18日，中央广播电视总台数字文化艺术博物馆“央博”平台上线暨“央博新春云庙会”发布仪式在京举行。“央博”平台于1月21日(大年三十)正式上线，“新春云庙会”元宇宙体验活动也将同步推出。[2023/1/21 11:25:00]
介绍
我们正在构建StarkNet，这是一种去中心化，无需许可且不受审查的STARK技术，支持L2ZK-Rollup，可支持以太坊的一般计算。它基于图灵完备的Cairo语言。
开发人员，用户和StarkNet节点将能够完成对无许可L2汇总方案所期望的一切：开发人员可以构建实现自己的业务逻辑的应用，并将其部署在StarkNet上。用户可以将交易发送给StarkNet来执行，就像今天与以太坊进行交互一样。StarkNet节点和参与者将享受加密经济的激励，以确保网络高效，公平地运行。
所有StarkNet交易将定期进行批处理，其有效性将通过一种STARK证明加以证明，并在以太坊上进行验证。与验证的计算相比，验证STARK证明所需的计算量小得多，因此StarkNet将以太坊扩展几个数量级。
欧盟加密货币征税提案将针对世界各地的公司:金色财经报道，欧盟委员会的一项新提案将要求各种规模和地理位置的加密资产服务提供商向税务机关报告欧盟客户的交易。向欧盟居民提供加密服务的公司将需要遵守税务报告规则，以弥补逃税漏洞。欧盟委员会的目标是在 2026 年 1 月 1 日实施这些新规则。
欧盟委员会在一份声明中写道：“税务当局目前缺乏必要的信息来监控使用加密资产获得的收益，这些资产很容易跨境交易。” “这严重限制了他们确保有效纳税的能力，这意味着欧洲公民失去了重要的税收收入。”
此前消息，欧盟税收草案显示对加密货币征税可能带来25亿美元收入。（The Block）[2022/12/8 21:31:59]
由于所有StarkNet状态转换都将经过STARK验证，以太坊网络仅接受有效的转换。重构完整StarkNet状态所需的所有数据将在链上发布。任何人都可以运行自己的StarkNet节点。这些属性将使StarkNet像以太坊一样安全和无需许可。
我们已经开发了三年，并且在将“MoonMath”转变为在以太坊上运行的生产级高效软件方面已经取得了一些非凡的里程碑。我们做事的方式是首先解决难题，建立核心技术，然后将其逐步投入生产。随着StarkNet的完成，我们将继续以这种方式进行构建。
Bitcoin Archive：贝莱德将在比特币领域制造一场 \"需求冲击\":金色财经消息，Bitcoin Archive发推特称，贝莱德将在比特币领域中制造一场 \"需求冲击\"。
此前报道，贝莱德推出私人信托，为美国机构客户提供现货比特币风险敞口。[2022/8/15 12:25:27]
步骤0—基础
我们已经为StarkNet奠定了一些重要的基础。
Cairo
Cairo是我们的图灵完备高级语言和框架，用于生成用于常规计算的STARK证明。应用程序开发人员可以使用Cairo定义任何业务逻辑，并在链下进行证明和验证，而无需手工制作复杂的“电路”或AIR。Cairo已经上线主网，开发人员也可以使用。
在几周内，我们将在公开的以太坊测试网上启动Alpha版本的Cairo通用证明服务。这将使开发人员可以使用Cairo构建自己的应用程序，实现他们想要的任何业务逻辑。他们可以将自己的Cairo代码发送到GPS进行验证，然后在链上进行验证。
GPS实现了单个证明来确认完全分离和独立的应用程序的执行完整性，从而使这些应用程序能够摊销证明验证所消耗的gas费用。
Cairo和GPS是StarkNet的基础——我们将开发人员外部化的决定使他们可以尽早接触该技术，不仅使他们可以开始在此技术上构建，而且还可能影响StarkNet的发展。
我们将根据开发人员社区的需求和反馈继续开发Cairo。我们将通过新功能，语法和内置插件来增强该语言，以提高其可用性，并继续开发和改进Cairo工具：编译器，跟踪器/调试器以及与通用IDE的集成。
StarkNet将让Cairo在后台运行。
STARK软件堆栈
我们已经开发了生态系统中功能最强大的证明系统，并且已经在主网上运行了几个月。我们还开发了开源证明程序ethSTARK，该速度比其他证明程序快20倍；它既提供零知识签名，又提供量子后安全签名。
我们的扩展标准包括在主网上的一次证明中处理30万笔交易，在汇总吞吐量方面达到了世界纪录：300000tps。在此过程中，我们已经取得了汇总gas效率的世界纪录：315gas/tx，比以太坊L1的交易便宜几个数量级。
这项技术将成为StarkNet去中心化验证层的基石，因此，作为StarkNet开发的一部分，我们将发布更多和增强的证明。
StarkEx
StarkEx是我们的L2扩展引擎。自2020年6月以来，它一直为DeversiFi的客户提供主网服务。它将在未来几周内为dYdX和ImmutableX提供动力。StarkEx可以处理复杂的交易逻辑以及付款。
开发StarkEx是我们扩展工具链并针对实际需求进行测试的方式。实际应用程序和实际用户需求最能帮助工具成熟和发展。它还可以帮助我们了解为更好地服务于生态系统而需要解决的元素，例如与钱包和区块浏览器的集成。
StarkEx是使用基于STARK的ZK-Rollup扩展应用程序功能的实时示例，并且是Cairo在主网上编写的第一个生产应用程序。因此，它也将是StarkNet上运行的应用程序之一。
未来发展路线
步骤I——行星：单一应用汇总
此步骤将使开发人员能够在StarkNet上构建和部署自己的可扩展应用程序。
此时，每个StarkNet实例将能够运行一个应用程序。不同的实例可以运行不同的应用程序。
StarkNet框架将包括以下内容：
生成用于任意Cairo逻辑的STARK证明，然后在以太坊上提交和验证的机制。
与L1以太坊的交互：L1代币的存入，提取，链上数据的发布，保护StarkNet用户免受恶意StarkNet运营商侵害的逃逸机制等。
L2用户余额以及应用程序的存储和内存的管理。
开发人员将能够完全专注于构建应用程序的业务逻辑，然后进入生产环境：在StarkNet上大规模部署和运行它。
使我们能够构建通用的可扩展ZK-Rollup的原因在于：
Cairo，这是一种通用的图灵完备的编程语言
我们强大的STARK堆栈，可将大量计算捆绑到一个证明中
步骤II——星座：多应用汇总
下一步将支持在同一StarkNet实例上运行并访问相同的全局L2状态的多个应用程序。这将实现不同应用程序之间的互操作性，并由于规模经济的改善而降低gas成本。
Cairo，强大的STARK堆栈和GPS增强了StarkNet在支持多应用程序汇总中的竞争优势。
在此阶段，StarkNet将是一个功能完整的框架，用于运行以太坊之上具有任意业务逻辑的多个应用程序，每个实例均由一个运营商运行。
运营商现在可以启动StarkNet节点，应用程序开发人员可以在其上部署合同。从用户的角度来看，StarkNet现在看起来和感觉都像以太坊，但规模更大。
步骤III——宇宙：去中心化汇总
StarkNet演进的最后一步是实现去中心化运营。
我们现在正在解决的，影响该阶段的有意义的研发问题包括使用ZK-Rollups改善达成共识的机制，以及设计加密经济机制以激励去中心化StarkNet贡献者和运营商以高效，公平，安全地运行。
结语
我们正在构建StarkNet，一种以太坊上的基于STARK的去中心化无许可L2ZK-Rollup产品，并且支持基于Cairo语言的通用计算。
StarkNet将使应用程序能够在不损害安全性的前提下进行扩展，用户支付合理的交易费，并且整个生态系统可以大幅增长并兑现其承诺。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。