PAN:ETHDenver zkDAY：探讨 ZK 应用、硬件加速以及 zkEVM

zkDayDenver是在ETHDenver2023期间备受关注的周边活动。这是一个零知识证明相关的圆桌讨论以及面向开发者和构建者的开放HackHouse。

主办方：

PolyChainCapital、MantaNetwork

介绍：

该活动由Scroll、Aleo、Veridise、Nil、Cysic、ModulusLabs、HyperOracle以及其他zk项目赞助与支持。活动汇集了该领域的专家和爱好者，进行一系列与ZK相关的讲座、讨论和互动活动。

活动当天进行了4个Panel：

VCPanel:捕获zk的长期价值ZKPanel1:ZK应用:可编程性和隐私性ZKPanel2:加速ZK采用ZKPanel3:zk(E)VMs、链上超级力量以及安全性ECN对三个zkPanel进行了整理。视频与活动信息：

ZKPanel1-ZK应用:可编程性和隐私性?

参议员Lummis和Gillibrand 将公布更新法案将加密资产归类为商品:金色财经报道，7月12日，参议员Cynthia Lummis和Kirsten Gillibrand将提交修订后的加密法案。修改后的《负责任的金融创新法案》旨在将大多数加密资产归类为商品，类似于黄金。参议员们表示，这将使它们受到商品期货交易委员会（CFTC）而不是SEC的保护，SEC正在“扼杀金融技术的创新”。

此前消息，美国两位参议员将于下周重新推出其《负责任的金融创新法案》。[2023/7/12 10:50:30]

第一个Panel由WeiDai主持，嘉宾有：MantaNetwork的ShumoChu、Aleo的AnthonyDiprinzio、Aztec的JonWu以及Axiom的YiSun。

在这个panel中，大家围绕zk可访问性以及怎么样降低zk编程的门槛展开了讨论。

首先，Shumo表示：“zk编程本身固有的难点就是，它不像正常那样使用日常的应用程序逻辑去编写。在构建大部分zk编程时，你是在构建密码学协议。基于这些观察，我认为仅仅有针对zk的特定域语言(DSL)是不够的，我们还需要API库、SDK这些工具。开发者能够很轻易地去调用API来编写他们想要构建的任何zk应用。

AIOZ Network将于5月8日进行v1.4.0硬分叉升级:5月7日消息，Web3内容交付网络AIOZ Network宣布将对其区块链进行升级。AIOZ Network升级和硬分叉v1.4.0将于在区块高度7,312,000（预计北京时间5月8日16:00）执行，升级后将支持Cosmos SDK v0.46.12、Ethermint v0.22.0、BC-Go Module v6.1.0、Gravity Bridge v1.8.2、AIOZRC-20自动转换模块。

为了确保用户在整个升级过程中的资金安全，AIOZ Network于北京时间5月8日13:00暂停AIOZ Web Wallet的转账、质押和桥接资产程序。[2023/5/7 14:48:33]

针对开发DSL还是API，主持人提问了其他人的看法(Axiom选择构建API，而Aztec和Aleo正构建DSL)。

Jon提出不同的意见：“Aztec使用的语言Noir是DSL，但我们宣传或向大众解释时通常会以通用语言去介绍它，因为它可插入任意后端。刚才Shumo提到的一点就是，对于想要开发密码学应用的开发者来说，必须要有密码学背景和应用开发能力。我们正在做的就是尝试为开发者扫除密码学方面的障碍，让他们只专注于构建强健的应用即可，无需考虑密码学方面的安全性问题。这就是Noir所做的。”

SingularityNET将于下个月推出Cardano质押门户网站beta测试版本:2月24日消息，SingularityNET在推特上宣布，该项目的Cardano质押门户网站将于下个月推出beta测试版本，该团队计划在今年第一季度在主网上推出质押门户网站。

该质押门户将允许AGIX代币持有者在Cardano网络上押注代币。据悉，该项目去年推出了ERC-20代币转换器，允许用户将他们的AGIX从以太坊移动到Cardano。[2023/2/24 12:26:57]

Anthony对DSL进行了一些补充：“我同意Jon的说法，Aleo开发的编程语言也是基于这样的哲学。我们在尝试抽象掉构建零知识证明的复杂性，我们的DSL编译器作为一个中间表示语言存在，开发者可以直接构建他们想要build的zk应用就好了。”

最后，Yi对大家的讨论进行了一个总结：“我觉得DSL和API之间的争论有点夸大了，我觉得在zk开发中，它们之间的界限很模糊。长期来看，我认为我们也会开发DSL，但是首先我们会在API层面上开展工作来获得最大化的性能。随着系统和硬件加速逐渐优化，我们就会添加DSL这块进去，进一步优化我们的系统。”

ZKPanel2-加速ZK采用

Marathon Digital Holdings与其前CEO兼董事长达成2400万美元的和解协议:金色财经报道，根据美国证券交易委员会（SEC）的一份文件，比特币矿业公司Marathon Digital Holdings已与其前首席执行官兼董事长Merrick Okamoto就限制性股票奖励（Restricted Stock Unit：RSU）达成2400万美元的和解协议，这些索赔与该公司经修订的2018年股权激励计划或相关RSU奖励协议有关。

Okamoto于2021年春季辞去公司首席执行官一职，并于当年年底辞去执行董事长一职。作为和解协议的一部分，Okamoto同意广泛披露针对该公司的激励计划的已知和未知索赔，Marathon还与包括Thiel在内的其他五人就其他RSU奖励达成和解，金额约为100万美元。[2022/10/18 17:30:09]

这个Panel由来自CoinTelegraph的MichaelTabone主持，嘉宾有nilfoundation的MikhailKomarov、HyperOracle的KartinWong、Cysic的LeoFan以及RiscZero的BrianRetford。

这是一场围绕"加速ZK采用"的圆桌讨论，涉及的问题包括：为什么我们需要关注zk、zk会如何影响Web3和其他行业的发展、目前推进zk所面临的障碍、扩大zk的采用的优先工作是什么、除了隐私之外zk还可以有哪些领域的应用、zk证明生成市场以及硬件加速的相关讨论...

数据：公链Canto总锁仓量超9400万美元，24小时涨幅9%:9月3日消息，据DeFiLlama数据显示，公链Canto总锁仓量（TVL）突破9400万美元，24小时涨幅9%。[2022/9/3 13:06:06]

对于第一个问题“为什么需要关注zk”，Kartin认为零知识证明与其他密码学技术如“ECDSA、MerkleTree、SHA-256”一样重要。这些都是传统区块链上我们应用到的技术，而我们现在之所以推崇采用zk证明，一个很重要的原因是现在的性能问题不像以往那么简单，代码库也复杂了许多。“我举个例子，我刚开始我的加密货币之旅时，有两个问题使我感到困惑，其一就是，30年之后的人怎么验证我们今天拥有的数据，这几乎是不可能的，因为区块(链)会变得超级长。那如果应用了zk证明，对每一个区块生成递归证明，即便在100年之后，也可以轻易验证这些区块”，Kartin分享道，“第二个考虑的点就是，为什么我们要使用中心化的RPC提供商来访问去中心化的区块链。我开始想，怎么能够让任何人从其他人那里接收区块链数据，而无需有一个中心化的服务器作为中介。我带着这个想法，最后找到了另一位联合创始人，我们觉得用zkp来解决这个问题。这就是zkp能够带给我们的其他想象。”

接下来嘉宾们围绕目前zk所面临的障碍进行了探讨。Leo表示，一方面是编程语言方面的困难，需要更高效的zk电路；而另一方面则是zk证明生成上的困难。而Brian则认为，这其中最大的困难是，许多zk项目发明了新的语言，并推动大家学习如何对电路进行编程。这虽然很有趣，但是这为安全审计带来了巨大的挑战，因为我们希望做到的是提供一个环境，让开发者像平常编写程序那些编写zk程序。Kartin补充，他认为这种进入壁垒可以通过各种zkVM解决，这允许开发者不用了解许多构建电路的相关知识就可以对zk电路进行编程。最后，Mikhail则认为推进zk广泛采用的一个很大的障碍来自于大家缺乏对zk用例的认识，有很多应用可以通过一种更加去信任的方式去实现；第二就是需要尽快地将其带到市场上，让人们可以使用。

至于扩大zk采用的优先工作，Brian很好地总结了三点：“第一就是许多公司已经在做的工作，提供教育材料，向广大用户普及zk证明领域的一切；第二就是比较少关注到的应用zk的科普，也就是向那些想要构建自己的zk系统的开发者提供一些教程和环境。前两点是我们在未来一年内需要重点关注的。最后一点，我想应该在未来两到十五年里需要解决的一个问题，就是zk生成的硬件加速行业。”

在最后的提问环节中，有一位观众提问了一个大家都比较关注的问题：“这种zk生成的挖矿市场与比特币的PoW挖矿机制有什么区别？”Mikhail的回答是：“在比特币网络中，你无法信任一个中间商，所以不能外包哈希的计算，也就是没有一个明确的市场。而在zk挖矿的语境下，我们可以隐藏交易数据，那么就可以外包证明生成。这也是我们正在做的事情，我们引入了一个证明生成市场。”Brian补充了他的看法：“我基本上认同Mikhail的回答。在比特币的PoW机制下，会有矿工做一堆白费的工作，因为比特币网络提供了宏观上的经济安全性。而在zk证明生成市场中，你不需要任何宏观经济安全性，只需运行一个证明然后验证它就行了。也就是说，zk技术能够提供一个去中心化层级的基础设施。”

ZKPanel3-zk(E)VMs、链上超级力量以及安全性

最后一场Panel由BrevanHowardDigital的DrewWerff主持，嘉宾有：ModulusLabs的RyanCao、Veridise的JonStephens、Scroll的YeZhang以及Eclipse的NeelSomani。

主持人向Ye提出了一个问题“Scroll团队的zkEVM与其他团队的不同？”Ye从不同的方面进行了回答：“首先从技术上来说，Scroll的zkEVM旨在实现字节码层面的EVM等效，也就是说开发者迁移或者部署应用时可以重新使用其字节码，而不仅仅是solidity代码；另一方面，Scroll正尝试在定序器中重新应用goethereum，来最大化其安全性。

第二点就是，我们对于zkEVM方向具有长远的思考：重视安全性以及去中心化的发展。针对去中心化，我们采用去中心化证明者方案，任何人都可以在家运行一个证明者节点。

最后就是我们团队的精神，我们坚持由社区驱动Scroll的发展；并且与以太坊社区的利益和文化高度一致。”

在问到zk如果赋能AI的这个问题中，Ryan向大家介绍了zkml(机器学习)以及它的潜在用例。他针对机器学习中的zk推理进行了解释：如果将AI模型比喻为一个工厂，你向它提交一些输入，然后获得特定的输出(不管这些工厂的内部是如何处理这些输入的)。建造一个这样的工厂有两个主要阶段：首先是参数设定阶段，你需要对所有机器进行设置；然后就是推理阶段，在这个阶段工厂开始投入生产，所有机器都精确设置并且就位，你需要做的只是将原材料放入，然后得到各种特定的输出。而zkAI在这个过程中可以带来什么。它可以使这个机器学习模型是去信任的，没有人可以搞砸这个模型的运作和它的输出结果。至于具体的用例，Ryan认为我们在将来会有链上版本的语言模型，比如链上医疗保健提供商等等。

对于另一个问题"大家觉得zk中研究不足的领域有哪些？或者说未来我们要加强对哪方面的关注“，Jon认为对于zk电路安全的研究，需要投入更多精力和关注。Jon提出zkEVM/zkVM的代码都非常复杂且数量庞大，靠人工审计几乎是不可能的。他们做的事情就是开发自动审计zk代码的工具。

Ye解答了Scroll正在研究以及开发的一些领域：“我们构建zkEVM需要有高性能的zkprover(证明器)来使我们的系统更加可行。在这方面的改善我们投入了多种努力：硬件加速、更好的证明系统和递归证明系统等等。具体说到硬件加速这方面，硬件提供商会研究某种zkEVM的算法，然后构建一个更适合这个算法的硬件；而软件方面，算法也会相应地改善，来使得系统更加硬件友好，不仅仅是在理论层面，更是在实践层面。那么我们现在主要关注的研究就是，如何协调硬件和软件之间的关系，从而实现更加高性能的zk证明器。”

标签：PANNELZKPDSLPantomimeNELO币ZKPEPEDSLA

MATIC热门资讯