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

Solidity 中的定点数运算（以 Solady、Solmate 和 ABDK 为例）

定点数是一个仅存储分子部分的整数——而分母是隐含的。
Solidity  Solidity 数学运算 

单函数重入攻击

本文详细介绍了智能合约中常见的重入攻击，包括其原理、攻击示例和预防方法。通过分析一个简单的 Vault 合约的 withdraw 函数中的漏洞，展示了攻击者如何利用外部调用重复调用 withdraw 函数，从而多次提取以太币。文章还提供了使用 ReentrancyGuard 和 Checks-Effects-Interactions 模式来预防重入攻击的方法。
重入攻击  智能合约  ReentrancyGuard  Checks-Effects-Interactions  以太坊  安全漏洞 
  • Ackee
  • 发布于 2024-06-21
  • 阅读 ( 1125 )

强制选择的分叉包含列表（FOCIL）：一种简单的基于委员会的包含列表提案 - 权益证明/区块提议者

本文介绍了一种名为“Fork-Choice enforced Inclusion Lists (FOCIL)”的基于委员会的简单 IL 设计，旨在提高以太坊的审查抗性和链中立性。FOCIL 通过由验证者委员会创建本地包含列表，区块提议者聚合这些列表，并由验证者评估聚合列表的质量来保证及时交易包含。
审查抗性  包含列表  验证者委员会  区块提议者  FOCIL  链中立性 

如何使用 NFTScan NFT API 在 Sei 网络上开发 Web3 应用

NFTScan NFT API 一站式提供多链数据，帮助开发者检索海量 NFT！
NFTScan  Sei 

什么是Paymaster ？（ERC-4337）

本文详细介绍了以太坊改进提案（EIP）4337中引入的Paymaster智能合约，及其在账户抽象中的作用。本文探讨了Paymaster的两种主要使用情况：赞助用户交易的 Gas 和使用ERC-20代币支付Gas。
Paymaster  Account abstraction  EIP 4337  ERC-20  gas fees  Web3 
  • Alchemy
  • 发布于 2024-06-21
  • 阅读 ( 2108 )

Fork-Choice强制包含列表 (FOCIL)：一个简单的基于委员会的包含列表提议 - 权益证明 / 区块提议者

本文介绍了Fork-Choice强制包含列表（FOCIL）的设计，这是一种基于委员会的简单IL设计，旨在增强以太坊的审查抗性。FOCIL通过选择验证者组成员会，收集本地包含列表，并由区块提议者聚合成汇总列表，再由证明者评估汇总列表的质量来保证交易的及时包含，从而维护以太坊的审查抗性和链中立性。
包含列表  审查抗性  FOCIL  以太坊  区块提议者  MEV 

ERC4337 -- 网络通信

本文档详细阐述了ERC4337的捆绑器软件网络规范，涵盖了网络基础和三种网络交互领域，包括gossip、req/resp和发现域。文中深入探讨了传输、加密、协议协商及多路复用等技术细节，提供了丰富的技术背景与实现细节。
ERC4337  网络规范  gossip  req/resp  libp2p  加密 

Wormhole 安全 - 治理者

本文档介绍了Governor的设计，旨在限制特定漏洞的影响，通过赋予 Guardians 延迟来自已注册Token Bridge的Wormhole消息的选项来实现，特别是当其总名义价值非常大时，给守护者24小时的时间来删除通过软件错误创建的消息，而不是准确地表示原始链的状态，从而防止了漏洞利用。
Wormhole  Governor  Token Bridge  漏洞  安全  Guardian 

Fork-Choice强制包含列表（FOCIL）：一种简单的基于委员会的包含列表提案 - 权益证明/区块提议者

本文介绍了Fork-Choice强制包含列表（FOCIL），一种基于委员会的简单包含列表设计。FOCIL通过选择验证者作为委员会成员，收集本地包含列表，由区块提议者聚合成最终列表，并由证明者评估聚合列表的质量来保证及时交易包含，从而增强以太坊的审查抗性和链中立性。
包含列表  审查抗性  链中立性  区块提议者  验证者  FOCIL 

Solidity中Ownable合约的原理实践

in  Solidity从入门到进阶
在Solidity中，Ownable合约是一种设计模式，用于管理合约的所有权。它通常提供了一些基础功能，如只允许合约所有者执行某些操作，转移合约所有权等；这种权限管理合约在以太坊主网或者其他链的主网上经常会看到。
权限管理  ownable 
  • Louis
  • 发布于 2024-06-21
  • 阅读 ( 3738 )
  • ( 12 )

以太坊升级对智能合约的影响

本文探讨了以太坊升级对智能合约的影响，特别是从The Merge后的升级开始，包括Paris、Shapella和Dencun，详细介绍了每个升级中引入的新特性，例如PREVRANDAO、PUSH0、Danksharding相关操作码、MCOPY、TSTORE/TLOAD以及SELFDESTRUCT的修改，并展望了未来可能的EIP 3074/7702和EOF升级。
以太坊升级  智能合约  EIP  prevrandao  PUSH0  Danksharding 

Solidity中的回退函数fallback和receive详解

in  Solidity从入门到进阶
在Solidity中，回退函数（fallbackfunctions）是在合约接收到以太币或调用不存在的函数时触发的特殊函数。自Solidity0.6.0版本起，回退函数分为两种：fallback函数和receive函数。
Solidity  回退函数 
  • Louis
  • 发布于 2024-06-21
  • 阅读 ( 4485 )
  • ( 12 )

Solidity中的payable关键字

in  Solidity从入门到进阶
在Solidity中，payable关键字用于标识可以接收以太币的函数或地址。只有带有payable关键字的函数才能接收以太币转账。默认情况下，地址类型是不可支付的，也就是说，你不能直接向一个普通的地址类型发送以太币。为了发送以太币，我们需要将地址转换为payable地址。这样可以防止意外
Solidity  payable  支付 
  • Louis
  • 发布于 2024-06-21
  • 阅读 ( 4748 )
  • ( 15 )

raydium-amm-v3--increase_liquidity

raydium-amm-v3 注释
Solana  Raydium 

Web3 极客日报 #1532

Web3 极客日报 #1532
  • rebase
  • 发布于 2024-06-20
  • 阅读 ( 1828 )
  • ( 15 )

基于 RISC V 的ZK 虚拟机 zkVM 1.0 上线

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。
zkVM  RISC0 
  • RISC ZERO
  • 发布于 2024-06-20
  • 阅读 ( 2614 )
  • ( 7 )

Cashu：一种以比特币为储备的 ecash 生态系统

本文介绍了 Cashu，一个基于比特币的电子现金系统，它通过盲签名技术实现隐私保护，并鼓励建立小型、个人化的铸币厂生态系统。文章还探讨了 Cashu 如何利用 Nostr 协议进行铸币厂发现，支持多铸币厂的使用，以及如何通过脚本为 ecash token 增加可编程性，类似于比特币脚本。
Cashu  Ecash  盲签名  Nostr  闪电网络  铸币厂 

强制分叉选择的包含列表（FOCIL）：一个简单的基于委员会的包含列表提议 - 权益证明/区块提议者

本文介绍了Fork-Choice enforced Inclusion Lists (FOCIL)，一种基于委员会的简单IL设计，旨在增强以太坊的审查抵抗和链中立性。FOCIL通过选择验证者组成IL委员会，由委员会成员创建本地包含列表，区块提议者聚合这些列表，并由证明者评估聚合列表的质量来实现。
以太坊  审查抵抗  包含列表  FOCIL  验证者  区块提议者 

zkVM 性能升级路线图 - 2024 年第三季度

RISC Zero 在 zkVM 1.0 的性能提升方面取得了显著进展，自 Q1 以来已实现 10 倍的成本改进，并计划在 Q3 继续通过 GPU 优化、新电路设计和专用加速器电路实现性能提升，目标是到年底实现 20 倍的成本改进。重点领域包括加速器、GPU 证明和基准测试套件。
zkVM  RISC Zero  GPU优化  零知识证明  性能提升  加速器电路 

区块构建不仅仅是背包问题！- 权益证明/区块提议者

本文对区块链中的区块构建问题进行了形式化建模，证明了区块构建至少是背包问题和最大独立集问题的结合，因此属于NP-hard问题。接着，提供了几种具有不同权衡的贪婪算法，并通过模拟结果验证了这些算法。结果表明，通过已知背包约束调整贪婪解，在费用收益方面优于当前使用的贪婪算法约15%。最后，讨论了这在以太坊中对区块构建者的实际意义，并提出了未来研究方向。
MEV  区块构建  以太坊  背包问题  最大独立集问题  贪婪算法