作者：NingNing，独立分析师 来源：Twitter/img/2023525181107/0.jpg">
知道ZkSnark牛 ，但为什么在Vitalik眼中有那么牛？
1.关于ZkSnark，顶级玩家与市场存在认知差
食物链顶层玩家与市场共识的认知差，是长期投资者Alpha收益的一个重要来源。目前市场的普遍认为ZkSnark只是一种区块链的二层扩展技术，处于从属地位。然而，Vitalik却在黑山以太坊开发者峰会上说，未来10年ZkSnark将于区块链并驾齐驱。Vitalik与市场对ZkSnark存在着相当大大的认知差，而这个认知差会为我们创造巨大的Alpha收益。
彭博社：Tether利用Signature Bank将美国客户资金从美国转移到巴哈马:金色财经报道，稳定币发行商Tether利用Signature Bank将美元资金从美国转移到巴哈马。直到今年3月Signature Bank关闭并被监管机构接管前，Tether一直使用Signature Bank的Signet支付平台将美国客户的资金转移到Capital Union Bank，后者是该公司在巴哈马的银行合作伙伴。随后Tether首席技术官Paolo Ardoino在推特上回应了这篇报道，称Tether“对Signature没有任何直接或间接敞口”。Signet成立于2019年，是一个实时支付平台，即使在Signature Bank关闭后该平台仍在继续运营。[2023/4/5 13:45:37]
南非最高法院宣布将开发者Riccardo Spagni从美国引渡到南非是非法的:3月16日消息，据当地报道，南非最高上诉法院（SCA）驳回了前Monero（门罗币）主要开发者Riccardo Spagni的申请，即宣布将他从美国引渡到南非是非法的。最高上诉法院在其裁决中坚持认为，Spagni没有充分论证引渡程序无效。法院在裁决中辩称，Spagni在引渡听证会上自愿放弃权利时有法律代表，因此他不能质疑引渡程序的有效性。
2022年7月消息，Riccardo Spagni于7月5日向美国司法部下属部门法警局自首，随后将被引渡到南非。据悉，Spagni在南非面临欺诈指控。南非官员指控Spagni对他的前雇主Cape Cookies进行了10万美元的发票欺诈。在2021年初面临审判时，Riccardo Spagni从南非逃往美国，随后于8月份在田纳西州Nashville被捕。
然而，据News 24报道，Spagni在前往南非之前曾向SCA提起诉讼，质疑西开普省高等法院对引渡听证会的处理方式。在最初被驳回的诉讼中，Spagni辩称，引渡请求不应该由检察长提交。公诉部门负责人表示，Spagni被移交给南非当局后，他的论点就没有意义了。（Bitcoin.com）[2023/3/16 13:07:51]
2.什么是ZkSnark，ZkSnark与ZkStark有何区别？
美银客户以2021年以来最快速度从美国股市撤资:11月9日消息，根据美国银行的数据，在上周美国股市的下跌中，从散户投资者到对冲基金经理等美国银行客户都纷纷加入抛售行列。美国银行以Jill Carey Hall为首的策略师表示，该行客户五年来首次全线抛售标普500指数所有11个板块的股票，客户单周流出美股的资金规模创出2021年4月以来最大。（财联社）[2022/11/9 12:36:00]
这个问题，我们交由ChatGPT来回答：ZkSnark（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）和ZkStark（Zero-Knowledge Succinct Transparent Argument of Knowledge）都是用于实现零知识证明（Zero-Knowledge Proofs）的密码学技术，但它们之间存在一些区别。交互性：ZkSnark是非交互式的证明协议，即证明者只需生成一个证明，然后验证者可以在不需要与证明者交互的情况下进行验证。而ZkStark是交互式的证明协议，需要多个轮次的交互才能完成证明和验证的过程。可验证的可扩展性：ZkSnark在生成证明时，生成的证明的大小是固定的，不依赖于要证明的语句的规模。这使得ZkSnark在可验证的可扩展性方面表现得很好。相比之下，ZkStark的证明大小与要证明的语句的规模成正比，这意味着随着要证明的语句规模的增长，证明的大小也会增加，导致可扩展性相对较差。透明性：ZkSnark的证明是非透明的，也就是说，验证者不能从证明中获取到有关证明过程的详细信息。与之相反，ZkStark的证明是透明的，验证者可以从证明中直接获得关于证明过程的详细信息，这使得ZkStark在可审计性方面具有优势。安全性假设：ZkSnark的安全性建立在复杂的数学假设上，如零知识假设和特定的双线性对假设。相比之下，ZkStark的安全性建立在更强的假设上，如哈希函数的预图难题。综上所述，ZkSnark和ZkStark在交互性、可验证的可扩展性、透明性和安全性假设等方面存在差异。选择使用哪种技术取决于具体的应用场景和需求。
金融科技应用程序Eco计划将用户余额从美元转换为USDC:金色财经报道，金融科技储蓄和支出应用程序 Eco 计划将用户账户余额从 Prime Trust 持有的美元转换为 USDC，然后将其存放在数字结算服务 Zero Hash 中。Eco 最近在一条消息中通知了用户计划中的移动，并表示必须在 10 月 24 日之前接受新的转换条款。如果用户不同意这些条款，帐户功能将被暂停。
Eco 的USDC 试验可以追溯到 2020 年，当时该公司处于 Beta 模式，Andy Bromberg 接管了该公司。去年 7 月，Eco 筹集了 6000 万美元来推动其高收益的 USDC 储蓄应用程序。（coindesk）[2022/10/1 18:36:36]
韩国加密交易所GDAC运营商从美国金融犯罪执法网络获得MSB许可:金色财经消息，韩国加密货币交易所GDAC运营商Peertec从美国财政部下设机构金融犯罪执法网络（FinCEN）获得MSB（货币服务业务）许可证，可以处理虚拟货币业务。GDAC目前正在筹备海外虚拟货币汇款和支付服务。（韩联社）[2022/6/7 4:08:42]
3.对于ZkSnark与ZkStark有何区别
ChatGPT给出的答案有点抽象，我这个人工人工智能给出的答案如下：--ZkSnark与ZkStark相比，它在零知识证明的过程中，引入了哈希函数和密钥生成器，其中密钥生成器由一个密钥生成函数+一个保密“Lambda”值组成以太坊基金会正在举行的KZG仪式正是为了完成EIP4844协议的Blob数据扩展生成“Lambda”值。--因为引入了哈希函数和密钥生成器，ZkSnark不再需要ZkStark的验证者（V）与证明者（P）的多轮交互，而且因为哈希函数输出值为固定长度，又赋予了ZkSnark的ZKP（ZK证明）长度固定体积小的特性。
4.因为以上的技术特性，在生成ZKP时和ZK验证过程中，ZkSnark需要消耗的计算资源要比ZkStark更少
另外，ZkSnark生成的ZKP长度固定，而ZkSnark则不固定，以上因素使得ZkSnark具有简洁性、高效性、隐私保护和互操作性的优点。但由于需要一个仪式生成“Lambda”值，在安全性上弱于ZkStark。 ZkSnark比ZkStark早6年开发，最早的一个实例为区块链1.0时代的隐私币Zcash，进入区块链2.0时代后，ZkSnark主要应用场景从隐私转为区块链二层（L2，layer2）扩展，知名的实例有路印协议、ZkSync、Aztec、Scroll等等。理论上由于需要计算资源较少和ZKP长度固定且体积小，采用ZkSnark方案的L2链的gas费会低于采用ZkStark方案的L2链，这就是为什么Zksync Era的gas费比ZkStark低的一个重要原因，非知名的实例有基于Gnosis链（原xDAI链）的星际主题链游 Dark Forest（黑暗森林），游戏玩家有Vitalik和Matt Huang。
5.为什么在V神眼中ZkSnark可以与区块链等量齐观呢？
区块链与ZkSnark解决的其实是同一个问题，即Alice如何向Bob证明她拥有某物。
金色荐读
金色财经 善欧巴
迪新财讯
Chainlink预言机
区块律动BlockBeats
白话区块链
金色早8点
Odaily星球日报
欧科云链
MarsBit
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。