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

Concordance：利用 LLM 安全地简化复杂智能合约

Certora 发布了一款名为 Concordance 的开源工具，它利用 LLM 自动简化复杂的智能合约代码，同时使用 Concord 等价性检查器来保证代码行为不变。Concordance 通过迭代地简化代码，并使用 Concord 验证 LLM 提出的修改方案，从而帮助开发者更容易地理解和审计复杂的智能合约。
智能合约  LLM  形式化验证  代码审计  Concordance  等价性检查 
  • Certora
  • 发布于 2025-09-13
  • 阅读 ( 587 )
  • ( 26 )

Ark 工作原理的另一种解释

本文介绍了 Ark 协议，旨在通过共享 UTXO 来扩大比特币的支付处理量，并详细解释了其工作原理、与闪电网络和 Rollup 等扩容方案的比较，以及如何通过软分叉（如 CTV 和 CSFS）来优化 Ark 的属性，同时分析了 Ark 协议在不同假设条件下的改进方案与优缺点。
Ark协议  UTXO  闪电网络  Rollup  CTV  CSFS  扩容 
  • BTCStudy
  • 发布于 2025-09-13
  • 阅读 ( 540 )
  • ( 4 )

0G白皮书精读

0G白皮书精读
白皮书  0G 
  • Jintol
  • 发布于 2025-09-12
  • 阅读 ( 906 )
  • ( 28 )

Aptos Move 全栈实战：构建链上价格预言机与客户端交互

in  Aptos
AptosMove全栈实战：构建链上价格预言机与客户端交互在区块链的世界里，智能合约如何与外部真实世界的数据交互，始终是一个核心命题。而“预言机”（Oracle）正是连接链上与链下世界的关键桥梁。本文将带你深入Aptos生态，使用强类型、高安全性的Move语言，从零开始构建一个实用的链
Aptos  Move 

哪些受攻击的跨链桥：跨链漏洞的智能合约安全指南

本文深入探讨了跨链桥的工作原理以及它们面临的安全挑战。文章解释了“锁定和铸造”机制，分析了过去发生的重大桥攻击事件，并详细阐述了智能合约中常见的漏洞，例如弱链下验证、私钥管理不当、逻辑错误、访问控制缺陷以及不正确的输入验证。此外，文章还强调了构建安全桥梁所需的重要安全措施，包括独立审计、去中心化验证、实时监控和强大的密钥管理。
跨链桥  智能合约  漏洞  攻击  安全  区块链 

Fluid DEX vs EulerSwap：第二部分 - 底层工作原理

本文对比了 Fluid DEX 和 EulerSwap 两种去中心化交易所（DEX）的底层工作原理。
DEX  Fluid DEX  EulerSwap  AMM  DeFi  Leveraged Market Making 

案例研究：Hazeflow x Phala Network

本文是区块链研究公司Hazeflow与Phala Network合作的案例研究，旨在解决区块链协议难以清晰表达其复杂产品和价值主张的问题。Hazeflow通过研究驱动的方法，将Phala Network定位为AWS的改进版，强调TEE技术与其他加密技术的互补性，并深入探讨GPU TEEs和安全AGI，最终帮助Phala Network在TEE和Confidential AI领域确立领导地位。
区块链  TEE  可信执行环境  Phala Network  GPU TEE  Confidential AI 
  • Hazeflow
  • 发布于 2025-09-12
  • 阅读 ( 217 )
  • ( 4 )

GTokenTool支持CFX一键发币

随着区块链技术的迅猛发展，数字资产的发行与管理已成为Web3领域的重要组成部分。作为行业领先的一键发币平台，GTokenTool凭借其强大的技术支持和用户友好的操作体验，持续为全球用户提供高效、安全的代币发行服务。2025年，GTokenTool正式宣布新增对Conflux（CFX）链的支持，用户

DAT（数位资产金库）入门指南：从零了解数字资产新趋势

在2025年的加密市场，DAT（数位资产金库）已成为热门话题。它不是简单的钱包，而是企业或机构将数字资产如比特币、以太坊正式纳入财务储备的策略。这种模式源于MicroStrategy（现更名Strategy）在2020年的创新，将现金转换为比特币持有，并通过资本市场放大价值。今天，DAT已演变为全球

启动 Zama 开发者计划，以支持有兴趣使用 FHE 构建下一代区块链应用的开发者

Zama 推出了开发者计划，旨在通过每月奖励、认证路径和创业加速，支持开发者构建下一代区块链应用。该计划包括构建者赛道和赏金赛道，为开发者提供资金、技术和网络支持，帮助他们掌握 Zama 协议，并在保密计算领域取得成功。
全同态加密  FHE  Zama 协议  开发者计划  保密计算  区块链 
  • ZamaFHE
  • 发布于 2025-09-12
  • 阅读 ( 402 )
  • ( 18 )

香港提议银行加密货币分类和资本规则

添加图注（不超过50字）香港金融管理局在加密货币监管领域又有新动作。周一，香港金融管理局发布了新模块CRP-1的草案。据当地媒体报道，该草案在《银行监管政策手册》（SPM）中定义了“加密资产分类”，并向当地银行业征求公众意见。这一举措旨在使其加密货币框架与巴塞尔银行监管委员会制定的国际标准

利用 Sender 和 LaserStream 实现零Slot执行

本文介绍了 Helius 提供的 LaserStream 和 Sender 服务，它们共同构成了一个端到端的解决方案，旨在实现 Solana 上的零Slot执行。通过 LaserStream 快速检测链上事件信号，并利用 Sender 优化交易提交，确保交易能够以极低的延迟上链，从而抓住转瞬即逝的交易机会，为开发者提供更高效、可靠的交易工作流程。
Solana  LaserStream  Sender  零时隙执行  交易优化  MEV 
  • Helius
  • 发布于 2025-09-12
  • 阅读 ( 557 )
  • ( 27 )

024：社群为何是 Web3 的生命线？

in  Web3 敲门砖计划
在 Web3 世界，不管是「币圈」还是「链圈」，社群都是绕不开的核心。 一个项目能否讲好故事、吸引资本、留住开发者，很大程度上取决于社群的热度。
社群  社群价值  社群运营  安全 
  • Henry
  • 发布于 2025-09-12
  • 阅读 ( 614 )
  • ( 33 )

如何运行 Nimbus 信标节点

本文介绍了如何设置和运行 Nimbus 信标节点，Nimbus 是以太坊共识客户端，旨在为验证者和节点运营者提供高效、资源节约的替代方案，以参与网络共识。文章涵盖了 Nimbus 的安装、配置、使用可信检查点同步、连接到执行客户端、监控性能以及与 Nimbus Beacon API 交互等步骤。
Nimbus  信标节点  共识客户端  以太坊  检查点同步  执行客户端 

如何运行 Reth 节点

本文档详细介绍了如何使用Rust编写的以太坊执行客户端Reth搭建和运行以太坊节点，包括安装配置Reth、运行完整节点、监控同步状态以及使用JSON-RPC方法查询区块链数据。文章还介绍了Reth与共识客户端的关系，以及在mainnet上运行Reth时需要注意的配置变更。
reth  以太坊客户端  执行客户端  共识客户端  json-rpc  Rust 
  • QuickNode
  • 发布于 2025-09-12
  • 阅读 ( 428 )
  • ( 22 )

023：稳定币：Web3 的硬通货还是隐患？

in  Web3 敲门砖计划
在 Web3 世界，稳定币几乎是所有人的“入门资产”。 无论是 CEX 交易、DeFi 借贷，还是跨境支付，USDT / USDC 已成为数字经济的血液。 但稳定币真的是无风险的“硬通货”吗？还是在美元霸权与加密创新的交汇点，隐藏着巨大矛盾？
  • Henry
  • 发布于 2025-09-12
  • 阅读 ( 1586 )

zkVM、电路与优化博弈

本文探讨了零知识虚拟机（zkVMs）和电路（Circuits）的选择问题，以及zkVM架构的未来发展方向，包括定制指令集与基于RISC-V的通用指令集之间的权衡。文章强调，工程优化、迭代速度和安全性是关键考虑因素，纯粹追求理论速度并非唯一目标，生态系统的多样性能够提高安全性。
零知识虚拟机  zkVM  电路  RISC-V  指令集  优化  Amdahl定律 
  • Aligned
  • 发布于 2025-09-12
  • 阅读 ( 1495 )
  • ( 47 )

比特鹰亮相ETH Shenzhen：创新项目备受瞩目，斩获全场焦点

比特鹰亮相ETHShenzhen：创新项目备受瞩目，斩获全场焦点ETH是全球第二大加密货币，今年是ETH创立10周年。数十年前，一个俄罗斯小孩的天才想法，成就了今天全球开发者最多的公链——Ethereum2025年8月23日，“ETHShenzhen2025”峰会在深圳隆重举行，近千

Rust智能合约安全竞赛 - 赛后感

Certora举办了首次针对Rust的形式化验证竞赛，并与Code4rena和Cantina合作，为Soroban智能合约举办了两次社区竞赛。文章介绍了如何使用Certora的工具（如Sunbeam）和Rust库（如CVLR）进行形式化验证，并通过Blend v2和Aquarius两个竞赛的例子展示了形式化验证在发现智能合约漏洞中的应用。
形式化验证  Rust  智能合约  Soroban  Certora Prover  CVLR 
  • Certora
  • 发布于 2025-09-12
  • 阅读 ( 509 )
  • ( 18 )

BIP-85：一个备份，无限可能

本文介绍了 BIP-85 标准及其子密钥的概念，它允许用户从现有的钱包备份中派生新的、独立的种子词，从而方便地管理多个钱包和口令。文章解释了 BIP-85 的原理、用途以及安全考虑，强调其主要是一种方便特性，而非额外的安全机制。
BIP-85  子密钥  种子词  派生路径  哈希函数  冷钱包