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

香港证监会金融科技组前主管:香港监管机构在2017年就有意监管虚拟资产:4月11日,在香港 Web3.0 协会“政策和产业实践”高峰论坛中,香港证监会金融科技组前主管赵嘉丽表示,香港监管机构早在 2017 年 ICO 浪潮中就开始有意识要对虚拟资产进行监管来发展金融科技,2018 年当英美还在思考的时候,香港就开始构建虚拟资产监管框架,虽然开始时是收紧的政策,但目前政策在慢慢放开,进一步接纳虚拟资产。

电气电子工程师学会标准协会主席袁昱表示,Web3.0 最有意义的一点是去中心化的生产关系,AIGC 也会解放大家的生产力,这可能会成为主流。[2023/4/11 13:57:08]

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

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

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

ConsenSys zkEVM 测试网已面向外部用户注册:1月10日消息,ConsenSys官方表示,新的EVM等效ConsenSys zk EVM私人Beta测试网现已于去年年底在Infura上面向选定用户开放,未来几周将面向更多用户。目前注册申请系统已经开放。

ConsenSys此前表示,其zkEVM可实现EVM等效性,享受以太坊的安全性以及zkEVM的可扩展性和低费用有所。ConsenSys将从2023年1月份开始将逐步开放许可名单允许外部用户注册。[2023/1/10 11:03:43]

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

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

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

巴西总统签署加密监管法案:金色财经报道,巴西总统Jair Bolsonaro周四批准了该国众议院和参议院最近通过的一项加密货币监管法案。新的法律规定了涉及虚拟资产的欺诈罪,可判处四至六年的监禁和罚款。它还创建了一个 \"虚拟服务提供商 \"许可证,数字资产公司,包括交易所和交易中介机构将申请该许可证。根据新法规,被视为证券的数字资产将由巴西证券交易委员会(CVM)监管。那些不属于该类别(有待确定)的数字资产将由另一个尚未成立的机构监督。在周四的批准之后,公司将有180天的时间来适应新的规则。[2022/12/23 22:01:56]

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

ZKPanel2-加速ZK采用

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

调查:近200万荷兰居民持有加密货币:7月27日消息,市场研究机构Multiscope在对4000多名荷兰居民的调查中发现,预计有近200万荷兰居民拥有加密货币,主要是比特币。据Multiscope称,这意味着荷兰有七分之一的成年人拥有数字货币。

自2018年的上一次调查以来,荷兰的加密货币持有者增加了100多万。其中近四分之三是男性,他们的年龄通常在18到34岁之间,接受过高等教育,月总收入在3500到5500欧元之间。

比特币是荷兰居民持有最多的加密货币,18岁及以上的受访荷兰居民中有9%拥有比特币,超过120万人。此外,ETH、ADA、XRP和狗狗币也很受欢迎。(NL Times)[2022/7/27 2:39:17]

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

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

Mechanism Capital联创Andrew Kang:从基本面来看“ETH很贵”:金色财经报道,加密投资公司Mechanism Capital联合创始人兼合伙人Andrew Kang在社交媒体对以太坊基本面进行了分析,他表示,以太坊gas价格已经回到“DeFi Summer”之前的水平,但ETH价格已经较峰值下跌了75%,网络收益/活动下降幅度更大,在ETH交易价格峰值时,其市盈率为33倍,但现在是123倍,如果按照前者计算,ETH合理的交易价格是360美元,所以从基本面来看,ETH很贵,但风险投资持有大量潜在资本,可以在高位购入ETH“买贵”,这可能导致ETH在33倍市盈率以上触底。ETH可以被看做是是一种“商品-货币-股权”的混合体,市盈率的重要性在牛市中无关紧要,但在熊市中却是底部设定者密切关注的。[2022/7/18 2:19:59]

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

火必交易所NET:Starknet交互重点

注:本文来自@Monica_xiaoM推特,MarsBit整理如下:Starknet交互重点来啦完成starknet官方论坛教程可以获得初级和高级证书.

[0:0ms0-1:281ms