热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲

Uma Roy
有一天,在线上传你的驾驶执照以进行KYC将会感觉像纸质支票一样过时。

Ansem4 小时前
实体身份证是不是已经严重过时了,还是我在想太多
我们有 zktech + 密码钥匙 + 生物信息的完美组合,我觉得我们应该有一种更未来主义的方式来在现实生活中进行身份验证
2.23K
贾斯廷在很多事情上都很早(而且是对的)。

Succinct8月13日 02:00
在@drakefjustin的智慧之言中:
“PROVE代币的成功推出验证了zkVM作为一种可投资资产类别”
慢慢来,然后一下子就全来了。
3.92K
现代密码学之父将零知识证明的突破与人工智能并列,真是太疯狂了。
每个人都沉迷于人工智能,但零知识证明的发展同样迅速,几乎没有人注意到。
12秒的证明?那是简洁的。
等你看到我们接下来要发布的东西时,绝对会惊讶。

Giacomo Fenzi8月10日 05:47
@danboneh: “2025年发生了两个重要事件:其中一个是人工智能在国际数学奥林匹克上获得金牌,另一个是我们现在能够在12秒内证明以太坊区块,这两者的发生速度都远超我的预期。”
对@SuccinctLabs持乐观态度 🔥🔥🔥

11.47K
终于在周末有机会写下对Vitalik这篇文章的一些想法。
简而言之,随着以太坊走向机构化,并将L1资产发行作为其独特的价值主张,基于ZK的L2快速最终性将变得至关重要。
如果L1与所有L2之间没有快速最终性,以太坊就有可能失去作为“资产发行标准”的地位。
威胁已经开始显现。像USDC CCTP、USDT0等第三方桥接系统正在积极扩展。如果以太坊L2上的资产因最终性慢而感到与L1脱节,发行者将简单地选择更简单、更快速的替代方案。
Vitalik在这里的愿景确实巩固了证明基础设施将成为以太坊下一个扩展阶段的支柱的原因。每天将在整个以太坊生态系统中生成和消耗数十亿个证明。
PROVE的论点非常明确。

vitalik.eth8月7日 00:29
看到这么多主要的L2现在处于第一阶段,真是令人惊叹。
在我看来,我们下一个目标应该是实现快速(<1小时)提款时间,这需要通过有效性(即ZK)证明系统来实现。
我认为这比第二阶段更为重要。
快速提款时间很重要,因为等待一周才能提款对人们来说实在是太长了,即使是基于意图的桥接(例如ERC-7683),如果流动性提供者必须等待一周,资本成本也会变得过高。这会导致人们更倾向于使用具有不可接受信任假设的解决方案(例如多重签名/MPC),这破坏了使用L2而不是完全独立的L1的整个意义。
如果我们能将本地提款时间缩短到短期内1小时以内,中期12秒,那么我们可以进一步巩固以太坊L1作为发行资产的默认场所,以及以太坊生态系统的经济中心。
为此,我们需要摆脱乐观证明系统,因为这些系统本质上需要等待多天才能提款。
历史上,ZK证明技术一直不成熟且成本高,这使得乐观证明成为明智和安全的选择。但最近,这种情况正在迅速改变。是跟踪ZK-EVM证明进展的绝佳地方,这些证明正在迅速改善。ZK证明的形式验证也在进步。
今年早些时候,我提出了一种2-of-3 ZK + OP + TEE证明系统策略,旨在在安全性、速度和成熟度之间找到平衡:
* 2 of 3系统(ZK,OP)是无信任的,因此没有单一参与者(包括TEE制造商或侧信道攻击者)可以通过违反信任假设来破坏证明系统
* 2 of 3系统(ZK,TEE)是即时的,因此在正常情况下可以快速提款
* 2 of 3系统(TEE,OP)在各种环境中已经投入生产多年
这是一种方法;也许人们会选择ZK + ZK + OP平局,或ZK + ZK + 安全委员会平局。我对此没有强烈的看法,我关心的是根本目标,即在正常情况下快速且安全。
有了这样的证明系统,快速结算的唯一瓶颈就是在链上提交证明的燃气成本。这就是为什么我说短期内每小时一次:如果你尝试更频繁地提交一个500k+燃气的ZK证明(或一个5m燃气的STARK),会增加很高的额外成本。
从长远来看,我们可以通过聚合来解决这个问题:来自N个rollup的N个证明(加上来自隐私协议用户的交易)可以被一个单一的证明替代,该证明证明了N个证明的有效性。这在每个时隙提交一次变得经济可行,从而实现最终目标:通过L1实现近乎即时的本地跨L2资产转移。
让我们共同努力实现这一目标。
44.17K
我们为$PROVE持有者计划的众多倡议中的第一个

Hibachi8月12日 04:05
简洁的家人,猜猜看
如果你在质押 PROVE,你现在可以在 hibachi 上获得增强的交易奖励
gprove gbachi,我爱你
27.08K
而且都是来自旧金山的💗制作的

Giacomo Fenzi8月10日 05:47
@danboneh: “2025年发生了两个重要事件:其中一个是人工智能在国际数学奥林匹克上获得金牌,另一个是我们现在能够在12秒内证明以太坊区块,这两者的发生速度都远超我的预期。”
对@SuccinctLabs持乐观态度 🔥🔥🔥

5.97K
热门
排行
收藏
链上热点
X 热门榜
近期融资
最受认可