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

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

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

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

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

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

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

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
  • 阅读 ( 452 )
  • ( 21 )

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

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

集合论基础

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

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

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

反对为 Glamsterdam 实施 EIP-7732 的理由

文章讨论了在Glamsterdam中实施EIP-7732（一种提议者-构建者分离方案）的必要性。作者认为，目前没有紧迫性立即实施EIP-7732，因为主要的扩展优势（如payload分割和延迟执行）可以在没有信任支付的情况下实现。此外，作者指出，插槽拍卖、执行层支付路径和MEV Burn集成等方面的研究仍在进行中，过早采用EIP-7732可能会限制未来的设计灵活性。
EIP-7732  提议者-构建者分离  PBS  MEV  以太坊  扩展性 

如何设计一个安全的稳定币系统

在文章的稳定币系统设计通过采用分级权限管理，热钱包用内网签名机，防火墙保护，在多签中加入签名Bot ，来提升系统的安全性。
稳定币  托管系统  系统设计  多签  签名机 
  • Tiny熊
  • 发布于 2025-07-24
  • 阅读 ( 2683 )
  • ( 637 )

Zama 与 OpenZeppelin 合作，为 DeFi 和数字资产带来机密智能合约

Zama 与 OpenZeppelin 合作，利用全同态加密（FHE）技术，为 Web3 带来生产就绪的机密智能合约，旨在为 DeFi 和数字资产领域提供保密性。他们共同开发了机密代币标准，并构建了加密代币、密封拍卖、隐私治理等机密智能合约原语。
全同态加密  fhEVM  机密智能合约  OpenZeppelin  Confidential Token Standard  密码学 
  • ZamaFHE
  • 发布于 2025-07-24
  • 阅读 ( 114 )

可验证性是加密技术最重要的优势

本文探讨了加密技术中可验证性的重要性，以及如何将可验证性应用于更广泛的领域。
可验证性  EigenCloud  链下验证  机器人  AI代理  零知识证明 

Layer3：Web3大规模采用的最后一块拼图

本文介绍了Layer3平台，旨在解决Web3领域中信息过载和学习困难的问题。Layer3通过结合任务（Quests）、链上凭证系统（CUBE）和全链基础设施，将用户的短暂注意力转化为可验证的链上身份，从而实现可信的项目发现和有效的学习体验，促进Web3的大规模采用。
Web3  Layer3  链上身份  学习  任务  链上凭证 
  • 4pillars
  • 发布于 2025-07-24
  • 阅读 ( 358 )
  • ( 7 )

Securitize的SCOPE基金走向多链，Sui PTB与EIP-7702对比，EthCC 2025回顾，Fusaka硬分叉……

本文主要介绍了Securitize的SCOPE基金扩展到多链，Sui的PTB与以太坊的EIP-7702的比较，EthCC 2025会议的重点（稳定币和链抽象），以及Fusaka硬分叉的计划。此外，文章还提到了Etherspot在账户抽象领域的进展和相关工具。
账户抽象  链抽象  EIP-7702  Sui  PTB  稳定币 
  • etherspot
  • 发布于 2025-07-24
  • 阅读 ( 573 )
  • ( 28 )

闪电网络的静态发票

本文是 Elle Mouton 在 Advancing Bitcoin 2022 大会上关于闪电网络中静态发票的演讲稿。文章讨论了当前闪电网络发票系统的不足，以及LNURL、Offer和AMP三种解决静态发票问题的方案，对比了各自的原理、优缺点，并提出了关于闪电网络发展方向的开放性问题，例如是否需要统一的发票系统。
闪电网络  静态发票  LNURL  offer  AMP  洋葱消息 

终局：使用 ZK 来保护 MegaETH

本文介绍了MegaETH如何使用零知识证明（ZK）技术来增强其安全性，提出了一个混合方法，即使用ZK证明来验证欺诈行为，而不是验证有效性。这种方法结合了Optimistic Rollup的效率和ZK证明的安全性，通过EigenDA确保数据可用性，从而缩短最终确认时间，并显著降低了恶意攻击的风险。
零知识证明  欺诈证明  Optimistic Rollup  EigenDA  MegaETH  ZK Fraud Proofs 

椭圆曲线深入研究（第八部分）

本文深入探讨了椭圆曲线上的配对技术，重点介绍了Weil配对和Tate配对的定义、性质及计算所需的预备知识。文章详细解释了主要配对的构造过程，包括Weil配对中如何通过除子等价避免support重叠问题，以及Tate配对中E/rE群的引入和reduced Tate pairing的意义。文章还提及了Weil互反律在证明配对性质中的关键作用。
椭圆曲线  Weil配对  Tate配对  除子  双线性  r-torsion 

ELIP-006 提议： 在 EigenLayer 中引入可重新分配的罚没机制

ELIP-006 提议在 EigenLayer 中引入可重新分配的罚没机制，允许服务构建者在惩罚运营商时，不仅可以销毁罚没资金，还可以将其重新分配给指定的接受者。这种机制的引入扩展了 EigenLayer 的使用场景，尤其是在借贷、保险和风险对冲等领域，同时需要对 EigenLayer 的安全模型和权益保障进行调整以支持这种新的罚没模式。
EigenLayer  罚没机制  重新分配  运营商  AVS  安全