Confidential Computing Proofs-Reference-Cited by-同舟云学术

Confidential Computing Proofs

Published:2024-08-30 Issue:4 Volume:22 Page:73-100
ISSN:1542-7730
Container-title:Queue
language:en
Short-container-title:Queue

Author:

Russinovich Mark¹,Fournet Cédric²,Zaverucha Greg³,Benaloh Josh³,Murdoch Brandon⁴,Costa Manuel⁵

Affiliation:

1. Microsoft Azure

2. Azure Research at Microsoft, Cambridge UK

3. Microsoft Research

4. Microsoft Security division, London, UK

5. Microsoft

Abstract

Proofs are powerful tools for integrity and privacy, enabling the verifier to delegate a computation and still verify its correct execution, and enabling the prover to keep the details of the computation private. Both CCP and ZKP can achieve soundness and zero-knowledge but with important differences. CCP relies on hardware trust assumptions, which yield high performance and additional confidentiality protection for the prover but may be unacceptable for some applications. CCP is also often easier to use, notably with existing code, whereas ZKP comes with a large prover overhead that may be unpractical for some applications.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/3689949

Reference14 articles.

1. Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

2. Delignat-Lavaud A. Fournet C. Vaswani K. Clebsch S. Riechert M. Costa M. Russinovich M. 2023. Why should I trust your code? Communications of the ACM 67 (1) 68?76; https://dl.acm.org/doi/10.1145/3624578.

3. Ernstberger, J., Chaliasos, S., Kadianakis, G., Steinhorst, S., Jovanovic, P., Gervais, A., Livshits, B., Orrù, M. 2023. zk-Bench: a toolset for comparative evaluation and performance benchmarking of SNARKs; https://eprint.iacr.org/2023/1503.pdf.

4. Fiat, A., Shamir, A. 1986. How to prove yourself: practical solutions to identification and signature problems. In Proceedings of Advances in Cryptology (CRYPTO), 186?194; https://dl.acm.org/doi/10.5555/36664.36676.

5. Goldreich, O. 2001. Foundations of Cryptography, Volume 1: Basic Tools. Cambridge University Press.