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

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

以太坊网络当前已销毁超330万枚ETH:金色财经报道，据Ultrasound数据显示，截止目前，以太坊网络总共销毁331.297万枚ETH。其中，OpenSea销毁230050.65枚ETH，ETHtransfers销毁283896.81枚ETH，UniswapV2销毁177064.79枚。注：自以太坊伦敦升级引入EIP-1559后，以太坊网络会根据交易需求和区块大小动态调整每笔交易的BaseFee，而这部分的费用将直接燃烧销毁。[2023/5/22 15:17:30]

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

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

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

Coinbase、Justin Sun今日均遭美SEC指控，希望寻求更透明的监管准则:3月23日消息，火必全球顾问委员会成员孙宇晨在社交平台回应被美国证券交易委员（以下简称SEC）起诉一事，表示美 SEC 的起诉缺乏根据，将继续建设去中心化金融体系。

孙宇晨称，SEC今天早些时候的民事投诉只是它对区块链和加密领域知名参与者采取行动的最新例子。SEC 对数字资产的监管框架仍处于起步阶段，需要进一步发展。另外，孙宇晨以多米尼克将采用TRX和BTT作为法定货币为例，表示渴望与全球各国政府和监管机构合作，致力于建立透明的指导方针以监管加密货币行业，这将发挥重要作用。

据悉，SEC已经对多个加密市场重量级人物和机构展开执法行动，包括Gemini、Genesis、Coinbase、Kraken等。今晨加密货币交易平台Coinbase也收到了SEC的韦尔斯通知（韦尔斯通知是 SEC 对在美上市公司进行民事诉讼前发出的非正式提醒，接到通知的上市公司可以在收到正式诉讼前跟 SEC 进行沟通和协商）。Coinbase 对此回应称，希望SEC能够制定透明合理的加密法规。Coinbase CEO Brian Armstrong同样表示，将持续与世界各地的所有官方和监管机构合作，他们致力于制定明确的规则来监管加密货币行业。[2023/3/23 13:21:44]

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

现代汽车印度将在Roblox平台推出元宇宙汽车展馆:金色财经报道，印度第二大汽车制造商现代汽车印度公司（Hyundai Motor India）将在元宇宙空间中推出现代展馆（Hyundai Pavilion）。Roblox上的现代汽车沉浸式虚拟城市The Hyundai Mobility Adventure将在2023年汽车博览会（2023 Auto Expo）开幕时首次亮相，将展示IONIQ 6、IONIQ 5、NEXO、TUCSON、VENUE N Line五款车型。（Coingape）[2023/1/6 10:58:31]

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

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

CME比特币看跌期权合约持仓较上一日上涨380张:金色财经报道，2022年11月18日芝加哥商业交易所（CME）比特币成交量报告如下：比特币期货电子合约成交量7366张，场外成交合约为1850张，成交量9216张，未平仓合约19286张，持仓较上一日上升312张。

比特币期权合约成交36份，其中看涨合约25份，看跌11份。看涨期权未平仓合约2205张，看跌期权未平仓合约5058张，持仓较上一日上涨380张。

微型比特币期货电子合约成交量913张，未平仓合约27699张，持仓下降344张。[2022/11/19 13:24:13]

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

ZKPanel2-加速ZK采用

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

WatcherGuru：价值5.1亿美元的比特币期权将于周五到期交割:金色财经报道，WatcherGuru发推称，价值 510,000,000 美元的比特币期权将于本周五到期交割。[2022/10/20 16:31:58]

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

对于第一个问题“为什么需要关注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证明器。”

标签：PANNEL比特币ZKPSPANK价格Sentinel Chain莱特币相较于比特币的优势有哪些zkProof

火币下载热门资讯