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

【zkMIPS系列】zkMIPS系统框架

in  zkMIPS解读

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

理解 Optimism 设计 P1 - 架构设计

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

STRK质押：迈向Starknet全面去中心化的重要一步

STRK 质押在 Starknet 正式上线，成为首个在 L2 上引入无许可质押机制的项目，标志着 Starknet 向完全去中心化迈出了重要一步。通过 STRK 质押，持有人不仅可以获得奖励，还可以参与网络治理，未来将继续引入更多的功能与机制。文章深入阐述了质押的各个阶段，激励结构及其在生态系统中的作用。
STRK质押  Starknet  去中心化  L2  区块链经济  治理 

如何监控所有 ETH 转账交易

如何使用Moralis的JSSDK监控所有ETH转账交易虽然通过Moralis管理区域设置链上监控是最简单的途径，但在构建更高级的dapp时，您可能更喜欢通过Moralis的SDK进行设置。注意：如果您想要有关如何通过SDK使用Streams的详细说明，请

Optimism 中文周刊 #52

in  Optimism 中文周刊

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

使用 CREATE、CREATE2 和 EXTCODESIZE 操作码的陷阱

本文深入探讨了以太坊虚拟机（EVM）的 CREATE 和 CREATE2 操作码，分析了它们在智能合约创建中的不同特性和潜在安全隐患。作者通过具体示例展示了这些操作码在实际应用中的攻击场景，并提出了相应的安全建议，使读者对智能合约开发及安全性有了更深刻的理解。
CREATE  CREATE2  EVM  智能合约  安全  攻击 
  • mixbytes
  • 发布于 2025-03-09
  • 阅读 ( 471 )
  • ( 31 )

可证明改进的启用Hook的前向交换函数 - Uniswap v4 最优路由的严格数学框架

本文深入探讨了Uniswap v4的新功能hooks，如何通过扩展常数函数市场制造者（CFMMs）的可交易性来改善交易路由。文章详细介绍了hooks的数学原理与应用场景，证明了其在某些条件下能够显著提升交易效率，并保持最佳路由问题的可解性。
Uniswap  Hooks  CFMM  交易路由  数学证明  去中心化交易 
  • thogiti
  • 发布于 2025-03-08
  • 阅读 ( 13 )

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

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

Bybit安全事件分析

Bybit安全事件分析撰写本篇文章目的主要是自我学习，部分内容转自CertiK：https://mp.weixin.qq.com/s/krBPYNyNygoNAsdQQ02zsw一、简述2025.2.21，Bybit以太坊上的某个冷钱包(https://etherscan.io/address

  • KEN
  • 发布于 2025-03-07
  • 阅读 ( 640 )
  • ( 14 )

20250101 LAURAToken 攻击事件分析与复现

20250101 LAURAToken 攻击事件分析与复现
  • SpikeDu
  • 发布于 2025-03-07
  • 阅读 ( 493 )
  • ( 11 )

如何使用 Web3 以太坊 JavaScript API

概述以太坊仍然是领先的Web3开发区块链，许多其他区块链都依靠以太坊虚拟机追随以太坊的脚步。这意味着最流行的替代方案与EVM兼容。因此，最终的以太坊Web3API也是最好的EVMAPI。因此，对于希望快速轻松地创建dapps（去中心化应用程序）的开发人员来说，它是一个必不可少

SOON网络：扩展SVM到Solana之外

SOON Network是第一个利用解耦SVM协议的区块链项目，旨在将Solana的执行能力扩展到主要的Layer 1网络，以提高可扩展性和互操作性。文章详细探讨了SOON的架构、技术创新和生态系统发展策略，尤其强调了其在高性能执行和跨链通信方面的优势，展望了其在未来区块链创新中的重要作用。
SOON网络  解耦SVM  Solana  以太坊  高性能  区块链 

合约测试 - 如何定义不变性

本文深入探讨了不变性（invariants）在智能合约安全中的重要性，特别是如何在ERC4626金库中定义不变性。作者详细阐述了不变性定义的过程，并介绍了四种属性类型，帮助开发者理解如何构建安全的智能合约。文章结构清晰，包含丰富的示例和图示，适合有一定基础的开发者阅读。
不变性  智能合约  ERC4626  安全性测试  属性定义  正式验证 
  • Recon
  • 发布于 2025-03-05
  • 阅读 ( 621 )
  • ( 33 )

Optimism 中文周刊 #51

in  Optimism 中文周刊

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

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

in  zkMIPS解读

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

EVM详解之memory

文章旨在记录过去所学知识，若文章内容存在不当，欢迎指出。EVM详解之memory
EVM  Memeory 
  • KEN
  • 发布于 2025-03-04
  • 阅读 ( 369 )
  • ( 10 )

如何使跨链代币重新具备可替代性：第二部分 - ERC-7281

本文探讨了ERC-7281标准如何解决跨链代币的不可替代性问题，提出了一种更有效的代币桥接机制，以提升安全性、流动性和用户体验。ERC-7281的设计允许代币发行者在不割舍控制权的情况下，实现跨链代币的创建和管理，同时通过增强的限额功能改善对区块链桥的风险管理。
ERC-7281  跨链代币  xERC-20  桥接  区块链  代币标准 

链抽象的间接影响

本篇文章深入分析了链抽象如何提高资本效率，增强游戏经济，并推动风险投资向以消费者为重点的去中心化应用程序发展。文中详细探讨了链抽象的核心概念，如统一账户、跨链流动性和意图导向交易，并分享了它们在DeFi、游戏和金融市场的应用潜力。文章不仅结构清晰，逻辑严谨，还包含丰富的图示和实例，适合希望理解区块链未来发展方向的读者。
链抽象  跨链流动性  意图导向交易  去中心化金融  统一账户  区块链技术 

关于 EVM ， 你需要知道的一些概念

关于 EVM ， 你需要知道的一些概念
EVM 

EigenLayer 解锁：通向无摩擦去中心化应用程序的可行路径

本文深入探讨了EigenLayer及其再质押生态系统，介绍了如何通过活跃验证者集（AVS）推动去中心化应用程序的开发。EigenLayer的再质押机制增强了经济安全性，使开发者能够利用以太坊的共识机制来支持新的链下服务，同时降低了进入障碍，并促进了多链生态下的相互作用。文中详细介绍了再质押的经济学、网络安全、操作员的作用和跨链创新等关键概念，以及EigenLayer未来的战略和挑战。
EigenLayer  再质押  去中心化应用  活跃验证者集  协议经济学  跨链安全