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

深入 Rust 内存模型：栈、堆、所有权与底层原理

in  Rust
深入Rust内存模型：栈、堆、所有权与底层原理Rust语言的性能与安全，并非魔法，而是源于其背后一套经过精心设计的、严谨的内存模型。理解这个模型，是掌握Rust精髓、写出高质量代码的必经之路。然而，许多开发者常常陷入对所有权、生命周期等规则的零散学习，缺乏一个系统性的认知框架。本文旨
Rust 

CertiK首席技术官出席香港金管局论坛，聚焦金融科技与数据安全风险

近日，CertiK首席技术官李康博士受邀出席由香港金融管理局（HKMA）与数码港联合主办的FiNETech 6金融科技论坛，与来自银行、科技、监管等领域的260位专家，共同探讨金融科技生态下的网络韧性、数据治理与技术安全。
Web3  AI安全  web3安全 
  • CertiK
  • 发布于 2025-07-18
  • 阅读 ( 631 )
  • ( 38 )

CertiK创始人顾荣辉出席上海Conflux大会，聚焦Web3全球化中的安全与合规路径

7月18日，Conflux树图技术与生态发展大会在上海召开，CertiK联合创始人兼首席执行官顾荣辉教授受邀出席，并在“全球视野”与“技术驱动变革”两大主题论坛中发言。
Web3  稳定币  稳定币安全  区块链an'q 
  • CertiK
  • 发布于 2025-07-18
  • 阅读 ( 631 )
  • ( 29 )

密码学、区块链和零知识证明的数学：模运算

本文介绍了理解密码学、区块链和零知识证明（如Groth16和PLONK）所需的数学基础概念，重点是模运算。文章解释了模数的概念、模运算的规则、同余的概念以及同余类，并提到了模运算在密码学中的重要性，为后续学习集合论、有限域以及椭圆曲线密码学等内容打下基础。
模运算  同余  同余类  Groth16  PLONK  零知识证明 
  • Cyfrin
  • 发布于 2025-07-18
  • 阅读 ( 517 )
  • ( 4 )

Base链上的AI驱动的DeFi收益优化器

本文介绍了如何利用 QuickNode Marketplace 上的 Aerodrome Swap API 构建一个 AI 驱动的 DeFi 收益优化器。该 API 简化了对链上数据的访问，使开发者能够轻松构建复杂的 DeFi 应用，文章详细介绍了如何使用该 API 构建收益优化器和分析面板，以及如何将这些数据与 Claude AI 集成以实现收益优化。
Aerodrome Swap API  DeFi  收益优化器  QuickNode  AI  Base 网络 
  • QuickNode
  • 发布于 2025-07-18
  • 阅读 ( 667 )
  • ( 39 )

SP1-CC 简介：释放 EVM 的全部力量

Succinct 推出 SP1-Contract-Call (SP1-CC)，这是一个新的 ZK 原语，旨在增强 EVM 的功能。SP1-CC 允许开发者访问历史区块链状态、执行任意的链下 Solidity 逻辑，并通过链上 ZK 证明来验证计算的正确性，从而突破 EVM 的限制，实现更灵活和可扩展的链上应用。
EVM  ZK证明  SP1-CC  智能合约  历史状态  链下计算 
  • Succinct
  • 发布于 2025-07-18
  • 阅读 ( 342 )
  • ( 11 )

Gemini 如何使用 ZeroDev WebAuthn 验证器构建通用智能钱包

ZeroDev 的 Kernel 智能账户基于 ERC-7579 标准构建，具有模块化架构，允许互换组件。Gemini 利用 ZeroDev 的 WebAuthn 验证器插件快速开发了新的智能钱包，该验证器采用“双重模式”密钥验证，在支持 RIP-7212 的链上使用原生 RIP-7212 进行验证，否则回退到 Daimo 的 passkey 实现，从而实现通用地址和较低的 gas 成本。
智能账户  ERC-7579  WebAuthn  RIP-7212  Gas 成本  模块化 
  • zerodev
  • 发布于 2025-07-18
  • 阅读 ( 126 )

ZKStack 跨链架构内幕 — 第一部分：Merkle 树层级结构的深度解析

本文是 ZKStack 协议升级技术结构的探索系列的第一部分，重点介绍了构成 ZKChain 生态系统中安全跨链通信骨干的三个关键 Merkle 树实现：L2ToL1LogsTree、ChainTree 和 SharedTree，并详细解释了它们的构成、大小以及根的用途。
ZKChain  Merkle树  L2ToL1LogsTree  ChainTree  SharedTree  跨链通信 

先发可证明断言 - Layer 2

本文提出了一种扩展 Rollup 灵活性的机制，允许 L2 用户和合约依赖对未来状态的任意断言，只要他们的交易以这些断言最终被证明为条件。文章探讨了 Rollup 通信的背景知识，介绍了 Anchor blocks，Same-slot message passing，以及实现实时 L1 读取、相互依赖的 L2 交易和跨 Rollup 断言的机制，并提供了一个建议的实现框架和示例。
Rollup  L2  L1  Anchor blocks  Same-slot message passing  跨链原子性 

Web3 极客日报 #1779

  • rebase
  • 发布于 2025-07-18
  • 阅读 ( 519 )
  • ( 19 )

专访Anza性能团队的Alessandro Decina

本文采访了Anza性能团队的负责人Alessandro Decina，深入探讨了Solana如何通过不断优化和解决实际问题来提升区块链性能。 Decina分享了他对性能工程的见解，强调了实用主义和解决具体瓶颈的重要性，并展望了Solana未来的发展方向，包括更快的slot时间和更高的交易吞吐量。
Solana  性能优化  区块链  Agave  Turbine  XDP  AccountsDB 
  • Helius
  • 发布于 2025-07-18
  • 阅读 ( 841 )
  • ( 17 )

奖励原则：POC是什么

在DAO或Web3生态中的“奖励原则：POC”通常指的是Proof‑of‑Contribution（贡献证明）模型，用于根据成员对社区的实际贡献来分配奖励，而不仅简单地依赖持币量或投票权重。以下是详细解析：🧱什么是Proof‑of‑Contribution（PoC）？贡
  • SuBC
  • 发布于 2025-07-18
  • 阅读 ( 391 )

RWA是什么意思？

随着区块链技术的不断发展，一个新的概念逐渐走进人们的视野——RWA。那么，RWA到底是什么？它又将如何改变我们的金融世界呢？RWA概念：现实世界资产数字化RWA，全称RealWorldAsset，中文意为“现实世界资产”。它指的是将现实世界中存在的有价资产，例如房地产、股票、债券、商品、艺

RISE Chain 如何构建链上订单簿的基础设施

RISE Chain 是一个以太坊 Layer 2 解决方案，旨在通过其独特的架构创新，如 Shreds 技术和基于 Ethereum 验证器的排序方式，实现与中心化交易所相媲美的性能，特别是在链上中心限价订单簿（CLOB）方面。RISE Chain 致力于提供超低延迟、高吞吐量和完全的 EVM 兼容性，以支持各种去中心化金融应用。
Layer 2  CLOB  EVM  去中心化金融  以太坊  RISE Chain 
  • gelato
  • 发布于 2025-07-18
  • 阅读 ( 625 )
  • ( 27 )

怎么买稳定币？

在加密货币的世界中，稳定币扮演着重要的角色。它们的价值与法定货币或其他实物资产挂钩，为投资者提供了一种规避市场波动风险、进行交易和储蓄的方式。那么，如何购买稳定币呢？本文将为您详细介绍稳定币购买流程，帮助您安全地进入加密货币市场。什么是稳定币？稳定币是一种加密货币，其价值被锚定在传统储备资产上，

Uniswap-V1 添加流动性解析

本文将带你深入理解UniswapV1的添加流动性机制，从基础概念到代码实现，循序渐进。📚第一章：基础概念扫盲什么是DeFi和AMM？DeFi：去中心化金融，用智能合约替代传统银行AMM：自动做市商，用数学公式自动定价和交易的系统什么是流动性池？想象一个神奇的双格宝
Uniswap V1 
  • 李楠
  • 发布于 2025-07-18
  • 阅读 ( 608 )
  • ( 21 )

使用 Chainlink CCIP 发送跨链“Hello World”

本文介绍了如何使用 Chainlink CCIP 将数据从一个链发送到另一个链。具体来说，展示了如何使用 Foundry 设置项目，编写一个 Solidity 函数，该函数可以将简单的字符串“hello world”从源链发送到目标链，并解释了关键的 CCIP 概念和函数，例如 `ccipSend` 和 `EVM2AnyMessage` 结构体。
Chainlink CCIP  跨链互操作  Solidity  智能合约  Foundry  EVM2AnyMessage 

区块链解密：哈希、区块和去中心化初学者指南

本文介绍了区块链安全和去中心化的基本原理，包括哈希函数、区块结构、挖矿过程、区块链的不可篡改性以及去中心化的重要性。文章还提及了数据在区块链中的存储方式以及一个可视化区块链运作方式的资源。
区块链  哈希函数  挖矿  去中心化  区块  加密 

ZKStack 跨链架构内幕 — 第一部分：Merkle 树层级结构的深度解析

本文是关于 ZKStack 协议升级的技术结构的探索，重点介绍了构成安全跨链通信骨干的三个关键 Merkle 树实现：`L2ToL1LogsTree`、`ChainTree` 和 `SharedTree`。文章详细描述了每个树的叶子节点构成、大小以及根的用途，并解释了它们在 ZKChain 生态系统中的作用，为理解跨链交互的底层机制提供了重要信息。
Merkle树  ZKChain  跨链通信  L2ToL1LogsTree  ChainTree  SharedTree 

比例带宽分配中的博弈论漏洞：FastLane的ShMonad协议的形式化分析

本文分析了基于Monad的Liquid Staking Token（LST）shMONAD的设计及其潜在的安全隐患。ShMonad通过按比例分配网络带宽来激励用户，但同时也存在过度承诺、财富集中、时机攻击等问题，为了保证长期稳定性，FastLane应考虑引入二次方承诺费、时间加权Stake锁、混合拍卖层等机制。
Liquid Staking Token  shMONAD  Monad  带宽分配  MEV  二次方承诺费 
  • thogiti
  • 发布于 2025-07-18
  • 阅读 ( 672 )
  • ( 33 )