利用免维护操作实现远程不可信服务的一致性
Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations
摘要：
一组相互信任的客户端将计算服务外包给远程服务器，他们并不完全信任该服务器，该服务器可能会受到攻击。客户端之间不进行通信，并且希望验证远程计算的正确性和服务器响应的一致性。本文提出了一种无分叉的操作验证协议（COP），该协议在服务器正确的情况下确保可线性化，在其他任何情况下都保持分叉的可线性化。所有观察彼此操作的客户端都是一致的，从某种意义上说，它们自己的操作和它们所看到的其他客户端的操作都是可线性化的。如果服务器通过隐藏操作来派生两个客户端，那么这些客户端再也看不到彼此的操作。COP支持无等待的客户端操作，在这个意义上，当与正确的服务器执行时，不冲突的操作可以在不等待其他客户端的情况下运行，从而允许比早期协议更多的并行性。当一个操作导致随后的操作产生不同的输出值的客户端运行it.The文件的客户端的COP的保证给出了一个精确的模型，并包括一个正式的分析，这些都实现了冲突。
英文摘要：
A group of mutually trusting clients outsources a computation service to a remote server, which they do not fully trust and that may be subject to attacks. The clients do not communicate with each other and would like to verify the correctness of the remote computation and the consistency of the server's responses. This paper presents the Conflict-free Operation verification Protocol (COP) that ensures linearizability when the server is correct and preserves fork-linearizability in any other case. All clients that observe each other's operations are consistent, in the sense that their own operations and those operations of other clients that they see are linearizable. If the server forks two clients by hiding an operation, these clients never again see operations of each other. COP supports wait-free client operations in the sense that when executed with a correct server, non-conflicting operations can run without waiting for other clients, allowing more parallelism than earlier protocols. A conflict arises when an operation causes a subsequent operation to produce a different output value for the client who runs it. The paper gives a precise model for the guarantees of COP and includes a formal analysis that these are achieved.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
