本专栏旨在系统性地解析区块链中 Gas 的概念、运作机制及其演进，特别聚焦于以太坊生态。通过系列文章，我们将深入探讨 Gas 的基本原理、EIP-1559 的改革、交易生命周期中的 Gas 变化、智能合约的 Gas 优化技巧，以及多链环境下的 Gas 模型对比等内容。专栏内容面向开发者，力求提供清晰、专业的知识体系，助力读者在实际开发中更高效地管理和优化 Gas 费用。

⭐️ 最近在整理交易所钱包开发业务的笔记，趁此机会将我对交易所钱包的业务理解解构出来，供后人参考。

• 以图为主：大部分逻辑将以流程图方式展现。

• 图文结合：文字将用来讲解基础概念和描述流程图。

• 最小代码：每个独立业务将抽离出极简代码的实现，方便理解业务逻辑。

• 开发语言：大多数程序代码以 Go 、Typescript展示。

PS：文章过于硬核，已下架。拆解详情请联系我。

我的微信：cola_ocean

🎆此专栏知识涵盖以太坊基本知识、solidity基本知识、以太坊核心项目，为以太坊编程初学者提供一个简洁、快速的入门教程。

⭐️专栏特点

1. 图解为主：停止概念抽象，用流程图阐述以太坊编程的核心概念。
2. 语言简练：拒绝长篇大论，以最简单的语言说清核心知识点。
3. 代码核心：拒绝冗长代码，用核心代码来描述核心知识点。
4. 适合新手：停止纵向横向拓展，做到提炼核心知识点。

本专栏深入分析了 Uniswap v4 智能合约的核心与外围合约，包括工作流、各个合约的功能及其相互关系。通过介绍核心合约 PoolManager 及各种库合约，以及外围合约 PositionManager 和 V4Router，详细讲解了流动性管理和交易操作的实现原理。

本专栏汇集了笔者在学习 Solana 过程中的笔记与心得，一路上也难免遇到了一些坑。市面上许多中文教程仍以翻译为主，因此难免存在一些不足。但我相信，只要你认真学习本专栏中的文章，掌握 Solana 开发将不再是难事。无论是 Solana 程序开发还是脚本编写，你都能游刃有余地应对。此外，本专栏的内容会持续更新，将逐步带领你从入门迈向中阶开发，毫无压力。

Rareskills 出品的零知识证明之书， 对程序员最友好的零知识证明教程

这里有关于从头开始实际编写实用的零知识证明器和验证器（ZK-SNARK）所需知道的内容。

对事物的概念性理解和具体理解是不同的。大多数相当聪明的人在阅读教程后会对某些东西有一个概念性的理解，但他们离用这些知识做一些有用的事情还有很长的路要走。

对于数学家来说，具体的理解发生在他们写证明的时候。对于程序员来说，具体的理解发生在他们编写功能代码的时候。

《零知识证明之书》主要面向寻求具体理解的程序员。我们的书中充满了代码片段，并演示了实际加密库的使用。我们使用数学符号，但是我们以这样一种方式来编写，将其转换为源代码只是一个小小的飞跃。

Groth16是tornado cash（和许多其他公司）用于实现链上零知识证明的算法。我们相信这是学习之旅的最佳起点，我们的书是完全理解算法的最直接途径。

我们的 ZK Book 的Circom 和 Constraint 设计模式将带您踏上从乘法到数字相加的旅程：

• 从头开始构建 ZKVM
• MD5 哈希函数的编码约束

• 学习约束设计中反复出现的设计模式

  模块一 零知识证明的基础数学 1 : P vs NP 及其在零知识证明中的应用

2 : ZK的算术电路

3 : 用于零知识证明的有限域与模运算

4 : 为程序员准备的基础集合论

5 : 抽象代数

6 : 程序员的基本群论

7 : 同态映射

8 : 椭圆曲线点加法

9 : 有限域上的椭圆曲线

模块二 ZK-SNARKS Part 1 (Groth16)

10 : Python、Solidity 和 EVM 中的双线性配对(Bilinear Pairings)

11 : 将代数电路转换为R1CS（一阶约束系统）

12 : 从R1CS构建零知识证明

13 : 使用Python实现拉格朗日插值

14 : Schwartz-Zippel 引理及其在零知识证明中的应用

15 : 二次算术程序

16 : 在Python中将R1CS转换为有限域上的二次算术程序(QAP)

17 : 可信设置

18 : 在可信设置中评估和二次算术程序

19 : Groth16 详解 模块三 Circom 和 Constraint 设计模式

20 : Circom 零知识电路简介

21 : Circom 之 Hello World

22 : Circom模板参数、变量、循环、If语句、断言

23 : 二次约束 - Circom

24 : Circom中的符号变量

25 : Circom 中间信号与子组件

26 : 先指示再约束 - 在 Circom 中复杂约束条件的方法

27 : 先计算，后约束 - ZK 电路设计模式

28 : Circom循环中的组件

29 : 使用虚假证明攻击欠约束的Circom电路

30 : Circomlib中的AliasCheck和Num2Bits strict

31 : Circom 中的条件语句

32 : Quin Selector(选择器)

33 : ZK 中有状态计算简介

34 : 在Circom中交换数组中的两个条目

35 : 选择排序的零知识证明

36 : 在 ZK 中建模栈数据结构 - 如何在 Circom 中创建一个堆栈

37 : ZKVM 的工作原理

38 : ZK中的32位仿真

39 : Circom 中的 MD5 哈希

40 : 零知识证明友好的哈希函数

41 : 排列论证 - The Permutation Argument

42 : Tornado Cash 的工作原理（开发者逐行解析）

模块四 BulletProofs：内积论证的 ZKP 43 : BulletProofs 详解

44 : 什么是Pedersen承诺及其工作原理

45 : 多项式承诺通过 Pedersen 承诺实现

46 : 零知识乘法

47 : 内积的零知识证明

48 : 向量承诺的简洁证明

49 : 对数大小的承诺证明

50 : Bulletproofs零知识证明：内积的零知识与简洁证明

51 : 内积代数

52 : 通过随机线性组合减少等式检查（约束）的数量

53 : 范围证明

在信息时代，数据的安全与隐私至关重要。密码学作为保障信息安全的核心学科，其重要性日益凸显。本专栏旨在为读者提供密码学领域的入门指南，涵盖其理论基础、关键技术以及实际应用。我们将深入探讨密码学的核心概念，包括对称加密算法（如AES）、非对称加密算法（如RSA）、哈希函数（如SHA-256）以及数字签名等。我们将解析这些技术的原理、优缺点以及应用场景。

欢迎来到《Rust 基础入门指南》！本专栏专为计划学习 Solana 智能合约开发的你量身打造，旨在帮助你快速掌握 Rust 编程语言的核心基础，为后续的 Solana 合约开发做好充分准备。

专栏内容聚焦 Rust 的基础语法、内存管理、所有权机制等关键知识点，并结合简单易懂的示例代码，帮助你快速上手。我们将重点讲解 Rust 中与 Solana 合约开发密切相关的概念，如所有权、借用、生命周期、宏等，确保你能够理解并运用这些机制，为编写高效、安全的 Solana 合约打下坚实基础。

2025，Move 迈入新阶段。 不仅有 Aptos 和 Sui 等 L1，也出现了 Movement 和 Rooch 等 L2。

本专栏特性：

• 阐述实际在运营的 Move 案例，助力 Builders 在 Move 方向上创业
• 以实例为专栏基础单元
• 不局限与 Move 中的某一个具体的分支，而是将其视为一个整体生态，设计教程
• 结合线下 Workshop

Let's Walrus 一项学Walrus获得WAL(前期发SUI)的激励计划，鼓励更多的人学习如何使用Walrus，大家可以通过学习以及完成task任务来获取前期共学激励奖励，本专栏主要用于发布该共学任务的教学，希望能够帮助小白进行学习以及了解使用walrus进行存储和网站发布。