最新报告：验证计算
摘要：可验证计算的国际最新进展综述
作者：Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild
论文ID：2308.15191
分类：Cryptography and Security
分类简称：cs.CR
提交时间：2023-08-30