Proving the correct execution of concurrent services in zero-knowledge

Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee. Proving the correct execution of concurrent services in zero-knowledge. IACR Cryptology ePrint Archive, 2018:907, 2018. [doi]

Abstract

Abstract is missing.