我们的StarkNet开发分为4个阶段:
筑基行星:只支持单一App的Rollup星群:支持多App的Rollup宇宙:去中心化的Rollup我们预计在几个月内部署好“行星”,并在2021年底之前完成“星群”和“宇宙”的构建。
介绍
我们正在构建的StarkNet是一个基于Stark技术的去中心化L2ZK-Rollup方案,支持在以太坊上的通用计算,具有免许可性和抗审查性。该方案是使用图灵完备的Cairo语言编写的。一个免许可型L2Rollup可以满足开发者、用户和StarkNet节点的所有期望:开发者可以根据自己的商业逻辑构建应用并部署到StarkNet上。用户可以发送交易到StarkNet上执行,就像和以太坊交互那样。StarkEx的节点和参与者将受到密码学货币的经济激励,来确保网络高效公平地运行。所有StarkNet交易将会被定期打包处理,提供STARK证明来证明其有效性,并在以太坊上进行验证。与验证以太坊事务的计算成本相比,验证STARK证明所需的计算成本要小得多。因此,StarkNet可以将以太坊的可扩展性提升好几个数量级。由于所有StarkNet状态转换都将由STARK证明来证明,只有有效的状态转换会被以太坊接受。重构完整StarkNet状态所需的全部数据都将在链上发布。任何人都能运行他们自己的StarkNet节点。这些特性会让StarkNet获得堪比以太坊的安全性和免许可性。我们的开发工作持续了3年,并且在将“月亮数学”转化为以太坊上高效的生产级软件方面取得了一些重要里程碑。我们的做法是先解决难题,构建核心技术,然后逐步投入生产。我们将继续通过这种方式构建StarkNet,直至最后阶段。
ENS将推出区块链原生的、可通过域名解析系统路由的顶级域名.box:6月7日消息,ENS开发者nick.eth发推称,ENS将推出区块链原生的、可通过域名解析系统路由的顶级域名.box。该域名系统中所有注册和转移都将在链上进行,NFT的所有者将同时拥有DNS和ENS域名。
据悉,.box域名可用于DID配置文件和钱包、去中心化的网站和消息传递、Web2网站和电子邮件、收藏与交易等。[2023/6/7 21:21:43]
筑基
我们已经为StarkNet打下了一些基础。
Cairo
Cairo是图灵完备的高级编程语言和框架,可以为通用计算生成STARK证明。应用开发者可以使用Cairo定义任何商业逻辑,在链下生成证明,并在链上进行验证,而无需自己编写复杂的“电路”或AIR。Cairo已在主网上线,向所有开发者开放。近几周内,我们将在以太坊公共测试网上发布Cairo的通用证明服务的alpha版本。通过该服务,开发者可以使用Cairo构建自己的应用,实现他们想要的一切商业逻辑。他们会将自己的Cairo代码发送至GPS来生成证明,再在链上进行验证。GPS可以使用单个证明来证明多个独立应用的执行完整性,让这些应用可以分摊证明验证的gas成本。Cairo和GPS都是StarkNet的基础。我们决定将二者开放给外部开发者,让他们早些接触StarkNet技术。这样一来,开发者不仅可以开始在StarkNet的基础上进行构建,还能影响StarkNet的发展。我们会基于开发者社区的需求和反馈继续开发Cairo。我们会引入新的功能、语法和能够提高其可用性的内部插件来强化该语言。我们会继续开发并改进Cairo工具:编译器、跟踪器/调试器以及与通用IDE的集成。StarkNet也会在底层运行Cairo。
彭博社:韩国加密法案草案将授予金融服务委员会监督加密公司和资产保管的权力:金色财经报道,在一名妇女因数字资产纠纷而被谋杀后,韩国重新启动了加密政策制定工作。据悉,新的预期法案称为虚拟资产用户保护法案,它将总共 19 种不同的加密相关法案打包成一个独立的法案。据彭博社看到的法案草案版本,该立法概述了虚拟资产的明确法律定义,并对内幕交易和市场操纵等违法行为进行了处罚。此外,新法案将授予该国金融服务委员会监督加密公司和资产保管的权力。
该法案还将要求数字资产公司购买保险以保护自己免受黑客攻击,以及更严格的储备金和账户管理规定。这些规则将适用于比特币等加密货币,而现有的资本市场法将适用于政府认定为证券的代币。[2023/5/18 15:10:46]
STARK软件栈
我们已经开发了整个生态系统中最强大的证明系统。这个系统已经在主网上线数月之久。我们还开发了开源证明器ethSTARK。ethSTARK不仅在速度上比任何证明器都要快20倍,而且提供抗量子计算的零知识签名。我们的可扩展性实效包括,在主网上使用单个证明处理30万笔交易,在Rollup吞吐量上创下了高达3000tps的世界记录。在此过程中,我们同样在Rollup的gas效率上创下每笔交易315gas的世界纪录,比以太坊L1上的交易便宜几个数量级。ethSTARK将成为StarkNet去中心化证明层的基石。因此,作为StarkNet开发的一部分,我们还将发布更多增强型证明器。
新世界:与多家银行在新世界开展近10次数字货币试点,取得良好效果:金色财经报道,新世界4月7日披露投资者关系活动记录表显示,公司作为数字货币首批商业应用单位,与多家银行在新世界开展了近10次数字货币的试点,取得了数字货币试点的良好效果。未来,新世界将持续发挥在商、旅、文、康、体多业态联动的优势,拓展在线经济,吸纳线上流量资源,整合创意思考,实现多方共赢,为打响上海购物品牌做出努力和贡献。[2023/4/9 13:52:34]
StarkEx
StarkEx是我们的L2可扩展性引擎。2020年6月以来,StarkEx就一直在为主网上的DeversiFi用户提供服务。接下来几周,StarkEx将开始支持dYdX和ImmutableX。StarkEx可以处理复杂的交易逻辑以及付款。在StarkEx的开发过程中,我们也亲自试用了自己开发的工具,并测试了其是否能满足现实世界的需求。没有什么比实际需求和用户更能推动工具不断走向成熟。这也帮助我们了解了生态需要我们去解决什么问题,如,与钱包和区块浏览器的集成。StarkEx是使用基于STARK的ZK-Rollup提高应用可扩展性的活生生的例子,也是第一个在主网上线的采用Cairo语言编写的应用。另外,它也是运行在StarkNet上的应用之一。
CNBC:若美SEC正式起诉Paxos,将对其他稳定币产生重大影响:2月20日消息,如果美国证券交易委员会正式对Paxos提起诉讼,将对价值1370亿美元的稳定币市场产生重大影响。律师事务所BCLP的合伙人Renato Mariotti表示:“如果SEC指控Paxos,任何其他稳定币发行商都应该注册或准备与SEC打官司。”Mariotti称:“我相信SEC很可能与Paxos达成和解,Paxos承认BUSD是一种证券,从而导致其他稳定币效仿并注册。不过,Paxos可能会积极起诉SEC,但这样做的成本将是巨大的。诉讼需要数年时间,败给SEC的风险很大。Paxos与SEC对抗这一事实本身就会产生风险,并可能降低BUSD对市场的吸引力。”Mariotti表示,另一个结果是,SEC可能会监管用于支持稳定币的资产,以及数字货币发行向市场披露信息的要求。
CoinShares产品负责人Townsend Lansing表示:“该行动的基础必然是特定于Paxos BUSD结构的特点事实,但可能会对其他向美国稳定币发行商产生广泛的影响。SEC对证券或投资合同的定义实际上超出了Howey测试的范围,该机构在如何应用法律和司法先例方面拥有广泛的知识。如果没有一场成功的斗争,BUSD很可能将不再在美国销售,也不会在美国的数字资产交易所上市。其他稳定币很可能会效仿。”
此前金色财经报道,SEC向Paxos发出“韦尔斯通知”,告知其计划就BUSD起诉Paxos;纽约州金融服务部已命令Paxos停止发行新BUSD代币。(CNBC)[2023/2/20 12:17:12]
展望未来
以太坊侧链Gnosis Chain计划于本周内上线合并开发者网络:7月26日消息,据TwitterID为@dapplion的开发者表示,以太坊侧链Gnosis Chain已于上周成功进行了影子分叉,计划于本周内发布合并开发者测试网,有关测试网的详细信息将于本周内发布。[2022/7/27 2:39:25]
行星:只支持单一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可以在不损害安全性的情况下提高应用的可扩展性,帮助用户节省交易费用,并促进整个生态系统迅猛发展、实现其承诺。我们诚挚邀请开发者社区与我们一起踏上这一征程。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。