全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

Optimism 中文周刊 #51

in  Optimism 中文周刊
😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！

【zkMIPS系列】zkVM 中的离线内存检查

in  zkMIPS解读
在 zkVM 中，离线内存检查用于验证内存读/写的正确性，而无需每次读取时立即验证。它通过构建读集合 (RS) 和写集合 (WS)，在所有操作完成后一次性检查一致性。 为此，本文提出 **Multiset Hashing** 和 **LogUp** 两种方法。
  • ZKM
  • 发布于 2025-03-04
  • 阅读 ( 713 )
  • ( 6 )

原生账户抽象 rip-7560

本文提出了一种综合的原生账户抽象提案，该提案将以太坊交易范围分为多个步骤：验证、执行和交易后逻辑。通过引入新交易类型和多个执行框架，提升了账户抽象的灵活性和效率，同时保持与ERC-4337生态系统的向后兼容性，解决了许多现有问题。
账户抽象  以太坊  交易  ERC-4337  EIP-2938  智能合约 

Optimism 中文周刊 #50

in  Optimism 中文周刊
gm👋🏻乐观集体的公民们，欢迎收看Optimism中文周刊#50！全新🔴OP中文周刊，全新体验😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！🍋让我们一起来看看本周🔴OP和⛓️Superchain生态里发生了什么新鲜事吧！TL’

【zkMIPS系列】ZKM Prover——STARK to SNARK

in  zkMIPS解读
STARK到SNARK的转换从构建递归电路开始，递归电路的作用是将原本庞大的STARK证明压缩成较小的SNARK证明，具体由以下几个组件构成，包括根电路，聚合电路和区块电路。
  • ZKM
  • 发布于 2025-02-26
  • 阅读 ( 696 )
  • ( 7 )

【zkMIPS系列】ZKM Prover—Memory & Logic Stark

in  zkMIPS解读
MemoryStark确保内存访问操作是按时间和地址顺序进行的，并且读取的值与之前写入的值一致。LogicSNARK确保逻辑运算的正确性。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-02-16
  • 阅读 ( 877 )
  • ( 11 )

一文读懂OpStack最新的RollUp代码流程

op-stack 的 rollup 模块由两个核心组件组成，一个是 op-batcher, 另一个是 op-proposer; op-batcher 将数据 rollup 到 EIP4844 或者以太坊交易的 CallData 里面；op-proposer 将批次交易的状态根提交到 DisputeG
OP Rollup  Optimism 

Optimism 第 7 季资助现已开放

in  Optimism 中文力量
我们根据社区反馈简化了申请流程！现在提交申请比以往任何时候都更简单。工作原理:提交（第0周）:提交一份包含关键细节的简单申请，确保申请内容完整并符合第7季的优先事项。初步审查（第1周）:GrantNerds将审查提交的内容，并决定是否批准进入下一阶段；如果不符合纳入标准，则
Optimism 

【zkMIPS系列】ZKM Prover—Poseidon STARK

in  zkMIPS解读
Poseidon的执行过程包括以下6个步骤：初始化、完整轮次计算、部分轮次计算、电路约束生成、生成多项式承诺、证明生成与验证。整个过程用于生成最终的零知识证明。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-02-07
  • 阅读 ( 1095 )
  • ( 16 )

解读下一代以太坊 Layer2 解决方案（I）：Based Rollups

系列文章探讨一 些新的 Rollup 类： Based rollups
Based Rollup  Rollup  Layer2 

数据可用性比你想象的更重要

数据可用性比你想的更重要。
DA  EigenDA  Rollup  Blob 

解密starknet链上借贷协议-zkLend

本文翻译自 zkLend 白皮书，涵盖 zkLend 协议的设计背景、功能模块以及面向机构与 DeFi 用户的双重服务模式。文章深入探讨 zkLend 如何结合 Starknet 的 zk-rollup 技术实现高效、安全的借贷服务，同时分析了以太坊在去中心化和安全性方面的优势。

Optimism 中文周刊 #47

in  Optimism 中文周刊
编辑：183AarosOP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。在每周回顾中，我们将回顾：Optimism生态系统新闻治理决策和提案更新、Grants新闻有影响力的运营活动OP中文力量活动Discours
Optimism 

【zkMIPS系列】ZKM Prover: Cross Table Lookup

in  zkMIPS解读
在零知识证明中，`lookup`操作用于验证多个表格之间的关系。首先，将多个表格的数据聚合起来形成查询条件。然后，通过`lookup`在目标表格中查找符合条件的记录。最后，零知识证明生成一个证明，验证查询结果的正确性，而不泄露任何具体数据。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-01-16
  • 阅读 ( 1744 )
  • ( 13 )

OP 残酷共学第一周学习回顾

in  Optimism 中文力量
OP残酷共学第一周已经结束啦。本周我们学习了：学习Optimism的基本概念、Layer2扩容方案、OpimismRollups,、Tokenomics、Stage阶段。一起来看看同学们优秀的学习笔记吧～
#optimism 

近万字研报！从第一性原理看 SCP 和 AO 如何影响链上世界

SCP 和 AO (Actor Oriented）为什么能成为无限的性能，数据的可信和拥有可组合性六边形战士？
AO  SCP 

Optimism 中文周刊 #45

in  Optimism 中文周刊
OP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。在每周回顾中，我们将回顾：Optimism生态系统新闻治理决策和提案更新、Grants新闻有影响力的运营活动OP中文力量活动Discourse、Twitter和
Optimism 

【zkMIPS系列】ZKM Prover之模拟器（Emulator）的运行

in  zkMIPS解读
本文介绍了一个MIPS模拟器的设计，支持MIPS ELF程序的加载、执行和段生成。模拟器通过逐步执行指令并检查退出条件，支持常规执行和段分割两种模式。内存管理采用4KB页面并通过哈希树计算镜像ID，优化了修改页面的哈希计算，提升了性能。主要数据结构包括仿真状态、内存和段信息。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-01-05
  • 阅读 ( 761 )
  • ( 3 )

弹性网络（Elastic Network）中原生互操作的工作原理

弹性网络原生互操作性层, 允许弹性网络内的 ZK 链在协议层面**直接**进行交易和通信， 提供顺畅的原生跨链体验
zkSync  弹性链 

【zkMIPS系列】ZKM Prover之算术操作和CPU操作

in  zkMIPS解读
ZKM Prover 结合 zk-STARK 技术，验证算术与 CPU 操作。算术操作包括加法、乘法、除法等，通过初始化算术表、生成 Trace 数据、执行范围检查与电路验证确保正确性。CPU 操作涵盖指令解码、跳转、内存访问等模块，依次通过本地与电路验证保证操作符合逻辑与约束。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-01-02
  • 阅读 ( 1883 )
  • ( 6 )