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

解读以太坊 L2 的下一代（IV）：Gigagas Rollups

解读下一代以太坊 L2：Gigagas Rollups
rollups  Gigagas Rollups 

流动性战争与对抗性代币激励策略 – ImmuneBytes

本文探讨了DeFi领域中流动的争夺，指出流动性是去中心化金融的命脉，但当激励机制不合理时，流动性也会成为一种武器。文章分析了流动性战争的参与者（协议设计者、交易员、研究员）的不同视角，并通过Curve Wars和Uniswap vs. SushiSwap两个案例，揭示了流动性战争的本质以及未来发展趋势。
流动性挖矿  veTokenomics  Curve战争  Uniswap  Sushiswap  治理 

股份代币化：公司终极指南

本文详细阐述了公司如何通过代币化其股份来吸引投资者，并设计稳健的代币经济模型。文章讨论了代币的目的和价值主张，包括分红权、质押奖励和投票权，并确定了代币类型为证券型代币。此外，文章还讨论了代币分配策略、分红分配机制、代币销售策略，以及实施治理和法律框架，并规划代币流动性，制定营销和社区参与计划。
代币化股份  代币经济模型  证券型代币  分红权  质押奖励  投票权 

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

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

Solana - Solayer InfiniSVM

本文介绍了Solayer Chain及其InfiniSVM，这是一种通过硬件加速和混合共识机制扩展Solana性能的解决方案。InfiniSVM利用RDMA、FPGA、RNIC和SDN等硬件卸载技术，旨在提高交易吞吐量并降低延迟，同时保持Solana的单状态机特性和可组合性。通过这种方式，Solayer 希望在不牺牲核心设计的前提下实现 Solana 的无限扩展。
Solana  InfiniSVM  硬件加速  RDMA  FPGA  区块链扩展性 

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

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

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

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

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

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

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