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

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

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

$FFP 经济白皮书

读懂$FFP的代币经济。

Arweave/AO 生态精粹 Week 6｜AO 主网上线、Permaswap 24 小时交易量超 100 万美金、链上 Minecraft 白名单

AO 主网上线、Permaswap 24 小时交易量超 100 万美金、链上 Minecraft 白名单

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

in  密码学101

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

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

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

以太坊常用面试题——简单篇

以太坊开发人员最常用到的面试问题——简单篇，如回答有误请评论区指正，谢谢简单题私有、内部、公共和外部函数之间的区别？private（私有）：只能在合约内部被调用，不能被合约外部或继承的合约调用。internal（内部）：与private类似，但也可以在继承该合约的合约中被调

以太坊 - 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
  • 阅读 ( 1088 )
  • ( 16 )

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

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

【Solana】Anchor 框架使用笔记

in  Solana 学习开发之旅

通过本教程，你将轻松上手 Anchor 框架，学习如何在 Solana 上创建、部署、测试智能合约，并通过实际示例掌握常用命令和调试技巧。
Anchor  Solana  Solana 合约 
  • 0xE
  • 发布于 2025-02-13
  • 阅读 ( 2048 )
  • ( 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
  • 阅读 ( 525 )
  • ( 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
  • 阅读 ( 389 )