在零知识证明中,lookup操作用于验证多个表格之间的关系。首先,将多个表格的数据聚合起来形成查询条件。然后,通过lookup在目标表格中查找符合条件的记录。最后,零知识证明生成一个证明,验证查询结果的正确性,而不泄露任何具体数据。
lookup
OP残酷共学第一周已经结束啦。本周我们学习了:学习Optimism的基本概念、Layer2扩容方案、OpimismRollups,、Tokenomics、Stage阶段。一起来看看同学们优秀的学习笔记吧~
区块链 101:智能合约背后的架构
以太坊上每天发的新币里,50%都会自动化割韭菜的。CertiK通过rugpull经典案例为您揭开这背后的故事。
SCP 和 AO (Actor Oriented)为什么能成为无限的性能,数据的可信和拥有可组合性六边形战士?
OP中文周刊将分享Optimism中发生的情况,并轻松访问最关键的信息,以便轻松了解最新情况并做出明智的决策。在每周回顾中,我们将回顾:Optimism生态系统新闻治理决策和提案更新、Grants新闻有影响力的运营活动OP中文力量活动Discourse、Twitter和
本文介绍了一个MIPS模拟器的设计,支持MIPS ELF程序的加载、执行和段生成。模拟器通过逐步执行指令并检查退出条件,支持常规执行和段分割两种模式。内存管理采用4KB页面并通过哈希树计算镜像ID,优化了修改页面的哈希计算,提升了性能。主要数据结构包括仿真状态、内存和段信息。
介绍了区块链账户抽象(Account Abstraction, AA)的概念、原理、好处以及实际应用,强调它如何提高加密货币的安全性和用户体验,并为开发者提供了实施和学习资源.
介绍了以太坊未来的数据存储技术,Verkle Tree,并与现有的 Merkle Tree 进行了对比。
2025年1月1日,每周以太坊正式停更!
弹性网络原生互操作性层, 允许弹性网络内的 ZK 链在协议层面直接进行交易和通信, 提供顺畅的原生跨链体验
ZKM Prover 结合 zk-STARK 技术,验证算术与 CPU 操作。算术操作包括加法、乘法、除法等,通过初始化算术表、生成 Trace 数据、执行范围检查与电路验证确保正确性。CPU 操作涵盖指令解码、跳转、内存访问等模块,依次通过本地与电路验证保证操作符合逻辑与约束。
Pectra(Prague+Electra)升级客户端测试电话18:提议在EL配置中将更新比例添加到EIP7840blob计划,并讨论了EIP2935系统合约的审计反馈Pectra范围暂时确定,经过超过12个月的讨论Layer1gaslimit增加:
2024年,以太坊链生态的TVL仍居高位,但随着市场转暖,Gas费依然是以太坊智能合约开发的老大难问题。CertiK收集整理了以太坊智能合约开发中Gas费优化的最佳实践。
本文探讨了区块链的碎片化问题及其产生的原因,介绍了一种新的设计哲学——链抽象(chain abstraction),旨在统一和简化加密货币用户体验。随着以太坊和EVM的崛起,尽管出现了多种解决方案,但仍然面临许多挑战,例如状态碎片化和跨链交互的复杂性。最后介绍了 SOCKET协议解决方案
本文探讨了以太坊Layer 2扩容以及当前市场上的三大扩展解决方案:Elastic Chain、Agglayer和Superchain。文章指出,虽然现有的第三方桥梁存在信任和安全性问题,但各自的创新实现了资产跨链转移的可能性,并强调了DeFi应用在Rollup中的重要性。
在今年的Devcon上,一场具有重要意义的会议-以太坊互操作性论坛(EthereumInteropForum,EIF)隆重举行。这次会议汇聚了以太坊生态中的重要参与者,他们暂时搁置了竞争关系,共同致力于一个使命:让以太坊实现真正的互操作性。协作的力量尽管以太坊需要与其他生态系统
每周以太坊 2024/12/21
ZKM Prover利用Plonky2构造零知识证明系统,其主要步骤涉及对每个Plonkish表的证明生成、聚合及压缩处理。
扫一扫 - 使用登链小程序
3 篇文章,229 学分
21 篇文章,209 学分
36 篇文章,157 学分
38 篇文章,157 学分
57 篇文章,134 学分