月亮链 月亮链
Ctrl+D收藏月亮链
首页 > SAND > 正文

ARK:解读 zk、zkVM、zkEVM 的现状及未来_STA

作者:

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

核心提炼

零知识证明技术,可以保证计算的完整性、正确性和隐私,在区块链扩容和隐私中有应用。zk-SNARK和zk-STARK各有优点,而它们的合理结合更加有潜力。zkVM能赋予应用零知识证明能力,zkVM分为使用主流、EVM或全新指令集。EVM的适配包括EVM兼容性、等同性和Specification上的适配。zkEVM是兼容EVM而又零知识证明友好的环境,主要分为原生和编译流派。基于原生的zkEVM是以太坊和区块链的未来。支持Solidity生态的通用zkVM是Web3的未来。

Rocket Pool社区倡导者:Rocket Pool正在为pDAO开发链上投票,Saturn升级将解决去中心化漏洞:月5日消息,Lido社区质押团队发现Rocket Pool EOA合约由Rocket Pool团队控制,允许团队更改任何参数并在pDAO合约上调用任何方法。Lido社区质押负责人DmitryGusakov表示,在Lido中这完全由LidoDAO控制。

对此,Rocket Pool社区倡导者jasperthefriendlyghost.eth表示,Rocket Pool正在为pDAO开发链上投票。在发布时,pDAO没有经过测试,但是,这种情况已经改变,Saturn升级就是为了修补去中心化漏洞。[2023/7/5 22:18:48]

零知识证明

Celsius与债权人及扣留账户储户达成和解协议:3月29日消息,Celsius无担保债权人官方委员会(UCC)发推文称,Celsius、UCC和扣留账户小组达成一项和解协议,为选择 “扣留”账户的债权人提供15%的加密货币实物分配,其余部分将在计划中作为Earn债权处理。批准相关申请联合动议的听证会将于2023年4月18日举行。

据悉,所谓的“扣留账户”小组是由美国一些州的客户组成的,由于监管机构的停止令,Celsius无法为他们提供可用的托管账户。 这些人可以选择将资金转移到扣留账户,而这些资金仍被冻结。数据显示,在Celsius停止提款时,其管理的大约120亿美元资产中,扣留账户仅占1450万美元。[2023/3/29 13:33:07]

不严谨但简单易懂地来介绍一下零知识证明:

马斯克个人财富损失达1.37万亿元打破吉尼斯纪录:金色财经报道,吉尼斯世界纪录官方网站发布消息称,美国特斯拉公司首席执行官马斯克自2021年11月以来净资产损失近2000亿美元(约合人民币1.37万亿元),一举打破了历史上个人财富损失最大的吉尼斯世界纪录。据了解,这一吉尼斯世界纪录此前由日本软银集团首席执行官孙正义保持,他的个人财富从2000年2月780亿美元的峰值下降至同年7月的194亿美元,短短几个月里其净资产蒸发近600亿美元。美国《福布斯》网站的最新数据显示,马斯克的净资产从2021年11月的3200亿美元峰值下降至今年1月3日的1380亿美元,而其它消息源表明,其实际的资产损失可能接近2000亿美元。[2023/1/9 11:02:06]

你在上小学。老师是验证者,你作为学生是证明者。你如何证明你掌握了一元二次方程的求解公式呢?那就需要数学考试。

老师会随机出10道相关的题目,而你如果掌握了,则可以把他们都做出来。在这个过程中,你没有背诵或者默写求解公式的具体内容,但是老师却可以很简单地验证你的知识掌握程度。

其实这就是Tartaglia与Cardano(对的,就是这个名字)争夺谁是一元三次方程发现者时所采用的方法。他们都不想告诉对方自己公式的内容,但是通过做题,就可以很容易地验证且过程中不透露知识地,判断他们是否掌握了这一知识。

零知识证明有什么用呢?用处就是,整个过程可以节省计算算力和压缩链上空间,同时也可以对隐私有保护,符合区块链去信任的特点以及密码学的基因。

SNARK和STARK

区块链领域中所用到或者提到的「zk」通常不是真正的零知识证明,而经常是ValidityProof。由于相关词汇的混乱,所以本文中的某些地方会延续这些「误用」。

在目前的区块链版图中,zk可以说是区块链扩容(不zk的ValidityProof)与隐私技术(真正的zk)的最前沿与最优解决方案,在Tornado.cash、ZCash、zkSync、zk.money、Filecoin和Mina等项目中都有使用。

目前的技术方案主要分为SNARK以及STARK两类。STARK中的S代表可扩展的,意味着被证明的语句有重复的结构,而SNARK支持任意的电路,这些电路被预处理以实现简洁的证明。其中对SNARK的技术实践占据了主导地位,STARK主要有StarkWare在已上线的产品中大规模采用。以下是它们之间的对比。

从Meme的角度而言,STARK比SNARK优秀(

标签:ARKSTARSTARKSTAark币最新消息STARLStarkNetSTAT价格

SAND热门资讯
TVL:探讨OP估值预期:你的OP空投值多少钱?_OptionRoom Governance Token

本文梳理自加密KOLolimpio.eth在个人社交媒体平台上的观点,律动BlockBeats对其整理翻译如下:4月27日,Optimism?宣布将推出其生态TokenOP.

1900/1/1 0:00:00
SUI:6.2大饼突破箱体上涨受阻 再次下探_sui币解锁时间

  6.2大饼突破箱体上涨受阻再次下探  币圈数据:五月加密行业风险投资总额跌至42.19亿美元,环比下降38%  6月2日消息,市场分析公司DoveMetrics数据披露.

1900/1/1 0:00:00
DIE:令 Facebook「梦碎」的 Diem,血液依然在 Crypto 行业流淌_MoniBooks

曾领导Facebook的稳定币项目Diem的DavidMarcus正在创建一家新的加密公司。Marcus今天在Twitter上表示,他和一个团队正在创立一家将专注于比特币和闪电网络的新创业公司L.

1900/1/1 0:00:00
稳定币:UST崩盘期间,英国财政部正准备将稳定币合法化_稳定币价格下跌时会怎么样

据报道,英国财政部(HMTreasury)已经决定继续将稳定币作为法定货币进行监管。虽然受到加密社区的欢迎,但这一决定令人震惊,因为做出这一决定之际,最受欢迎的算法稳定币之一TerraUSD(U.

1900/1/1 0:00:00
区块链:Q1全球区块链投融资报告:NFT仍是资本方最青睐的赛道_元宇宙为什么不火了

摘要受经济政策和地缘影响,全球主要加密货币在触底后开始反弹。美联储及各国央行自2021年末开始加息与调整资产负债表,以及俄乌冲突加大了全球经济市场的不确定性,加密货币领域第一季度出现较大波动.

1900/1/1 0:00:00
区块链:区块链技术的常见误区_AVAT

区块链于2009年首次推出,并发布了其首个应用程序——比特币。如果按照最简单的应用方式来解释,区块链是一种去中心化的数字记录系统,令不受信任的交易各方可以共享数字历史记录,并且无需中介即可达成共.

1900/1/1 0:00:00