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

Aave v3 不变量测试套件的内部文档

本文档是 Aave v3 不变量测试套件的内部文档，介绍了如何运行测试套件、属性格式、如何添加对新函数的支持、如何从 Foundry 迁移测试、如何迁移 Certora 属性以及如何调试broken属性。该套件使用 Echidna 工具来检查 Aave v3 协议的不变量和后置条件，并通过 property mode 和 assertion mode 两种不同的模式执行。
Aave V3  Echidna  不变量测试  后置条件  Foundry  Certora 

双刃剑的DAO：保护协议免受其治理的威胁

Lido Finance recently launched a dual governance system to enhance security in liquid staking protocols。
Lido Finance  双重治理  去中心化自治组织  协议安全  液态质押  漏洞修复 
  • Certora
  • 发布于 2025-02-13
  • 阅读 ( 381 )
  • ( 2 )

如何从以太坊桥接到Base：完整指南 (2025)

本文详细介绍了如何从以太坊主网桥接到Base的完整指南，包括Base的定义、成长的生态系统、桥接的必要性和具体步骤。Base作为Coinbase的Layer-2扩展解决方案，凭借低成本、高速度和强大的安全性，迅速成为以太坊生态中一个重要的参与者，用户可以通过Across实现简单快速的资产转移。
以太坊  base  桥接  Layer-2  Across  交易 
  • across
  • 发布于 2025-02-13
  • 阅读 ( 467 )
  • ( 3 )

椭圆曲线深入解析（第一部分）

in  密码学101
深入解析椭圆曲线
椭圆曲线  密码学 

如何在 Solana Anchor 程序中使用程序派生地址

如何在 Solana Anchor 程序中使用程序派生地址
Solana  Anchor  pda 
  • QuickNode
  • 发布于 2025-02-13
  • 阅读 ( 1577 )
  • ( 15 )

以太坊 - EIP-X 提案

EIP-X 旨在构建一个能消费 ZKP 的极轻量级客户端，应对以太坊网络中传统轻客户端的局限性，通过witness生成器、ZKEVM 模块生成 ZKP 并分发到轻客户端节点，从而实现高效的状态验证。该方案能支持 Flashbots 的无 Gas 交易，并结合零知识证明解决抢跑交易和三明治攻击等问题，从而提高区块链数据的效率、安全性和可访问性。
零知识证明  轻客户端  MEV  Flashbots  状态验证  verkle 树 

AI安全：保护模型免受威胁与攻击

本文探讨了AI模型在从训练到部署的整个生命周期中面临的各种安全威胁，并提出了对抗这些威胁的最佳实践和模块化安全框架。文章详细介绍了针对大型语言模型（LLM）、对抗性攻击、数据中毒、模型提取等特定威胁的防御策略，并提供了实用的安全清单。
AI安全  对抗性攻击  模型提取  LLM安全  DevSecOps  安全 

一文读懂OpStack最新的RollUp代码流程

op-stack 的 rollup 模块由两个核心组件组成，一个是 op-batcher, 另一个是 op-proposer; op-batcher 将数据 rollup 到 EIP4844 或者以太坊交易的 CallData 里面；op-proposer 将批次交易的状态根提交到 DisputeG
OP Rollup  Optimism 

【Rust 基础入门】(07) | 字符串

in  Rust 基础入门指南：为 Solana 合约学习铺路
本文介绍了 Rust 中字符串的基本操作，包括字符串切片、动态字符串操作（如追加、插入、替换和删除）以及字节、字符和字符串的区别，帮助读者深入理解 Rust 中字符串的内存管理和常用操作方法。
Rust  Rust 入门  Rust 基础  Rust语法基础 
  • 0xE
  • 发布于 2025-02-13
  • 阅读 ( 1117 )
  • ( 16 )

FHE状态操作系统：在保护公民隐私的同时将公共基础设施上链

本文介绍了Zama的FHE State OS，这是一个基于区块链的IT基础设施，旨在通过全同态加密保护公民隐私，同时管理税收、公共支出等政府职能。文章还讨论了使用FHE构建的几个应用案例，包括：加密的ERC-20 token，使用加密投票的DAO，以及去中心化身份系统。
同态加密  区块链  隐私保护  智能合约  去中心化身份  fhEVM 
  • ZamaFHE
  • 发布于 2025-02-13
  • 阅读 ( 520 )

【Solana】Anchor 框架使用笔记

in  Solana 学习开发之旅
通过本教程，你将轻松上手 Anchor 框架，学习如何在 Solana 上创建、部署、测试智能合约，并通过实际示例掌握常用命令和调试技巧。
Anchor  Solana  Solana 合约 
  • 0xE
  • 发布于 2025-02-13
  • 阅读 ( 2135 )
  • ( 63 )

Ethereum Pectra 硬分叉介紹

本文介绍了Pectra硬分叉的计划及其涉及的11个EIP，包括各自的功能和对Ethereum网络的潜在影响。文章详细分析了与质押相关的EIP，如EIP-6110加速质押流程，EIP-7002改善退出机制，以及EIP-7251提高质押金上限等，并简要提及改善用户体验和DApp开发者的EIP。
Pectra硬分叉  EIP-6110  EIP-7002  EIP-7251  以太坊  质押 

了解无常损失

本文详细解释了DeFi中的无常损失（Impermanent Loss）现象及其产生原因，并提供了如何通过多样化投资、稳定币配对、定期再平衡等策略来减轻无常损失的指导。文章还包括使用Factor平台进行风险管理和策略模拟的工具介绍。
无常损失  DeFi  流动性池  自动化做市商  Factor  风险管理 

以太坊 - 如何使用QuickNode SDK构建ERC20代币余额应用程序 - Quicknode

本文介绍了如何使用QuickNode SDK构建一个展示ERC20代币余额的React应用程序。通过使用QuickNode SDK，开发者可以简化与区块链的交互，无需直接处理智能合约，可方便地获取代币余额和其他信息。文章详细描述了设置环境、创建必要组件以及实现应用的步骤，并包含代码示例，适合有一定前端开发经验的读者。
ERC20  QuickNode SDK  react  以太坊  区块链  代币余额 

Move 研究 - 第二部分 Sui

本文介绍了 Sui 这一基于 Move 语言的新区块链，强调了与 Aptos 的比较和其在安全智能合约开发上的重要性。Sui 通过独特的对象模型和状态管理方式，提升了数字资产的实时使用场景，并着重分析了 Sui Move 的特性以及潜在的安全问题。
Sui  Move  智能合约  Rust  区块链  Aptos 
  • zellic
  • 发布于 2025-02-12
  • 阅读 ( 558 )
  • ( 7 )

OpenZeppelin Upgrades Core & CLI - OpenZeppelin 文档

本文档介绍了OpenZeppelin Upgrades Core库和CLI工具，用于检测智能合约的升级安全性及存储布局兼容性。重点介绍了CLI的validate命令，以及High-Level API和Low-Level API的使用方法，包括环境配置、参数说明和返回结果，方便开发者在开发流程中尽早发现和解决潜在的升级问题。
OpenZeppelin  升级  智能合约  安全性  存储布局  validate命令 

越南的Solana：新数字法下的机遇与挑战

越南的数字技术产业法（DTI）旨在改变该国数字业务和区块链项目的运营方式，为数字资产、在线服务和新兴技术引入了新的规则。对于越南的Solana开发者而言可能是一把双刃剑，虽然拥有明确的规则可能更容易吸引投资和发展项目，但更严格的法规可能意味着需要满足更多的要求。文章还讨论了Solana社区如何适应DTI法。
Solana  越南  数字技术产业法  DTI  区块链  监管 
  • tobs.x
  • 发布于 2025-02-12
  • 阅读 ( 455 )

DA桥和Alt-DA信任假设

本文分析了Layer 2（L2）设计中引入外部数据可用性（DA）层如何改变安全和信任假设。通过Rari Chain与Celestia的Blobstream集成案例，探讨了DA桥接集成如何将信任从单一排序器转移到更广泛的证明委员会，从而提高安全性，并详细说明了在没有DA桥的情况下，恶意排序器可能通过数据扣留攻击窃取资金，而集成DA桥后，攻击者需要同时攻破排序器和DA证明委员会才能成功。
Layer 2  数据可用性  DA桥  Celestia  Blobstream  欺诈证明 
  • l2beat
  • 发布于 2025-02-12
  • 阅读 ( 125 )

解读下一代以太坊 L2（III）：原生 Rollups

解读下一代以太坊 L2（III）：原生 Rollups
rollups  原生 Rollup 

如何使用流构建区块链索引器

本文介绍了如何使用 QuickNode Streams 构建一个区块链数据索引器，通过 PostgreSQL 和 Node.js 处理 ERC20 代币转账事件。文章从 Streams 的优势讲起，逐步展示设置 PostgreSQL 数据库、创建流和数据处理服务器的详细步骤，为开发者提供了完整的实现方案和示例代码。
QuickNode  Streams  PostgreSQL  Node.js  区块链索引器  ERC20