FRI预备知识:多项式的阶、群与有限域、Reed-Solomon码、FRI动机、密码工具Merkle树
Poseidon哈希函数原理
本专栏主要通过原理和代码结合的方式,讲解目前zkMIPS的实现原理。本专栏从基础的代数学知识开始介绍,然后逐步讲解Plonky2的实现,以及zkMIPS本身的prover部分的实现,包括Lookup Scheme,Proof aggregation,最后会讲解zkMIPS算数化。 通过专栏,大家可以真是感受到如何到从0实现一个zkVM。