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

Cairo 语言介绍

本文介绍了Cairo编程语言的基础知识，包括Cairo在Starknet中的作用、开发环境的搭建、语言的语法要点和数据类型（felt252、整数、bool）、复合类型(元组、结构体、枚举)、字符串处理、控制流以及数组和字典的使用。着重讲解了Cairo与Rust相似的语法结构，以及Cairo中数据类型和错误处理的特殊性。
Cairo  Starknet  零知识证明  felt252  控制流  数据类型 

Uniswap V2 深度解析：从代码到机制

目录概述核心架构核心机制关键合约解析安全特性价格预言机个人见解与学习概述UniswapV2是一个去中心化的自动做市商（AMM）协议，允许用户在以太坊上交换ERC20代币，而无需传统的订单簿。它通过恒定乘积公式x*y=k来维持流动性池的平衡。核心特点无
  • 乡客
  • 发布于 2025-11-21
  • 阅读 ( 438 )
  • ( 15 )

CoinJoin 面面观

本文深入探讨了 CoinJoin 的不同概念及其在比特币隐私中的作用，分析了等输出额 CoinJoin、多方批处理、PayJoin 和闪电通道等技术的隐私性保证，并探讨了钱包聚类分析、次级交易模型以及输入输出相关性等理论，强调了理解攻击者视角和设计隐私保护交易结构的重要性，还讨论了诸如FIFO等输入输出相关性的荒谬理论可能对用户行为产生的影响。
CoinJoin  隐私性  比特币  钱包聚类  payjoin  闪电网络 
  • BTCStudy
  • 发布于 2025-11-21
  • 阅读 ( 426 )
  • ( 5 )

Web3 极客日报 #1830

  • rebase
  • 发布于 2025-11-20
  • 阅读 ( 319 )
  • ( 9 )

面向 Solidity 开发者的 Cairo 教程

本文是 Cairo 编程的入门教程，面向有 Solidity 经验的开发者，旨在帮助他们快速上手 Cairo 语言。教程介绍了 Cairo 的基本概念、安装配置、项目结构，以及Cairo与Solidity的异同，还包括Starknet账户创建和初始化，以及如何避免旧版本 Cairo 代码的问题。
Cairo  Starknet  Solidity  Scarb  智能合约  zkVM 

Optimism 中文周刊#81| Uniswap 统一化提案、Soneium Startale 应用、OP Grants 第 44 期

文章部分来源：Superchaineco.46Weekly😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！gm👋🏻乐观集体的公民们，欢迎回到Optimism中文周刊❤️本周是第#81期！本期的内容有：超级链上什么最热门？Uniswap统一化提案

深入 Uniswap V2 的手续费

很多同学都知道Uniswap V2的常数乘积做市模型（x·y=K），即在兑换时保持不变，但是LP和项目方如何赚取手续费，是怎么收取的呢，我猜很多同学和我一样有一些细节搞不清楚。前几天有一个学员在面试时，需要约到了这个问题，这篇文章我们一起来看一看。1.理清常数乘积K与
Uniswap V2  fee 
  • Tiny熊
  • 发布于 2025-11-20
  • 阅读 ( 1013 )
  • ( 51 )

算术电路的形式验证框架比较

本文作者回顾了自己2014年创建的Proof Market，并探讨了使用zkVM构建非托管版本，以及使用计算机语言来编写和检查数学证明来验证算术电路的正确性。文章对比分析了多个用于验证算术电路的框架，包括ACL2、Garden、zk-lean、sp1-lean和Clean，并评估了它们在不同方面的优缺点，以及作者和Claude Code在这些框架上的使用体验。
zkVM  算术电路  形式化验证  ACL2  Lean  Rocq 

加密货币杠杆状况——2025年第三季度

该报告分析了2025年第三季度加密货币杠杆的状况，指出加密货币抵押贷款达到历史新高，主要由链上借贷增长驱动。与2021-2022年的繁荣时期相比，本轮周期的贷款标准更高，实践更稳健，以抵押贷款为主流，行业系统可见性更高，抵押品更集中于BTC、ETH等波动性较低的资产。尽管10月10日经历了历史上最大的期货市场清算事件，但这主要是由机械设计和激进的价格下跌导致，而非广泛的信用过剩。
加密货币  杠杆  借贷  DeFi  期货  抵押品 
  • Galaxy
  • 发布于 2025-11-20
  • 阅读 ( 598 )
  • ( 30 )

Canton的生态系统推动者：数据、预言机与开发工具

本文是关于Canton Network系列文章的第四部分，重点介绍了该网络中的关键服务提供商，包括数据提供商、合规性服务商、安全公司、预言机服务商、专业服务与咨询公司、开发者工具和加速器、钱包与密钥管理、节点服务商以及风险投资机构，他们共同支撑着Canton Network的运行、增长和安全。
Canton Network  区块链  数字资产  合规  预言机  节点服务 
  • DAIC
  • 发布于 2025-11-20
  • 阅读 ( 486 )
  • ( 22 )

闪电网络的闭环悄悄到来

Ark Labs 开发的 Arkade 协议旨在解决比特币闪电网络流动性问题，其核心是通过 VTXO 系统和虚拟互换供应商实现闪电网络支付的闭环。
闪电网络  vTXO  Arkade  互换服务  流动性  比特币 

Web3 极客日报 #1829

  • rebase
  • 发布于 2025-11-19
  • 阅读 ( 430 )
  • ( 19 )

Uniswap V2 详解：架构、安全风险与分叉指南

本文深入探讨了 Uniswap V2 版本，包括其核心架构、主要功能（如 ERC20-to-ERC20 直接交易对、核心/外围架构、抗操纵的 TWAP 预言机、闪电互换和协议费用机制）、安全性分析、开发者集成指南以及分叉时的安全注意事项。文章强调了 V2 版本在改进 AMM 方面的关键作用。
Uniswap V2  AMM  TWAP 预言机  闪电互换  MEV  三明治攻击 
  • zealynx
  • 发布于 2025-11-19
  • 阅读 ( 588 )
  • ( 23 )

Σ 舞步：承诺、挑战、响应

本文深入浅出地介绍了Σ协议，从Schnorr协议开始，逐步讲解了如何组合Σ证明，包括等式证明、AND证明和OR证明。接着，探讨了Pedersen承诺，以及如何将其与Σ协议结合使用，最后介绍了Fiat-Shamir变换，将交互式协议转换为非交互式协议，并推广到一般的同态函数，证明了Σ协议是同态原像知识的证明。
Σ协议  Schnorr协议  Pedersen承诺  Fiat-Shamir变换  同态  零知识证明 

实时 MEV、小费和奖励：使用 Bitquery API 构建生产级的验证者仪表盘

实时MEV、小费和奖励：使用BitqueryAPI构建生产级的验证者仪表盘实时交易小费数据正成为以太坊验证者监控中最重要的组成部分之一。验证者收入的很大一部分现在来自执行层的小费和MEV，这些都在每个区块中直接支付。
  • Asher
  • 发布于 2025-11-19
  • 阅读 ( 298 )
  • ( 11 )

让以太坊所有的 Layer2 再次感觉像一条链

以太坊互操作层(EIL)旨在通过ERC-4337账户抽象和Intent Based架构，在不增加新的信任假设的前提下，使用户能够通过一次签名即可完成跨链交易，从而使以太坊的rollup感觉像一个统一的链。EIL旨在实现钱包层面的多链互操作性，让用户感觉像是在一个无缝的以太坊网络中进行操作，而无需关注底层链的复杂性。
以太坊  互操作性  跨链  ERC-4337  账户抽象  Rollup 

Solana 上的 Bonding Curve

本文深入探讨了 bonding curve（ bonding 曲线）在代币发行和交易中的应用，详细解释了 bonding curve 的原理、不同类型的曲线（线性、指数、对数、S 曲线）及其适用场景，并介绍了 Pump.fun 平台如何利用 bonding curve 实现快速启动和交易，以及相关的技术架构和定价计算方法。
bonding curve  智能合约  代币发行  自动做市  虚拟流动性  Solana 

代理和可升级性——UUPS 代理 (EIP-1822)

本文介绍了 UUPS 代理模式，它将升级逻辑从代理合约转移到实现合约中，从而减少了 bytecode 大小、部署成本和复杂性。通过将升级功能放在实现合约中，每个实现都可以定义自己的升级规则。文章还通过 Foundry 演示了 UUPS 代理的部署和升级过程。
UUPS 代理  EIP-1822  可升级合约  代理模式  delegatecall  Solidity 

深度解析：Solana DePIN - 2025年10月

该报告分析了2025年10月Solana DePIN生态系统的发展情况，重点关注Helium、Render、Hivemapper等项目的收入、用户增长和网络数据。报告指出，尽管部署者奖励有所下降，但DePIN项目的FDV与收入比率有所下降，收入正在赶上估值。同时，报告也关注了无线网络、地图绘制、计算和AI等领域的重要发展。
Solana  DePIN  Helium  Hivemapper  Render  区块链 
  • syndica
  • 发布于 2025-11-19
  • 阅读 ( 556 )
  • ( 15 )

部署与确定性地址（CREATE vs CREATE2）

本文详细解释了以太坊智能合约的部署过程，包括部署交易的原理、EVM如何确定合约地址，以及如何使用CREATE和CREATE2预先计算合约地址。文章通过示例展示了如何手动计算合约地址，并解释了CREATE2在预先确定合约地址方面的重要作用。
智能合约  部署交易  CREATE  CREATE2  EVM  以太坊