弹性网络原生互操作性层, 允许弹性网络内的 ZK 链在协议层面直接进行交易和通信, 提供顺畅的原生跨链体验
ZKM Prover 结合 zk-STARK 技术,验证算术与 CPU 操作。算术操作包括加法、乘法、除法等,通过初始化算术表、生成 Trace 数据、执行范围检查与电路验证确保正确性。CPU 操作涵盖指令解码、跳转、内存访问等模块,依次通过本地与电路验证保证操作符合逻辑与约束。
本文探讨了区块链的碎片化问题及其产生的原因,介绍了一种新的设计哲学——链抽象(chain abstraction),旨在统一和简化加密货币用户体验。随着以太坊和EVM的崛起,尽管出现了多种解决方案,但仍然面临许多挑战,例如状态碎片化和跨链交互的复杂性。最后介绍了 SOCKET协议解决方案
本文探讨了以太坊Layer 2扩容以及当前市场上的三大扩展解决方案:Elastic Chain、Agglayer和Superchain。文章指出,虽然现有的第三方桥梁存在信任和安全性问题,但各自的创新实现了资产跨链转移的可能性,并强调了DeFi应用在Rollup中的重要性。
在今年的Devcon上,一场具有重要意义的会议-以太坊互操作性论坛(EthereumInteropForum,EIF)隆重举行。这次会议汇聚了以太坊生态中的重要参与者,他们暂时搁置了竞争关系,共同致力于一个使命:让以太坊实现真正的互操作性。协作的力量尽管以太坊需要与其他生态系统
OP中文周刊将分享Optimism中发生的情况,并轻松访问最关键的信息,以便轻松了解最新情况并做出明智的决策。在每周回顾中,我们将回顾:Optimism生态系统新闻治理决策和提案更新、Grants新闻有影响力的运营活动OP中文力量活动Discourse、Twitter和
本文深入探讨了区块链架构的层次结构,主要包括Layer 1、Layer 2和Layer 3等,阐述了不同层的功能与相互作用,以及如何解决区块链扩展性三难问题。文章还讨论了公共、私有、混合和联盟区块链的不同类型,清晰展示了每种架构的特点和应用场景。
ZKM Prover利用Plonky2构造零知识证明系统,其主要步骤涉及对每个Plonkish表的证明生成、聚合及压缩处理。
LookupArgument是一种重要的密码学原语,用于证明一个集合(或结构化对象,如多项式)的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用,可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。
Mint Blockchain,一个创新的 L2 网络,其目标旨在用 NFT 链接全球消费者。
TLDR:今天,ZKsync发布了弹性链——一个不断扩展的ZKRollups网络,依靠数学保障安全,并在统一、直观的用户体验下本地互操作。以Rollup为中心的以太坊路线图成功降到了交易费用,但流动性和用户体验却分散。近期的ZKsync3.0升级通过启用原生、无信任、低成本的链间
MinaProtocol是一条轻量级区块链,以其固定大小的区块链和零知识证明(zk-SNARKs)为核心特点。这篇文章,将深入探讨Mina的账户初始化过程,让我们更好地理解和应用Mina网络账户初始化的过程在Mina网络中,账户并非默认存在,而是通过特定操作(如首次接收资金或部
Mina之账户模型
这篇文章详细介绍了Espresso Sequencer的设计原理与目标,强调其在去中心化Rollups中的重要性。文章探讨了当前以太坊Layer 2扩展解决方案中存在的问题,并提出Espresso Sequencer如何以高吞吐量和低延迟的方式支持Rollup的去中心化与互操作性,同时减轻MEV对用户的负面影响。
zkVM(零知识虚拟机)是一种利用零知识证明(ZKP)来保证计算的正确性、完整性和隐私性的虚拟机。
通过引入Lookup argument协议,可以有效减小电路的复杂度。
译者的话在Web3领域,公共产品的资助和奖励机制一直是一个备受关注的话题。OptimismCollective的这篇文章详细阐述了他们在2025年改进和发展RetroactivePublicGoodsFunding(RPGF)计划的愿景和策略。作为一名从业者,我深感这一计划在推
递归零知识证明(RecursiveZero-KnowledgeProof,简称递归ZKP)是一种使用递归概念的零知识证明,它通过递归的方式生成可更高效验证的证明,某些情况下还可以将多个证明合并成一个单一的证明。这在区块链系统中尤为重要,因为在这些系统中,效率和可扩展性是至关重要的。
扫一扫 - 使用登链小程序
114 篇文章,652 学分
383 篇文章,614 学分
67 篇文章,477 学分
118 篇文章,426 学分
157 篇文章,346 学分