Assimakis Kattis, Joseph Bonneau. Proof of Necessary Work: Succinct State Verification with Fairness Guarantees. In Foteini Baldimtsi, Christian Cachin, editors, Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II. Volume 13951 of Lecture Notes in Computer Science, pages 18-35, Springer, 2023. [doi]
Abstract is missing.