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

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
  • 阅读 ( 549 )
  • ( 17 )

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
  • 阅读 ( 426 )
  • ( 6 )

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

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

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

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

如何使用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
  • 阅读 ( 718 )
  • ( 18 )

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

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

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
  • 阅读 ( 314 )
  • ( 16 )

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

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

集合论基础

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

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
  • 阅读 ( 1013 )
  • ( 39 )

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

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

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

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

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

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

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

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

闪电网络的静态发票

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