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

V12 发布 - 结合 AI、LLM 和传统静态分析技术的自主 Solidity 审计工具

Zellic 发布了 V12，一款结合 AI、LLM 和传统静态分析技术的自主 Solidity 审计工具，能有效发现高危漏洞，已在实际审计和竞赛中发现 39 个问题。V12 具备直观的界面，支持导出报告，并计划支持更多语言和 L1，旨在提供经济高效的漏洞查找能力，但不能替代全面的人工审计。
Solidity审计  AI  LLM  漏洞检测  智能合约安全  静态分析 
  • zellic
  • 发布于 2025-09-26
  • 阅读 ( 980 )
  • ( 36 )

Web3 极客日报 #1804

  • rebase
  • 发布于 2025-09-25
  • 阅读 ( 526 )
  • ( 17 )

Optimism Collective 当前的治理提案流程

本文档描述了Optimism Collective当前的治理提案流程，由Token House和Citizens' House两个机构共同管理。提案类型多样，包括维护升级、行为准则违规、协议升级、代币分配等，提案需经过审核、投票等环节，并可能面临否决和申诉流程。Optimism基金会负责管理和实施通过的提案。
Optimism  治理  提案  Token House  Citizens' House  投票 

区块链 101：JAM (Join-Accumulate Machine)

in  区块链101
本文介绍了Polkadot的下一代架构Join-Accumulate Machine (JAM)，它旨在将Polkadot从一个专注于Rollups的区块链网络转变为一个通用的分布式计算平台。JAM通过Services、PVM等概念，实现了并行处理和更灵活的计算模式，为区块链技术带来了新的可能性，允许进行各种任务，例如分散的预言机网络，欺诈检测系统和重型计算。
Polkadot  JAM  Join-Accumulate Machine  分布式计算  PVM  区块链 

# 第12篇｜🔌 Freqtrade 交易所接入全解：API、WebSocket、限频配置详解

第12篇｜🔌Freqtrade交易所接入全解：API、WebSocket、限频配置详解Freqtrade通过config.json中的exchange和ccxt_config配置项与交易所建立连接。这一步是策略执行的前提，涉及API密钥、WebSocket、频率控制等多个关

Plasma：瞄准万亿美元机遇

本文分析了稳定币作为全球可访问货币的快速增长，特别关注 Plasma 这一 Layer-1 区块链如何通过优化交易费用和激励机制，成为全球美元经济的结算层。Plasma 通过零费用 USDT 转账吸引用户，并与 Plasma One 整合，提供用户、商家和企业日常金融服务，旨在成为稳定币流动性的中心。
稳定币  Plasma  USDT  Layer-1  零费用转账  DeFi 

供应链攻击正在利用我们的假设

in  攻防与案例
文章深入分析了软件供应链中存在的信任漏洞，详细阐述了诸如拼写错误攻击、依赖混淆、秘钥泄露、管道投毒和恶意维护者等攻击手段，并介绍了TypoGard、Zizmor、PyPI可信发布和证明、Homebrew构建溯源以及Go Capslock等新兴防御技术，旨在将隐式信任转变为显式、可验证的保障，从而提高软件供应链的安全性。
软件供应链安全  依赖管理  类型错误劫持  CI/CD管道安全  构建溯源  攻击向量 

Across 已在 Plasma 上线：几秒钟内桥接稳定币

Plasma 是一个新的 Layer 1 区块链，旨在优化稳定币的使用，提供零手续费的 USDT 转账和稳定币支付手续费的功能。Across 作为启动合作伙伴，为 Plasma 提供快速、低成本和安全的稳定币桥接服务，旨在支持 Plasma 稳定币生态系统的流动性。
Plasma  稳定币  USDT  Across协议  跨链桥  ZK证明 
  • across
  • 发布于 2025-09-25
  • 阅读 ( 601 )
  • ( 7 )

未来货币转移的全球轨道

本文深入探讨了稳定币在全球货币转移中的作用，并介绍了 Plasma，一个为稳定币设计的 L1 区块链，旨在通过定制的共识协议、EVM 兼容的执行层和专门的智能合约来优化性能、用户体验和集成基础设施。Plasma 旨在解决传统稳定币基础设施的局限性，提供零费用 USDT 转账、自定义 Gas 费用以及与比特币的安全性锚定，从而推动稳定币在全球支付、汇款、商家支付等领域的应用。
稳定币  区块链  Plasma  USDT  比特币  DeFi 

Rust 智能指针大揭秘：Box、Rc、Arc、Cow 深度剖析与应用实践

in  Rust
Rust智能指针大揭秘：Box、Rc、Arc、Cow深度剖析与应用实践在Rust的世界里，智能指针扮演着至关重要的角色，它们不仅是内存管理的安全卫士，更是构建复杂、高效程序的强大工具。不同于C++等语言的手动内存管理，Rust通过所有权系统和智能指针，在编译期保障内存安全，杜绝了悬垂
Rust 

SP1 与 zkVMs：安全审计员指南

本文是对SP1（一个零知识虚拟机）的全面安全审计指南，重点介绍了SP1的架构、安全注意事项和审计方法，SP1使用户能够证明任意Rust程序的执行，审计需要关注 untrusted host 和 trusted guest 之间的边界，需要对输入进行严格的校验，以防止恶意输入破坏系统，同时，还需要进行外部验证。
SP1  zkVM  零知识证明  安全审计  Rust  RISC-V 

2025年稳定币的类型：传统模型与下一代模型解析

该文章详细介绍了稳定币的各种类型，包括法币支持型、加密资产抵押型、算法型、衍生品型等，以及它们在交易、支付、DeFi和金融包容性等方面的应用。文章还探讨了稳定币面临的风险和挑战，并展望了其在监管、RWA扩展、技术集成和CBDC共存等方面的未来发展。
稳定币  DeFi  加密货币  USDT  USDC  RWA 
  • DAIC
  • 发布于 2025-09-25
  • 阅读 ( 3869 )
  • ( 179 )

hArk 和 Erk：使用 CTV 和 CSFS 改进 Ark 协议

本文介绍了两种基于 CTV 和 CSFS 的 Ark 协议的改进方案：Erk 和 hArk。Erk 允许用户在无需交互的情况下刷新 VTXO，甚至可以离线刷新，但仅支持单输入。hArk 同样无需用户交互，链上踪迹最小化，且支持多 VTXO 输入，但需要用户签名弃权交易并依赖服务商提供秘密值。
CTV  CSFS  Ark协议  Erk  hArk  vTXO 
  • BTCStudy
  • 发布于 2025-09-25
  • 阅读 ( 898 )
  • ( 35 )

为什么重新分配代币比销毁代币更好

本文探讨了在区块链系统中，对于恶意行为的惩罚，是销毁被罚没的资产（burning tokens）更好，还是将这些资产重新分配（redistributing tokens）更好。
代币销毁  代币再分配  MEV  激励机制  经济安全  区块链安全 
  • Hazeflow
  • 发布于 2025-09-25
  • 阅读 ( 733 )
  • ( 23 )

BlockThreat 安全周报 - 2025年第38周

本周发生了三起盗窃事件，损失超过300万美元。一名癌症患者因下载恶意Steam游戏损失3.2万美元，安全研究人员追踪到恶意软件操作者并促成逮捕。文章还报道了多个加密货币诈骗、网络攻击和漏洞利用事件，以及相关的政策和工具更新，涵盖了安全事件、恶意软件、钓鱼攻击以及相关的研究和工具。
加密货币  网络安全  恶意软件  钓鱼攻击  漏洞  区块链安全 

全栈开放性和可验证性的重要性

in  Vitalik博客精选
本文探讨了在当今时代，技术堆栈的完全开放性和可验证性的重要性，特别是在健康、个人和商业数字技术以及数字公民技术领域。文章强调，开放源代码和可验证的技术能够促进创新、增强安全性，并赋予个人和社区更大的自主权，从而构建一个更加安全、自由和公平的未来。
开放源代码  可验证性  硬件安全  软件安全  数据隐私  公民科技 

Agave XDP 设置指南 - Anza

本文介绍了如何在Agave中启用XDP（eXpress Data Path）以加速Solana的Turbine协议，从而应对区块计算限制的提升。通过绕过Linux网络堆栈的部分环节，减少数据复制和上下文切换，XDP能显著提高节点性能，为网络吞吐量的增长做好准备。文章还提供了配置指南和注意事项，鼓励验证者在测试环境中验证XDP的性能提升。
XDP  eXpress Data Path  Agave  Turbine  Solana  网络性能 
  • Anza
  • 发布于 2025-09-24
  • 阅读 ( 447 )

使用 Nethermind 客户端为以太坊构建 ZK 证明

使用 Nethermind 客户端为以太坊构建 ZK 证明
Nethermind 

卓维安：DA足迹区块限制

该文档提出了一个DA足迹区块限制方案，旨在缓解DA垃圾邮件并防止出现优先费用拍卖。该方案通过跟踪交易的DA足迹以及gas使用量，调整区块gas限制以适应高估算的DA使用量，而无需改变单个交易的gas机制。初步分析表明，该方案对Base或OP Mainnet等生产网络上的大多数区块影响最小。
DA足迹  区块限制  L1数据可用性  Gas费用  OP Stack  base fee 

有限循环群的基本定理

本文深入探讨了有限循环群的基本定理，解释了该定理如何保证循环群中循环子群的存在性。文章从子群的定义、群的阶、元素的幂、循环子群和循环群等概念入手，逐步引入有限循环群的基本定理，并通过实例展示了如何利用该定理寻找有限域中的乘法子群及其生成元。此外，文章还提到了该定理在密码学和 ZK-STARKs 中的应用背景。
有限循环群  子群  生成元  有限域  乘法子群  阶