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

Sirrah：快速运行TEE协处理器

本文介绍了Sirrah，一个结合了机密计算和区块链的极简示范，利用受信执行环境（TEE）扩展智能合约的功能。文章详细阐述了TEE的工作原理，包括如何通过Solidity编程实现安全拍卖过程，并介绍了实施过程中的设计与技术细节。此项目展示了如何在保留可见性的同时，实现数据的机密性与安全性。
Trusted Execution Environments  SGX  机密计算  Solidity  拍卖  加密 

Data Availability Sampling（二）：DAS in Danksharding

本文详细探讨了DAS（数据可得性抽样）在以太坊Danksharding中的实现方法，首先介绍了相关的基础知识与背景，接着讲解了使用糾刪碼（Reed-Solomon Codes）增加区块数据可靠性的原理，以及如何利用承诺机制（KZG承诺）验证数据的完整性。最后，文章讨论了在p2p网络中进行数据共享与抽样的挑战，包括对隐私与安全性的考量。
DAS  Danksharding  Reed-Solomon codes  数据可得性  KZG承诺  P2P网络 

Shutterized OP Stack 测试网公告与路线图

Shutter Network 宣布了在 OP Stack 上构建加密 mempool 的最新进展和路线图，目标是增强 Optimism 生态系统的安全性、防止抢跑交易和审查。计划在二月份发布 Shutterized OP Stack L2 的测试网，并与 OP Stack L2 合作在三月份发布联合测试网。此外，还提交了向 OP DAO 的任务请求，以构建 OP Stack 的通用加密接口。
OP Stack  加密 mempool  前端运行  审查抵抗  MEV  Shutter Network 
  • shutter
  • 发布于 2024-01-27
  • 阅读 ( 822 )

利用EigenLayer双重质押赋能比特币zkBridge

Polyhedra Network的zkBridge是区块链技术的重大进步，提供了安全的跨层网络之间消息和资产的传输解决方案。通过引入零知识证明和与EigenLayer的双重质押机制，网络解决了比特币在智能合约功能方面的限制，并增强了整个区块链生态系统的安全性和信任度。这一系列创新不仅提升了跨链交易的效率，还为参与者提供了新的收益机会。
zkBridge  双重质押  比特币桥  零知识证明  分布式网络  跨链交易 

深入探讨 Cairo 的 AIR 以及我们在 Lambdaworks 中为兼容 Starknet Stone Prover 所做的更改

本文介绍了Lambdaworks STARK Platinum prover为支持Starknet Stone prover所做出的改进，特别是关于如何更灵活地定义和测试代数中间表示（AIR）和约束。
STARK Platinum prover  Starknet  Stone Prover  代数中间表示  AIR  Transition Constraints  zerofier 

第一部分：Starknet 主权：一项去中心化提案

本文介绍了 Starknet 的去中心化方案，包括引入原生代币和建立新的基金会。Starknet 代币用于治理，支付网络费用和参与质押。已经铸造了 100 亿个代币并开始分配。Starknet 基金会的使命是维护 Starknet 作为一个公共产品。Starknet 通过 STARKs 技术实现以太坊的扩展，同时保持其核心原则。
Starknet  去中心化  STARKs  代币  基金会  治理 

泰达币的崛起：解析主导稳定币的增长

本文深入探讨了Tether（USDT）作为主流稳定币的增长，分析了其供应增长、采用情况、使用模式及储备情况。Tether在数字资产生态系统中的重要性日益突出，尤其是在高通胀和货币贬值的经济条件下，成为人们寻求金融稳定的重要工具。尽管有关其透明度和储备的担忧尚存，Tether凭借其广泛的采用和多样化的应用继续推动着稳定币市场的发展。
Tether  稳定币  USDT  以太坊  去中心化金融  区块链 

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  系统调用  预图像  状态转换 

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

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