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

以太坊质押市场正式框架的关键见解 - 经济学

该文章研究了以太坊发行曲线变化对不同类型质押者决策的影响，通过博弈论模型分析了不同发行计划对质押市场去中心化的影响。研究发现，降低发行量可能加剧竞争，降低solo staker的市场份额，增加中心化质押解决方案的市场份额。此外，模型预测solo staking的盈利能力会降低，可能威胁其长期可行性。
以太坊  质押  发行曲线  去中心化  博弈论模型  MEV 

Rust 内存布局深度解析：从对齐、填充到 repr 属性

in  Rust
Rust内存布局深度解析：从对齐、填充到repr属性Rust以其内存安全和高性能而著称，但要真正发挥其潜力、编写出极致高效且能与其他语言无缝交互的代码，理解其底层的内存模型至关重要。一个值在内存中如何表示？为什么struct的内存占用可能比其所有字段大小之和还大？我们又该如何精确控制类型的
Rust 

Boundless The Signal：零知识跨链的架构与范式创新…

The Signal 协议利用零知识证明技术，将源链（目前为以太坊）的最终状态压缩成一个小的有效性证明，可以通过开源的零知识共识客户端在任何目标链上快速验证。它通过数学证明实现链间的互操作性，无需依赖多重签名信任，从而提高跨链交互的安全性和效率。该协议通过证明链的最终状态和状态根，实现不同链之间的互信，从而解决跨链桥的安全问题，并应用于DeFi平台跨链储备审计和资产互通等场景。
零知识证明  跨链互操作性  最终性证明  The Signal协议  区块链共识  多重签名桥 

Web3金融区块链Injective：从核心原理到命令行实战指南

in  Web3
Web3金融区块链Injective：从核心原理到命令行实战指南Injective作为一个专为金融领域构建的Web3区块链，凭借其高性能、低成本和独特的链上订单簿基础设施，在去中心化金融世界中占据了重要地位。理解其核心技术和经济模型是进入其生态的第一步，但真正的掌握源于实践。本文旨在提供一个全面
Web3  Injective 

Python x IPFS：构建生产级的 NFT 元数据自动化流程

in  Web3
PythonxIPFS：构建生产级的NFT元数据自动化流程在NFT项目的生命周期中，元数据的准备是一个繁琐但至关重要的环节。手动上传数千张图片、逐一生成并更新JSON文件不仅效率低下，还极易出错。作为Web3开发的“瑞士军刀”，Python凭借其强大的脚本能力和丰富的数据处理
IPFS  Web3  Python  NFT 

Logup-GKR协议原理

in  zkMIPS解读
Logup-GKR协议通过定义有理多项式，使用Sumcheck协议和GKR协议进行验证。分数加法用于递归地计算每层的多项式值，确保最终结果的正确性。验证者通过发送随机挑战来逐层检查计算过程，直到最终层。
zkMIPS  zkVM 
  • ZKM
  • 发布于 2025-07-26
  • 阅读 ( 1435 )
  • ( 19 )

Solana上的自动化做市商 AMM

本文详细介绍了自动化做市商（AMM）的基本概念、原理及其在Solana上的实现。文章深入探讨了AMM与传统订单簿的区别、流动性池的概念、恒定乘积公式（x*y=k）、滑点以及无常损失等关键概念。此外，还探讨了AMM面临的安全风险，如抢跑交易、价格操纵和闪电贷攻击，并提供了相应的缓解措施。最后，通过一个使用Anchor框架构建Solana AMM的实例，详细展示了AMM的协议设计、代码实现和测试过程。
自动化做市商  AMM  Solana  Anchor框架  流动性池  恒定乘积公式  滑点  无常损失 

Solana 中的 Vault

本文介绍了Solana区块链上的Vault Program的概念，它是一种安全存储和控制数字资产（如tokens或NFTs）的机制。文章详细解释了Vault Program的用途，包括安全资产存储、条件访问、自动化和无需信任的系统。此外，文章还通过Anchor框架，一步步地构建了一个基本的token vault，实现了初始化、存款、取款、锁定和解锁等核心功能。
Solana  Vault Program  Anchor框架  pda  智能合约  Token 

为什么 Keystone 要实现 Shamir 备份

本文介绍了 Keystone 硬件签名器实现的 SLIP39 Shamir 备份标准，该标准允许将种子词分割成多个片段，并设定阈值，只有达到阈值数量的片段才能恢复钱包。文章讨论了Shamir备份的优点、缺点，以及使用建议，例如，提醒用户在转入大量比特币之前先进行练习，并定期执行安全检查。
Shamir 备份  SLIP39  种子词  KeyStone  硬件签名器  私钥分割 
  • BTCStudy
  • 发布于 2025-07-26
  • 阅读 ( 727 )
  • ( 6 )

Cantina × 以太坊：200 万美元 Pectra 安全竞赛

Cantina 和以太坊基金会完成了 Pectra 的 200 万美元客户端层审查竞赛， 涵盖了所有客户端和完整规范，旨在严格验证在生产环境中运行 Pectra 的代码库。Pectra 升级引入了验证器操作、交易处理和协议设计方面的全面增强，整合了十多个以太坊改进提案（EIP）。
以太坊  Pectra  安全竞赛  客户端  EIP  Cantina 
  • cantina
  • 发布于 2025-07-25
  • 阅读 ( 771 )
  • ( 24 )

去中心化物理基础设施网络（DePIN）安全最佳实践

本文讨论了去中心化物理基础设施网络（DePIN）的安全最佳实践。DePIN 将物理服务与区块链基础设施相结合，面临智能合约漏洞以外的独特攻击面，包括编排系统、物理设备、治理过程和行为激励。文章提出了一个全面的安全模型，涵盖 DePIN 协议的整个生命周期，强调风险评估、对抗性建模和跨层可见性。
DePIN  安全模型  智能合约  风险评估  物理基础设施  安全 
  • cantina
  • 发布于 2025-07-25
  • 阅读 ( 899 )
  • ( 30 )

如何使用Steel编写Solana程序

本文介绍了Steel，一个轻量级的、模块化的框架，用于编写原生的Solana程序。通过使用Steel，开发者可以用最少的样板代码和最大的控制力来构建Solana程序，还对比了Steel与Anchor、Pinocchio的异同，并演示了如何使用Steel创建一个自定义的SPL代币，以及如何使用 solana-program-test 对程序进行测试。
Steel框架  Solana程序  Anchor框架  Pinocchio库  SPL代币  solana-program-test 
  • Helius
  • 发布于 2025-07-25
  • 阅读 ( 1075 )
  • ( 19 )

MegaETH生态系统：突破极限之地

MegaETH 是一个旨在突破以太坊虚拟机（EVM）性能限制的实时区块链，通过EigenDA实现数据可用性，采用专用的节点架构和双链视图结构，目标是实现超过 100,000 TPS 的交易速度和毫秒级的延迟。MegaETH 通过 MegaMafia 加速器计划，扶持在其上进行原生构建的项目，并利用社区资金和 NFT 集合来构建社区。
MegaETH  EVM  EigenDA  MegaMafia  区块链  Layer2 
  • 4pillars
  • 发布于 2025-07-25
  • 阅读 ( 693 )
  • ( 16 )

Stable：一个由USDT构建、服务于USDT的USDT数字国家

Stable是一个专为USDT设计的Layer1区块链，旨在通过核心区块链优化和USDT专属功能，如免费USDT0转账、保证区块空间和隐私传输等，实现高扩展性和便捷的USDT应用。Stable 通过支持EIP-7702和ERC-4337，实现仅持有USDT即可进行所有网络活动，同时优化共识、执行和数据库等底层架构，目标是成为一个基于USDT的超大规模数字国家，推动链上GDP的增长。
USDT  稳定币  区块链  EVM  Layer1  账户抽象 
  • 4pillars
  • 发布于 2025-07-25
  • 阅读 ( 781 )
  • ( 21 )

多方计算（MPC）、阈值签名（TSS）和MPC-TSS钱包概述

本文深入探讨了数字资产安全领域，对比了传统钱包和多方计算（MPC）钱包的优缺点，重点介绍了基于阈值签名方案（TSS）的MPC钱包如何通过密钥分片和分布式密钥生成（DKG）来提高安全性，并分析了ZenGo钱包的具体实现及其备份恢复机制，强调了MPC技术在解决私钥管理难题中的作用。
多方计算  MPC  阈值签名  TSS  密钥管理  ZenGo钱包 
  • Mohamed
  • 发布于 2025-07-25
  • 阅读 ( 1674 )
  • ( 57 )

L2链衍生规范

本文档详细描述了L2链衍生规范，重点在于如何从L1数据中生成L2链，包括区块衍生流程、区块提交方式（如批量提交、通道格式、帧格式等），以及涉及的关键架构组件（如L1遍历、L1检索、帧队列、通道银行、批量解码器等），以及Ecotone升级后的blob检索。同时，还涵盖了Payload属性的推导过程，包括交易列表的构建，以及和引擎交互，最终用于构建L2区块。
L2链衍生  批量提交  通道银行  Payload属性  Ecotone  Rollup 

集合论基础

本文介绍了集合论的基础知识，包括有限集和无限集、集合运算和函数。这些概念对于理解零知识证明中使用的密码学结构至关重要。文章还介绍了子集、超集、集合运算、关系和函数等概念，为后续学习群论和零知识证明协议打下基础。
集合论  有限集  无限集  集合运算  子集  函数 
  • Cyfrin
  • 发布于 2025-07-25
  • 阅读 ( 836 )
  • ( 13 )

ZKStack 跨链架构内幕 — 第二部分：网关结算和递归证明

本文深入探讨了 ZKStack 的跨链架构，重点介绍了通过在 Gateway 上进行结算来降低结算成本，并保持安全保证。文章详细解释了 L2 到 L1 日志包含证明的构建过程，以及如何通过 Gateway 验证在 L1 上进行结算的 ZKChain 的日志包含。
ZkStack  跨链架构  Gateway  日志包含证明  Merkle 树  fullRootHash 

Solana 发展路线图 - 以互联网资本市场（ICM）为使命

本文分析了当前Solana在构建互联网资本市场(ICM)中面临的市场微观结构问题，并提出了应用控制执行(ACE)的概念，旨在使智能合约能够毫秒级地控制其交易排序。文章还探讨了市场微观结构的各种权衡，并阐述了Solana在短期、中期和长期内为实现灵活的市场微观结构而采取的具体解决方案，如Jito的BAM、Anza的交易落地改进、DoubleZero、Alpenglow以及异步程序执行(APE)等。
Solana  市场微观结构  互联网资本市场  ACE  Alpenglow  BAM  DoubleZero 
  • Anza
  • 发布于 2025-07-25
  • 阅读 ( 1359 )
  • ( 41 )

掌握 Rust 核心：生命周期与借用检查全解析

in  Rust
掌握Rust核心：生命周期与借用检查全解析“生命周期”和“借用检查器”无疑是Rust学习路上的两大核心挑战，它们是Rust实现内存安全、告别垃圾回收的基石，却也常常让初学者望而生畏，面对一堆编译错误不知所措。别担心，这篇文章就是为你准备的。我们将系统性地剖析生命周期的本质，理解借用检
Rust