Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs

Zhongjing Wei, Osaid Muhammad Ameer, Nikita Borisov, and Yupeng Zhang, University of Illinois Urbana Champaign