题目：Zero-Knowledge and An Epistemic Characterization of it
主讲人：王一廷
时间：2020/2/24 15:00-18:00
摘要：A zero knowledge proof system is a way of convincing someone of a fact without giving them any additional knowledge. This presentation will show how to formalize this intuition in Computer Science and Epistemic Logic.
腾讯会议ID：612 448 709
腾讯会议网址：https://meeting.tencent.com/s/52GCJkAa2f83b
相关附件：