Ascon：轻量级IoT设备加密算法

前段时间经过了NIST的最终筛选

cq：基于缓存商的Lookup协议

Seek you in the vast sea.

SNARK Design：Part II

Justin Thaler教授2022年8月在a16z上的演讲，第二部分简要介绍Rollup相关知识

SNARK Design：Part I

Justin Thaler教授2022年8月在a16z上的演讲，第一部分简要介绍SNARK的一些背景

Spartan：满足透明性的通用高效zkSNARK方案

去年就开坑的paper，当时个人理解不足没看懂，文中有一个很巧妙的点来减少Verifier的开销

多项式扩展与和校验协议

一个很简单又很巧妙的协议，不知道为啥半年前的自己看不懂

TinyRAM程序的ZK Proof System：Part 2

本部分介绍一下TinyRAM程序零知识证明系统中的各个子关系

TinyRAM程序的ZK Proof System：Part 1

以零知识的方式验证TinyRAM程序的正确执行，文章也提出了查表的概念，本篇先介绍一些概念和证明总体框架

FFlonk算法

利用快速傅氏变换来进一步优化Verifier的计算开销，不过代价是增加Prover的计算开销

MSM算法

MSM又是ZKP协议中非常常见的一个基本算法