Publicly Auditable MPC-as-a-Service with succinct verification and universal setup | IEEE Conference Publication | IEEE Xplore