全部 通识 以太坊 比特币 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
  • 阅读 ( 1047 )
  • ( 2 )

成为“基于”状态：通往去中心化排序的路径 - Layer 2

本文探讨了 Rollup 从中心化排序器逐步过渡到基于 L1 验证者集的去中心化排序的方法，提出了一个分阶段实施的方案，首先在中心化排序的基础上叠加预确认机制，然后逐步引入更多的网关（Gateways）参与排序，最终实现完全无需许可的排序。该方案旨在提高 Rollup 的性能、弹性和与以太坊 L1 的对齐，同时降低迁移风险。
Rollup  排序器  预确认  以太坊  L1  网关 

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

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

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

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

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

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

以太坊 - EIP-X 提案

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

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

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

基于 Recon 与 Medusa 构建不变量测试

本文介绍了使用Medusa和create-chimera-app工具进行智能合约的不变量测试方法。不变量测试是一种高级集成测试手段，通过生成随机调用序列来检查合约内的某些不变量是否保持。文章详细介绍了不变量测试的基本原理、Medusa工具的工作流程，以及如何使用create-chimera-app框架搭建测试脚手架，并通过案例演示如何利用这些工具解决智能合约中的漏洞。
不变量测试  Medusa  智能合约  模糊测试  Solidity  create-chimera-app 

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

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

用你的手机运行一个去中心化网络：认识Avail的轻客户端

本文介绍了Avail轻客户端，它允许去中心化交易所的每个用户独立验证交易，就像运行完整节点一样。Avail轻客户端通过数据可用性采样（DAS）和KZG承诺，实现了无需信任的，密码学安全的，快速的数据验证，降低了硬件要求，并形成了点对点（P2P）网络，从而增强了区块链网络的可扩展性和安全性。同时还对比了以太坊全节点和轻节点，展示了Avail轻客户端独特的优势。
Avail  轻客户端  数据可用性采样  KZG承诺  点对点网络  验证器 

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

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

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

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

不变性驱动开发的需求

本文介绍了不变性驱动开发（Invariant-Driven Development）在智能合约安全中的重要性。通过在软件开发生命周期的每个阶段嵌入不变性——必须始终保持的关键属性，从而显著提高智能合约的鲁棒性。文章阐述了不变性的定义、类型，以及如何在设计、实现、测试、验证和监控等阶段应用不变性驱动开发，以构建更安全的智能合约。
智能合约  不变性  安全  形式化验证  模糊测试  Invariant 

【Solana】Anchor 框架使用笔记

in  Solana 学习开发之旅
通过本教程，你将轻松上手 Anchor 框架，学习如何在 Solana 上创建、部署、测试智能合约，并通过实际示例掌握常用命令和调试技巧。
Anchor  Solana  Solana 合约 
  • 0xE
  • 发布于 2025-02-13
  • 阅读 ( 3949 )
  • ( 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  风险管理 
  • factor.fi
  • 发布于 2025-02-12
  • 阅读 ( 1859 )
  • ( 3 )

行业领导者提议以太坊首个阈值加密内存池

Shutter Network 联合 Chainbound、MEV Blocker、Gnosis 和 Nethermind 提出了以太坊首个阈值加密内存池的实践路线图，旨在通过加密内存池为以太坊区块链提供隐私和公平性，防止诸如抢跑交易和三明治攻击等 MEV 攻击，最终实现完全私有的以太坊。
以太坊  加密内存池  MEV  抢跑交易  三明治攻击  阈值加密 
  • shutter
  • 发布于 2025-02-12
  • 阅读 ( 277 )

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

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

Berachain 常见问题解答：BERA、BGT、PoL 详解

本文是关于 Berachain 的常见问题解答，介绍了 Berachain 的基本概念，例如什么是 Berachain，其 Proof-of-Liquidity (PoL) 的机制，以及 Berachain 的三代币系统：$BERA、$BGT 和 $HONEY。此外还介绍了如何在 Berachain 上获得奖励、参与质押以及选择验证者。
Berachain  Proof-of-Liquidity  POL  BGT  Bera  HONEY 
  • DAIC
  • 发布于 2025-02-12
  • 阅读 ( 435 )