当前位置: 网站首页 > 正文
2021 网络信息安全系列学术报告 3
作者:    摄影:    发布时间:2021-01-27    阅读:

SNARKs for C: How to Construct Circuit to Verify Program Executions via TinyRAM

 

讲座时间8:30-11:30

讲座日期2021-1-29

讲座平台:腾讯会议(会议ID206 238 776

主办单位:计算机科学学院 网络信息安全团队

 

讲座内容简介

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

讲座人简介

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