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

Web3 极客日报 #1706

  • rebase
  • 发布于 2025-03-25
  • 阅读 ( 967 )
  • ( 6 )

模糊测试与不变性测试 - ImmuneBytes

本文介绍了模糊测试（Fuzz Testing）在智能合约中的应用，特别是在Solidity中。模糊测试通过生成随机输入来测试代码中可能被忽略的边界情况，结合不变性测试验证系统在各种情况下的预期行为。文章还探讨了有状态和无状态模糊测试、有界模型检查（BMC）以及端到端测试与模糊测试的结合，旨在提高智能合约的安全性。
模糊测试  智能合约  Solidity  不变性测试  有界模型检查  端到端测试 

Nillion (NIL)：Nillion区块链技术架构解析

本文深入探讨了 Nillion，一个专注于 AI 的私有计算平台。它采用双层网络架构，包括协调层（NilChain）和编排层（Petnet），利用多方计算（MPC）等隐私增强技术，通过Nillion SDK 和 Nada 编程语言，开发者可以在该网络上构建隐私保护应用程序。
Nillion  私有计算  多方计算  MPC  Nada编程语言  隐私增强技术 
  • DAIC
  • 发布于 2025-03-25
  • 阅读 ( 305 )

Sunnyside Devnet更新 - 03/18

本文总结了Sunnyside在Pectra和PeerDAS devnet上进行的三项测试的更新。
Pectra  PeerDAS  Devnet  Blob  带宽限制  区块传播时间 

ERC 1155 - OpenZeppelin 文档

该文档介绍了 OpenZeppelin Contracts 3.x 版本中与 ERC1155 多重代币标准相关的接口和合约。
ERC1155  多重代币  智能合约  OpenZeppelin  IERC1155  元数据 

CertiK首席商务官做客Cointelegraph播客：14亿美金劫案背后的安全启示

in  CertiK 安全知识分享
CertiK首席商务官JasonJiang近日做客Cointelegraph《TheAgenda》播客，就Bybit事件深入探讨Web3.0安全。当14亿美元资产一夜蒸发，震惊的不只是行业，更是每一位关注数字财富安全的用户。这不仅是加密史上最大盗窃案，也暴露了在行业高速发展中潜藏的风险。Ce
  • CertiK
  • 发布于 2025-03-25
  • 阅读 ( 1245 )
  • ( 11 )

文化链是新基础

本文提出了“文化链”的概念，即为特定社群和文化产业量身定制的区块链，它不是通用型的区块链，而是专注于服务特定社群，通过将基础设施与高粘性的用户社群相结合，从而实现更有针对性和可持续的网络增长。文章还列举了Story, Animecoin, 和Abstract 这些文化链的早期实践案例，虽然文化链可能存在一些问题，但是文章仍然看好文化链的未来。
文化链  社群  meme  NFT  区块链  加密货币 

社区概览

本文档是Developer DAO社区的概览，详细介绍了社区的目标，包括改进外部和内部成员加入流程、更新DAO Wiki，以及社区内的各种项目，并提供了参与方式。文档还列出了社区的贡献者及其技能、在DAO中担任的角色，以及相关的管理信息，例如路线图和财务情况。
DAO  社区治理  Web3  开发者  项目  贡献者 

案例研究：Lomads DApp 安全审查 – ImmuneBytes

Lomads是一个去中心化自治组织(DAO)创建和管理平台，通过多重签名保险箱、SWEAT Points贡献跟踪和直观的用户界面来促进社区协作，并委托进行了全面的渗透测试以确保安全。该渗透测试发现了未经授权的DAO详细信息修改、多重签名保险箱状态切换、XSS漏洞、SWEAT Points禁用等关键问题，并提出了加强访问控制、输入验证、内容安全策略等改进建议。
DAO  渗透测试  多重签名  XSS  访问控制  安全 

bips/bip-0342.mediawiki，位于 ajtowns/bips 的 bip-anyprevout

该文档详细描述了 Taproot 脚本验证的语义，包括对签名操作码的修改、多重签名策略的实现、以及资源限制的变化等。Tapscript通过软分叉进行升级，并引入了OP_SUCCESS操作码以实现更简洁的新操作码引入方式，旨在改进比特币脚本系统的灵活性和效率。
Taproot  Tapscript  Schnorr签名  OP_CHECKSIGADD  多重签名  软分叉 
  • ajtowns
  • 发布于 2025-03-25
  • 阅读 ( 622 )

@solana/web3.js 2.0：Solana 转账全流程解析

in  Solana
@solana/web3.js2.0：Solana转账全流程解析Solana区块链以高吞吐量和低交易成本，已成为开发者的热门选择。而@solana/web3.js2.0作为最新一代JavaScript库，为与Solana网络交互提供了更高效、模块化的工具。本文将深入剖析如何使
Web3  Solana 

Noir的背后：从代码到约束

本文深入探讨了Zero-Knowledge Proof（ZKP）及其在去中心化系统中的应用，重点介绍了Noir语言的编译过程。通过实例展示如何将高层次的Noir代码转换为ACIR（抽象电路中间表示），从而实现ZKP所需的数学约束，涵盖了从基本电路、Pedersen散列到动态内存访问与条件执行的更复杂电路的实现。
zero-knowledge proofs  Noir  ACIR  Pedersen hash  电路开发 

原生账户抽象

本文提出了一种结合EIP-2938和ERC-4337的原生账户抽象提案，通过将以太坊交易拆分为验证、执行和后交易逻辑的多个步骤，实现了更好的兼容性和效率。文章详细阐述了新交易类型的定义、规则及其在现有协议中的应用，尤其关注了向后兼容性和安全性。
账户抽象  EIP-2938  ERC-4337  交易验证  智能合约  以太坊 
  • ethereum
  • 发布于 2025-03-25
  • 阅读 ( 1280 )
  • ( 24 )

如何学习智能合约开发：一个实用的旅程

本文介绍了智能合约开发的实用学习方法，强调通过实际项目、黑客松和参与开源项目来积累经验并转化为职业机会。作者提供了学习Solidity的推荐资源，及如何建立公开作品集以展示技能，最后总结了成为Web3开发者的关键步骤。
智能合约  Solidity  区块链  黑客松  开源项目  Web3 

Solana 中的Tx.origin、msg.sender 和 onlyOwner

in  Solana 学习开发之旅
在 Solidity 中，msg.sender 表示调用智能合约函数的地址，tx.origin 表示签署交易的钱包地址。本文将探讨 Solana 中类似的调用者识别机制及 onlyOwner 模式的实现。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-25
  • 阅读 ( 1767 )
  • ( 8 )

Solana 日志、事件日志与历史交易查询

in  Solana 学习开发之旅
本节将探讨 Solana 中的日志和事件日志，以及如何查询历史交易。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-25
  • 阅读 ( 2192 )
  • ( 12 )

Solana 系统变量详解

in  Solana 学习开发之旅
在 Solana 中，系统变量（sysvars）是只读的系统账户，为程序提供区块链状态和网络信息的访问权限。它们类似于以太坊的全局变量，但每个系统变量拥有唯一的公钥地址，类似以太坊的预编译合约。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-25
  • 阅读 ( 1591 )
  • ( 11 )

Solana 中的时钟与其他区块变量

in  Solana 学习开发之旅
本文将介绍 Solana 中与 Solidity 区块变量对应的概念。
Solana  Anchor 
  • 0xE
  • 发布于 2025-03-25
  • 阅读 ( 1713 )
  • ( 7 )

Meta交易 - OpenZeppelin 文档

本文档介绍了Meta Transactions，即从交易发起者抽象执行上下文的能力，遵循ERC-2771规范。主要介绍了ERC2771Context和ERC2771Forwarder两个合约，分别用于重写执行上下文的发送者和calldata，以及实现一个生产级别的转发器，用于转发由EOA离线签名的操作请求。文档还详细说明了每个合约的函数、事件、错误以及安全考虑。
Meta Transactions  ERC-2771  ERC2771Context  ERC2771Forwarder  EIP712  元交易 

以太坊提案者选择机制在 Electra 更新前后的变化

这篇文章详细介绍了以太坊的提案者选择机制在 Electra 更新前后的变化，阐述了如何通过有效余额和随机数影响提案者的选取概率。文章同时提到在 epoch 边界情况下，如何有效余额的变化会影响提案者的预测，使得预测变得更加复杂。
以太坊  提案者选择  有效余额  随机数  Electra  RANDAO