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

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

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

Berachain (BERA) 的技术架构

本文深入探讨了 Berachain 的技术架构，包括其与 EVM 兼容的 Polaris 虚拟机、CometBFT 共识机制以及创新的 Proof of Liquidity (PoL) 机制。PoL 通过激励流动性提供者和验证者，解决了传统 PoS 的问题，并详细介绍了 Berachain 验证者的角色、BGT 的使用，为 Cosmos 生态带来了创新。
Berachain  CometBFT  Proof of Liquidity  Polaris EVM  EVM  Cosmos 
  • DAIC
  • 发布于 2024-01-24
  • 阅读 ( 18 )

什么是 “JIT 通道”？

in  BTCStudy 精选
为了彻底改变用户进入闪电网络以及在闪电网络中交互的体验而提出异步支付和 JIT 通道技术
闪电网络 
  • BTCStudy
  • 发布于 2024-01-24
  • 阅读 ( 2439 )
  • ( 2 )

Caulk, Caulk+ 学习笔记

Caulk+ 是 Caulk 的优化版本方案，它用了一个被称为「polynomial divisibility check」的方法来替换原本的子协议，以提升 Caulk 生成证明的效率，使得证明复杂度仅与子集的大小有关，而与原向量的大小无关。
零知识证明 

Finschia 和 Klaytn 的主网合并提案：过去与未来之路

Klaytn和Finschia提议合并主网，旨在打造亚洲领先的区块链，推动Web3主流应用。该提议详细讨论了合并的背景、细节、潜在协同效应以及社区的担忧。文章还探讨了合并后项目Dragon未来的发展方向，强调透明治理和构建全球生态系统的重要性。
Klaytn  Finschia  主网合并  区块链  Project Dragon  治理 

Solana上的Token-gating - Solana移动教程

本文介绍了如何使用 Helios DAS API 和 React Native 建立一个基于 Solana Saga 的 token-gated dApp，详细阐述了设置环境和实现的步骤，并讨论了 token-gating 的应用场景，强调了数字资产所有权的价值与社区体验的提升。
Solana  token-gating  DAS API  React Native  Saga Genesis Token  区块链 
  • Helius
  • 发布于 2024-01-24
  • 阅读 ( 1105 )

2024年最佳的15款Web3钱包

这篇文章详细介绍了Web3钱包的概念及其主要功能，进一步探讨了热钱包和冷钱包的不同类型及其优缺点。此外，文中列出了几种流行的加密货币钱包，并对其特点进行了比较，帮助读者选择合适的加密货币钱包。文章结构清晰，逻辑严谨，适合对加密货币钱包感兴趣的读者。
Web3钱包  热钱包  冷钱包  加密货币  去中心化应用  安全性 
  • Alchemy
  • 发布于 2024-01-24
  • 阅读 ( 2346 )

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