在刚过去的黑山以太坊 EDCON 大会上,ZK 成了最火热的话题。从 19 号到 23 号整整 5 天的时间里,无论是个人演讲还是圆桌 Pannel,嘉宾们的话题大都围绕 ZK Rollup、zkEVM 和 ZKML 等词汇展开。在「以太坊核心圈」眼中,ZK 已经成为媲美 2019 年 DeFi 创新的、能够撬动下一轮行业爆发的究极新叙事。
长期以来,技术实现都是 ZK 面临的主要难题,这也使得它在大多数人印象中,一直都是「未来的解决方案」。然而今年,Arbitrum 生态还没热透,作为技术替代者的 ZK Rollup 们就已经上来敲门了。今年最明显的一个感受,就是各式各样的「ZK 项目」突然变多了。开发者开始 FOMO ZK 技术,ZK 转账、ZK 身份还有 ZK 桌游,只要能和隐私沾边的,项目名称里一定会有「ZK」二字。这般繁荣景象,当然得益于 Starknet、zkSync 等 ZK Rollup,以及 Scroll、Polygon 等 zkEVM 项目的集中发力。而在这些中流砥柱的背后,是一位叫做 Eli Ben-Ssason 的以色列大汉。
Eli(/img/202364115425/0.jpg" />
作为一个技术驱动型创业者,Eli 对 ZK 技术及其背后的数学原理有着绝对的自信。那么他是如何看待「ZK 劲敌」Optimistic Rollup?对 zk-STARK 和 zk-SNARK 的未来又有什么看法?
分析师:美国财长耶伦最近表示,经济衰退的可能性已经降低。:金色财经报道,分析师评美联储会议纪要称,有趣的是,美联储工作人员仍然预测经济衰退,这与鲍威尔表示没有看到衰退相反。美国财长耶伦最近表示,经济衰退的可能性已经降低。[2023/7/6 22:20:00]
Eli:我曾是一位计算机科学教授,做的是理论计算机科学研究。在的人们可能听说过清华大学的姚期智,他是理论计算机科学的重要推动者,图灵奖得主,安全多方计算的发明者。我比他晚很多年才进入这个研究领域。
2008 年我开始做零知识证明(以下简称 ZKP)相关的一些研究。2013 年的 5 月,也就是十年前,我参加了在圣何塞举行的比特币大会,我意识到区块链领域就是我所做的理论研究、数学等最好的应用场景。我很确信我是第一个认识到通用计算的证明和区块链可以非常好地结合在一起的人。十年前以太坊还没有出现,当我第一次遇到 Vitalik 时,他还不是以太坊的创始人,是 Bitcoin Magazine 的一位内容作者。我们讨论了很多关于证明、有效性证明和零知识证明的问题。
我早期的一篇合著论文就叫《Zerocash: Decentralized Anonymous Payments from Bitcoin》,讲的是如何使用零知识证明来保护比特币上的支付。这就是后来的 Zcash 项目,我们一直在发展这项技术。2018 年前后,我们提出了更好的技术改进,并将其称之为 STARK,它有助于扩大以太坊或者通用区块链的规模。2018 年我们联合创立了 StarkWare,创始人包括我、Uri Kolodny、Alessandro Chiesa 和 Michael Riabzev。如今人们已经普遍认为我们的有效性证明是扩展以太坊的最佳方式。
Eli:是的,Vitalik 是 StarkWare 的早期投资者之一。这是他迄今为止为数不多的投资之一,我们为此感到非常自豪。
我记得 Vitalik 成为核心投资者是在 2018 年秋天左右。我和他参加了一次会议,貌似是清华大学组织的,但肯定是在深圳。我记得我们在一个非常漂亮的水鲜市场里走着,一起讨论这些事情,比如 StarkWare、他的投资以及一大堆事情。所以这个决定的细节是在中国达成的。
Eli:我相信中文社区的读者们一定对支付宝和微信支付很熟悉,他们的交易速度可能已经达到了每秒一百万笔。现在,区块链需要做 NFT、游戏、投票、选举和治理,要让所有这些发生,目前的技术就不够好,在比特币和以太坊上,大概每秒有 10 到 20 笔交易。这就需要其它技术,需要一些不降低区块链安全性,但又能扩大区块链范围或触及面的技术,这就是 Starknet 所做的。
某钓鱼地址已将100枚ETH转入Tornado Cash:金色财经消息,据CertiK监测,被Etherscan标注为Fake_Phishing76357 已将100枚ETH(约182.6K美元)经由EOA地址(0xbe71...f6309c2 )转入Tornado Cash。[2023/5/24 15:23:02]
Eli:这是一种更好的技术,而且它确实有效。其实在以太坊核心团队中,人人都知道 Optimistic Rollups 并没有开启他们的核心技术。Arbitrum 和 Optimistic 上都没有欺诈证明。他们之所以没有启动,是因为它根本就不起作用。
相反,我们从来没有在无 STARK 有效性证明的情况下提交过状态更新。即使我们的系统性能达到以太坊的 10 倍,我们也只使用了不到 1% 的以太坊资源。Optimistic Rollups 是个好主意,但是它不起作用,而正因为它不起作用,所以没有开启。一个应该起但却没有起作用,甚至没有被开启的东西,和另一个确实起作用且可以证明的技术之间,是有很大区别的。
Eli:我喜欢 Optimism 团队,他们是社区的杰出成员,但是技术并不行。就好比说,为什么我们不能把羽毛附在人们身上,然后让他们扇动翅膀来建造飞机呢?这的确更有意义,这就是为什么莱昂纳多·达芬奇画了身上有翅膀的人。但是它在数学和经济学上不起作用。我很喜欢和欣赏他们的聪明才智和真正伟大的社区成员,但也不能改变那是一项不能很好运作下去的技术的事实。
Eli:当然,但是需要意识到的是,你的资产安全是在信任单个运营商,然后它工作得非常有效。这里有另一种可能,效果很好。你可以将你的资产桥接到你非常信任的任何计算机。它可以是一个中心化的交易所或者任何类似的事物,然后你会得到惊人的 TPS 吞吐量,但你是在将自己所有的资金托付给由那个人控制的那台计算机。如果它出现故障、掉线,或者作恶,那么你的所有资金都会消失。
Arbitrum、Optimism 与 Binance 有相同的安全假设,Binance 对用户来说是一个很好的产品,可能甚至比 Arbitrum 更好,但对用户来说很重要的是他们不应该被愚弄,认为自己在转移资产时有更高的安全级别。如果有人说我不会使用 Binance,因为 Binance 是由一套中心化流程控制的,我要去中心化,我要把资产放到 Arbitrum 或 Optimism 上,但其实这是同一件事。
去中心化摄像头网络Natix Network完成350万美元种子轮融资:4月14日消息,总部位于德国汉堡的去中心化摄像头网络Natix Network宣布完成350万美元种子轮融资,Blockchange Ventures领投,XYO、Mysterium Network、CVVC、Mulana Capital和Blockarm Capital,以及现有投资者Techstars、Plug and Play Ventures和CoinIX Capital参投。Natix Network利用人工智能技术的去中心化摄像头网络创建实时城市地图,新资金将支持其推出首款基于物理基础设施网络(DePIN)的移动应用程序“Drive&”。(Tech.eu)[2023/4/14 14:03:15]
Eli:它们正在使用的是一个中心化的系统,甚至更糟糕的是,它基于一个代码库,这个代码库并不是从一开始就设计为由单个运营商操作。所以我认为它给你提供的法律保护还不如 Binance 多。
Eli:SNARKs 技术,Groth-16 类型的预处理 SNARKs,它使用的是椭圆曲线,可以早一些准备好投入生产,但我认为在效率和安全性方面,它是一个较次的技术。这就好比有一个技术,它不是那么好,但是它先出现,就像蒸汽机没有汽油发动机好,但是它先出现,我觉得有点类似这个情况。
至于为什么选择 zk-STARK,这是一个不需要思考的选择。它具有最安全、最具有未来保障的基础技术,依赖于经过战斗测试的数学和加密技术。值得一提的是它是后量子安全的,这是其它系统都无法达到的。它有最快和最高效的证明,由于这些,它达到了所有证明技术中最高的水平。
Eli:我认为它会被逐渐淘汰。可能会留下来用于个人的屏蔽交易,在某些情况下用户可能不在乎证明时间的低效率。而且确实有非常短的证明,大约 200 字节左右。所以他们可能在隐私领域有一定的用途,用于个人屏蔽交易,但一旦达到更大的吞吐量,就只能这样了。所有在 Polygon 系统中的项目都在使用我们发明的 STARKs,从 Hermez、Miden 到 Polygon Zero 等等。有的项目目前暂时使用 SNARKs,但最终都要转向 STARKs。所以,现在最大数量的区块链有效性证明项目都在使用 STARKs。
BitPay与Dosh合作在加密借记卡上启用现金返还奖励:金色财经报道,比特币和加密支付处理平台BitPay今天宣布,其BitPay卡的用户现在将在数千家零售商处刷卡时获得自动现金返还奖励。由于与Dosh建立了新的合作伙伴关系,当使用BitPay卡消费时,用户将在BitPay应用程序中直接看到加密现金返还奖励。(cryptoninjas)[2022/8/12 12:20:08]
很多人难以理解的是,作为一个以太坊的 L2,Starknet 本身是不兼容以太坊 EVM 的,开发者需要使用 Cairo 这套全新的语言进行合约开发。这似乎让 Starknet 失去了许多 EVM 兼容 L1 和以太坊等效 L2 的优势,即最大程度降低开发成本,以在短时间内迅速启动生态。但在 Eli 看来,在 Cairo 带来的巨大潜力面前,这些问题变得不再重要。更关键的是,Starknet 生态对此已经有了自己的解决方案。
Eli:StarkEx 和 Starknet 服务于两个不同的目的。当你谈到一种非常明确性质的高吞吐量交易,比如铸造和交易 NFT 时,那么你可以从一个专门为此构建的系统中获得更好的性能和吞吐量,这就是 StarkEx。我们从一个非常特定的用例开始,对整个技术进行了实战测试,我们对此非常自豪。
而 Starknet 则首先经过了更复杂的构建,因此理所当然的是它会更晚出现,而且它服务于不同的目的,允许你进行通用计算,就像以太坊一样,但这种通用计算意味着,与专门用于一个用例的特定性能相比,它的性能不会那么好。所以,这是一种通用性与效率的权衡。
Eli:是的,对我们来说,达到这个目标非常重要。很多团队「在 Twitter 上跑自己的项目」,他们发布一些好看的数字,然后期待着人们会被愚弄,认为这是一个有效的系统。但我们为自己运行多年的高 TPS 系统感到自豪。这一切都是为了提高吞吐量和降低交易成本。
我想说的是,到现在为止,我们的系统已经处理了近 1 万亿美元的交易,超过 4.5 亿笔交易,发行了超过 1 亿个 NFT。没有其他任何一个 L2 可以做到这些。我们每日 TPS 比以太坊高 50%,每周 TPS 比以太坊高 30%,持续一整周。没有其他的系统能够达到这个水平,而我们却从未使用超过以太坊 Gas 的 1%,即使我们的 TPS 增加了 30%。
Eli:我常喜欢说「仰望星空,脚踏实地」。我们非常了解数学、工程和技术,容易被下一个很酷的科学项目所吸引,并且喜欢展示一些时髦的新事物,这对我来说是非常诱人的。但我们把不能满足用户即时需要的酷炫内容放到一边,相反我们非常专注、非常努力地提供用户和客户真正需要的东西。作为一名科学家,整个团队都知道我因为不能做椭圆曲线快速傅里叶变换(ECFFT)之类的东西而感到非常遗憾,以及很多我们明知可以将性能提高 10 倍甚至 100 倍的各种奇特技术。
Meta正在测试让用户使用他们的Facebook帐户创建多个档案资料:金色财经报道,Meta正在测试让用户使用他们的Facebook帐户创建多个档案资料。这是该公司鼓励在其社交网络上发帖和分享的最新尝试,但不会改变他们计算用户总数的方式。(彭博社)[2022/7/15 2:16:19]
Eli:是的,关于 Cairo 我想说几件事。首先,它是一个先进的、下一代的智能合约编程语言。它从一开始就支持一些新功能,例如智能钱包,或者说账户抽象,这些是内置在 Cairo 语言中的。这是一个受到 Rust 启发的编程语言,许多尝试 Solidity 并使用它的开发人员,特别是那些知道 Rust 的人,他们会说他们更喜欢用 Cairo 编程而不是 Solidity。所以它本身就是一个非常非常好的编程语言。
我想说的第二件事是,使用一个专用的语言来创建 STARK 证明或者一般的有效性证明的原因,跟你想要用 Solidity 编写智能合约的原因很相似。你需要用 Solidity,并不是因为它比 Python、Rust 或 C++有更好的开发者体验。相反,它的开发者体验更差,但是当你转移到有区块链基础设施的新框架时,你就必须使用不同的编程语言,Solidity 很好,因为它可以有效地编译到以太坊虚拟机。我再给一个例子。如果你想利用 GPU 写出真正好的图形,你应该用 CUDA 写,因为这是一种可以最大程度地利用 GPU 性能的语言。
对 STARK 证明也是一样的。有一个不同的虚拟机,就有一套关于什么使得某件事有效或无效的不同约束条件。如果你想达到 STARK 证明所能达到的性能,比如在以太坊的一个区块中放入一百万个 NFT,你就必须更有效地使用编程语言。我们可以在 Immutable X 上的一个证明中铸造一千万个 NFT,我无法想象任何基于 EVM 或任何 zkEVM 能够接近我们能放入区块链单个证明中的内容。我可以挑战全世界的 zkEVM,他们不会做到的。这就是为什么你需要一个不同的计算模型和一个不同的编程语言。
Eli:这可能是个问题,但开发者正在涌向 Cairo 和 STARK。开发者和团队的数量每天都在增加,我认为他们看到了潜力。很多人理解了规模化的问题,并问自己最好最具有前瞻性的解决方法是什么,是什么真正开放了全球需求的扩展性,我认为他们中的很多人得出了正确的结论,那就是走 Starknet 和 Cairo 1.0 的道路。
这里有个类比,通常你会用 Python 写你的软件的第一个版本,但是当你想要实现规模化时,你就需要用 C++、WASM、Rust 等其他一些非常高效的语言来写。我认为在 Cairo 上也会发生完全相同的事情,你可能会拿 Solidity 代码部署到 Kakarot,但这就像用 Python 写一个高频交易引擎一样,是不应该的。你需要用另一种语言写,那种其他的语言就将会是 Cairo。
Eli:是的,有非常好的项目正在构建 StarNet 上的 ZK-EVMs。第一个叫做 Warp,由 NetherMine 团队制作,这个团队非常优秀。第二个叫做 Kakarot,这是一个正在形成的社区。
Kakarot 就是一个 ZK-EVM,它是建立在 Cairo 之上的。所以我非常确定大多数的 ZK-EVM 将部署在 Starknet 上。如果你已经有了把你的 Solidity 代码或 EVM 代码移植到 L2 上,一个有效性 Rollup 的想法,你最好的方式是在 Kakarot 或 Warp 之上做。所以这再次展示了 Cairo 和 Starknet 的力量。
BlockBeats 在采访中还提及了 ZK Rollup 之间的竞争,以及 Starknet 自身生态发展的问题。作为整个加密行业中技术含量和要求最高的领域,普通用户似乎很难分别 zkSync 和 Starknet 之间的优劣。对大多数人来说,实际情况是谁更会「来事儿」就看好谁。从这个层面来看,StarkWare 以技术创新为核心驱动的理念似乎给 Starknet 出了难题。Eli 本人是如何看待 ZK Rollup 之间的竞争?他对 Starknet 生态的发展又有哪些期许?
Eli:你必须问自己,最好的技术步骤在哪里?哪个地方最可能汇集最多的开发者,并提供最好、最安全的技术?我们在 zkSync 之前就展示了我们的能力,他们很会讲故事,但他们讲的故事和开发者的体验之间有很大的不匹配。我有一个建议,我鼓励正在阅读这篇文章的开发者试一试在 zkSync 上开发或部署一些东西,并试一试在 Starknet 上开发和部署一些东西,你会感到有一个鲜明的差别。
我来告诉你一个故事,有人之前在 Reddit 上问谁做一个能进行 30 万次交易的东西,我们在主网上做到了,TPS 大约在 3000 左右。一两周后,zkSync 团队出来说,我们有 3000TPS,但是这 3000TPS 从未被测量、证明或展示过,不过它是一个很好的故事。在这个行业里有许多人乐意讲故事,也有人展示事实,我们以展示事实的能力自豪。
Eli:目前由于需求量很大,Starknet 出现了拥堵现象。两周内我们将发布 12 版本,这将极大地提高 TPS,解决大部分的需求。然后在下一个版本中,当我们完全集成 Volition 以进行链下数据处理时,价格将大幅度降低,这可能会在一两个月后发生。
Eli:没错,这是更好更深入的技术理解的结果。我们已经在这个领域耕耘了很长时间,在生产环境中部署过内容,并磨练了系统。我们知道我们在做什么。但我们不太会讲故事,很少炒作。我们就像特斯拉,特斯拉没有营销部门,我们的产品就是我们的营销。
Eli:不,我认为这不是接下来会发生的事情。我之所以这样认为,是因为以太坊就是这样发展过来的。有一天,会有一个非常成功的 App 明了 Starknet 的能力。那个 App 是什么,我现在不知道。如果要我猜,我认为它不是目前已经存在于 L1,且可以轻松复制粘贴到 L2 上的产品。
所以我认为它会使每个人都会看到并谈论它,因为这全新的、在 L1 甚至是其他 L2 上都无法实现的应用。这将会成为转折点,开发者会蜂拥而至。正因如此,我们把大部分注意力放在这里,我们这次来 EDCON,就是为了接触到更多开发者,邀请他们加入我们的生态。因为他们当中,将会有人创造出我无法预测的美妙之物。
Eli:我无法为他们回答这个问题,即使我给出了答案,他们也不应该听我的,他们应该自己决定他们自己。我认为有些东西是惊人的,在 Starknet 上建立数据库基础设施,像高级 Oracle 服务、Proof of Humanity、社交网络等,有很多真正令人惊奇的事情可以做,他们应该研究一下,找出他们认为缺失的东西,或者他们认为最有趣的东西是什么。
Starknet 是区块链演变的下一步,这是一个非常重要的步骤。如果你是一个开发者,Starknet 将会准备好供用户使用,我们正在为最终的用户构建它。我认为我们有一个非常清晰的前进道路,更多的开发者还有很多工具要建立,还有很多事情要做。有很多的机会让你脱颖而出,并通过努力工作为自己赢得名声。
Eli:如果有一台时间机器,你可能会希望回到以太坊的早期,构建几乎你想建的任何东西都会非常成功,比如第一个预测市场、第一个钱包等。但游戏并未结束,还有下一代机会,而这一代的赢家我认为将是 Starknet。所以现在除了拥有一台时间机器,大家还可以去了解一下 Starknet,现在是时候了。
区块律动BlockBeats
媒体专栏
阅读更多
曼昆区块链法律
Foresight News
GWEI Research
吴说区块链
西柚yoga
ETH中文
金色早8点
金色财经 子木
ABCDE
0xAyA
作者:0XSMAC & COMPOUND CRYPTO,编译:Block unicorn 引言 在Compound Crypto,我们相信要在我们所有的核心关注领域中建立各种我们所坚信的未来视野.
1900/1/1 0:00:00作者:Stephanie Dunbar,Messari Asset Diligence team;翻译:金色财经0xxzPoS网络运营的去中心化可以通过验证者和质押的跨司法区、节点托管基础设施和基本软件组件的地理分布来评估.
1900/1/1 0:00:00作者:Babywhale,Foresight News近期,Paradigm 因将官网首页的介绍从专注于加密货币和 Web3 变成了「研究驱动的科技投资公司」,被戏称为「背叛了革命」.
1900/1/1 0:00:00作者:Preethi Kasireddy,DappCamp创始人;翻译:金色财经cryptonaitiveZKP(零知识证明)在加密货币大爆发后受到欢迎,但它们的悠久历史可以追溯到 1980 年代.
1900/1/1 0:00:006月27日,Azuki发售新系列Elementals,从NFT市场抽走20000枚ETH;又由于开图质量严重不及预期以及团队套现事件导致了整个NFT市场的资金与信心的双杀,蓝筹NFT价格大幅下跌.
1900/1/1 0:00:00ZKP(零知识证明)在加密货币大爆发后受到欢迎,但它们的悠久历史可以追溯到 1980 年代。本文探讨 ZKP 这些年来的起源和发展.
1900/1/1 0:00:00