How to Use SNARKs in Universally Composable Protocols.
['Ahmed E. Kosba', 'Zhichao Zhao', 'Andrew N. Miller', 'Yi Qian', 'T.-H. Hubert Chan', 'Charalampos Papamanthou', 'Rafael Pass', 'Abhi Shelat', 'Elaine Shi']
How to Use SNARKs in Universally Composable Protocols.