@misc{cryptoeprint:2018:907,
    author = {Srinath Setty and Sebastian Angel and Trinabh Gupta and Jonathan Lee},
    title = {Proving the correct execution of concurrent services in zero-knowledge},
    howpublished = {Cryptology ePrint Archive, Report 2018/907},
    year = {2018},
    url = {https://eprint.iacr.org/2018/907},
}