Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods. Efficient Representation of Numerical Optimization Problems for SNARKs. In Kevin R. B. Butler, Kurt Thomas, editors, 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022. pages 4273-4290, USENIX Association, 2022. [doi]
Abstract is missing.