ZKSwap V2 版别估计将于6月初正式上线，到时新版别将会支撑Layer2 的自主无限上币，用户能够自主增加自己发行的ERC20 token 到ZKSwap 的Layer2 支付网络和兑换网络，完成免费实时转账恣意ERC20 代币（包含任何稳定币）以及免费实时兑换恣意ERC20 代币。
ZKSwap 在V1 的基础上，V2 版别新增了如下功用：
1）"⽆限"上币- ⽤户在⽀付⼀定费⽤的情况下，能够⾃主增加恣意Token，并可创立买卖对；
2）优化电路分支的完成，提高电路功率- ⽀持⼀个账户，两个余额的修正；
3）优化提现体会- V1 版别中，提现的操作和区块验证操作捆绑在⼀起。因为每笔gas 费⽤的约束，导致区块中的提现的个数受限，特别是在聚合验证的情况下，受限更多。V2版别将会优化用户的提现体会。
1. Token办理
ZKSwap V2 版别将⽀持三种类型的 Token：Fee Token、User Token 和LP Token。一共⽀持2^16 个Token。
1.1 Fee Token
Fee Token 只能由Governor 增加，主要为ETH、ZKS、USDT、USDC 和BTC 等。
1.2 User Token
User Token ⽤户能够付费增加。
1.3 LP Token
ZKSwap ⽤户创立买卖对时，有必要⽀付费⽤。LP Token 将在⽤户创立买卖对时⾃动增加。用户创立的买卖对中有必要有⼀种 Token 是 Fee Token。User Token 能创立的买卖对个数受限（由Governor 设置）。
1.4 Governor Config
Governor 能够设置增加User Token 和修正创立买卖对⽀付的费⽤。
2. 账户办理
ZKSwap V2 版别将⽀持2^28 个账户。其间账户0 为Validator 账户。
3. Fee模型
ZKSwap V2 版别上的Layer2 买卖，能够指定Fee Token 中的⼀种作为⼿续费。
4. Pub Data of Transactions
ZKSwap V2 版别上的一切买卖（包含Layer1 / Layer2 买卖）都需求打包提交Pub Data 到Layer1。为了保持最优的电路性能，Chunk ⼤⼩为11 字节，兑换和转账只需求2 个Chunk。
4.1 Noop
ZKSwap V2 版别允许存在空买卖，来填充Layer2 区块。
a. pub data
pub data 的总⻓度= 1 字节。
4.2 Deposit
用户从ZKSwap Layer1 建议充值操作时，系统会将用户 Layer1 的财物映射到Layer2。
a. 接⼝函数
function deposit ERC20 (IERC20 _token, uint104 _amount, address _franklinAddr)
function deposit ETH (address _franklinAddr)
b. pub data
pub data 的总⻓度= 1+4+2+16+20 = 43 字节。一共4 个Chunk。
4.3 Transfer
用户经过ZKSwap Layer2 建议的转账买卖，可完成恣意Token 的转账。
a. pub data
pub data的总⻓度= 1+4+2+4+5+1+2 = 19 字节。2 个Chunk。
4.4 TransferToNew
用户经过ZKSwap Layer2 建议转账买卖，可完成恣意Token 的转账。转账对⽅不需求提前创立账户。
a. pub data
pub data 的总⻓度= 1+4+2+20+4+5+1+2 = 39 字节。4 个Chunk。
4.5 Withdraw
用户经过ZKSwap Layer2 建议提现操作，可完成恣意Token 在Layer1 的提现。
a. pub data
pub data 的总⻓度= 1+4+20+2+16+1+2 = 46 字节。5 个Chunk。
4.6 FullExit
用户可直接从ZKSwap Layer1 建议FullExit 恳求，提取财物，此操作需求Layer2 提供证明。
a. pub data
pub data 的总⻓度= 1+4+2+20+16 = 43 字节。4 个Chunk。
4.7 ChangePubKey
用户经过在ZKSwap Layer2 建议提取买卖，可完成恣意Token 在Layer1 的提现。
a. pub data
pub data 的总⻓度= 1+4+20+20+4 = 49 字节。5 个Chunk。
4.8 CreatePair
用户经过ZKSwap Layer1 建议买卖池的创立。创立买卖池需求在Layer1 创立对应的智能合约（LP 代币）。
a. 接⼝函数
function createPair (address _tokenA, address _tokenB)
b. pub data
pub data 的总⻓度= 1+ 4+2+2+2+20 = 31 字节。一共3个Chunk。
4.9 AddLiquidity
用户经过ZKSwap Layer2 增加流动性。
a. pub data
pub data 的总⻓度= 1+4+4+5+5+5+5+1+2 = 32 字节。一共3 个Chunk。
4.10 RemoveLiquidity
用户经过ZKSwap Layer2 移除流动性。
a. pub data
pub data 的总⻓度= 1+4+4+5+5+5+1+2 = 27 字节。一共3 个Chunk。
4.11 Swap
用户经过ZKSwap Layer2 完成两种Token 之间的兑换。
a. pub data
pub data 的总⻓度= 1+4+4+5+5+1+2 = 22 字节。一共2 个Chunk。
5. Circuit Optimization
ZKSwap V2 版别为了下降AMM 相关操作的Chunk 个数，需求下降“Branch”的个数。原有设计在状态树上的⼀个Account 和⼀个Token 的Balance 组成⼀个“Branch”。在AMM 相关的操作中，如果采⽤Fee Token 的⽅式，原有的设计功率⽐较低，需求⽀持1 个Account 和2 个Token 的Balance的“Branch”。
1) Account Audit Path (aap)
2) 该Account 下的2 个Balance (balance0 / balance1) 在修正前的Audit Pat（bap0/bap1) 3) 该Account 下的2 个Balance (balance0'/balance1') 在修正后的Audit Pat（bap0'/bap1')
在修正前电路需求证明:
• balance0 + bap0 ==> b_root0
• balance1 + bap1 ==> b_root0
• account (b_root0) + aap ==> root
在balance修正后电路需求证明:
• balance0' + bap0 ==> b_root0'
• balance1 + bap1' ==> b_root0'
• balance1' + bap1' ==> b_root0''
• account(b_root0'') + aap ==> root'
6. AMM Circuit Explanation
6.1 CreatePair Circuit
6.2 AddLiquidity Circuit
6.3 RemoveLiquidity Circuit
6.4 Swap Circuit
7. Withdrawal Optimization
ZKSwap V2 版别提现操作和区块验证隔离开，区块中的提现个数将不受约束。
在某个区块验证后，经过Check Withdrawals 函数创立Pending Withdraws，再经过Complete Withdrawls 完成提现。Complete Withdrawls 函数需求增强能够优先处理某个Pending Withdraws。区块验证是针对多区块聚合完成的。Check Withdrawals 针对每个验证后的区块进⾏处理。创立⼀个Pending Withdraw 的gas 费⽤在7w 左右，依照⼀个买卖最⼤的gas 费⽤1250w 来说的话，⼀个区块⽀持的最⼤的提现个数是178 笔。
7.1 checkWithdrawals
7.2 completeWithdrawals
8. Limitation
1. Fee Token：32个；User Token：16352个；Pair：49152
2. 兑换中买卖对的2 个Token，其间一个有必要是Fee Token；
3. 兑换时收取的费用将是2 个Token 中的一个Fee Token；
4. 一切买卖的⾦额最⼤为120 bit，且任何中心核算变量的最⼤值为120 bit。
视野开拓
中世纪时市场制度之所以无法想象，是有其确切和充足的理由的，那是对生产本身这一抽象的要素还没有构想出来。中世纪时既没有土地、劳动和资本这三者的概念，因此也就没有市场，既没有市场（尽管有许多丰富多彩的当地商业中心和巡回集市），社会就只能按风俗和传统习惯展开活动。由地主们发号施令，生产就按照他们的意旨而盛衰起落。当没有号令可以遵守时，生活就按固有的常规过下去。假使亚当•斯密生存在1400年以前，他就会感到没有必要去创立一个政治经济学理论。-《The Woldly Philosophes》
