A Requirements Analysis for a Decentralized Mathematics Prediction Market

Abstract

Decentralized mathematics prediction markets promise new forms of collaboration and incentive alignment, but traditional requirements engineering methods fail to address the unique governance, incentive, and security challenges of such Web3 systems. This paper demonstrates how they can be addressed through a requirements-driven design of a decentralized prediction market for mathematical conjectures, and proposes concrete enhancements to existing frameworks. Our work delivers actionable guidelines for engineering secure, incentive-aligned decentralized platforms, and sets a new standard for early-stage RE in the Web3 era.