2019-11-01 亚瑟王的「随机」挑战：从交互到非交互式零知识证明