ZKS:从美林时钟的角度分析为什么23年不会有大牛市？_ZINARI

作者：

时间：1900/1/1 0:00:00

作者：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有何区别？

从美国政府钱包窃取713枚比特币的Gary Harmon将于下周在华盛顿联邦法院认罪:金色财经报道，从美国政府没收的Trezor 钱包中窃取713枚比特币的Gary Harmon预计将于12月22日在华盛顿联邦法院出庭参加认罪协议听证会，根据最新的法庭记录，他将在本次听证会上认罪。据悉，Gary Harmon的哥哥Larry Harmon曾担任比特币混合服务Coin Ninja和DropBit首席执行官，并与2020年被捕，检察官发现Gary Harmon恢复了钱包助记词并通过互联网连接到相关钱包资金后进行了提款。（zycrypto）[2022/12/18 21:52:25]

这个问题，我们交由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在交互性、可验证的可扩展性、透明性和安全性假设等方面存在差异。选择使用哪种技术取决于具体的应用场景和需求。

比特币矿业公司Marathon从美国加密友好银行Silvergate获得1亿美元循环信贷额度:10月4日消息，比特币矿业公司 Marathon Digital Holdings 已从美国加密友好银行Silvergate获得1亿美元循环信贷额度，以比特币和美元为担保，这笔贷款将用于为公司的挖矿业务提供资金并购买新设备。它的有效期为一年，并且可以通过Silvergate银行和Marathon之间的协议每年续订。

此外，Marathon 公布了比特币生产和矿机安装更新，第三季度Marathon的比特币产量比上季度增加了91%，达到1252枚比特币，其持有的比特币总量增加到约7035枚比特币，公允市值约为3.363亿美元。Marathon称，目前为止已从比特大陆收到26960台顶级ASIC矿机，目前还有8459台ASIC矿机在运输途中，其目前的矿机数量为25272台活跃矿机，产量约为2.7EH/s。[2021/10/4 17:24:03]

Cardano首席执行官：从美元感受到了OneCoin氛围:金色财经报道，美国明尼阿波利斯联邦储备银行行长尼尔·卡什卡里（Neel Kashkari）在接受CBS的采访时称，联邦储备中有无数现金。随后他澄清道：“这实际上就是国会告诉我们要做的。这就是他们赋予我们的权力：印制钞票并向金融系统提供流动性。”对此，Cardano首席执行官Charles Hoskinson发推文将美元与OneCoin局进行了比较，称他“从美元中感受到了真正的OneCoin氛围”。[2020/3/24]

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。