前言
据悉,Starknet 0.12.0已于7.12日正式部署在主网上,实现更大的吞吐量和更低的延迟。在通读本篇文章之前,你需要对零知识证明的概念有一个初步的认知:
零知识证明属于密码学概念,是一种交互式的证明。让我们先举一个经典的例子:A是红绿色盲,B有两个台球,一个是红色,一个是绿色。在A的眼中,这两个球的颜色完全一样,B需要向A证明这两个台球一个是红色,一个是绿色。此时,A将台球放在背后,他可以将两个球互换位置或者不换,而B需要判断A是否将两个球互换位置,重复多次,若每次B猜的结果都是正确的,则A认为两个台球一个是红色,一个是绿色是真实情况。这个就是经典的零知识证明的例子,在零知识证明里,我们只需要“证明者”以及“验证者”两个身份。
StarkNet是一个无需许可的去中心化Validity-Rollup(也被称为“ZK-Rollup”)。它作为Ethereum上的Layer2能够使任何Dapp在计算方面实现无限的扩展并且无需牺牲Ethereum的可组合性和安全性。
StarekNet的母公司StarkWare成立于2018年,总部位于以色列,旗下所研发的主要产品有Starknet以及StarkEx。其公司估值已经达到80亿美金。截至目前为止,StarkNet已经经历五轮融资,共融资2.73亿美金。
值得一提的是,以太坊基金会特别公开支持利用starks的starkware,他们向starkware提供了1200万美元的资助。而这也是行业普遍看好StarkNet今后发展及其正统性的原因之一。
钱包开发商Safeheron:某些多签钱包可以被使用Starknet协议的Web3应用程序攻击:金色财经报道,多方计算 (MPC) 钱包开发商Safeheron表示,某些多签钱包可以被使用Starknet协议的Web3应用程序攻击。该漏洞影响与dYdX等Starknet应用程序交互的MPC钱包。Safeheron正在与应用程序开发人员合作修补该漏洞。(Cointelegraph)[2023/3/9 12:52:37]
代币经济模型
StarkNet已于2022年11月16日宣布在以太坊主网上部署其原生代币$STRK,用作投票、质押和支付费用等。
图1-1 $STARK 代币经济模型
代币经济模型中除投资者以及核心贡献者的49.9%代币之外,其余50.1%的代币全部归StarkNet基金会所有。在这其中,仍然有8.1%的代币未被分配。这部分将由社区决定相应的用途,因此这部分代币普遍被推测为潜在的空投额度。而Starknet基金会目前也已经任命Facebook前高管Diego Oliva为其第一任首席执行官。Oliva此前也曾表示,他将专注于Starknet去中心化社区的治理,着重强调开发者以及用户的权益。
路线图
NFT订阅平台MintStars获Polygon Studios投资:8月22日消息,NFT订阅平台MintStars宣布获得了Polygon Studios投资,投资金额未披露。MintStars建立在Polygon上,可以帮助创作者与粉丝更好地互动。[2022/8/22 12:41:31]
V 0.12.0 吞吐量和延迟
在官方近期公布了2023整体的路线图,0.12.0版本已于本周三,也就是7.12日正式部署在主网上。Starknet的最新版本0.12.0引入了显著的性能改进,包括吞吐量和延迟方面的提升。通过采用基于Rust的Sequencer和Rust-Cairo VM,StarkNet的性能将得到显著提升,并且OKEX交易所已开始支持ETH starknet主网的充值。
V 0.13.0交易成本
在V 0.13.0版本中,Starknet 的交易成本将大幅降低。这是通过volition降低交易成本的主要组成部分来实现。L1( 以太坊 ) 数据成本占今天交易成本的95% ,而Volition 将允许开发人员使用混合数据可用性 (DA) 模式构建 Starknet 应用程序。此外,以太坊的 EIP-4844(分片 Blob 交易)预计将于2023年第四季度发布。由于以太坊的 EIP-4844 和 Starknet 的 Volition(链下数据可用性),Starknet的数据成本将大幅降低。
V 0.14.0费用市场
稳定币协议Abracadabra上线Stargate Degenbox策略:5月19日消息,稳定币协议Abracadabra上线Stargate Degenbox策略,旨在提高有息抵押品的收益率。用户只要存入Stargate LP余额(例如 USDC 或 USDT),就可以在Stargate Finance上获取STG代币,其中奖励将按比例分配给存款数额,且收取50%的管理费,以用于协议金库。[2022/5/19 3:27:15]
网络拥塞是每个开发人员以及用户所头痛的事情。为了解决这个问题,Starknet 将在V 0.14.0 引入费用市场,以便根据用户为交易支付gas的多少来有效地分配 Starknet有限资源。
V 0.15.0更短的固定块间隔
在V0.15.0版本中,一些改进计划旨在提升Starknet的性能和用户体验,通过解耦块和证明之间的关系,减少块间隔并改善网络的吞吐量。这将使Starknet成为一个更强大和高效的区块链平台。
2. 技术分析
目前市场上使用最广泛的Layer2——Arbitrium的底层技术是OP- Rollup,(Optimistic Rollup)。它是通过欺诈证明(Fraud proofs)实现扩容。在Op-Rollup中,交易数据被系统乐观地相信是正确的,而不进行实时验证,直接进入一个等待期。在等待期内,如果有节点提出异议并提供了证据证明存在恶意交易,那么该交易将被取消;如果没有异议,等待期结束后,交易将自动完成并在主链上验证交易。
Gate.io已于5月12日22:00开启SKRT认购Startup项目:据官方公告,Gate.io已于5月12日22:00 至5月13日19:00开启Startup项目Sekuritance(SKRT)认购通道,22小时内有效下单同等对待。用户需要达到VIP1和以上级别才能参与认购,VIP等级越高的用户认购额度越高。用户下单后到结束认购后2小时内,请务必保证现货交易账户中有不低于认购金额的足够金额,金额不足将自动排除在有效订单之外。[2021/5/13 21:56:58]
而Starknet则是基于ZK-Rollup技术的Layer2。ZK-Rollup主要依赖于零知识证明技术,通过将计算和验证过程分离,将合约执行的验证放在链下完成,然后将验证结果提交到以太坊主网上。计算过程在链下进行,而验证结果仅作为一个证明提交到以太坊,因此,这种方法提供了最高级别的安全性和用户隐私保护。
OP-rollup和ZK-rollup相比,ZK-rollup则是一种比OP-rollup更加安全的替代方案,而OP-rollup则是具有EVM兼容性的DeFi项目的更好选择。由此可见,具备EVM兼容性的ZK-rollup以其天然的安全性的优势将会是Layer2的未来的叙事发展方向。安全性的实现这一优势要归功于StarkNet对最安全、最可扩展的密码学证明系统——STARK的依赖。
Zk-STARKs VS Zk-SNARKs
公告 | KuCoin矿池Pool-X于1月8日晚10点提前开启Staking锁仓:据KuCoin交易所消息,KuCoin矿池平台Pool-X将于1月8日晚10点提前开启限时Staking活动。首批上线挖矿产品为KCS-30、TRX-30、XTZ-30和ATOM活期。在Staking期间,用户除了获得各项目收益之外,还能每日瓜分25万个POL的挖矿额度。Pool-X是由KuCoin孵化的可以交易锁定资产的新一代POS矿池。[2020/1/8]
STARK(Zero-Knowledge Scalable Transparent Arguments of Knowledge)和Zk-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge)都属于零知识证明的技术,用于创建可以验证但不泄露全部信息的证明。但它们在实现方式和特性上存在一些关键的区别。
选择使用SNARKs还是STARKs取决于具体的应用场景和需求。SNARKs在证明大小和验证速度上有优势,但需要信任设置。而STARKs不需要信任设置,对量子计算机攻击有抵抗力,但证明较大,验证速度较慢。
这里引入了一个概念——信任设置(Trusted Setup),他是一种在某些类型的零知识证明系统(如zk-SNARKs)中使用的过程,它在系统开始运行之前创建了一些初始参数。这些参数在证明的生成和验证过程中都会被使用。
信任设置的关键是确保生成者在创建初始参数后彻底销毁他们所使用的秘密信息。如果生成者保留了这些秘密信息,他们就有能力创建看似有效的虚假证明,这将危及系统的安全性。因此,信任设置过程需要接受严格的审查和监控,以确保所有生成者都按规定销毁了秘密信息。这就是为什么称其为“信任设置”,因为用户必须相信这个过程是公正的,生成者没有作弊行为。
而zk-STARKs却是一种不需要信任设置的零知识证明系统。这意味着,与需要信任设置的系统(如zk-SNARKs)不同,zk-STARKs的证明生成和验证过程不依赖于任何秘密信息。这提供了更高的透明性和安全性,因为系统的安全性不依赖于任何特定个体或组织的行为。zk-STARKs是通过使用一种被称为“FRI”(Fast Reed-Solomon Interactive Oracle Proofs)的技术实现的。
FRI协议
FRI协议的基本思想是通过一系列的抽样和插值步骤,逐步降低多项式的度。在每一步,证明者都会提供一个新的多项式,并声称它是原始多项式的一个压缩版本。验证者可以通过检查这些多项式在随机点上的值,来验证这个声称是否正确。
这个过程会一直持续到多项式的度足够低,以至于验证者可以直接检查它的所有系数。由于在每一步中多项式的度都会减半,所以这个过程可以在对数时间内完成,这使得FRI协议非常高效。
FRI协议的一个关键特性是,它只依赖于公开的、预先定义的参数,而不需要任何秘密信息。这使得它可以用于构建不需要信任设置的零知识证明系统,如zk-STARKs。然而,FRI(Fast Reed-Solomon Interactive Oracle Proofs)协议并不相当于信任设置。相反,FRI协议是一种用于生成和验证zk-STARKs证明的技术。它允许证明者向验证者证明一个多项式的系数是低度的,而不需要透露多项式的具体内容。FRI协议的关键特性是,它只依赖于公开的、预先定义的参数,而不需要任何秘密信息。这使得它可以用于构建不需要信任设置的零知识证明系统,如zk-STARKs。FRI协议是zk-STARKs的一个关键组成部分,它使得zk-STARKs能够在不需要信任设置的情况下工作。但FRI协议本身并不是一个信任设置过程,因为它不涉及生成或销毁任何秘密信息。
Starknet工作原理
StarkWare公司旗下的产品有专门为项目方定制的ZKR企业服务的StarkEx以及更加通用的StarkNet。StarkNet由五个部分组成,分别是:Starknet上的prover(证明者),Sequencer(排序器)和Full node(全节点);以及部署在以太坊上的verifier(验证者)和Starknet core(核心状态合约)。
其工作原理是在StarkNet上发起一个交易,由链下服务器排序器进行接受,排序,验证,并打包到区块,执行交易,然后状态转发给starknet core状态合约。随即,证明者将交易生成证明,并发送给以太坊的验证者验证。验证者将验证结果发送到以太坊的starknet core核心状态合约,并从Starknet core合约触发一组新的以太坊交易,以更新链上的全局状态以进行记录保存。而全节点(Full node)则发挥了储存功能,包括状态改变、元数据、证明以及记录在Starknet中被执行的所有事务,并跟踪系统的当前全局状态。
图2-1 Starknet工作原理示意图
3. StarkNet生态
图3-1 Starknet生态图(来自推特/img/2023721105917/6.jpg" />
图3-2 StarkNet TVL 来自defilama
跨链桥则有官方跨链桥stargate、以及Orbiter,Layerswap等;Did有StarknetID以及任务平台StarQuest。目前,Starknet各类协议的NFT奥德赛活动正在如火如荼地进行中,StarkNet未来生态将会持续繁荣还是昙花一现,我们只有拭目以待…
金色财经
金色荐读
Block unicorn
区块链骑士
金色财经 善欧巴
Foresight News
深潮TechFlow
作者:Eric Johansson,dlnews;编译:善欧巴,金色财经摘要最新研究显示,2023 年加密劫持攻击激增,而勒索软件数量则处于 2020 年以来的最低水平.
1900/1/1 0:00:00作者:LD Capital近期美国国会正在对加密货币相关法案进行投票,这些法案能够大幅提升行业监管的份额,相关法案如果顺利通过可能成为数字资产行业监管法规化的里程碑.
1900/1/1 0:00:00作者 :白泽研究院还记得曾经的天王级项目 DFINITY 吗?2018 年 5 月,5 万名注册参与者通过收到 ICP 代币空投.
1900/1/1 0:00:00来源:bitcoinist;编译:区块链骑士彭博行业研究(Bloomberg Intelligence)分析师James Seyffart和Eric Balchunas根据近期的行业动态.
1900/1/1 0:00:00作者:TOM MITCHELHILL,COINTELEGRAPH;编译:松雪,金色财经据报道,美国检察官和国税局(IRS)特工正在调查涉嫌非法受益于波多黎各税收减免的加密货币交易商和基金经理.
1900/1/1 0:00:00本文将通过对Orbiter 和Layerswap两个跨链桥的原理、操作以及一些细节方面的介绍,以小见大,帮助大家了解当前二层跨链桥的现状,也方便自己在跨链时做出最优的选择.
1900/1/1 0:00:00