Quentin Botha, Laurent Bindschaedler, Christoph Siebenbrunner: A Requirements Analysis for a Decentralized Mathematics Prediction Market. REW 2025: 344-352