讲座时间：8:30-11:30

讲座日期：2021-1-29

讲座平台：腾讯会议（会议ID：206 238 776）

主办单位：太阳成集团tyc4633 网络信息安全团队

讲座内容简介

目前熟知的(zk)SNARK方案大多针对算数/布尔电路的可满足性进行设计构造，而实际当中的问题通常更容易表示为高级语言程序（例如C、Java等）。本次报告主要介绍如何借助TinyRAM/vnTinyRAM等工具，将验证程序的执行正确性转化为算术电路的可满足性。

讲座人简介

马顺利，中国科学院信息工程研究所在读博士生，主要研究兴趣为高效零知识证明系统、可证明安全理论。