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

【zkMIPS系列】zkMIPS系统框架

in  zkMIPS解读

zkMIPS 通过零知识证明（ZKP）验证 MIPS 程序的正确执行。流程包括代码编译、虚拟机运行、生成执行轨迹，并通过 STARK、PLONK 和 Groth16 等技术生成高效的可验证证明，实现链上验证与隐私保护。
zkVM  zkMIPS 
  • ZKM
  • 发布于 4小时前
  • 阅读 ( 39 )

理解 Optimism 设计 P1 - 架构设计

本文专注于Optimisim的架构学习和思考，是第一篇，希望从OP入手，逐渐拓展对Rollup、二层网络等方案的理解。在前面写过一些列文章涉及了常见的共识协议，如HotStuff，Tendermint等传统BFT共识以及更为综合和现代的以太坊Gasper，在学习了它们后，我对
OP Stack 

Optimism 中文周刊 #52

in  Optimism 中文周刊

编辑：183Aaros😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！gm👋🏻乐观集体的公民们，欢迎收看Optimism中文周刊52！本周Soneium启动了生态系统徽章计划，奖励积极参与的用户。Zora宣布了TGE计划，并将在Base网络上

关于Unichain（Uniswap 的L2），你需要知道的七件事

本文介绍了Unchain，这是一种基于以太坊的新的Layer-2区块链，旨在解决去中心化金融(DeFi)中的流动性碎片化和最大可提取价值(MEV)问题。通过将流动性集中于单一的DeFi优化型rollup，Unichain提高了资本效率，并引入了MEV内部化机制，以更公平地分配价值。文章深入探讨了Unichain的技术架构、关键功能以及对DeFi生态的潜在影响。
Unichain  Layer-2  去中心化金融  MEV  流动性优化  OP Stack 
  • Gogol
  • 发布于 6天前
  • 阅读 ( 489 )
  • ( 36 )

Optimism 中文周刊 #51

in  Optimism 中文周刊

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

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

in  zkMIPS解读

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

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
  • 阅读 ( 314 )
  • ( 6 )

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

in  zkMIPS解读

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

Optimism 第 7 季资助现已开放

in  Optimism 中文力量

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

【zkMIPS系列】ZKM Prover—Poseidon STARK

in  zkMIPS解读

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