MIRAGE: Succinct arguments for randomized algorithms with applications to universal zk-SNARKs 发表信息 原文链接 作者 Ahmed Kosba Dimitrios Papadopoulos Charalampos Papamanthou Dawn Song 笔记 待补充