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

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

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

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

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

PS：文章过于硬核，已下架。。

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

⭐️专栏特点

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

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

本 Solana 课程旨在帮助具有以太坊或 EVM 开发的初学者或中级背景的工程师快速掌握 Solana 程序开发。

初学者在学习区块链编程时面临的困难是他们必须学习一种新的计算模型、学习一种新的语言和学习一个新的开发框架。

如果你已经在以太坊或兼容以太坊的区块链上开发过，那么你已经对计算模型有了相当好的了解，可以专注于语言和框架。

我们的目标是利用你在以太坊方面的过去经验，更快地学习 Solana。 你无需从零开始。

一共包含 8 个模块：

模块 1：入门主题

• 1 : 开始 Solana - 安装与故障排除
• 2 : Solana 和 Rust 中的算术与基本类型
• 3 : Solana Anchor 程序 IDL
• 4 : Solana中的Require、Revert和自定义错误
• 5 : Solana程序是可升级的，并且没有构造函数

模块 2：你需要掌握的最少 Rust 知识

• 6 : Solidity开发者的Rust基础
• 7 : Rust不寻常的语法
• 8 : Rust 函数式过程宏
• 9 : Rust 结构体与属性式和自定义派生宏
• 10 : Rust 和 Solana 中的可见性与“继承”

模块 3：Solana 中的重要系统级信息

• 11 : Solana时钟及其他“区块”变量
• 12 : Solana 系统变量详解
• 13 : Solana 日志、“事件”与交易历史
• 14 : Tx.origin、msg.sender 和 onlyOwner 在 Solana 中：识别调用者
• 15 : Solana 计算单元与交易费用介绍

模块 4：Solana 中的账户与存储

• 16 : 在 Solana 和 Anchor 中初始化账户

• 17 : Solana 计数器教程：在账户中读写数据

• 18 : 使用 Solana web3 js 和 Anchor 读取账户数据

• 19 : 在Solana中创建“映射”和“嵌套映射”

• 20 : Solana中的存储成本、最大存储容量和账户调整

• 21 : 在 Solana 中读取账户余额的 Anchor 方法：address(account).balance

• 22 : 功能修饰符（view、pure、payable）和回退函数在 Solana 中不存在的原因

• 23 : 在 Solana 上实现 SOL 转账及构建支付分配器

• 24 : 使用不同签名者修改账户

• 25 : PDA（程序派生地址）与 Solana 中的密钥对账户

• 26 : 理解 Solana 中的账户所有权：从PDA中转移SOL

• 27 : Anchor 中的 Init if needed 与重初始化攻击

• 28 : Solana 中的多重调用：批量交易与交易大小限制

• 29 : Solana 中的所有者与权限

• 30 : 在Solana中删除和关闭账户与程序

• 31 : 在 Anchor 中：不同类型的账户

• 32 : 在链上读取另一个锚点程序账户数据

• 33 : 在 Anchor 中的跨程序调用(CPI)

模块 5：Solana 上的代币

• 34 : SPL Token 的运作方式

• 35 : 使用 Anchor 和 Web3.js 转移 SPL Token

• 36 : Solana 教程 - 如何实现 Token 出售

• 38 : 基础银行教程

• 39 : Metaplex Token 元数据工作原理

• 40 : 使用Metaplex实施代币元数据

• 41 : 使用 LiteSVM 进行时间旅行测试

• 42 : Solana Token-2022 标准规范

• 44 : 生息代币第一部分

• 45 : 计息代币第二部分

模块 6：Solana 开发进阶主题

• 46 : Solana 指令自省

• 47 : Solana 中的 Ed25519 签名验证

• 48 : Solana - Switchboard 预言机使用

模块 7：原生 Solana 程序

• 50 : 原生Solana：程序入口与执行

• 51 : Solana 原生：读取账户数据

• 52 : Solana 原生：Borsh 序列化

• 53 : 原生 Solana：使用 invoke 和 invoke signed 进行跨程序调用

• 55 : Solana原生：创建存储账户 (一)

• 56 : 原生 Solana：创建存储账户 二

• 57 : 原生 Solana: 函数分发

• 58 : 原生 Solana：关键安全检查

模块 8：Solana 汇编（sBPF）

• 60 : Rust 程序到 SBF 编译

• 61 : sBPF 虚拟机和指令集介绍

• 62 : 跟踪 sBPF 指令执行和计算成本

• 63 : Solana 程序执行与输入序列化

• 64 : 指令处理器和运行时设置

• 65 : sBPF 内存布局和寄存器约定

• 66 : 使用 sBPF 汇编读取 Solana 指令输入

• 67 : Solana 系统调用：sBPF 汇编中的日志记录

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 : 范围证明

去中心化金融 （Decentralized finance，简称：DeFi ）已经发展成为链上最重要的应用。

DeFi 应用利于区块链的智能合约进行如兑换、借贷、抵押、杠杆交易等金融活动。由于DeFi天生的开放性和可组合性，逐步衍生出很多的金融创新，例如闪电贷等。

DEFI 仍然是一个相对新的事物，本专栏将尝试分析（或翻译）一些热门 DEFI 应用，让大家对DEFI 更深入的理解。站在巨人的肩膀上，你也可以实现自己的 DEFI。

本专栏随文章的增加，逐步提价