Von Spieltheorie zu Smart Contracts – wie Dexsport.io Berechenbarkeit schafft