Mar 05, 2023 + 4901 字 TinyRAM程序的ZK Proof System：Part 1 以零知识的方式验证TinyRAM程序的正确执行，文章也提出了查表的概念，本篇先介绍一些概念和证明总体框架
