代表
正确性
计算机科学
外包
授权
可验证秘密共享
计算
功能(生物学)
要价
分布式计算
服务器
数据库
计算机安全
计算机网络
程序设计语言
集合(抽象数据类型)
经济
法学
经济
生物
进化生物学
政治学
作者
Michael Backes,Dario Fiore,Raphael M. Reischuk
标识
DOI:10.1145/2508859.2516681
摘要
We address the problem in which a client stores a large amount of data with an untrusted server in such a way that, at any moment, the client can ask the server to compute a function on some portion of its outsourced data. In this scenario, the client must be able to efficiently verify the correctness of the result despite no longer knowing the inputs of the delegated computation, it must be able to keep adding elements to its remote storage, and it does not have to fix in advance (i.e., at data outsourcing time) the functions that it will delegate. Even more ambitiously, clients should be able to verify in time independent of the input-size -- a very appealing property for computations over huge amounts of data.
科研通智能强力驱动
Strongly Powered by AbleSci AI