Proving the correct execution of concurrent services in zero-knowledge. - Setty, Srinath T. V.; Angel, Sebastian; Gupta, Trinabh; Lee, Jonathan (2018)