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

完全递归 SNARK 电路 -“边玩边赚”的救星 - zk-s[nt]arks

本文探讨了使用零知识证明（ZK）技术在区块链游戏中的应用，重点介绍了递归zkSNARKs的技术背景及其在提升游戏性能、隐私性和信任度方面的作用。文章通过案例研究ZK-Hunt，展示了ZK技术如何在链上实现复杂的策略游戏机制和信息不对称，并讨论了ZK技术在资产隐藏、决策隐私和进度保密等方面的创新应用。
零知识证明  zkSNARKs  递归SNARK  区块链游戏  隐私  ZK-Hunt 

L2 链衍生规范

本文档是 L2 链衍生规范，描述了从 L1 数据推导 L2 区块的过程，这是 Rollup 节点的主要职责之一。内容涵盖了从 L1 区块中提取数据、构建批次、处理交易、以及最终生成 L2 区块的整个流程，还包括批量提交的格式、架构设计、以及如何在 L1 重组时重置管道等重要方面。本文档针对rollup节点。
L2链衍生  rollup节点  排序器  批量提交  数据可用性  L1重组  Payload属性 

保障 Gas 费市场

本文介绍了Optimism Rollup中用于保证L1到L2交易（即Deposited transaction）的Gas机制。它详细说明了如何通过燃烧L1的Gas来购买L2上的Gas，以及如何通过EIP-1559类似的费用市场来限制和调节Gas的使用，同时解释了燃烧L1 Gas的必要性，并讨论了防止恶意攻击的机制。
Optimism  Rollup  L1 gas  L2 gas  Gas费用市场  EIP-1559 

欺诈证明

本文档深入探讨了 Fault Proof（也称为欺诈证明或交互式游戏）的组成部分：program，vm，以及交互式的争议解决游戏。
fault proof  Pre-image Oracle  Fault Proof Program  Fault Proof VM  Interactive Dispute Game  欺诈证明 

以太坊 - 术语表

本文档是 Optimism 项目的术语表，详细定义了 L1/L2、区块、交易、排序器、存款、提款、批处理提交、L2 链推导等核心概念。解释了这些概念在 Optimism rollup 中的作用，以及它们与以太坊主链的交互方式，例如排序器如何工作、存款和提款的流程、以及如何从 L1 数据推导出 L2 链。
Layer2  Rollup  Optimism  排序器  存款  提款  数据可用性 

超级链升级

本文档介绍了OP-Stack的超级链升级，包括协议版本格式、超级链目标、激活规则以及后Bedrock网络升级。协议版本用于标识对OP-Stack规范的支持程度，而超级链目标定义了跨OP-Stack链共享的激活规则和L1合约升级。文章还详细说明了Regolith升级，该升级对存款处理进行了细微更改。
op-stack  超级链  协议版本  激活规则  Regolith  Bedrock  L1合约升级 

我与Ola的故事：与来自世界的声音相遇 - Ola大使访谈系列1

本文介绍了Ola Ambassador Program的第一期，通过采访来自韩国、日本、伊朗和印度的五位大使，展示了他们对Ola项目及其ZKVM技术的贡献和热情。他们分享了加入Ola的原因、学习经历、2024年的目标以及对未来大使的建议，旨在扩大Ola的影响力，并促进社区的参与和创新。
zkVM  Layer2  隐私  Ola Ambassador Program  社区  Web3 

预部署合约

本文档介绍了Optimism网络中的预部署合约，它们位于预先确定的地址，类似于预编译合约，但直接在EVM中运行。
预部署合约  Optimism  L2  跨域消息传递  桥接  EVM 

L2 链推导规范

本文档详细阐述了如何从L1数据中推导出L2链，这是rollup节点的核心任务之一。内容涵盖批量提交的各个方面，包括排序、批处理、线格式、架构、L1遍历、有效载荷属性推导，以及引擎队列的使用。同时还描述了在L1链重组情况下如何重置管道，以确保L2链的连续性和正确性。
L2链  数据推导  rollup节点  批量提交  排序  负载属性  引擎队列 

争议游戏接口

本文档定义了争议游戏（Dispute Game）的接口，争议游戏用于在乐观rollup中，当对layer2状态的声明产生争议时，由多方参与进行仲裁。文档详细描述了`DisputeGameFactory`和`DisputeGame`两个核心接口，以及相关的类型定义，为不同证明系统（如欺诈证明、有效性证明、认证证明）的实现提供了灵活性。
争议游戏  乐观 Rollup  欺诈证明  有效性证明  DisputeGameFactory  DisputeGame 

系统配置

本文介绍了Optimism Rollup 的 SystemConfig 合约，该合约用于在L1上发出rollup配置更改的日志事件，这些更改会被L2的区块衍生过程获取并应用。文章详细说明了SystemConfig合约中包含的参数，如batcherHash、overhead、scalar、gasLimit以及unsafeBlockSigner，以及如何读写这些配置。
SystemConfig  Rollup  batcherHash  gaslimit  L1费用参数  unsafeBlockSigner 

L2 输出根提案规范

本文档描述了Optimism Rollup中L2输出根提案的规范。为了实现L2到L1消息传递的信任执行，需要将L2的状态同步到结算层L1。Proposer构建并提交L2状态的承诺（输出根）到L1上的L2OutputOracle合约。本文档详细介绍了L2输出承诺的构造方式，L2OutputOracle合约的接口，以及在面对L1重组时的安全考虑。
L2  Optimism  Rollup  输出根  状态承诺  L2OutputOracle 

Cannon故障证明虚拟机规范

本文档详细描述了Cannon故障证明虚拟机（FPVM）的规范，该虚拟机模拟了一个运行在big-endian 32位MIPS32架构上的最小Linux系统，重点介绍了FPVM的状态（包括内存、寄存器等）、内存管理（包括堆）、延迟槽、系统调用、I/O操作（包括标准流、提示通信和预图像通信）以及异常处理，为理解和实现FPVM提供技术指导。
Cannon FPVM  故障证明虚拟机  MIPS32  系统调用  预图像  状态转换 

BitVM之父-Robin Linus

RobinLinus是BitVM的作者，同时也是ZeroSync的创始人和核心贡献者；
Layer2 

uniswapV2交易流程简介

uniswapV2交易流程介绍（代码层面）
Uniswap V2 

BitVM白皮书中英文版本

BitVM：在比特币上进行任何计算 中文翻译：BitVM中文社区
Layer2  BitVM 

离线授权 NFT EIP-4494：ERC721 -Permit

in  全面掌握Solidity智能合约开发
如何将 ERC2612 的 Permit 方式应用到 ERC721 NFT 上。
ERC721  NFT 

Uniswap v2：对于流动性提供者来说仍然划算吗？2023 年的回顾

该文章从发散损失、费用收入和交易量来源三个角度分析了以太坊主网上 Uniswap v2 WETH/USDC 池，得出结论是该池仍然是 LP 的有利选择。尽管 ETH 价格几乎翻了一番，但该池能够跑赢 5% 的发散损失，并在今年大部分时间里保持相对于 50:50 HODL 的正收益。
Uniswap V2  WETH/USDC  DEX  流动性提供者  LVR  MEV 机器人 
  • atise_
  • 发布于 2024-01-23
  • 阅读 ( 226 )

Solana NFT 市场报告 - 2023年12月

该报告总结了2023年12月Solana NFT市场的显著增长，强调了长尾NFT系列的崛起、交易量的显著增加以及生态系统的可持续货币化。同时，报告还关注了铭文的兴起、参与者的获利行为以及市场动态，特别是Tensor的市场份额增长等趋势。
NFT  Solana  长尾效应  交易量  Inscription  Tensor  市场报告 
  • syndica
  • 发布于 2024-01-23
  • 阅读 ( 111 )

L2 执行引擎

本文档概述了L1执行引擎对L2的修改、配置和使用，包括处理存款交易、手续费的收取方式（优先级费用、基础费用和 L1 成本费用），还介绍了Engine API 的使用，例如 forkchoiceUpdatedV1、newPayloadV1、getPayloadV1，以及L2执行引擎的网络和同步方式。
L2执行引擎  存款交易  Engine API  手续费  网络  同步