在零知识证明中,lookup操作用于验证多个表格之间的关系。首先,将多个表格的数据聚合起来形成查询条件。然后,通过lookup在目标表格中查找符合条件的记录。最后,零知识证明生成一个证明,验证查询结果的正确性,而不泄露任何具体数据。
lookup
OP残酷共学第一周已经结束啦。本周我们学习了:学习Optimism的基本概念、Layer2扩容方案、OpimismRollups,、Tokenomics、Stage阶段。一起来看看同学们优秀的学习笔记吧~
SCP 和 AO (Actor Oriented)为什么能成为无限的性能,数据的可信和拥有可组合性六边形战士?
OP中文周刊将分享Optimism中发生的情况,并轻松访问最关键的信息,以便轻松了解最新情况并做出明智的决策。在每周回顾中,我们将回顾:Optimism生态系统新闻治理决策和提案更新、Grants新闻有影响力的运营活动OP中文力量活动Discourse、Twitter和
本文介绍了一个MIPS模拟器的设计,支持MIPS ELF程序的加载、执行和段生成。模拟器通过逐步执行指令并检查退出条件,支持常规执行和段分割两种模式。内存管理采用4KB页面并通过哈希树计算镜像ID,优化了修改页面的哈希计算,提升了性能。主要数据结构包括仿真状态、内存和段信息。
弹性网络原生互操作性层, 允许弹性网络内的 ZK 链在协议层面直接进行交易和通信, 提供顺畅的原生跨链体验
ZKM Prover 结合 zk-STARK 技术,验证算术与 CPU 操作。算术操作包括加法、乘法、除法等,通过初始化算术表、生成 Trace 数据、执行范围检查与电路验证确保正确性。CPU 操作涵盖指令解码、跳转、内存访问等模块,依次通过本地与电路验证保证操作符合逻辑与约束。
本文探讨了区块链的碎片化问题及其产生的原因,介绍了一种新的设计哲学——链抽象(chain abstraction),旨在统一和简化加密货币用户体验。随着以太坊和EVM的崛起,尽管出现了多种解决方案,但仍然面临许多挑战,例如状态碎片化和跨链交互的复杂性。最后介绍了 SOCKET协议解决方案
本文探讨了以太坊Layer 2扩容以及当前市场上的三大扩展解决方案:Elastic Chain、Agglayer和Superchain。文章指出,虽然现有的第三方桥梁存在信任和安全性问题,但各自的创新实现了资产跨链转移的可能性,并强调了DeFi应用在Rollup中的重要性。
在今年的Devcon上,一场具有重要意义的会议-以太坊互操作性论坛(EthereumInteropForum,EIF)隆重举行。这次会议汇聚了以太坊生态中的重要参与者,他们暂时搁置了竞争关系,共同致力于一个使命:让以太坊实现真正的互操作性。协作的力量尽管以太坊需要与其他生态系统
ZKM Prover利用Plonky2构造零知识证明系统,其主要步骤涉及对每个Plonkish表的证明生成、聚合及压缩处理。
Mint Blockchain 正式推出了Mint Eco Fund,这一开发基金的总资金池为50M $MINT + 750K $OP,旨在推动创新应用在Mint链上的开发,促进开发者和全球用户的共同成长与成功。
LookupArgument是一种重要的密码学原语,用于证明一个集合(或结构化对象,如多项式)的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用,可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。
Mint Blockchain,一个创新的 L2 网络,其目标旨在用 NFT 链接全球消费者。
TLDR:今天,ZKsync发布了弹性链——一个不断扩展的ZKRollups网络,依靠数学保障安全,并在统一、直观的用户体验下本地互操作。以Rollup为中心的以太坊路线图成功降到了交易费用,但流动性和用户体验却分散。近期的ZKsync3.0升级通过启用原生、无信任、低成本的链间
MinaProtocol是一条轻量级区块链,以其固定大小的区块链和零知识证明(zk-SNARKs)为核心特点。这篇文章,将深入探讨Mina的账户初始化过程,让我们更好地理解和应用Mina网络账户初始化的过程在Mina网络中,账户并非默认存在,而是通过特定操作(如首次接收资金或部
Mina之账户模型
扫一扫 - 使用登链小程序
3 篇文章,229 学分
21 篇文章,209 学分
38 篇文章,157 学分
36 篇文章,157 学分
57 篇文章,134 学分