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

BitGo现已支持通过Helius进行Staking和hSOL

BitGo 允许机构客户通过 Helius 的 0% 佣金验证器直接委托 SOL，从而获得更高的 Staking 收益。此外，BitGo 还支持 Helius Staked SOL (hSOL)，这是一种流动性质押代币，可自动累积 Staking 奖励。Helius 通过提供高性能验证器、合规性和定制报告，致力于 Solana 生态系统的长期健康。
Solana  staking  BitGo  Helius  hSOL  验证器 
  • Helius
  • 发布于 2025-07-02
  • 阅读 ( 70 )
  • ( 2 )

Solana生态系统报告（2025年上半年）——收益与增长

该报告全面分析了Solana生态系统在2025年上半年的发展状况，涵盖网络性能、经济指标、开发者生态、机构采用、DeFi创新、实际应用、基础设施和合规性等方面。报告强调Solana已成为领先的区块链平台，拥有卓越的交易吞吐量、低费用和不断增长的开发者社区，并在DeFi、RWA、DePIN和AI等领域取得显著进展，同时在机构采用方面也取得了突破性进展。
Solana  区块链  DeFi  RWA(现实世界资产)  DePIN(去中心化物理基础设施网络)  AI 
  • Helius
  • 发布于 2025-07-02
  • 阅读 ( 247 )
  • ( 15 )

区块链101：超越区块链（第一部分）

in  区块链101
本文深入探讨了Hedera的Hashgraph共识机制，它作为区块链的一种替代方案，旨在解决区块链在处理速度和资源浪费方面的问题。Hashgraph通过有向无环图（DAG）结构记录网络中的所有通信历史，并利用虚拟投票机制实现快速且无需实际投票的共识。文章详细解释了Hashgraph的工作原理，包括事件的传播、时间戳的确定以及交易排序，并讨论了其与传统区块链在去中心化和数据不变性方面的权衡。
Hashgraph  共识机制  DAG  虚拟投票  Hedera  分布式账本 

2025年美国加密货币用户的市场调查

该文章主要介绍了一项关于美国加密货币用户的市场调查。调查显示，加密货币用户在政治立场、媒体消费习惯和风险偏好上呈现多样性。他们不仅仅将加密货币视为一种投资，而且是他们身份认同的重要组成部分，且他们对加密货币的未来持乐观态度，但同时也关注过度监管的风险。
加密货币用户  市场调查  政治立场  媒体消费  风险偏好  身份认同 
  • Paradigm
  • 发布于 2025-07-02
  • 阅读 ( 411 )
  • ( 16 )

Rust 避坑指南：搞定数值比较，别再让 0.1 + 0.2 != 0.3 困扰你！

in  Rust
Rust避坑指南：搞定数值比较，别再让0.1+0.2!=0.3困扰你！在任何编程语言中，数值比较都是最基本的操作之一。但在以安全著称的Rust中，事情并没有那么简单。你是否曾遇到过因为类型不匹配而无法比较两个数字的编译错误？或者更诡异的，为什么0.1+0.2它就是不等于
Rust 

密码学之Schnorr签名、多签、MPC钱包(一)

Schnorr签名单签Schnorr签名是一种数字签名方案，由德国密码学家Claus-PeterSchnorr提出，最早在1989年的一篇论文中(EfficientSignatureGenerationbySmartCards)被描述，文中提出了一种身份认证方案
密码学  签名  区块链  Schnorr签名  多签名  MPC 钱包 
  • 皓码
  • 发布于 2025-07-02
  • 阅读 ( 417 )
  • ( 15 )

压力下的稳定币：用户应关注什么 - ImmuneBytes

本文深入探讨了稳定币的稳定性问题，分析了不同类型的稳定币（如法币支持型、算法型、加密资产抵押型）在面临压力时的表现，并通过UST崩盘、USDC脱锚等案例，揭示了稳定币的潜在风险，强调了用户和开发者应如何识别风险信号并采取相应措施以提高系统的韧性。
稳定币  UST  USDC  DeFi  加密货币  风险评估 

Webhooks上手指南

本文介绍了QuickNode Webhooks，一个实时区块链事件传递服务，它可以将过滤后的链上数据直接发送到用户的HTTP端点。文章详细说明了如何创建和测试Webhooks，以及Webhooks的关键功能，如实时传递、引导式向导、模板、重试逻辑、压缩和重组处理，同时还对比了Webhooks与QuickAlerts的差异，并提供了上手指南。
Webhooks  QuickNode  区块链事件  链上数据  实时通知  过滤器 
  • QuickNode
  • 发布于 2025-07-01
  • 阅读 ( 744 )
  • ( 19 )

Rust 语言容易让新手困惑的一个“过度优化”

假如我们现在要写一些代码，随便用cargonew一个项目就行，然后写一个函数append，函数的功能很好理解，就是把两个传入的字符串给拼接起来，第一个参数是字符串（的引用类型），第二个参数也是字符串，假如我们的参数是Hello和,world，函数调用后会返回Hello,world
Rust 
  • smallyu
  • 发布于 2025-07-01
  • 阅读 ( 352 )
  • ( 12 )

Solidity 大神之路之内功修炼第五章

欢迎继续踏上Solidity大神之路！前四章中我们深入探讨了Solidity的基础与进阶知识。本章将聚焦于更深层次的主题，包括函数签名、低级调用、unchecked关键字、存储原理以及Solidity汇编。这些内容将帮助你更全面地理解智能合约的底层机制，并为编写高效、安全的代码奠定基础
智能合约  区块链  Web 3 

登链集训营实战项目全公开

前段时间，我写了一篇文章公开了登链线下集训营的完整的课表，我们系统设计的课程收到了很多人的肯定。编程作为一门实践学科，仅仅是听课或是看教程是远远不够的，一定要有自己的实践练习，才能有自己真正的理解。登链集训营迭代3年多，不仅仅形成了一套系统课程，我们还打造了一套自己的技能认证系统DeCe
集训营 
  • Tiny熊
  • 发布于 2025-07-01
  • 阅读 ( 1709 )
  • ( 153 )

【安全月报】| 6月份因黑客攻击、诈骗等导致损失约1.84亿美元

6月，加密货币领域因黑客攻击、诈骗和漏洞利用，损失金额约达1.84亿美元。其中，黑客攻击事件尤为突出，共发生了15起。
安全月报  黑客攻击  网络钓鱼 

账户抽象 — 我们是如何走到这里的

本文介绍了以太坊账户抽象（Account Abstraction, AA）的发展历程，重点讲解了ERC-4337标准如何在不改变以太坊核心协议的情况下，通过引入UserOperation、Bundler、EntryPoint合约等组件，实现了更灵活、更安全、用户体验更好的账户系统。
账户抽象  ERC-4337  UserOperation  Bundler  EntryPoint合约  Paymaster 

聊聊 Next.js 的 next/dynamic：让你的应用飞起来

in  Next.js开发指南，手把手教你掌握Dapp全栈开发
Next.js是个超级好用的React框架，开发体验一流，性能优化也做得特别到位。今天咱们来聊聊Next.js里的一个神器——next/dynamic，它能帮你实现动态加载组件，优化页面性能，特别适合需要“懒加载”的大项目。文章会尽量用大白话，带你从背景到实战，彻底搞懂这个工具！
Next.js 
  • Louis
  • 发布于 2025-07-01
  • 阅读 ( 318 )
  • ( 8 )

Foundry 高级作弊码系列：第 5 部分 - 作弊码 vm.deal，为账户充值

in  Foundry 高级作弊码系列
本文介绍了Foundry的作弊码vm.deal，它可以直接向任何账户注入ETH，无需水龙头或转账，方便开发者模拟拥有大量ETH的用户进行测试，例如支付gas或测试可支付流程。通过vm.deal，开发者可以更专注于测试逻辑，而无需手动进行账户充值。
Foundry  vm.deal  作弊码  测试  以太坊  eth 

使用 Certora Prover 形式化验证确保 infiniFi 中公平的赎回

infiniFi 是一个 DeFi 平台，旨在优化收益，但其 iUSD 赎回机制存在漏洞，可能导致用户在赎回队列中被跳过，从而面临不公平的惩罚。Certora Prover 发现了这一问题，并通过形式化验证确保了修复后的系统符合 FIFO 原则，维护了用户信任和 DeFi 协议的公平性。
DeFi  形式化验证  Certora Prover  FIFO  智能合约  iUSD 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 38 )

X-Wing：更好的后量子密钥封装

本文介绍了一种混合密钥封装机制X-Wing，它结合了X25519和ML-KEM-768，旨在实现后量子密码学的迁移。X-Wing优化了性能，并在X25519或ML-KEM-768任一安全的前提下保证整体安全。文章还展示了X-Wing与X25519Kyber768标准的主要区别，以及使用Golang实现的X-Wing密钥生成、封装和解封装过程。
X-Wing  密钥封装  后量子密码学  ML-KEM-768  X25519  混合加密 

安全指南：使用 Solodit 保护智能合约

本文介绍了 Solodit 社区维护的智能合约安全审计检查表，强调了智能合约安全的重要性，并列举了由于漏洞导致重大经济损失的案例。文章详细介绍了使用该检查表进行智能合约审计的前提条件、所需资源，并深入探讨了包括重入攻击、拒绝服务攻击、抢跑交易等常见的漏洞及其缓解措施，同时还介绍了安全开发的最佳实践。文章还提到了2025年最新的安全工具和技术更新。
智能合约  安全审计  Solodit 检查表  重入攻击  拒绝服务  前置交易  以太坊  漏洞 

利用形式化验证查找编译器 Bug

本文介绍了Certora团队开发的一款用于验证编译器优化的等价性检查工具，该工具通过比较优化前后程序的行为来检测编译器bug。文章还分享了该工具在Vyper编译器中发现的一个优化bug，该bug导致局部变量被错误地映射到相同的堆栈位置，从而改变了程序的行为。该bug已在Vyper 0.4.2版本中修复。
编译器优化  等价性检查  形式化验证  Vyper  Certora Prover  bug检测 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 286 )
  • ( 3 )

使用 Certora Prover 形式验证确保 infiniFi 中公平的赎回

infiniFi 是一个 DeFi 平台，通过管理 Pendle、AAVE 和 Ethena 等协议上的存款来优化收益。
DeFi  iUSD  Certora Prover  FIFO  赎回队列  形式化验证 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 280 )
  • ( 5 )