PLONK算法的电路采用新的描述模型。整个电路由门电路约束和Copy约束（连线约束）组成。门电路约束和Copy约束都转换为多项式表达。Copy约束通过累加算法实现。

Filecoin官方宣布了SDR的优化版本。在AMD3970x上，P1的性能2小时10分钟。优化思路比较清晰，通过预读取base/exp parent的数据，让数据的准备和sha256的计算并行。

Uniswap V2提供了简洁的x-y-k自动做市商实现。代码主要由两部分组成：Core实现某个交易的Pair的管理逻辑，Periphery实现路由，即一个或者多个交易对的兑换逻辑。理解增加/抽取流动性以及swap操作，需要结合两部分一起看。核心是在Pair中管理了reserve和total supply。所有提供的流动性都以流动性Token来衡量，所有Token的总和就是total supply。

Zkopru利用零知识证明在以太坊上实现layer2隐私交易的新方案

Filecoin的Gas模型，引入了BaseFee，用来调节交易的拥堵情况。BaseFee，在区块拥堵或者区块交易不够的情况下，都会按照12.5%进行相应的调节。每笔交易的费用计算公式：(Gas Premium + Base Fee) * Gas Limit。其中BaseFee的部分会被燃烧掉，Gas Premium作为矿工的手续费。特别注意的是，GasLimit不要随意设置，多余的Gas Limit会被燃烧。

Filecoin的存储单元称为扇区（Sector）。对传统硬盘结构理解的小伙伴，对这个术语应该比较亲切，传统硬盘的最小存储单元就叫Sector。为了证明Sector的存储，Filecoin进行了一系列的处理，传说中的P1/P2/C1/C2。在处理过程中，一个Sector的计算会生成若干文件，最终会生成replica。相关文件是如何组织的？Cache都是由哪些文件组成，分别是多大？本文就从存储的角度看看这些过程和逻辑。

利用Groth16计算证明之前，需要计算出H。目前，普遍采用的是FFT算法。

Sector计算的部分分为Precommit1和Precommit2两部分。两部分合在一起，称为SDR算法。

Sector的状态管理基于状态机。通用状态机的实现是通过go-statemachine实现。状态的存储通过go-statestore实现。在这些模块的基础上，storage-fsm实现了Sector的状态定义以及状态处理函数。

Lotus的PoSt包括两部分：winningPoSt和windowPoSt。winningPoSt是在获取出块权时，需要提供的PoSt证明。从所有有效的Sector中，抽取一个Sector，并抽查该Sector上的66个叶子。