NEL: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应用:可编程性和隐私性?

数字资产平台Bakkt拟扩张至香港、英国和欧盟:7月6日消息，数字资产平台Bakkt首席执行官Gavin Michael表示，我们已经明确表示，在致力于美国市场的同时，我们也在寻找具有吸引力的市场，并利用这些市场来推动增长。我们特别关注香港、英国和欧盟部分地区，因为我们看到合作伙伴想要进入这些领域，我们希望能够为他们提供支持。Michael表示，其国际计划得到了最近于2023年4月从Apex Fintech Solutions收购的美??国综合加密交易平台Apex Crypto的支持。

此前报道，受监管因素和行业发展影响，Bakkt大规模下架了多种数字资产。[2023/7/6 22:21:50]

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

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

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

过去24小时全网爆仓2.41亿美元:金色财经报道，Coinglass数据显示，过去24小时全网爆仓2.41亿美元，其中比特币爆仓5671万美元，以太坊爆仓3894万美元，PEPE爆仓925万美元。[2023/5/9 14:50:49]

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

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

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

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

报告：亚洲游戏玩家占据80%的Web3游戏市场:金色财经报道，根据DappRadar与日本加密货币公司Pacific Meta联合进行的一项研究，预计亚洲游戏玩家将占据Web3游戏市场的绝大部分。该研究发现，亚洲已经拥有17亿玩家，占全球游戏人口的55%，并且可能占所有Web3游戏玩家的80%。

报告还显示，总计1000名受访者中有40%的人了解区块链游戏；在了解此类游戏的人中，近57%的人表示Web3游戏“看起来很有趣”，而只有大约10%的人表示它们看起来很无聊。[2023/4/14 14:02:25]

ZKPanel2-加速ZK采用

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

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

韩国监管当局责令Paycoin在2月5日之前关闭服务:金色财经报道，韩国金融服务委员会金融情报部门（FIU）召开报告审查会议，表示不接受虚拟货币支付平台Paycoin发行方Pay Protocol的虚拟资产运营商变更报告，认为PayProtocol不符合特定金融信息法规定的报告要求。金融当局责令Paycoin在2月5日之前关闭相关服务，Paycoin的立场是会在最后期限2月5日之前尽最大努力确保实名账户，如果失败，将果断向当局申请临时禁令。Paycoin起初是一家虚拟资产钱包和存储公司，之后向FIU提交报告，要求变更为虚拟资产交易业务。FIU曾要求Pay Protocol在2022年12月30日之前满足银行实名制存取款账户要求，不过Pay Protocol未能如期满足该要求。[2023/1/6 10:58:48]

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

分析师：绝大多数欧元和英镑持有者选择BTC以应对货币贬值:9月29日消息，Messari高级分析师发文表示，在面对货币贬值危机时，绝大多数欧元和英镑持有者选择购入BTC来保持购买力，这种趋势在2020年或2021年之前的危机中没有出现。

此外，以太坊并没有出现这样的趋势，与过去2年相比，ETH近期的交易量相对较弱。[2022/9/29 22:39:26]

接下来嘉宾们围绕目前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证明器。”

标签：NELPANZKPPAYSentinel ChainPANGO币ZKP价格HedgePay

火币网下载官方app热门资讯