Jean-Guillaume杜马 可以在云中高效计算的校对证书（受邀演讲）。 （英语） Zbl 1453.68086号 Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2018年9月17日至21日，法国里尔，中国社会科学院2018年第20届国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11077, 1-17 (2018). 摘要：在一种新兴的计算范式中，从处理能力到存储能力，计算能力作为一种基于云的服务通过通信网络提供给用户。在那里，为了限制基础设施成本，要求严格的计算被外包。{}可验证计算的思想是将数据结构、工作证明与外包计算的结果相关联。这使得验证算法能够比重新计算更快地证明结果的有效性。我们讨论的是验证程序（执行计算的服务器）和验证程序。{}Goldwasser、Kalai和Rothblum在2008年提出了一种通用方法，以验证任何可并行计算，在几乎线性时间内，潜在结构化输入的大小和结果。然而，校准仪的额外计算成本（以及客户的额外成本）虽然几乎只是整个工作的一个恒定因素，但在实践中却令人望而却步。{}不同的是，我们将在这里介绍计算机代数中特定于问题的过程，例如，对于精确的线性代数计算，它是证明最优的，也就是说，它的财务开销要少得多。关于整个系列，请参见[Zbl 1396.68014号]. 引用于1文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 软件：皮诺奇 PDF格式BibTeX公司 XML格式引用 \文本{J.-G.大仲马}，勒克特。注释计算。科学。11077，1-17（2018年；兹比尔1453.68086） 全文： 内政部 arXiv公司 哈尔