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

安全可靠 - 深入了解 STARK 安全系统

安全可靠-深入了解STARK安全
区块链安全  预言机  zkSTARK 

optimism sequencer背后的魔法（五）：L2派生（derivation）原理

我们都知道layer2的运行节点是可以从DA层（layer1）中获取数据，并且构建出完整的layer2区块数据的。今天我们就来讲解一下这个过程中是如何在codebase中实现的。
Optimism  sequencer  Layer2 
  • joohhnnn
  • 发布于 2023-10-23
  • 阅读 ( 3145 )
  • ( 51 )

optimism sequencer背后的魔法（三）：libp2p在op-stack中的使用

在本节中，主要用于讲解optimism是如何使用libp2p来完成op-node中的p2p网络建立的。 p2p网络主要是用于在不同的node中传递信息，例如sequencer完成unsafe的区块构建后，通过p2p的gossiphub的pub/sub进行传播。
Optimism  sequencer  Layer2 
  • joohhnnn
  • 发布于 2023-10-23
  • 阅读 ( 3034 )
  • ( 48 )

optimism sequencer背后的魔法（二）：op-stack中区块的传递

区块的传递是整个optimism rollup系统中较为重要的概念，在这一章节，我们将从介绍optimism中多种sync方式的原理，来揭开整个系统里区块的传递过程。
sequencer  Layer2  Optimism 
  • joohhnnn
  • 发布于 2023-10-23
  • 阅读 ( 3853 )
  • ( 61 )

构建你自己的Rollup

使用极简代码库，亲身实践构建一个最小功能集合的主权 Rollup
Rollup  Layer2 

Pessimism: Base 构建的开源监控系统

Pessimism，一个开源的监控系统，旨在通过快速检测和响应各种对协议的威胁，增强 Base（以及更广泛的 OP Stack 和以太坊生态系统）的安全性。
OP Stack  区块链安全  EVM 

optimism sequencer背后的魔法（一）：sequencer究竟是如何在l2上构建区块的

Sequencer 在 Layer 2 (L2) 解决方案中起到核心作用，主要负责交易汇总，L1 数据派生，L2 区块生成，L1 batch 数据提交，以及 L1 中 L2 state root 的提议。在本文中，我们将深入探讨 Sequencer 的工作原理和相关代码实现。
sequencer  Optimism  Layer2 
  • joohhnnn
  • 发布于 2023-09-20
  • 阅读 ( 4007 )
  • ( 82 )

Proto-danksharding 是什么以及它是如何工作的

以太坊的下一次升级主要是引入了EIP4844（Proto-danksharding）， 这篇文章介绍了Proto-danksharding 是如何降低大幅 Rollup 的成本， 以及他有哪些局限性。
EIP4844  以太坊  DA 

去中心化 Rollups

随着 Rollups 使用的增加并托管生态的应用程序，用户的迁移成本将增加，中心化的排序器将获得对定价的垄断性影响力。中心化排序器的控制者有理由从用户中直接（例如通过费用）和间接（例如通过抢跑交易、三明治攻击等）最大程度地提取价值（MEV）。
去中心化 

thirdweb: 在 Scroll zkEVM 上部署智能合约

如何创建一个简单的 NFT Drop 智能合约，将其部署到Scroll Alpha Testnet，并在智能合约上铸造 NFT。
合约部署  zkEVM 

科普：零知识证明、ZKRollup 与 zkEVM

译者语：2023 年将迎来 zkEVM 大发展，让我们看看有哪些项目在进行 zkEVM 的研究，zkEVM 可以做什么
zkEVM  ZK Rollup 

Arbitrum Nitro 是怎样扩容的以及如何使用它

Arbitrum 一个区块链上的区块链，我们要研究一下它
Arbitrum  Rollup 

二层网络 Optimism 智能合约要点解析

解析Optimism在代码层面是如何工作的
Optimism  Rollup  智能合约 

突破区块链不可能三角（终）——分片（下）

in  突破区块链不可能三角

突破区块链不可能三角（终）——分片（下）
以太坊  分片  跨链 
  • maxdeath
  • 发布于 2021-12-30
  • 阅读 ( 6116 )
  • ( 93 )

ARBITRUM Token桥使用教程

二层网络 Arbitrum 已经上线了， 看看如果把 token 转移到二层网络
Arbitrum  Rollup 

L2 - 深入理解Arbitrum

Arbitrum是Layer2 Rollup的一种方案。采用挑战机制确定Rollup状态的终局性。为了引入轻便挑战机制，Arbitrum定义了AVM，一种可以方便证明执行状态的虚拟机，并设计了mini语言和编译器。在AVM上模拟了EVM的执行环境，兼容EVM。挑战时将执行过程进行400分分割，由L1执行少量指令确定状态是否正确。
Layer2  Arbitrum 
  • Star Li
  • 发布于 2021-06-23
  • 阅读 ( 5063 )
  • ( 11 )

L2 - zkSync证明聚合

Matter-Labs开源了PLONK算法的验证电路，能实现多个PLONK证明的聚合证明。聚合电路证明某个证明可验证，并且验证使用的VK是正确的。注意的是，PLONK算法验证的最后一步（配对函数）并没有在电路中验证，而是依赖智能合约进行验证。
PLONK  zkSync  Layer2 
  • Star Li
  • 发布于 2021-05-06
  • 阅读 ( 4256 )
  • ( 4 )

为 Optimism Rollup上开发 Dapp 准备的脚手架

scaffold-eth 为optimism 上开发提供一个新的分支 local-optimism 帮助上手optimism DApp 开发
Rollup  scaffold-eth 

L2 - 深入理解zkSync电路预处理

zkSync虽然采用PLONK零知识证明算法，但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括：1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取：1/sigma函数 2/ 门系数多项式。
Layer2  zkSync  PLONK 
  • Star Li
  • 发布于 2021-03-12
  • 阅读 ( 3774 )
  • ( 13 )

以太坊二层网络当前状态

各种L2解决方案现状
Rollup  扩容