标签: Fiat-Shamir

亚瑟王的「随机」挑战:从交互到非交互式零知识证明