Zhelei Zhou, Bingsheng Zhang, Yuan Chen, Jiaqi Li, Yajin Zhou, Yibiao Lu, Kui Ren 0001, Phuc Thai, Hong-Sheng Zhou. Scriptable and composable SNARKs in the trusted hardware model. Journal of Computer Security, 30(6):757-793, 2022. [doi]
Abstract is missing.