Definitions and properties of zero-knowledge proof systems 发表信息 原文链接 作者 Oded Goldreich Yair Oren 笔记 待补充