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

DeFi智能合约审计流程：项目如何在2026年保护其代码安全

文章探讨了DeFi安全审计在2026年的发展趋势，指出AI将作为“初级审计员”辅助人类专家，提高审计效率和覆盖范围。强调了人工审核在理解协议逻辑、业务风险和创造性攻击场景中的重要性，并提供了为应对2026年审计环境的准备建议，例如完善文档、识别不变量、编写清晰的代码和进行全面测试。
智能合约审计  DeFi安全  AI代理  静态分析  漏洞  模糊测试 
  • zealynx
  • 发布于 2025-09-16
  • 阅读 ( 423 )
  • ( 3 )

深入浅出：Rust 原子类型与多线程编程实践

in  Rust
深入浅出：Rust原子类型与多线程编程实践在现代软件开发中，充分利用多核CPU的性能至关重要。然而，在多线程环境中共享数据，一不小心就可能引入棘手的数据竞争问题。Rust以其出色的内存安全机制而闻名，但它如何解决多线程下的并发挑战呢？答案就是：原子类型（AtomicTypes）。本文将带
Rust 

Solana vs Sui (2025)：架构、执行模型与安全性对比

本文深入比较了Solana和Sui两个高性能Layer 1区块链平台，着重分析了它们在架构、共识机制、编程语言（Rust vs Move）、开发者工具、性能、可扩展性以及安全性等方面的差异。文章旨在为开发者提供指导，帮助他们根据应用需求选择最适合的平台，并探讨了两个生态系统在DeFi、NFT、游戏等领域的优势与挑战。
Solana  Sui  Rust  Move  区块链  智能合约 

跨链消息传递系统的抗联盟证明 第一部分

本文深入探讨了LayerZero、CCIP和Across等跨链桥的安全经济学，提出了一个包含联盟、相关性和机制的框架，用于评估和提高桥的安全性。核心观点是桥的安全性取决于打破它所需的最廉价的相关联盟，因此需要购买独立性、支付检测费用和投资未来，使作弊在经济上不可行。
跨链桥  LayerZero  CCIP  经济安全  联盟  相关性  机制设计 
  • thogiti
  • 发布于 2025-09-16
  • 阅读 ( 2201 )
  • ( 144 )

Plasma 工作原理：技术深度解析

本文介绍了Plasma的架构，它通过将共识层与执行层分离，实现了高性能和EVM兼容性。Plasma使用PlasmaBFT共识协议，通过pipelining技术加速区块生成。它还通过比特币桥实现安全性和抗审查性，并提供零费的USD₮转账和自定义Gas代币等稳定币原生功能。
Plasma  PlasmaBFT  EVM  比特币桥  稳定币  LayerZero 
  • DAIC
  • 发布于 2025-09-16
  • 阅读 ( 2132 )
  • ( 79 )

去中心化AI训练：架构、机遇与挑战

本文深入探讨了去中心化AI训练领域，概述了包括Nous Research、Prime Intellect、Pluralis、Templar和Gensyn在内的多个项目的架构、机遇和挑战，分析了去中心化训练如何利用全球未使用的GPU资源，打破中心化AI实验室的控制，并构建开放、可验证的基础设施。
去中心化AI训练  分布式训练  模型并行  强化学习  GPU  密码学 
  • Galaxy
  • 发布于 2025-09-16
  • 阅读 ( 1408 )
  • ( 23 )

Fusaka 200 万美元审计竞赛！

以太坊基金会宣布启动由Gnosis和Lido共同赞助、Sherlock承办的Fusaka审计竞赛，旨在最大限度地审查Fusaka升级并发现潜在漏洞。竞赛持续四周，首周提交的有效漏洞报告奖励积分有2倍加成，第二周有1.5倍加成。除了Fusaka之外，以太坊还提供高达25万美元的漏洞赏金计划，用于奖励影响更广泛的以太坊协议的漏洞。
以太坊  Fusaka  审计竞赛  漏洞赏金  Gnosis  Lido  Sherlock 

React Native DApp 开发全栈实战·从 0 到 1 系列（兑换-合约部分）

前言本文借助Solidity0.8、OpenZeppelin与Chainlink喂价，构建一套链上即时汇率结算、链下可信价格驱动的微型兑换系统。本文将带你完成：部署可铸造ERC-20（BoykayuriToken，BTK）部署Chainlink风格喂价合约（MockV3
Solidity  OpenZeppelin  兑换 
  • 木西
  • 发布于 2025-09-15
  • 阅读 ( 975 )
  • ( 32 )

什么是坏账，为什么它不可避免，以及你应该如何处理它

本文深入探讨了 DeFi 领域中坏账的概念、产生原因以及协议应如何处理坏账。文章详细解释了坏账的定义，即用户债务超过其抵押品价值的情况，并分析了坏账不可避免的原因，例如市场波动和交易拥堵。此外，文章还提供了协议在实施和战略层面上处理坏账的建议，包括风险参数设置、清算激励措施以及坏账分配方案。
坏账  DeFi  清算  抵押品  LTV  LT  风险管理 

警惕脏币陷阱！UVAML.io为你的加密资产保驾护航

一次简单的查询，守护您的数字财富安全。在加密货币交易世界中，"黑资产"（涉嫌非法来源的加密币）就像潜伏的陷阱，随时可能让您的资产被冻结甚至引发法律风险。随着加密货币的普及，非法活动也随之增多。据统计，2023年全球贸易中采用加密货币支付的金额同比增长超过300%，但与此同时，涉及非法来源资金的投诉

稳定币链不完全指南

本文分析了新兴的稳定币链趋势，重点关注 Stable、Plasma、Arc、Tempo、Codex 和 Converge 这六条主要链，通过共识机制、执行环境、用户体验、桥接方案、企业需求和隐私保护六个核心组成部分，对这些链的架构选择、潜在风险和推广策略进行了比较评估， 强调了用户体验和市场推广是稳定币链成功的关键因素。
稳定币  区块链  EVM  共识机制  LayerZero  账户抽象 

Web3 极客日报 #1800

  • rebase
  • 发布于 2025-09-15
  • 阅读 ( 644 )
  • ( 7 )

APP测试流程

说实话我的文笔有点差，构思了很久没想出像其他博主那样将文章写的那么引人入胜，不过还好写的是技术文章，只要能够把自己的观点说清楚也算是一篇能看的下去的文章。
通识  测试 
  • Wake
  • 发布于 2025-09-15
  • 阅读 ( 910 )
  • ( 23 )

三大加密 VC 领衔「全明星」阵容注资 16.5 亿美元，Forward Industries 欲成 SOL 版 Strategy？

撰文：Yangz，TechubNews文章来源香港Web3媒体TechubNews在以Strategy为首的比特币财库公司和以BitMine为代表的以太坊财库公司如火如荼地购置资产的同时，8月25日，彭博社一则突发报道为「SOLDAT」概念投下一枚重磅炸弹。据知情人士透

Sui Move如何重新思考闪电贷安全性

本文分析了Sui Move语言如何通过“热土豆”模型在编译层面强制执行还款，从而显著提高闪电贷的安全性。与Solidity依赖回调和运行时检查不同，Sui Move利用其独特的对象模型和可编程交易块（PTB），使得闪电贷的安全性成为一种语言级别的保证，而非开发者责任。
闪电贷  Sui  Move语言  DeepBookV3  热土豆模型  可编程交易块 

【引介】Canon Guard - 更安全的使用 Safe 多签

本文介绍了Canon Guard，一种用于多重签名（Multisig）交易的更安全执行模型。它通过引入Action合约来封装交易逻辑，并结合时间锁和自定义Safe Guard合约来增强安全性，旨在减少重复审批、防止恶意攻击，并实现完全链上的透明度和可模拟性。
多重签名  multisig  安全  智能合约  时间锁  链上治理 

ZKPassport：我们现在在哪里？

本文探讨了在生物护照上使用零知识证明来恢复 Safe 账户的方法，无需暴露个人数据。文章概述了生态系统中的主要参与者，并讨论了其优势和局限性。通过ZKPassport应用程序演示了NFC扫描、链上验证和Merkle树注册，以及用于通过范围标识符进行Safe钱包恢复的SDK。
零知识证明  生物护照  Safe 账户恢复  NFC扫描  Merkle树  zkPassport  身份验证 

DeepSeek-V3.1 新计价模型实战：涨价 40% 如何依旧省钱？

DeepSeek-V3.1新计价模型实战：涨价40%如何依旧省钱？随着AI模型API使用场景的持续扩展，开发者最关心的问题之一就是调用成本。近期，DeepSeek推出了DeepSeek-V3.1新计价模型，虽然价格相比上一版本上涨了40%，但通过合理的请求优化与模型能力利

Ivy AST 解释器第一篇：Vyper的语法、语义及 为什么构建 AST

本文是关于Vyper AST解释器系列文章的开篇，介绍了作者开发的Ivy工具，一个用Python编写的Vyper AST解释器，旨在提供Vyper语言的可执行规范。文章解释了编程语言实现中的核心术语，如语法、语义、AST，并阐述了Ivy在其中的作用，以及选择AST而非IR或字节码的原因。
Vyper  AST解释器  语法  语义  动态语义  EVM 

Uniswap v3中的恒定乘积公式

本文深入探讨了Uniswap v3中恒定乘积公式的推导及其与实际储备金的关系。文章解释了如何在特定价格区间内，利用流动性(L)、上下限价格(pl, pu)以及实际储备金(xr, yr)来表示恒定乘积公式，并讨论了该公式在不同价格场景下的应用，以及如何从该公式推导出实际储备金。
Uniswap V3  恒定乘积公式  实际储备金  虚拟储备金  流动性  价格区间