FX168财经网_全球视野外汇黄金加密货币NFT资讯网

ZK 会吃掉模块化堆栈吗？

能扩展到共识中。 9）结算结算类似于最高法院 - 是验证状态转换正确性并解决争议的最终真相来源。一笔交易在不可逆转的点上被视为最终（或在概率最终性的情况下，被视为足够难以逆转的点）。最终性所需的时间取决于所使用的基础结算层，而基础结算层又取决于所使用的具体最终性规则和区块时间。慢速最终性在跨Rollup通信中尤为成问题，因为Rollup需要等待以太坊的确认才能批准交易（对于乐观Rollup，需要等待7天；对于有效性Rollup，需要等待12分钟和验证时间）。这导致用户体验较差。目前有多个努力来解决这个问题，包括使用具有一定安全级别的预确认的生态系统特定解决方案（例如Polygon AggLayer或zkSync HyperBridge）以及通用解决方案，如Near的Fast Finality Layer，旨在通过利用EigenLayer的经济安全性连接多个不同的Rollup生态系统。还有一种选择是使用EigenLayer进行软确认的本地Rollup桥接，以避免等待完全最终性。现有的ZK集成通过有效性Rollup加快结算速度：与乐观Rollup不同，有效性Rollup不需要挑战期，因为它们依靠ZKP来证明正确的状态转换，无论是否有人提出挑战（悲观Rollup）。这使得基础层上的结算速度更快（12分钟与以太坊上的7天相比），并避免了重新执行。 10）安全性安全性与保证的难度相关，是区块链的价值主张的关键部分。然而，引导加密经济安全性是困难的，它增加了进入门槛，并对那些需要它的应用程序（各种中间件和替代性L1）构成了创新的摩擦。共享安全性的理念是利用现有的PoS网络的经济安全性，并将其置于额外的减持风险（惩罚条件）之下，而不是每个组件都试图引导自己的安全性。在PoW网络中曾经尝试过类似的做法（合并挖矿），但不一致的激励机制使得矿工更容易串通一致并操纵协议（难以惩罚不良行为，因为工作发生在物理世界中，即使用计算能力进行挖矿）。PoS安全性更具灵活性，可被其他协议使用，因为它既具有积极的（质押收益）又具有负面的（减持）激励机制。围绕共享安全性构建的协议包括： EigenLayer旨在利用现有的以太坊安全性来保护各种应用程序。白皮书于2023年初发布，EigenLayer目前处于主网测试阶段，全面主网预计将于今年晚些时候推出。 Cosmos于2023年5月推出了其Interchain Security (ICS)，可使Cosmos Hub（Cosmos上最大的链之一，由约24亿美元的质押ATOM支持）将其安全性租借给消费链。通过使用驱动Cosmos Hub的相同验证器集合来验证消费链上的区块，它旨在降低在Cosmos堆栈之上推出新链的障碍。然而，目前只有两个消费链是活跃的（Neutron和Stride）。 Babylon也在尝试使比特币用于共享安全性。为了解决与合并挖矿相关的问题（难以惩罚不良行为），它正在构建一个虚拟的PoS层，在该层中用户可以将比特币锁定在比特币上的质押合约中（无需桥接）。由于比特币没有智能合约层，质押合约的减持规则以比特币脚本中的UTXO交易形式表达。其他网络上的重新质押包括Near上的Octopus和Solana上的Picasso。Polkadot的平行链也利用了共享安全性的概念。现有的ZK集成 ZK与经济安全的混合：尽管基于ZK的安全保证可能更强大，但对于某些应用程序来说，证明仍然是成本过高的，生成证明的时间也太长。一个例子是Brevis coChain，它是一个协处理器，从ETH重新抵押者那里获得经济安全性，并且乐观地保证计算（通过ZK欺诈证明）。dApp可以根据其对安全性和成本权衡的特定需求，在纯ZK模式和coChain模式之间进行选择。 11）互操作性在多链世界中，安全高效的互操作性仍然是一个重大问题，这可以从桥接黑客攻击中损失的28亿美元得到证明。在模块化系统中，互操作性变得更加重要 - 不仅需要在其他链之间进行通信，而且模块化区块链还需要不同的组件之间进行通信（例如DA和结算层）。因此，简单地运行完整节点或验证单个共识证明，就像集成的区块链那样，已经不可行了。这给方程式中增加了更多的变量。互操作性包括Token桥接和区块链之间更一般的消息传递。目前存在几种不同的选择，它们在安全性、延迟和成本方面都做出了不同的权衡。要同时优化这三个方面非常困难，通常需要至少牺牲其中一个。此外，不同链上的不同标准使得在新链上实施变得更加困难。虽然我们仍然缺乏对不同类型轻客户端（或节点）的清晰定义，但Fluent和Modular Media联合创始人Dino在这篇文章中进行了很好的介绍。大多数轻客户端今天只验证共识，但理想情况下，我们应该有可以验证执行和DA的轻客户端，以减少信任假设。这将使得可以接近完整节点的安全性，而不需要高硬件要求。现有的ZK整合 ZK轻客户端（共识验证）：大多数当前的轻客户端可以验证其他链的共识 - 无论是完整的验证器集（如果足够小）还是总验证器的子集（例如以太坊的同步委员会）。 ZKPs被用来加速和降低验证成本，因为原始链上使用的签名方案可能在目标链上不被原生支持。虽然预计ZK轻客户端在桥接中的重要性将增加，但当前推广遇到的摩擦包括证明和验证成本，以及为每条新链实现ZK轻客户端。在这个领域的协议示例包括Polyhedra、Avail和Celestia的数据确认桥以及Electron Labs的zkIBC。存储证明：如前所述，存储证明使得可以查询区块链上的历史和当前数据，而无需使用可信第三方。这对于互操作性也很重要，因为它们可以用于跨链通信。例如，用户可以证明他们在一条链上拥有Token，并将其用于另一条链上的治理（无需桥接）。还有一些尝试将存储证明用于桥接的解决方案，比如LambdaClass开发的这种解决方案。 ZK Oracle：Oracle充当中间人，并将现实世界的数据桥接到区块链上。 ZK Oracle通过能够证明数据的来源和完整性，以及对数据进行的任何计算，改进了当前基于声誉的Oracle模型。零知识证明（ZKP）可以解决的开放问题 A、完整轻客户端：与盲目信任其他链的验证器集不同 - 完整轻客户端还会验证正确的执行和DA。这减少了信任假设，并接近完整节点，同时保持硬件要求低（允许更多人运行轻客户端）。然而，在大多数链上验证除共识以外的任何内容仍然成本过高，特别是在以太坊上。此外，轻客户端仅能够验证信息（问题的一半），即它们可以识别信息是否错误，但仍需要额外的机制让它们采取行动。 B、聚合层：Polygon的AggLayer旨在通过利用聚合证明和统一的桥接合约，在生态系统内实现L2之间的平滑互操作性。聚合证明既能实现更高效的验证，又能提供更高的安全性 - 强制执行依赖链状态和捆绑包一致，并确保如果一个rollup状态依赖于另一个链的无效状态，则不能在以太坊上解决该状态。zkSync的HyperChains和Avail的Nexus采取了类似的方法。 5、当零知识证明（ZKP）吞噬了模块化栈时会出现什么情况？假设我们能够达到一种状态，其中生成ZKP变得非常快速（几乎接近光速）且成本极低（几乎免费），那么最终的结果会是什么样子？换句话说，当ZKP吞噬了模块化栈时会出现什么情况？总体而言，我们认为在这种情况下会有两个真实存在的情况：消除所有不必要的重新执行：通过转向1/N的执行模型（而不是带有重新执行的N/N模型），我们显著减少了网络的总体冗余，并实现了对底层硬件更高效的利用。尽管仍然存在一些开销，但这将帮助区块链在计算效率方面渐进地接近中心化系统。大多数应用程序依赖于启用ZKP的加密保证而不是经济安全性：当生成证明的成本和时间不再成为相关因素时，我们认为大多数应用程序将依赖于ZKP以获得更强的保证。这还需要改进可用性和开发者友好性，以构建ZKP应用程序，但这些都是多个团队正在解决的问题。第三个条件涉及隐私（或信息流管理），但这更加复杂。使用客户端证明，ZKP可以用于一些隐私应用，这就是像Aleo、Aztec或Polygon Miden等平台正在构建的内容，但实现广泛的隐私保护以适用于所有潜在用例还取决于MPC和FHE的进展 - 这是一个未来博客文章的潜在主题。 6、我们论点的风险如果我们错了，未来既不是模块化也不是零知识化呢？我们论点的一些潜在风险包括：模块化增加了复杂性用户和开发者都受到链数量不断增加的影响。用户需要在多个链之间管理资金（可能还需要多个钱包）。另一方面，应用开发者在空间仍在不断演进的情况下，面临着更少的稳定性和可预测性，这使得他们更难决定在哪个链上构建应用。他们还需要考虑状态和流动性的碎片化。尤其现在，因为我们仍在探索哪些组件适合解耦，哪些将会重新耦合，所以这一点尤为真实。我们相信用户操作的抽象化以及安全高效的互操作性解决方案是解决这个问题的关键部分。 ZK是否会足够高效？无论如何，证明生成都太耗时，而且今天的证明和验证成本仍然过高。对于许多应用程序来说，竞争性解决方案，如可信执行环境/TEEs（隐私）或乐观/加密经济安全解决方案（成本），如今仍更有意义。然而，关于ZKP的软件优化和硬件加速方面的工作已经在进行中。证明聚合将通过将成本分摊给多个不同的参与方（较低的成本/用户）来进一步降低验证成本。还有可能调整基础层以更优化地验证ZKP。关于ZKP的硬件加速的一个挑战是证明系统的快速发展。这使得创建专门硬件（ASICs）变得困难，因为如果/当基础证明系统的标准发生变化时，它们可能很快就会过时。 Ingonyama尝试通过称为ZK评分的可比指标来创建一些证明者性能基准。它基于运行计算的成本（OPEX），并跟踪MMOPS/WATT，其中MMOPS代表每秒模块化乘法操作。有关该主题的更多阅读建议参考Cysic和Ingonyama的博客，以及Wei Dai的这篇演讲。有限的ZKP提供的隐私是否有用？ ZKP只能用于实现个人状态的隐私，而不是多方需要在加密数据上进行计算的共享状态（例如私人Uniswap）。完全的隐私还需要FHE和MPC，但在成本和性能方面需要有很大的提升，才能成为更广泛使用的可行选项。也就是说，ZKP对于某些不需要私有共享状态的用例仍然有用，例如身份解决方案或支付。并非所有问题都需要用同一种工具解决。 7、总结那么，这给我们留下了什么？虽然我们每天都在取得进步，但还有许多工作要做。最迫切需要解决的问题是如何在不牺牲速度或成本的情况下，安全地在不同的模块化组件之间传递价值和信息，以及如何将所有这些抽象化，使最终用户无需担心在不同链之间桥接、切换钱包等问题。虽然我们目前仍处于实验阶段，但随着时间的推移，情况应该会稳定下来，因为我们会找出对每个用例来说最佳权衡的位置在哪里。这反过来将为标准（非正式或正式）的出现提供空间，并为在这些链之上构建的人提供更多稳定性。今天仍然有许多用例默认使用加密经济安全，这是由于生成ZKP的成本和复杂性，还有一些需要两者结合使用的。然而，随着我们设计更有效的证明系统和专门的硬件来降低证明和验证的成本和延迟，这一份额应该会随着时间的推移而减少。随着成本和速度的每次指数级降低，新的用例将被解锁。虽然这篇文章专注于ZKP，但我们也越来越关注现代密码学解决方案（ZKP、MPC、FHE 和 TEE）如何共同发挥作用，这是我们已经开始看到的。来源：金色财经

金色财经2024-04-18

中国突传重磅消息！法官遭实名指控：USDT交易判决5处错误 “危害国家金融安全”

报人认为至少存在五处错误：其一、违背最高法院指导案例。最高人民法院指导案例第36批之四(指导性案例199号)案例，该案例认为，虚拟货币与法定货币之间的兑付交易，违反国家对虚拟货币金融监管的规定，违背社会公共利益。许晓琳作出的判决支持被害人林某扬与江某秋等人之间以“欧易网”定价作为参考，先将泰达币等值于美元，再将美元与人民币进行兑换的判决是错误的，这是变相支持虚拟货币与法定货币相互间兑换，违背最高法第199号指导案例，依法应当应予撤销。其二、危害国家金融安全和国家安全。《民法典》第127条规定：“法律对数据、网络虚拟财产的保护有规定的，依照其规定”。也就是说，《民法典》认为虚拟货币是否应得到保护，要看有无其法律规定，但到目前为止，没有其他法律规定。2021年9月十部委《关于进一步防范和处置虚拟货币交易炒作风险的通知》明确界定虚拟货币的一切业务活动均为“非法金融活动”，“一律严格禁止，坚决依法取缔”。以此说明，目前只有国家层面上的部门法禁止、取缔了虚拟货币的一切活动，虚拟货币业务活动不受法律保护，不是法律意义上的财产。既然虚拟货币不是法律意义上的财产，不受民法保护，刑法不应当、更不能率先突破法律秩序的统一性冲到民法之前，将虚拟货币交易活动中的“虚拟货币”作为刑事诉讼中的财产加以认定。思明法院一审判决将虚拟货币的非法金融活动作为刑法的保护对象，将极大危害国家金融安全和国家安全，这是绝不可取、更是法律所不允许的。其三、案涉USDT未经鉴定，来源不明、真伪不明。本案被害人与江某秋等人兑换的“泰达币”未经法定程序进行鉴定，来源不明、真伪不明，不能认定其为真实的泰达币。但许晓琳法官仅凭主观臆想，就想当然地认定涉案泰达币就是真实的，该认定是错误的。其四、为USDT定价违背中央十部委精神。从2013年中国人民银行联合五个部委、2017年联合七个部委、2021年联合十个部委发出的《通知》、《公告》、《通知》来看，发现人民银行全部是联合各个部委机关对虚拟货币投资、融资、交易、流通、买卖、炒作进行全方位的围堵打击，任何交易平台“不得为代币或虚拟货币提供定价、信息中介等服务”。最高法院199号指导案例确定，必须遵守中央部委规定，任何机构评估平台作出的价格都属于违反中央部委“不得为代币或虚拟货币提供定价、信息中介等服务”的规定，都属于非法，不具有法律效力。但许晓琳作出的一审判决，却对涉案USDT的价格进行了认定，且责令江某秋等人折价退赔被害人虚拟货币损失，已严重违背包括最高人民法院、最高人民检察院等在内的中央十部委规定精神。其五、判决退赔虚拟货币涉嫌袒护跨境洗黑钱犯罪。许晓琳作出的一审判决写道：“被害人的损失应责令被告人继续退赔。”判决的第八项内容为：被告人江某秋等人被扣押在案的赃款人民币114万元中的47.5万元发还被害人林某扬，余款予以没收，上缴国库。根据该判决，等于许晓琳间接肯定了虚拟货币的价值，进而断定“被害人”林某扬的损失，因此用判决的方式将本属于被告人江某秋等人的114万元中的47.5万元，折价“发还”被害人林某扬。许晓琳以判决的形式，直接肯定了虚拟货币买卖交易的合法性，变相为非法活动充当保护伞。其手中的审判权，成了虚拟货币买卖的工具，让虚拟货币直接变现，将黑钱洗白，涉嫌袒护跨境洗黑钱犯罪。举报人认为，许晓琳一边说“每一次敲响法槌，都关乎着个人的命运，关系着几个家庭的幸福”；而另一边却违背最高法院指导案例、对抗中央十部委规定，下狠手对江某秋判处有期徒刑十六年六个月。她的表现，完全就是一个“两面人”。因此，举报人希望纪委监委、政法委等监督部门能够对许晓琳涉嫌枉法裁判问题进行调查，维护金融秩序和国家安全。同时，由于该案已上诉至厦门市中级人民法院，举报人也期望相关部门和领导能够敦促厦门中院依法纠正一审判决的错误，维护国家法律的统一性。该案一审判决后，目前仍待二审判决，据悉，市场关注着二审是否会出现转变。

圈内人 1评论2024-04-18

EQ Labs：当零知识证明技术完全融入模块化架构时会发生什么？

扩展到共识。 9 - 结算和解类似于最高法院——验证状态转换的正确性并解决争端的最终真相来源。当一笔交易不可逆转时（或者在概率最终性的情况下——当其很难逆转时），该交易被认为是最终的。最终确定的时间取决于所使用的底层结算层，而这又取决于所使用的具体最终确定规则和区块时间。缓慢的最终性在跨 Rollup 通信中尤其是一个问题，其中 Rollup 需要等待以太坊的确认才能批准交易（乐观 Rollups 需要 7 天，有效性 Rollups 需要 12 分钟和证明时间）。这导致用户体验不佳。有多种方法可以使用具有一定安全级别的预先确认来解决此问题。示例包括特定于生态系统的解决方案（Polygon AggLayer或zkSync HyperBridge）和通用解决方案（例如Near 的 Fast Finality Layer），该解决方案旨在通过利用 EigenLayer 的经济安全性来连接多个不同的汇总生态系统。还可以选择利用 EigenLayer 的本机汇总桥用于软确认以避免等待完全确定。现有的 ZK 集成通过有效性汇总加快结算速度：与乐观汇总相比，有效性汇总不需要挑战期，因为它们依赖 ZKP 来证明正确的状态转换，无论是否有人挑战（悲观汇总）。这使得基础层的结算速度更快（以太坊上的结算时间为 12 分钟，而以太坊上的结算时间为 7 天），并且避免了重新执行。 10 - 安全安全性与保证的硬度有关，也是区块链价值主张的重要组成部分。然而，引导加密经济安全性是很困难的——增加了进入壁垒，并成为那些需要它的应用程序（各种中间件和替代 L1）的创新摩擦。共享安全的想法是利用 PoS 网络现有的经济安全，并使其承受额外的削减风险（惩罚条件），而不是每个组件都试图引导自己的安全。早期已经有一些尝试在 PoW 网络中做同样的事情（合并挖矿），但是不一致的激励措施使矿工更容易串通并利用协议（由于工作发生在物理世界中，因此更难以惩罚不良行为，即使用计算能力）。PoS 安全性更灵活，可以被其他协议使用，因为它同时具有正向（质押收益）和负向（削减）激励。围绕共享安全前提构建的协议包括： EigenLayer 的目标是利用现有的以太坊安全性来保护广泛的应用程序。该白皮书于 2023 年初发布，EigenLayer 目前处于主网 alpha 阶段，完整的主网预计将于今年晚些时候推出。 Cosmos于 2023 年 5 月推出了链间安全(ICS)，这使得 Cosmos Hub（Cosmos 上最大的链之一，由约24 亿美元质押的 ATOM支持）能够将其安全性出租给消费链。通过使用为 Cosmos Hub 提供支持的相同验证器集来验证消费者链上的块，它的目的是减少在 Cosmos 堆栈顶部启动新链的障碍。然而，目前只有两个消费者链处于活动状态（Neutron 和 Stride）。 Babylon也试图让 BTC 用于共享安全。为了解决与合并挖矿相关的问题（很难惩罚不良行为），它正在构建一个虚拟 PoS 层，用户可以将 BTC 锁定到比特币的质押合约中（无桥接）。由于比特币没有智能合约层，因此质押合约的削减规则而是以比特币脚本中编写的 UTXO 交易来表达。其他网络上的重新抵押包括Near 上的Octopus和 Solana 上的 Picasso。Polkadot平行链还利用了共享安全的概念。现有的 ZK 集成 ZK 和经济安全的混合：虽然基于 ZK 的安全保证可能更强，但对于某些应用程序来说，证明的成本仍然过高，并且生成证明需要很长时间。Brevis coChain就是一个例子，它是一种协处理器，从 ETH 重新质押者那里获得经济安全，并乐观地保证计算（通过 ZK 欺诈证明）。dApp 可以根据其在安全性和成本权衡方面的具体需求，选择纯 ZK 或 coChain 模式。 11 - 互操作性安全高效的互操作性仍然是多链世界中的一个大问题，桥梁黑客攻击造成的 28 亿美元损失就是例证。在模块化系统中，互操作性变得更加重要——不仅是在其他链之间进行通信，而且模块化区块链还需要不同的组件来相互通信（例如 DA 和结算层）。因此，像集成区块链那样简单地运行完整节点或验证单个共识证明不再可行。这为方程式增加了更多的移动因素。互操作性包括代币桥接以及跨区块链的更一般的消息传递。有几种不同的选择，它们都在安全性、延迟和成本方面做出了不同的权衡。对这三者进行优化非常困难，通常需要牺牲至少一项。此外，跨链的不同标准使得新链的实施变得更加困难。虽然我们仍然缺乏对不同类型的轻客户端（或节点）的明确定义，但Dino（Fluent & Modular Media 联合创始人）的这篇文章给出了很好的介绍。如今，大多数轻客户端仅验证共识，但理想情况下，我们应该拥有可以验证执行和 DA 的轻客户端，以减少信任假设。这将允许接近全节点安全性，而不需要很高的硬件要求。现有的 ZK 集成 ZK 轻客户端（共识验证）：当前大多数轻客户端都可以验证其他链的共识 - 要么是完整的验证器集（如果足够小），要么是全部验证器的子集（例如以太坊的同步委员会）。ZKP 用于使验证更快、更便宜，因为源链上使用的签名方案可能不受目标链本机支持。虽然 ZK 轻客户端在桥接中的重要性预计会增加，但目前更广泛采用的摩擦包括证明和验证的成本以及每个新链实施 ZK 轻客户端的成本。该领域的协议示例包括Polyhedra、Avail 和 Celestia 的数据证明桥以及Electron Labs 的 zkIBC. 存储证明：如前所述，存储证明可以在不使用可信第三方的情况下从区块链查询历史和当前数据。这也与互操作性相关，因为它们可用于跨链通信。例如，用户可以证明他们在一条链上拥有代币，并将其用于另一条链上的治理（无需桥接）。还有尝试使用存储证明进行桥接，例如LambdaClass 开发的这种解决方案。 ZK Oracles：Oracles充当中介，将现实世界的数据连接到区块链。ZK 预言机通过证明数据的来源和完整性以及对该数据进行的任何计算，改进了当前基于声誉的预言机模型。 ZKP 可以解决的开放问题完整的轻客户端：完整的轻客户端还验证正确的执行和 DA，而不是盲目地信任其他链的验证器集。这减少了信任假设并更接近完整节点，同时仍然保持较低的硬件要求（允许更多的人运行轻客户端）。然而，在大多数链上，尤其是以太坊上，验证除共识之外的任何其他内容仍然昂贵得令人望而却步。此外，轻客户端仅启用信息验证（问题的一半），即它们可以识别信息是假的，但仍然需要有额外的机制让它们对此采取措施。聚合层：Polygon 的 AggLayer旨在通过利用聚合证明和统一的桥接合约，实现生态系统内 L2 之间的平滑互操作性。聚合证明可以实现更有效的验证和安全性 - 强制依赖链状态和捆绑包保持一致，并确保如果汇总状态依赖于另一个链的无效状态，则无法在以太坊上解决。zkSync 的 HyperChains和Avail Nexus也采取了类似的方法。 ZK什么时候吃掉了模块化堆栈？假设我们可以达到这样一种状态：ZKP 的生成变得非常快（几乎以光速）并且非常便宜（几乎免费），那么最终的局面会是什么样子？换句话说——ZK什么时候吃掉了模块化堆栈？从广义上讲，我们相信在这种情况下有两件事是正确的：所有不必要的重新执行都被消除：通过转向 1/N 执行模型（而不是 N/N 重新执行），我们显着减少了网络的整体冗余，并能够更有效地使用底层硬件。虽然仍然存在一些开销，但这将有助于区块链在计算效率方面逐渐接近中心化系统。大多数应用程序依赖于 ZK 支持的加密保证，而不是经济安全：当生成证明的成本和时间不再是相关考虑因素时，我们相信大多数应用程序将依赖 ZKP 来获得更强的保证。这还需要在可用性和开发人员友好性方面进行一些改进来构建 ZK 应用程序，但这些都是多个团队正在努力解决的问题。第三个条件是隐私（或信息流管理），但它更复杂。ZKP 可用于一些具有客户端证明的隐私应用程序，这正是 Aleo、Aztec 或 Polygon Miden 等平台正在构建的目标，但为所有潜在用例实现大规模隐私也依赖于 MPC 和 FHE 的进展- 未来博客文章的潜在主题。我们论文的风险如果我们错了，未来既不是模块化也不是 ZK 化怎么办？我们论文的一些潜在风险包括：模块化增加了复杂性用户和开发者都面临着链数量不断增长的困扰。用户需要跨多个链（以及可能的多个钱包）管理资金。另一方面，考虑到空间仍在不断发展，应用程序开发人员的稳定性和可预测性较差，这使得决定构建哪条链变得更加困难。他们还需要考虑状态和流动性碎片化。现在尤其如此，因为我们仍在沿着哪些组件有意义解耦以及哪些组件将重新耦合的前沿进行试验。我们相信用户操作抽象以及安全高效的互操作解决方案是解决这个问题的关键部分。 ZK 的性能是否足够好？无可回避的事实是，证明生成时间太长，而且证明和验证的成本在今天仍然太高。对于当今的许多应用程序来说，诸如可信执行环境/TEE（隐私）或乐观/加密经济安全解决方案（成本）之类的竞争解决方案仍然更有意义。然而，关于 ZKP 的软件优化和硬件加速，我们正在做大量工作。证明聚合将通过将成本分摊到多个不同方（较低的/用户成本）来帮助进一步降低验证成本。还可以调整基础层以针对 ZKP 验证进行更加优化。ZKP 硬件加速面临的一项挑战是证明系统的快速开发。这使得创建专用硬件（ASIC）变得困难，因为如果/当底层证明系统的标准发展时，它们可能会很快过时。 Ingonyama尝试通过称为ZK 分数的可比指标为证明者性能创建一些基准。它基于运行计算的成本 (OPEX) 并跟踪 MMOPS/WATT，其中 MMOPS 代表每秒模乘运算。如需进一步阅读该主题，我们推荐Cysic和Ingonyama的博客，以及Wei Dai的演讲。 ZKP 可以提供的有限隐私有用吗？ ZKP 只能用于实现个人状态的隐私，不能用于多方需要对加密数据进行计算的共享状态（例如私有 Uniswap）。FHE 和 MPC 也需要完全隐私，但在成为更广泛使用的可行选择之前，它们需要在成本和性能方面提高许多数量级。也就是说，ZKP 对于某些不需要私有共享状态的用例仍然有用，例如身份解决方案或支付。并非所有问题都需要使用同一个工具来解决。概括那么这会给我们带来什么影响呢？虽然我们每天都在进步，但仍有大量工作要做。最迫切需要解决的问题是价值和信息如何在不同的模块化组件之间安全地流动，而不牺牲速度或成本，以及将其全部从最终消费者中抽象出来，以便他们不需要关心之间的桥接不同的链、切换钱包等。虽然我们目前仍处于实验阶段，但随着时间的推移，当我们找出每个用例的最佳权衡范围时，情况应该会稳定下来。这反过来将为标准（非正式或正式）的出现提供空间，并为这些链之上的构建者提供更多稳定性。如今，由于生成 ZKP 的成本和复杂性，仍然有许多用例默认采用加密经济安全，有些用例需要两者的结合。然而，随着我们设计更高效的证明系统和专用硬件以降低证明和验证的成本和延迟，这一份额应该会随着时间的推移而减少。随着成本和速度的每一次指数级降低，新的用例都会被解锁。虽然这篇文章特别关注 ZKP，但我们也越来越感兴趣现代密码学解决方案（ZKP、MPC、FHE 和 TEE）最终将如何一起发挥作用 - 我们已经看到了这一点。来源：金色财经

金色财经2024-04-17

突发！纽约法官威胁逮捕特朗普……

另外，胡安也不允许特朗普出席华盛顿特区最高法院关于豁免权的听证会。 “我们对这位法官有一个真正的问题，我不能去参加我儿子的毕业典礼，或者我不能去美国最高法院，我不在佐治亚州或佛罗里达州，或者像我应该那样去北卡罗来纳州竞选，这对激进的左翼民主党人来说是完美的，这正是他们想要的，”他继续说道。他认为，这是一种“选举干预”。#美国大选# 共和党人Vivek Ramaswamy表示：“阿尔文·布拉格针对特朗普的案件建立在可笑的法律前提之上，即候选人必须使用竞选资金来支付个人封口费。但如果特朗普这么做了，他们无疑会因此而追捕他。这不是对正义的追求，这是一场正在分裂美国的政治迫害。” (来源:Twitter) 亿万富翁马斯克(Elon Musk)也回应称：“这起案件显然是对法律的腐败。” 特朗普“封口费”一案源于前律师、被判重罪并承认撒谎的迈克尔·科恩(Michael Cohen)在2016年大选结束时向成人电影女演员斯托米·丹尼尔斯(Stormy Daniels)支付了13万美元，据称是为了收买她的沉默。特朗普必须出席审判，审判将每周进行四天，可能持续长达两个月。法官胡安拒绝了特朗普法律团队提出的回避此案的请求，因为他在接受媒体采访时提到了此案。胡安表示，这符合法律规定。法律分析师、乔治华盛顿大学公共利益法主任乔纳山·特利(Jonathan Turley)评论道：“长期以来，我一直批评此案，认为这是刑事司法系统武器化的一个明显例子。没有人认真相信，如果被告不是特朗普，阿尔文·布拉格会花这么多时间和金钱来起诉通常属于州轻罪的行为。人们不必像特朗普一样，对曼哈顿即将上演的一幕感到排斥。” 他提到，著名的罗马哲学家和演说家马库斯·图利乌斯·西塞罗(Marcus Tullius Cicero)曾经说过：“法律越多，正义就越少。” “本周，纽约法官和律师似乎急于证明针对唐纳德·特朗普的案件也是如此，”乔纳山强调。

秉哥说市2024-04-16

Uniswap CEO：与SEC之间的较量将巩固DeFi的金融地位

应对这一行动，即使这意味着要一路上诉到最高法院。美国 DeFi 的未来与互联网的早期时代相呼应，Adams 希望有一个监管“安全港”来促进 DeFi 在美国的增长，他警告说，严格的行动可能会扼杀创新并将企业家推向海外，从而导致 FTX 类似的问题。 Adams 强调，与从外部应用监管的传统金融系统不同，Uniswap 和以太坊“将安全性监管到代码中”。 Uniswap 打算在法律诉讼过程中强调这些内置保障措施，并向法院证明去中心化平台可以比传统金融监管框架更好地进行自我监管。 Adams 旨在展示这种模式如何保护投资者并促进更加公平和高效的市场，从而减少积极监管干预的需要。他计划利用法庭案件来倡导去中心化金融自我监管和保护参与者的独特能力。 Adams 认为，就像互联网使信息获取民主化并为人们提供新的机会一样，DeFi也将为金融业带来同样的机遇，为人们提供“允许他们真正拥有自己资产的系统，并获得与银行利用他人资金获得的机会相同的机会。” 尽管美国证券交易委员会(SEC)一直在努力扩大其监管范围，并在加密领域施加压力，但Uniswap一直在努力谨慎地利用现有的框架。 Uniswap已经在与决策者建立桥梁方面发挥了积极作用，发起了诸如与政治家合作并帮助DeFi蓬勃发展的DeFi教育基金等倡议。尽管前面的道路充满挑战，但他相信胜利将证明Uniswap是正确的，并为DeFi的未来树立了一个强有力的先例。来源：金色财经

金色财经2024-04-16

社交媒体平台“X”：公司被众议院司法委员会正式传唤

司法委员会正式传唤，被传唤提供有关巴西最高法院命令的信息，我们已对司法委员会的传票作出回应。

金融界2024-04-16

婚姻家庭司法新规征求意见假离婚同居析产等引关注

最高法院近日发布《关于适用〈中华人民共和国民法典〉婚姻家庭编的解释(二)(征求意见稿)》，新的司法解释对假离婚、同居期间财产分割、直播打赏等热点问题作出回应，备受社会关注。征求意见稿意图明确当事人主张“假离婚”的裁判规则：夫妻登记离婚后，一方以双方意思表示虚假为由请求确认离婚无效的，法院不予支持；一方有证据证明双方意思表示虚假，请求确认离婚协议中有关财产及债务处理条款无效，并主张重新分割夫妻共同财产的，法院应依法予以支持。(有分析认为，此举针对实践中有的人在办理离婚手续后“假戏真做”，带走全部财产后不同意复婚，或者与他人再婚，导致另一方“人财两失”，出现纠纷。) 根据征求意见稿，如果夫妻一方的债权人有证据证明债务人通过离婚的方式低价或者无偿转移财产，影响自己的债权实现，有权请求法院撤销离婚协议中的相关财产及债权处理条款。(有分析认为，这是为了防止有人通过假离婚“净身出户”，从而赖掉债务，“牺牲自己一个，幸福全家人”或离婚但不离开原来的家庭，依然过着富足的生活。) 同居关系中的财产纠纷亦受关注：规定按照“照顾子女、女方和无过错方权益的原则”进行分配。同居生活期间，如果一方因抚育子女、照料老年人协助另一方工作等负担较多义务而请求另一方给予补偿，双方对此并无协议且协商不成，法院可以根据相关事实确定补偿数额。对直播打赏、抢夺或藏匿未成年人等舆论呼声较大等问题：规定了直播打赏的款项可以追回的情形，如无民事行为能力人实施打赏，限制民事行为能力人实施与其年龄、智力和精神状况不相适应的打赏，或直播内容含有淫秽、色情等低俗信息引诱夫妻一方打赏。征求意见稿还新增关于抢夺、藏匿未成年人行为的救济措施，如父母另一方可以以自己履行监护职责的权利受到侵害为由，向法院申请人身保护令，或请求行为人承担停止侵害、排除妨碍、赔偿损失等民事责任。

金融界2024-04-12

Uniswap团队誓言对抗SEC威胁 UNI价格暴跌10%

争将持续数年时间，并且可能会一直上诉到最高法院。” Uniswap 没有透露 Wells 通知的具体内容，但在有关该通知的博客文章中声称 UNI 不是证券，也不符合美国对证券交易所或经纪人的法律定义。 SEC 发言人指出，它不会对“是否存在可能的调查”发表评论。 Consensys 高级法律顾问和监管事务总监 Bill Hughes 在 X 上撰文澄清，SEC 工作人员必须首先获得该机构五名委员（包括主席 Gary Gensler）的批准。 Hughes 写道：“我们都知道主席想起诉他们，两名委员不会不同意，而且两名委员也会不同意。” 他敦促那些“惊慌失措”的人“喘口气，冷静下来”，因为“非常怀疑”SEC 是否会针对 UNI 持有者或协议用户。前 SEC 互联网执法主管约翰·里德·斯塔克 (John Reed Stark) 在 X Wells 通知中写道，该通知让接收者有机会争论为什么委员们应该拒绝建议的诉讼。他表示，向 Uniswap 发出的通知“并不令人意外”，并且当 Wells 通知接收者“通过令人讨厌/侮辱性的公关活动向 SEC 投掷石块进行反击，就像 Uniswap 似乎已经开始的那样”时，他“总是感到惊讶”。 “任何 SEC 律师都会同意，通过斥责 SEC、辱骂他们等方式来回应 Wells 是一种软弱、冒险且失败的策略。” Stark 声称 Uniswap 正在放弃“疲惫、无力、陈旧且失败的独白”，指控 SEC 滥用权力并“痛斥 SEC 的‘反创新执法范式’”。 “预计 SEC 执法人员会介入并提出大量有力的联邦申诉，这将不可避免地在通常的驳回动议中幸存下来，战胜典型的简易判决动议，并在随后的几乎所有其他诉讼问题上获胜，”他说。前 Delphi Labs总法律顾问加布里埃尔·夏皮罗 (Gabriel Shapiro) 在 X 上写道，他的预感是 SEC“将在与 UNI 的证券问题上获胜”，但如果它声称 Uniswap 是一家证券交易所，则会失败。正在被 SEC 起诉的 Coinbase 的法律负责人 Paul Grewal 同意 Shapiro 的观点，并写道，如果 SEC 声称 Uniswap 是经纪人，他认为 SEC 将无法反驳其主张。来源：Paul Grewal 他指出，法官上个月在 SEC 对 Coinbase 的诉讼中做出了裁决，该裁决确定 SEC 未能指控 Coinbase 通过其去中心化 Coinbase 钱包进行经纪活动。来源：金色财经

金色财经2024-04-11

马斯克：因X公司在巴西的行动，遭美众议院问询

现任议员和记者的账号。 7日，巴西联邦最高法院大法官亚历山大·德·莫赖斯开始对马斯克提起调查。巴西此前下令要求X封禁部分热门账号，以打击仇恨言论和虚假信息，而马斯克则表示不会遵守法院命令，并取消了所有对账号的限制。马斯克称，可能会失去在巴西的所有收入，并不得不关闭巴西办事处。但原则比利润更重要。

金融界2024-04-11

SEC 计划起诉 Uniswap

“这场斗争将持续数年，可能会一直上诉到最高法院，金融科技和我们行业的未来悬而未决。” “如果我们团结起来，我们就能赢。” 底线：Uniswap 不会退缩，在诉讼结束期间其产品将继续可用。尽管 SEC 采取强硬态度，该团队还计划继续部署新工具。 Bankless 说: 加里·詹斯勒(Gary Gensler)的美国证券交易委员会(SEC)对待所有代币都像对待证券一样，不管这种立场是如何在美国法院一再被推翻的。这份《威尔斯通知》是当前委员会以恶意为由对DeFi项目进行全面攻击的最新迹象。然而，如果有人准备好迎接这场战斗，那就是 Uniswap 团队，他们自始至终都会有一大群支持者在背后支持。那么请当心，因为可以说加密货币历史上最大的法律战即将展开！来源：金色财经

金色财经2024-04-11

24小时热点