宇宙链 宇宙链
Ctrl+D收藏宇宙链

StarkNet:基于 STARK 的免许可型 L2 ZK-Rollup方案

作者:

时间:1900/1/1 0:00:00

我们的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,直至最后阶段。

美国联邦存款保险公司:已将硅谷银行存款转入新实体DINB:3月11日消息,据美国联邦存款保险公司(FDIC)最新公告,加州金融保护和创新部已于本周五下午关闭了硅谷银行并委任美国联邦存款保险公司接管了其业务。目前美国联邦存款保险公司已经创建了一个名为“圣克拉拉存款保险国家银行 (DINB)”的新实体并将硅谷银行存款转入到该实体中以保护客户,所有受保储户将在3月13日(下周一)早上之前完全使用其受保存款,FDIC将在下周内向未投保储户支付预付利息,未投保的存款人将收到其未投保资金剩余金额的接管证书,随着FDIC出售硅谷银行的资产,未来可能会向未投保的储户支付利息。

FDIC确认,截至2022年12月31日,硅谷银行的总资产约为2090亿美元,存款总额约为1754亿美元。在关闭时,超出保险限额的存款数额尚未确定。银行活动将不迟于3月13日恢复,包括网上银行和其他服务,硅谷银行的官方支票将继续清算。[2023/3/11 12:56:27]

筑基

BitTorrent File System(BTFS) 超级矿工数超过450万:据官方最新消息,BitTorrent File System(BTFS) 超级矿工数超过450万。矿工数据及分布情况可通过BTFS SCAN数据浏览器(https://scan.btfs.io)进行查看。 据悉,BitTorrent 文件系统(BTFS)既是一种协议,也是一种网络应用,它提供了一种内容可寻址的点对点机制,用于在去中心化的文件系统中存储和共享数字化内容,同时,它也为去中心化应用(Dapp)提供了一个基础平台。BTFS团队一直在根据最新的网络运行情况和BTT市场行情等,进行上传价格、空投奖励方案等一系列动态调整。[2023/2/13 12:03:45]

我们已经为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。

Bitfinex在萨尔瓦多比特币应用大会上发布自由宣言:11月17日消息,Bitfinex在萨尔瓦多比特币应用(Adopting Bitcoin)会议上宣布《Bitfinex自由宣言》(Bitfinex Freedom Manifesto),概述其对通过使用点对点解决方案和去中心化分类帐技术实现自我主权新时代的愿景。

Bitfinex自由宣言作出了三项承诺:

致力于构建开放的点对点通信解决方案,使任何人在任何地方都能在网上自由互动和交易。

将不遗余力地支持闪电网络和类似技术,并致力于使比特币成为最易访问和最高效的交易解决方案。

将支持和投资比特币社区,包括开发者和白帽黑客,以确保比特币网络的强度、弹性和不变性。[2022/11/17 13:16:25]

STARK软件栈

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

去中心化开源开发者社区DoraHacks获EMURGO Ventures投资:8月29日消息,去中心化开源开发者社区DoraHacks获EMURGO Ventures投资,投资金额未披露。本轮融资将用于举办Cardano生态全球黑客松,为Cardano吸引开发者和DApp并共同寻找投资机会。[2022/8/29 12:55:52]

StarkEx

StarkEx是我们的L2可扩展性引擎。2020年6月以来,StarkEx就一直在为主网上的DeversiFi用户提供服务。接下来几周,StarkEx将开始支持dYdX和ImmutableX。StarkEx可以处理复杂的交易逻辑以及付款。在StarkEx的开发过程中,我们也亲自试用了自己开发的工具,并测试了其是否能满足现实世界的需求。没有什么比实际需求和用户更能推动工具不断走向成熟。这也帮助我们了解了生态需要我们去解决什么问题,如,与钱包和区块浏览器的集成。StarkEx是使用基于STARK的ZK-Rollup提高应用可扩展性的活生生的例子,也是第一个在主网上线的采用Cairo语言编写的应用。另外,它也是运行在StarkNet上的应用之一。

Blockchain Coinvestors推出2亿美元中期增长基金:5月5日消息,资管规模4.5亿美元的区块链投资公司Blockchain Coinvestors推出2亿美元中期增长基金,为新兴的区块链公司提供风险敞口。

Blockchain Coinvestors成立于2014年,已投资40多家纯区块链风险基金,投资组合包括400多个区块链和加密项目。(CoinDesk)[2022/5/6 2:53:12]

展望未来

行星:只支持单一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可以在不损害安全性的情况下提高应用的可扩展性,帮助用户节省交易费用,并促进整个生态系统迅猛发展、实现其承诺。我们诚挚邀请开发者社区与我们一起踏上这一征程。

标签:STARARKSTARKSTASTARLINKDOGESparkPoint FuelSTARK币WinStars

SHIB最新价格热门资讯
北京1000万数字人民币红包7日0时开抢

  2月6日晚,北京市地方金融监督管理局官方公众号“首都金融”官宣称,在北京冬奥会开幕倒计时一周年之际,北京市围绕冬奥消费全场景,启动“数字王府井?冰雪购物节”数字人民币试点活动.

1900/1/1 0:00:00
干货 | 关于 Optimistic Rollup,你需要知道的一切(下)

干货|关于OptimisticRollup,你需要知道的一切OptimisticRollup的激励机制Layer2可扩展性方案基于这样一个事实,即,我们试图尽可能减少链上执行的事务的数量。我们使用欺诈证明来取消已发生的无效状态转换.

1900/1/1 0:00:00
正式上线|Bondly首个核心产品 -- BondSwap

Bondly 随着2021年的到来,Bondly很高兴宣布:我们首款核心产品之一BondSwap正式到来了!BondSwap,也可以称为BSwap,这款产品的主要就是要简化由DeFi支持的数字商品或实物商品托管过程.

1900/1/1 0:00:00
九方智投好用吗?核心功能解读来了

  最近很多股友问我在用什么炒股软件,其实这些年我用的炒股软件没怎么变过,一直都是九方智投App。那么,九方智投好用吗?都有哪些特色功能呢?今天笔者就结合自己多年来的使用体验,来和大家聊聊这款炒股软件.

1900/1/1 0:00:00
MDC生态新场景 带来民生必需品

2020年对MDC生态是风风雨雨的一年,历经全球经济大低迷的动荡时期,但也是蓬勃激昂发展的一年,用户地址达三百万,多个链上应用场景落地,多个币种行情火热,整体发展迅速且稳健.

1900/1/1 0:00:00
比特币主流货币:BTC价格开始转强势 短期往上继续运行

资讯简评 以太坊链上单笔交易手续费达到两年内的最高位2月6日,据Tokenview区块浏览器数据显示,昨日以太坊链上手续费总和达到12827.06ETH,单日Gas均价为150GWei.

1900/1/1 0:00:00