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

Trident : Solana上首个引导式模糊测试工具

本文介绍了 Trident，一个为 Solana 程序设计的模糊测试框架，它采用了手动引导的模糊测试（MGF）技术，旨在帮助开发者更有效地发现 Solana 程序中特有的漏洞，例如账户混淆、并行执行中的竞态条件和跨程序调用（CPI）相关的漏洞。文章还提供了使用 Trident 进行模糊测试的策略、最佳实践和高级技术。
Solana  模糊测试  Trident  安全  智能合约  漏洞 
  • Ackee
  • 发布于 2025-08-27
  • 阅读 ( 1002 )
  • ( 30 )

智能合约审计需要的思维模型

本文作者分享了智能合约安全审计的经验模型，强调了资源收集、智能合约概览、手动代码审查、功能测试、自动化审查、报告编写和修复代码审查等关键步骤。文章旨在帮助审计人员系统性地进行安全审计，并识别潜在的安全漏洞。
智能合约  安全审计  漏洞  代码审查  功能测试  自动化测试 

Certora 竞赛报告：Aquarius

本文是 Certora 对 Aquarius 项目进行的形式化验证竞赛报告，通过引入代码突变来评估参赛者编写的规范质量。报告详细列举了在 AccessControl、FeesController 和 Upgrade 等合约中发现的突变，展示了参赛者提交的高质量属性，并强调了发现的真实漏洞，如 Pending Upgrade 的 Code Hash 未被清除等问题。
形式化验证  智能合约  Certora Prover  代码突变  AccessControl  FeesController  漏洞 
  • Certora
  • 发布于 2025-08-27
  • 阅读 ( 333 )
  • ( 8 )

Uniswap V4 的架构和编程技巧及现代合约编程概述

Licredity 核心开发者分享了 Uniswap V4 的架构和编程技巧，以及现代智能合约项目的目录结构和开发架构。文章还介绍了现代常见的合约特性，例如使用 soldeer 进行依赖管理，使用 Extsload 合约来访问 internal 变量，利用 BalanceDelta 机制实现更高效的清算，以及引入 unlock 机制实现终局原子性。
uniswap v4  智能合约  Solidity  Extsload  BalanceDelta  终局原子性 
  • wongssh
  • 发布于 2025-08-27
  • 阅读 ( 621 )
  • ( 5 )

哈希值交易值的预测走向及规律

哈希值预测/采用完全去中心化的波场(Tron)区块哈希值(BlockHash)数据，以去中心化为基础，所采取的数据指定A钱包每期转账一笔至B钱包，取该笔转账的区块哈希值(BlockHash)系统开始转账，仅转一笔，转账金额尾数这个能预测或者提前知道吗？地址都是同样的A转B，然后
  • 冬兄
  • 发布于 2025-08-27
  • 阅读 ( 203 )

跨链桥攻击中 MEV 的经济学：一个博弈论分析

本文深入探讨了跨链桥被攻击后，MEV（矿工可提取价值）参与者如何在多个区块链上利用价格差异、流动性失衡和预言机滞后等机会进行价值提取。文章分析了套利者、清算狙击手、验证者和 Gas War 参与者等不同角色的策略，以及他们如何通过博弈论动态和零和竞争来最大化利润。
MEV  跨链桥  套利  清算  博弈论  区块链安全 

Shutter MCP Alpha：指挥你的加密工作流

Shutter 网络发布了 Shutter MCP 的测试网 alpha 版本，该工具通过 Shutter API，允许 AI 发起时间锁定的加密工作流。Shutter MCP 可以创建各种加密应用场景，例如保密的方案请求、密封的漏洞赏金、定时发布公告等。用户可以通过 Claude AI 或其他 MCP 客户端轻松创建时间锁定的加密工作流。
时间锁加密  阈值密码学  去中心化  密钥管理  Shutter API  AI 
  • shutter
  • 发布于 2025-08-27
  • 阅读 ( 402 )
  • ( 15 )

2025年基于Move的顶级区块链

本文介绍了基于Move编程语言的几个 Layer-1 区块链项目，包括 Sui、Aptos、Supra 和 Movement。分析了Move语言的优势，对比了这些区块链在创始人、历史、交易速度、共识机制、预言机、跨链桥以及通证等方面的异同，并探讨了Move语言在未来可能取代Solidity的潜力。
Move语言  Sui  Aptos  区块链  Supra  Movement 

带你入门区块链

前言本文面向于对区块链还没有概念的小白，分享一下我在学习区块链入门知识之后总结的笔记。行文结构包含几个部分的介绍：核心概念、核心技术、如何运行、共识机制及主流项目。基本概念区块链==智能合约平台1）区块链首先是一个分布式网络，让所有的独立节点想要达成共识去记录和Token相关的事情，是区块链

Techub News 与 TOKENPOST 达成战略合作以推动中韩 Web3 资讯互通

TechubNews消息，香港Web3媒体TechubNews与韩国区块链媒体TOKENPOST达成战略合作。TOKENPOST将开设香港内容板块，由TechubNews提供本地化行业资讯；同时TechubNews将推出韩国内容专栏，内容源由TOKENPOST支

香港数字资产交易市场蓬勃发展，监管与创新并驾齐驱

随着全球数字经济浪潮的兴起，数字资产交易正成为金融科技领域的核心关键词。香港作为国际金融中心，正通过完善的监管框架和创新支持政策，加速推动数字资产交易市场的健康发展。香港立法会议员吴杰庄在香港数字政策上市公司联合会成立仪式上表示，香港正致力于构建全面的数字资产服务提供者监管制度，涵盖交易平台、稳定币

Recall：AI Agent 的链上竞技场

本文介绍了Recall，一个旨在为AI Agent提供可验证的性能数据和声誉评分的协议，通过链上竞赛、社区驱动的评估和代币激励，Recall致力于构建高信任的AI基准测试系统，并最终成为Agent互联网中Agent发现、交易和协作的基础设施，类似于早期互联网的Google PageRank。
AI Agent  基准测试  链上竞赛  声誉系统  AgentRank  动态基准 
  • 4pillars
  • 发布于 2025-08-27
  • 阅读 ( 480 )
  • ( 11 )

基于RLWE的多方同态加密：当多方计算遇见同态加密

本文介绍了多方同态加密（MHE）的概念及其与传统多方计算（MPC）的区别，MHE通过共享解密能力而非数据本身，实现了非交互式的计算过程，显著降低了通信开销和同步需求。文章深入探讨了基于MBFV的MHE协议，包括密钥生成、重线性化、密钥切换和自举等关键技术，并提供了一个使用Lattigo实现的具体示例，展示了MHE在实际应用中的潜力。
多方同态加密  MPC  RLWE  BFV  密钥切换  同态加密  Lattigo 
  • hexens
  • 发布于 2025-08-27
  • 阅读 ( 27 )

Pendle Boros AMM 机制

本文深入分析了 Boros AMM 的设计与实现，Boros AMM 通过引入时间加权因子解决了 funding rate token 的时间敏感性问题，并使用了恒定乘积公式的变体来实现两种 token 之间的兑换。文章详细的介绍了 AMM 的架构设计与核心机制，为理解 Boros AMM 的运作原理提供了全面的信息。
AMM  DeFi  Boros  恒定乘积公式  funding rate  Pendle 
  • 0xstan
  • 发布于 2025-08-27
  • 阅读 ( 369 )
  • ( 4 )

应用控制排序（ACS）作为 MEV 的庇古政策——在应用层实现外部性内在化

本文讨论了最大可提取价值（MEV）带来的负外部性，并提出了一种基于应用控制排序（ACS）的Pigouvian税收机制来解决这一问题。该机制旨在通过在应用层面对MEV征税，将收益返还给受害者，从而在不影响有效配置的同时，降低MEV带来的危害。文章还概述了ACS的实际应用，包括优先级窗口、原子税收检查以及轻量级校准循环。
最大可提取价值  MEV  应用控制排序  ACS  Pigouvian税  链上治理 
  • thogiti
  • 发布于 2025-08-27
  • 阅读 ( 552 )
  • ( 8 )

PoRv2：一种快速、透明的基于 ZK 的储备证明

本文介绍了PoRv2，一个基于零知识证明（ZKP）的快速、透明的储备证明系统，它结合了zk-proofs和Merkle树，允许用户在不需要外部审计的情况下验证交易所的负债。该系统使用plonky2 ZK算法，提高了效率和透明度，并提供了一个验证服务器以方便用户验证，旨在提高加密货币交易所的透明度和用户信任。
零知识证明  储备证明  zk-proofs  Merkle树  Plonky2  密码学  透明性 
  • osecio
  • 发布于 2025-08-27
  • 阅读 ( 806 )
  • ( 21 )

深入 Aptos Move：从public到friend，函数可见性详解

in  Aptos
深入AptosMove：从public到friend，函数可见性详解在AptosMove智能合约开发中，精准控制函数的可见性是保障安全与效率的基石。然而，public、public(friend)与#[view]之间的细微差别，以及它们对权限和Gas消耗的影响，常常让开发者感到
Aptos  Web3  Move 

托管乐观预言机审计

这是一篇OpenZeppelin对UMA协议的ManagedOptimisticOracleV2代码仓库进行安全审计的报告。 审计发现了一些低风险问题，包括货币默认不接受债券、错误触发事件、缺少白名单合约的接口验证、缺少测试套件等。同时，报告也提出了代码改进建议，并指出了文档中存在的一些不准确之处。UMA团队已解决或确认了大部分问题。
智能合约  安全审计  Optimistic Oracle  UMA协议  代码审查  访问控制 

构建安全 Noir 电路的开发者指南

本文深入探讨了使用 Noir 构建零知识证明（ZKP）应用时常见的安全漏洞。文章详细分析了逻辑错误、有限域算术陷阱、意图与实现不符以及隐私泄露这四大类问题，并提供了具体的代码示例和审计关注点，旨在帮助开发者构建更安全可靠的 Noir 电路。
零知识证明  Noir  安全漏洞  有限域算术  隐私泄露  电路设计 

比特币挖矿协议的过去与未来：Stravum V2 简介

本文介绍了比特币矿池协议的历史，重点阐述了 Stratum V2 协议的优势及其在提高安全性、数据传输效率和挖矿去中心化方面的作用，并对比了 Stratum V2、Stratum V1 和 BetterHash 三种协议的特点，强调 Stratum V2 通过赋予矿工选择交易的权力，从而促进挖矿行业更加去中心化。
Stratum V2  Stratum V1  BetterHash  矿池协议  比特币挖矿  去中心化 
  • BTCStudy
  • 发布于 2025-08-27
  • 阅读 ( 625 )
  • ( 2 )