【作业 Assignments】

[Demian101]

每周的课程下面会有一个 Quiz：

作业提交方法：在本 assignments Category New Discussion 建立帖子，回答 Quiz 中每个问题的选项，并给出你思考选择该项的理由。

举例：

Quiz 1 - Introduction and History of ZKP

Q: Which of the following are true about Interactive Proofs (IP)?

A:

• "IP is a superset of NP" - True. The class IP is indeed a superset of NP. This was proven by Adi Shamir in a paper published in 1992. In fact, IP has been proven to be equal to PSPACE, which is a strict superset of NP.
• "IP verifier runs in probabilistic polynomial time" - True. The verifier in an interactive proof system does indeed run in probabilistic polynomial time.