Matthias Fitzi, Aggelos Kiayias, Giorgos Panagiotakos, Alexander Russell. Ofelimos: Combinatorial Optimization via Proof-of-Useful-Work - A Provably Secure Blockchain Protocol. In Yevgeniy Dodis, Thomas Shrimpton, editors, Advances in Cryptology - CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part II. Volume 13508 of Lecture Notes in Computer Science, pages 339-369, Springer, 2022. [doi]
Abstract is missing.