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

Web3 极客日报 #1696

  • rebase
  • 发布于 2025-03-13
  • 阅读 ( 430 )
  • ( 8 )

DApp基础学习（一）

这是WTF社区做的一个DApp的教程，有基础，感兴趣的可以学习：https://github.com/WTFAcademy/WTF-Dapp 文章相当于我的总结，开始教程前建议学习一下React。代码仓库：https://github.com/langjiyunmie/WTF-DAPP-STUDY

DApp  Typescript 

Arcium：Solana的隐私2.0

本文深入探讨了加密技术领域中的隐私悖论，介绍了新一代隐私方案 Arcium 如何通过共享私有状态(Privacy 2.0)来解决区块链数据透明性带来的隐私问题。文章阐明了多方计算、全同态加密等技术在提升隐私保护方面的优势，并提供了丰富的细节和应用场景，强调了未来 DeFi 和 AI 等领域的潜在发展。
加密技术  隐私保护  多方计算  共享私有状态  区块链  Arcium 
  • Helius
  • 发布于 2025-03-13
  • 阅读 ( 1074 )
  • ( 60 )

Solana 算术运算：构建金融应用的最佳实践

本文深入探讨了在Solana区块链上开发金融应用时，如何确保安全的数字计算。重点包括使用整数和小单位、避免精度损失、实施一致的四舍五入策略以及使用无浮点数的利息计算。文章还强调了传统金融编程技巧的重要性，避免了常见的编程错误，使得开发者能够更好地处理用户的资产安全。
Solana  金融应用  整数运算  精度管理  利息计算  Rust 
  • Helius
  • 发布于 2025-03-13
  • 阅读 ( 1525 )
  • ( 50 )

深入剖析 Go 接口底层实现：从 eface 到 iface（基于 Go 1.24 源码）

in  Go 语言

深入剖析Go接口底层实现：从eface到iface（基于Go1.24源码）在Go语言中，接口（interface）是实现多态和抽象的核心特性，其简洁的语法背后隐藏着复杂的运行时机制。本文基于Go1.24的源码，深入探讨空接口（interface{}）和非空接口的底层表示—
go 

系统合约/引导加载程序描述 (VM v1.5.0)

本文档详细描述了 Matter Labs 的 ZKsync Era 的系统合约和启动加载器的架构与功能。
zkSync  系统合约  Bootloader  zkEVM  账户抽象  L1-L2桥  数据可用性 

理解 Optimism 设计 P1 - 架构设计

本文专注于Optimisim的架构学习和思考，是第一篇，希望从OP入手，逐渐拓展对Rollup、二层网络等方案的理解。在前面写过一些列文章涉及了常见的共识协议，如HotStuff，Tendermint等传统BFT共识以及更为综合和现代的以太坊Gasper，在学习了它们后，我对
OP Stack 

Tendermint 的协议设计和一些思考（二）

本篇文章是阅读了《区块链架构与实现——Cosmos详解》之后，对Tendermint理解更新。包括部分协议设计的底层逻辑，从工程实现的角度（而不仅仅是原理上）对具体模块进行阐述，比如Proposer轮换以及Slashing策略。本系列共有三篇文章，此为第三篇。从HotStuff
共识协议  Cosmos 

什么是Solana PDA？解释与示例（2025）

本文详细介绍了Solana中的程序派生地址（PDA）的概念和应用，PDA作为一种键值数据存储，能够独立存取和更新数据，并为Solana智能合约提供高效的并发处理能力。文章提供了四个具体实例，展示了PDA在资产存储、程序数据管理、可配置参数以及代币转账中的使用，为开发者理解和应用PDAs提供了实用的视角。
pda  Solana  智能合约  键值存储  程序派生地址  代币转移 
  • Helius
  • 发布于 2025-03-13
  • 阅读 ( 1353 )
  • ( 62 )

Solidity 0.8.29 发布

Solidity 0.8.29 发布
Solidity 

谁动了我的测试网？

本文主要讨论了以太坊测试网Holesky和Sepolia最近出现的问题，以及这些问题对依赖这些测试网的外部实体的影响。文章提出了对Sepolia和Holesky测试网的需求进行明确，并强调了核心开发者需要一种尽可能接近主网的测试方式的重要性。同时反思了测试策略，并提出改进建议，以减少测试环境与主网之间的差距，降低潜在风险。
测试网  Holesky  Sepolia  Pectra  主网  客户端 

Arbitrum之智能合约

作为一个初入Web3领域的小白，会直面很多新鲜事物的冲击，也很容易陷入到细枝末节，让自己失去信心。如何能让自己可以在一个适当的维度上学习、探索Web3，就成为一个可行的方式。最近，参加了HackQuest的Arbitrum共学营，自己以接近小白的身份去了解Arbitrum，学习的过程也是思考总结
Arbitrum  Smart Contract  Stylus 
  • Henry Wei
  • 发布于 2025-03-13
  • 阅读 ( 459 )
  • ( 13 )

Fireblocks 可升级代币审计 - ERC1155F

本篇文章介绍了对Fireblocks升级可转让代币的审计过程及其结果，主要关注ERC-1155标准的实现及其附加的访问控制功能。审计中发现了12个问题，其中1个为低级别问题，并提出了多项改进建议，以提升代码质量和文档清晰度。
ERC-1155  访问控制  审计  Solidity  智能合约  Fireblocks 

通过智能合约理解 Chainlink Functions

本文介绍了如何使用 Chainlink Functions 将智能合约连接到外部 API，以获取城市的天气数据。通过 WeatherFunctions.sol 代码库，展示了如何创建 Chainlink Function Subscription，以及如何在智能合约中构建和发送请求，并处理返回的数据。文章详细解释了智能合约的关键步骤，例如参数传递，请求初始化等。
Chainlink Functions  智能合约  API集成  天气数据  预言机  区块链 

Fireblocks可升级代币审计 - ERC721F

该文章对Fireblocks的可升级tokens进行了审计，主要围绕ERC721F合同中的访问控制实现及其漏洞进行了讨论。审计发现了一些高、中、低严重性的安全问题，并提供了相应的修复建议和代码改进的方向，强调了合同的可升级性及其实现中的功能特点。
ERC721F  可升级性  访问控制  安全审计  Solidity  智能合约 

用 AI 开发 Chrome 插件：替代 SwitchyOmega

引言最近，《SwitchyOmega被曝盗取私钥，如何防范插件被篡改？》一文引发了广泛关注，Chrome插件的安全性问题成为焦点。在AI技术蓬勃发展的当下，我们可以借助强大的AI工具来开发一款安全可靠的Chrome插件，替代SwitchyOmega。同时，Trae作为一
Chrome扩展  AI  Trae 
  • King
  • 发布于 2025-03-13
  • 阅读 ( 707 )
  • ( 22 )

以太坊拨款支持的LLZK：一种新的中间表示（IR）……

Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。
零知识证明  中间表示  电路编译  安全工具  LLZK  以太坊基金会 
  • Veridise
  • 发布于 2025-03-13
  • 阅读 ( 857 )
  • ( 34 )

ethrex L2 命令行界面（CLI）

本文介绍了ethrex L2 CLI的使用，包括安装方法、可用命令及其示例。内容详尽，涵盖CLI的配置、堆栈管理和钱包交互等功能，并提供相关操作的示例动画。
ethrex  CLI  以太坊  配置  钱包  堆栈 

区块链入门：智能合约（第二部分）

本文深入探讨了智能合约和Solidity语言的关键细节，包括与区块链交互的方法、合约调用模式、合约部署方式以及合约特性。作者通过实例和详细解释，阐述了如何在安全和有效的基础上构建智能合约，并强调了理解编码信息和合约结构的重要性。整篇文章结构清晰、逻辑性强，非常适合想进一步了解智能合约开发者。
智能合约  Solidity  区块链  合约调用模式  合约部署  交易结构 

通往安全高效 zkVM 的路径：如何跟踪进展

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。
zkVM  SNARK  安全性  性能  零知识证明  研究进展