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应用:可编程性和隐私性?
第一个Panel由WeiDai主持，嘉宾有：MantaNetwork的ShumoChu、Aleo的AnthonyDiprinzio、Aztec的JonWu以及Axiom的YiSun。
观点：机构突然对以太坊的关注可能表明ETH不会被SEC标记为证券:金色财经报道，由于以比特币为首的机构采用加密货币，以太坊目前表现出看涨势头。贝莱德（BlackRock）和富达（Fidelity）等几家TradFi巨头已申请现货比特币ETF。
Bloomberg Intelligence显示，此前各机构申请比特币现货交易的次数多达30次，但都被SEC拒绝。因此，顶级市场监管机构的批准可能对包括以太坊在内的整个加密行业非常有利。在美国证券交易委员会官员声称最近的文件不充分后，加密货币市场暴跌。经纪公司Bernstein认为，由于富达等机构已经重新提交申请，美国证券交易委员会批准的可能性相当高。以太坊也受到了机构的广泛关注。由嘉信理财(CharlesSchwab)、Citadel和Fidelity等巨头支持的新加密货币交易所EDX已向其用户提供以太坊交易服务。专家认为，机构突然对以太坊的关注可能是一个信号，表明该代币不会被SEC标记为证券。[2023/7/4 22:16:18]
在这个panel中，大家围绕zk可访问性以及怎么样降低zk编程的门槛展开了讨论。
首先，Shumo表示：“zk编程本身固有的难点就是，它不像正常那样使用日常的应用程序逻辑去编写。在构建大部分zk编程时，你是在构建密码学协议。基于这些观察，我认为仅仅有针对zk的特定域语言(DSL)是不够的，我们还需要API库、SDK这些工具。开发者能够很轻易地去调用API来编写他们想要构建的任何zk应用。
律师观点：经济下行容易导致涉虚拟货币等新型金融犯罪案件增发:3月11日消息，今年全国两会期间，金融系统代表委员聚焦商业银行法、保险法、信托法、金融稳定法、金融消费者权益保护法、普惠金融法等领域，呼应时代与行业发展新变化，回应金融消费者“急难愁盼”问题，统筹兼顾金融发展、金融稳定与金融安全，为加强金融法治建设贡献智慧。上海定达律师事务所执行主任肖波律师表示，法律存在滞后性，及时修订和推进金融立法，才能为新形势下的金融稳定保驾护航。一方面，经济下行容易导致金融犯罪案件增发，比如涉虚拟货币等新型金融犯罪。加快推进相关金融法律法规的修订和完善，才能打击不断“创新”变化的金融犯罪。另一方面，若法律缺位，金融创新会落入灰色地带、无法被及时纳入监管，野蛮生长可能带来不可预估的后果，甚至可能形成系统性金融风险。（上海证券报）[2022/3/11 13:50:31]
针对开发DSL还是API，主持人提问了其他人的看法(Axiom选择构建API，而Aztec和Aleo正构建DSL)。
Jon提出不同的意见：“Aztec使用的语言Noir是DSL，但我们宣传或向大众解释时通常会以通用语言去介绍它，因为它可插入任意后端。刚才Shumo提到的一点就是，对于想要开发密码学应用的开发者来说，必须要有密码学背景和应用开发能力。我们正在做的就是尝试为开发者扫除密码学方面的障碍，让他们只专注于构建强健的应用即可，无需考虑密码学方面的安全性问题。这就是Noir所做的。”
观点：比特币若重新回到10500美元水平，将可能继续飙升至1.6万美元:加密货币分析师Crypto Michael认为，一旦比特币重新回到10500美元的水平并突破高点，它很可能会飙升至1.6万美元。Crypto Michael在YouTube上发布了一段视频，在视频中，他对比特币的价格进行了新的分析，考虑了看涨和看跌两种情况。Crypto Michael”估计，如果比特币失去8600美元到8800美元的区域，看跌情绪将发挥作用。他表示，如果比特币失去这一区间，可能会朝着6000美元的价位进行修正。但此前Crypto Michael表示，机构投资者对加密货币表现出了浓厚的兴趣，并积累了大量的ETH和BTC。Crypto Michael认为10500美元的水平对比特币来说至关重要，他表示一旦比特币达到这个水平并向上突破，比特币的价格很可能开始加速并继续上升的趋势。（U.Today）[2020/7/4]
Anthony对DSL进行了一些补充：“我同意Jon的说法，Aleo开发的编程语言也是基于这样的哲学。我们在尝试抽象掉构建零知识证明的复杂性，我们的DSL编译器作为一个中间表示语言存在，开发者可以直接构建他们想要build的zk应用就好了。”
观点：合约交易止盈止损最重要:据币格 BigONE 官方消息，币格 BigONE 于 5 月 15 日 14:00 举办了主题为“币格BigONE与您一起创造 2020”的新品线上发布会。
发布会第一个圆桌论坛主题为“创见——合约交易的门道”，本圆桌由 Blocklike 小琬主持，圈内知名合约 KOL “易达”、“肖邦”、“投资界小奶牛”、“小九”担任嘉宾参与了讨论。各位嘉宾分享了自己的合约交易经验，他们认为在进行合约交易时，要认真了解产品、选择平台，尤其作为合约新手来说，更应该学会看交易指标。另外，交易时切忌贪心，及时做好止盈止损。
目前BigONE 已经上线永续合约，支持 USDT 结算和 BTC 结算的两种合约，最高支持 100 倍杠杆，平台风控，安全稳定。[2020/5/15]
最后，Yi对大家的讨论进行了一个总结：“我觉得DSL和API之间的争论有点夸大了，我觉得在zk开发中，它们之间的界限很模糊。长期来看，我认为我们也会开发DSL，但是首先我们会在API层面上开展工作来获得最大化的性能。随着系统和硬件加速逐渐优化，我们就会添加DSL这块进去，进一步优化我们的系统。”
ZKPanel2-加速ZK采用
ETH提现延迟公告:由于以太坊未结算的交易数量激增，以太坊提现将有所延迟。[2018/1/16]
这个Panel由来自CoinTelegraph的MichaelTabone主持，嘉宾有nilfoundation的MikhailKomarov、HyperOracle的KartinWong、Cysic的LeoFan以及RiscZero的BrianRetford。
这是一场围绕"加速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证明器。”
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。