scilla_version 0 import BoolUtils IntUtils PairUtils library PredictionGameNFL let one_msg = fun (msg: Message) => let nil_msg = Nil {Message} in Cons {Message} msg nil_msg let uint32_zero = Uint32 0 let uint32_one = Uint32 1 let uint32_two = Uint32 2 let uint32_three = Uint32 3 let uint32_four = Uint32 4 let uint32_five = Uint32 5 let uint32_thirteen = Uint32 13 let uint128_zero = Uint128 0 let uint128_two = Uint128 2 let uint128_eight = Uint128 8 let utin128_ten = Uint128 10 let uint128_fifteen = Uint128 15 let uint128_twentyFive = Uint128 25 let uint128_sixty = Uint128 60 let uint128_seventyFive = Uint128 75 let uint128_hundred = Uint128 100 let bool_true = True let bool_false = False let zero_block = BNum 0 let none_address = 0x0000000000000000000000000000000000000000 let empty = "" let distributePercentage = fun (amount: Uint128) => let multiplied = builtin mul amount uint128_seventyFive in builtin div multiplied uint128_hundred let calculateRedeemFund = fun (pool: Option Uint128) => fun (distributePool: Option Uint128) => fun (amount: Uint128) => match pool with | Some poolValue => match distributePool with | Some distributePoolValue => let multiplied = builtin mul amount distributePoolValue in let divided = builtin div multiplied poolValue in builtin add divided amount | None => uint128_zero end | None => uint128_zero end let addTotalPoolBet = fun (bet: Option Uint32) => match bet with | Some x => builtin add x uint32_one | None => uint32_one end let getAmount = fun (amount: Option Uint128) => match amount with | Some x => x | None => uint128_zero end let checkStatus = fun (status: Option Uint32) => fun (flag: Uint32) => match status with | Some x => builtin eq x flag | None => False end let checkIfNotCompleted = fun (status: Option Uint32) => match status with | Some x => builtin lt x uint32_two | None => False end let getValue = fun (amount: Option Uint32) => match amount with | Some x => x | None => uint32_zero end let addTotalPoolBetAmount = fun (pool: Option Uint128) => fun (amount: Uint128) => match pool with | Some x => builtin add x amount | None => amount end let calculatePool = fun (s1: Option Uint128) => fun (s2: Option Uint128) => match s1 with | Some v1 => match s2 with | Some v2 => builtin add v1 v2 | None => v1 end | None => match s2 with | Some v2 => v2 | None => uint128_zero end end (* Error events *) type Error = | CodeUnauthorized | CodeGameAlreadyExists | CodeInvalidWinner | CodeBetAlreadyExists | CodeIsNotOpenForBet | CodeGameNotAvailable | CodeNotWinner | CodeResultNotAvailable | CodeBetNotAvailable | CodePoolUnavailable | CodeBetAlreadyRedemeed | CodeGameNotStarted | CodeGameAlreadyCompleted | CodeGameNotAborted | CodeActionError | CodeContractFrozen | CodeDisputeNotTimeExceeded | CodeDisputeTimeExceeded | CodeGameNotUnderDispute | CodeGameUnderDispute | CodeInvalidBetSelected | CodeAlreadyDisputed | CodeInsufficientBet | CodeGameAlreadyFinalized | CodeGameNotFinalized let make_error = fun (result : Error) => let result_code = match result with | CodeUnauthorized => Int32 -1 | CodeGameAlreadyExists => Int32 -2 | CodeInvalidWinner => Int32 -3 | CodeBetAlreadyExists => Int32 -4 | CodeIsNotOpenForBet => Int32 -5 | CodeGameNotAvailable => Int32 -7 | CodeNotWinner => Int32 -10 | CodeResultNotAvailable => Int32 -11 | CodeBetNotAvailable => Int32 -12 | CodePoolUnavailable => Int32 -13 | CodeBetAlreadyRedemeed => Int32 -15 | CodeGameNotStarted => Int32 -17 | CodeGameAlreadyCompleted => Int32 -19 | CodeGameNotAborted => Int32 -20 | CodeActionError => Int32 -21 | CodeContractFrozen => Int32 -22 | CodeDisputeNotTimeExceeded => Int32 -23 | CodeDisputeTimeExceeded => Int32 -24 | CodeGameNotUnderDispute => Int32 -25 | CodeGameUnderDispute => Int32 -26 | CodeInvalidBetSelected => Int32 -27 | CodeAlreadyDisputed => Int32 -28 | CodeInsufficientBet => Int32 -29 | CodeGameAlreadyFinalized => Int32 -30 | CodeGameNotFinalized => Int32 -31 end in { _exception : "Error"; code : result_code } type GameData = | GameData of String ByStr20 Uint128 (*type GameData = | GameData of GameName HostedBy BetCharge*) type Bet = | Bet of String ByStr20 Uint32 Uint128 (*type Bet = | Bet of GameID PlayerAddress BetSelected Amount*) type Result = | Result of String Uint32 (*type Result = | Result of FinalScore Winner*) type Bets = | Bets of String String String (*type Bets = | BETID(homeWin) BETID(homeLose) BETID(draw) *) let removeOptionFromBetData = fun(betData: Option Bet) => match betData with | Some v => v | None => Bet empty none_address uint32_zero uint128_zero end let getBetterAddress = fun(betData: Bet ) => match betData with | Bet _ address _ _ => address end let getGameID = fun(betData: Bet ) => match betData with | Bet gameID _ _ _ => gameID end let getBetAmount = fun(betData: Bet ) => match betData with | Bet _ _ _ amount => amount end let getBetSelected = fun(betData: Bet ) => match betData with | Bet _ _ betSelected _ => betSelected end let hostOfGame = fun (game: Option GameData) => match game with | Some gameData => match gameData with | GameData _ hostedBy _ => hostedBy end | None => none_address end let winnerOfGame = fun (result: Option Result) => match result with | Some resultData => match resultData with | Result _ winner => winner end | None => uint32_four end let rmvOptionFromBNum = fun (option_value: Option BNum) => match option_value with | Some v => v | None => zero_block end let getWinBetID = fun(list_bets: Bets) => match list_bets with | Bets winBetID _ _ => winBetID end let getLoseBetID = fun(list_bets: Bets) => match list_bets with | Bets _ loseBetID _ => loseBetID end let getDrawBetID = fun(list_bets: Bets) => match list_bets with | Bets _ _ drawBetID => drawBetID end let checkBet = fun(betID : String) => let is_empty = builtin eq betID empty in match is_empty with | True => uint32_zero | False => uint32_one end let getBetLength = fun(list_bets: Bets) => let betWin = getWinBetID list_bets in let betLose = getLoseBetID list_bets in let betDraw = getDrawBetID list_bets in let winBetPresent = checkBet betWin in let loseBetPresent = checkBet betLose in let drawBetPresent = checkBet betDraw in let temp = builtin add winBetPresent loseBetPresent in builtin add temp drawBetPresent let getPairGameID = fun(pair_data : Pair String String) => let fst_strings = @fst String String in fst_strings pair_data let getPairBetID = fun(pair_data : Pair String String) => let fst_strings = @snd String String in fst_strings pair_data contract PredictionGameNFL (contractOwner: ByStr20, treasury: ByStr20, oracle: ByStr20, bet: ByStr20, disputeBlockTime: Uint32, mrtp: ByStr20, foundation: ByStr20, staking: ByStr20 ) field playerBets: Map ByStr20 (Map String Bets) (* Address => GameID => BetIDs *) = Emp ByStr20 (Map String Bets) field bets: Map String Bet (* BetID => Bet*) = Emp String Bet field games: Map String GameData (* GameID => GameData*) = Emp String GameData field gameStatus: Map String Uint32 (* GameID => Status*) = Emp String Uint32 field results: Map String Result (* GameID => Result*) = Emp String Result field betStatus: Map ByStr20 (Map String Uint32) (* Address => GameID => Status*) = Emp ByStr20 (Map String Uint32) field totalWinPoolBet: Map String Uint32 (* GameID => Count*) = Emp String Uint32 field totalLoosePoolBet: Map String Uint32 (* GameID => Count*) = Emp String Uint32 field totalDrawPoolBet: Map String Uint32 (* GameID => Count*) = Emp String Uint32 field totalWinPoolBetAmount: Map String Uint128 (* GameID => Amount*) = Emp String Uint128 field totalLoosePoolBetAmount: Map String Uint128 (* GameID => Amount*) = Emp String Uint128 field totalDrawPoolBetAmount: Map String Uint128 (* GameID => Amount*) = Emp String Uint128 field totalDistributePool: Map String Uint128 (* GameID => Amount*) = Emp String Uint128 field totalPool: Map String Uint128 (* GameID => Amount*) = Emp String Uint128 field disputedBy: Map String ByStr20 (* GameID => ByStr20*) = Emp String ByStr20 field rewardForHost: Map String Uint128 = Emp String Uint128 (* GameID => Either aborted Amount or game completed Amount*) field rewardDisputeTime: Map String BNum = Emp String BNum (* GameID => BlockTime*) field oracleAddress : ByStr20 = oracle field minimunBetAmount: Uint128 = Uint128 50000000000 (* 50 BET *) field disputeAmount: Uint128 = Uint128 100000000000 (* 100 BET *) field mrtpAddress : ByStr20 = mrtp field foundationAddress : ByStr20 = foundation field stakingAddress: ByStr20 = staking field freezeStatus : Bool = bool_false field stagingOwner : ByStr20 = none_address field owner: ByStr20 = contractOwner field blockDisputeTime : Uint32 = disputeBlockTime field hostAmount : Uint128 = Uint128 25000000000 (* 25 BET *) field treasuryAddress : ByStr20 = treasury procedure ThrowError(err : Error) e = make_error err; throw e end procedure depositBet(amountBet: Uint128) treasury_address <- treasuryAddress; msg_to_token = { _tag : "TransferFrom"; _recipient: bet; _amount: uint128_zero; from: _sender; to: treasury_address; amount: amountBet }; msgs = one_msg msg_to_token; send msgs end procedure callForTreasury(redeem: Uint128, receiver: ByStr20) isAmountZero = builtin eq redeem uint128_zero; treasury_address <- treasuryAddress; match isAmountZero with | True => | False => msg = {_tag: "withdrawBet"; _recipient: treasury_address; _amount: uint128_zero; address: receiver; amount: redeem }; msgs = one_msg msg; send msgs end end procedure checkAccess(role: ByStr20) hasAcess = builtin eq role _sender; match hasAcess with | True => (*ok*) | False => err = CodeUnauthorized; ThrowError err end end procedure isFreeze() freeze_status <- freezeStatus; is_freeze = andb freeze_status bool_true; match is_freeze with | True => err = CodeContractFrozen; ThrowError err | False => end end procedure isOracle() temp_oracleAddress <- oracleAddress; checkAccess temp_oracleAddress end procedure isOwner() contract_owner <- owner; checkAccess contract_owner end procedure isNewGame(gameID: String) check_game <- games[gameID]; match check_game with | Some v => err = CodeGameAlreadyExists; ThrowError err | None => (*ok*) end end procedure isValid(betSelected: Uint32) is_ge = uint32_ge betSelected uint32_zero; is_le = uint32_le betSelected uint32_two; is_true = andb is_ge is_le; match is_true with | True => | False => err = CodeInvalidBetSelected; ThrowError err end end procedure isValidGame(gameID: String) check_game <- games[gameID]; match check_game with | Some v => (*ok*) | None => err = CodeGameNotAvailable; ThrowError err end end procedure isOpenForBet(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_open_for_bet = checkStatus tempGamesForResponse uint32_zero; match is_open_for_bet with | True => (*ok*) | False => err = CodeIsNotOpenForBet; ThrowError err end end procedure isStarted(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_started = checkStatus tempGamesForResponse uint32_one; match is_started with | True => (*ok*) | False => err = CodeGameNotStarted; ThrowError err end end procedure isFinalized(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_completed = checkStatus tempGamesForResponse uint32_three; match is_completed with | True => (*ok*) | False => err = CodeGameNotFinalized; ThrowError err end end procedure isUnderDispute(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_disputed = checkStatus tempGamesForResponse uint32_five; match is_disputed with | True => (*ok*) | False => err = CodeGameNotUnderDispute; ThrowError err end end procedure isNotUnderDispute(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_disputed = checkStatus tempGamesForResponse uint32_five; match is_disputed with | True => err = CodeGameUnderDispute; ThrowError err | False => end end procedure isAborted(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_aborted = checkStatus tempGamesForResponse uint32_four; match is_aborted with | True => (*ok*) | False => err = CodeGameNotAborted; ThrowError err end end procedure isNotCompleted(gameID: String) temp_status <- gameStatus[gameID]; can_be_aborted = checkIfNotCompleted temp_status; match can_be_aborted with | True => (*ok*) | False => err = CodeGameAlreadyCompleted; ThrowError err end end procedure isResultAvailable(gameID: String) temp_result <- results[gameID]; match temp_result with | Some v => (*ok*) | None => err = CodeResultNotAvailable; ThrowError err end end procedure isNotRedeemed(gameID: String) status <- betStatus[_sender][gameID]; isRedeemed = checkStatus status uint32_one; match isRedeemed with | True => err = CodeBetAlreadyRedemeed; ThrowError err | False => (*ok*) end end procedure createNewGame(gameID: String, gameData: GameData) games[gameID] := gameData; gameStatus[gameID] := uint32_zero; e = {_eventname : "GameCreated"; host : _sender; gameID: gameID}; event e end procedure checkLength(betIDs: Bets) length = getBetLength betIDs; status = uint32_ge length uint32_three; match status with | True => err = CodeBetAlreadyExists; ThrowError err | False => end end procedure createBet(betID: String, gameID: String, betData: Bet, betSelected: Uint32, amountOfBet: Uint128) temp_betIDs <- playerBets[_sender][gameID]; match temp_betIDs with | Some betIDs => checkLength betIDs; match betIDs with | Bets winBetID loseBetID drawBetID => list_bets = let is_win = builtin eq betSelected uint32_zero in match is_win with | True => Bets betID loseBetID drawBetID | False => let is_lose = builtin eq betSelected uint32_one in match is_lose with | True => Bets winBetID betID drawBetID | False => Bets winBetID loseBetID betID end end; playerBets[_sender][gameID] := list_bets end | None => list_bets = let is_win = builtin eq betSelected uint32_zero in match is_win with | True => Bets betID empty empty | False => let is_lose = builtin eq betSelected uint32_one in match is_lose with | True => Bets empty betID empty | False => Bets empty empty betID end end; playerBets[_sender][gameID] := list_bets end; bets[betID] := betData; betStatus[_sender][gameID] := uint32_zero; e = {_eventname : "BetPlaced"; gameID: gameID; betID: betID; betSelected: betSelected; amountOfBet: amountOfBet; better: _sender}; event e end procedure updateBet(betID: String, gameIDCurrent: String, betSelectedCurrent: Uint32, amountToBet: Uint128) playerBet <- bets[betID]; match playerBet with | Some v => match v with | Bet gameIdPrev playerAddress betSelectedPrev amount => is_same1 = builtin eq betSelectedCurrent betSelectedPrev; is_same2 = builtin eq gameIDCurrent gameIdPrev; is_same3 = builtin eq playerAddress _sender; status = let temp = andb is_same1 is_same2 in andb temp is_same3; match status with | True => new_amount = builtin add amount amountToBet; updated_bet = Bet gameIDCurrent _sender betSelectedCurrent new_amount; bets[betID] := updated_bet; e = {_eventname : "BetUpdated"; gameID: gameIDCurrent; betID: betID; betSelected: betSelectedCurrent; amountOfBetAdded: amountToBet; better: _sender}; event e | False => err = CodeActionError; ThrowError err end end | None => err = CodeBetNotAvailable; ThrowError err end end (* betID is same if better want to update position, else different betID for different betSelection *) procedure placeBet(gameID: String, betID: String, betSelected: Uint32, amountToBet: Uint128) (* if betID exists adding position to exisitng bet *) bet_status <- exists bets[betID]; match bet_status with | True => updateBet betID gameID betSelected amountToBet | False => new_bet = Bet gameID _sender betSelected amountToBet; createBet betID gameID new_bet betSelected amountToBet end end procedure updatePool(gameID: String, betSelected: Uint32, amountToBet: Uint128) is_Win = builtin eq betSelected uint32_zero; match is_Win with | True => recentWinPoolBets <- totalWinPoolBet[gameID]; increaseTotalPoolBets = addTotalPoolBet recentWinPoolBets; totalWinPoolBet[gameID] := increaseTotalPoolBets; recentWinPoolBetsAmount <- totalWinPoolBetAmount[gameID]; increaseTotalPoolBetAmount = addTotalPoolBetAmount recentWinPoolBetsAmount amountToBet; totalWinPoolBetAmount[gameID] := increaseTotalPoolBetAmount | False => is_Loose = builtin eq betSelected uint32_one; match is_Loose with | True => recentLoosePoolBets <- totalLoosePoolBet[gameID]; increaseTotalPoolBets = addTotalPoolBet recentLoosePoolBets; totalLoosePoolBet[gameID] := increaseTotalPoolBets; recentLoosePoolBetsAmount <- totalLoosePoolBetAmount[gameID]; increaseTotalPoolBetAmount = addTotalPoolBetAmount recentLoosePoolBetsAmount amountToBet; totalLoosePoolBetAmount[gameID] := increaseTotalPoolBetAmount | False => is_Draw = builtin eq betSelected uint32_two; match is_Draw with | True => recentDrawPoolBets <- totalDrawPoolBet[gameID]; increaseTotalPoolBets = addTotalPoolBet recentDrawPoolBets; totalDrawPoolBet[gameID] := increaseTotalPoolBets; recentDrawPoolBetsAmount <- totalDrawPoolBetAmount[gameID]; increaseTotalPoolBetAmount = addTotalPoolBetAmount recentDrawPoolBetsAmount amountToBet; totalDrawPoolBetAmount[gameID] := increaseTotalPoolBetAmount | False => err = CodeInvalidWinner; ThrowError err end end end end procedure flashResult(gameID: String, finalScore: String, winner: Uint32, disputeTime: BNum) new_result = Result finalScore winner; results[gameID] := new_result; e = {_eventname : "ResultFlashed"; gameID: gameID; finalScore: finalScore; winner: winner; disputeBlock: disputeTime}; event e end procedure recordPool(gameID: String, temp_totalPool: Uint128, temp_totalPoolBetAmount: Option Uint128) tempDistributePercentage = distributePercentage temp_totalPool; totalDistributePool[gameID] := tempDistributePercentage; tempTotalPool = getAmount temp_totalPoolBetAmount; totalPool[gameID] := tempTotalPool end procedure buildPool(gameID: String, winner: Uint32) temp_totalWinPoolBetAmount <- totalWinPoolBetAmount[gameID]; temp_totalLoosePoolBetAmount <- totalLoosePoolBetAmount[gameID]; temp_totalDrawPoolBetAmount <- totalDrawPoolBetAmount[gameID]; is_Win = builtin eq winner uint32_zero; match is_Win with | True => temp_totalWinPool = calculatePool temp_totalLoosePoolBetAmount temp_totalDrawPoolBetAmount; recordPool gameID temp_totalWinPool temp_totalWinPoolBetAmount | False => is_Loose = builtin eq winner uint32_one; match is_Loose with | True => temp_totalLoosePool = calculatePool temp_totalWinPoolBetAmount temp_totalDrawPoolBetAmount; recordPool gameID temp_totalLoosePool temp_totalLoosePoolBetAmount | False => is_Draw = builtin eq winner uint32_two; match is_Draw with | True => temp_totalDrawPool = calculatePool temp_totalWinPoolBetAmount temp_totalLoosePoolBetAmount; recordPool gameID temp_totalDrawPool temp_totalDrawPoolBetAmount | False => err = CodeInvalidWinner; ThrowError err end end end end procedure redeemDisputor(gameID: String) temp_disputor <- disputedBy[gameID]; match temp_disputor with | Some v => delete disputedBy[gameID]; dispute_amount <- disputeAmount; callForTreasury dispute_amount v | None => err = CodeActionError; ThrowError err end end procedure checkBetAmount(amountToBet: Uint128) min_bet_amount <- minimunBetAmount; is_ge = uint128_ge amountToBet min_bet_amount; match is_ge with | True => | False => err = CodeInsufficientBet; ThrowError err end end procedure calculateRedeemFund(gameId: String, amount: Uint128) temp_totalPool <- totalPool[gameId]; temp_totalDistributePool <- totalDistributePool[gameId]; total_redeem = calculateRedeemFund temp_totalPool temp_totalDistributePool amount; callForTreasury total_redeem _sender end procedure hostClaimReward(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_game_finalized = checkStatus tempGamesForResponse uint32_three; is_game_aborted = checkStatus tempGamesForResponse uint32_four; tempGame <- games[gameID]; host = hostOfGame tempGame; temp_host_reward <- rewardForHost[gameID]; host_amount = getAmount temp_host_reward; is_zero = builtin eq host_amount uint128_zero; is_not_zero = negb is_zero; status1 = andb is_game_finalized is_not_zero; status2 = andb is_game_aborted is_not_zero; either_or = orb status1 status2; match either_or with | True => delete rewardForHost[gameID]; callForTreasury host_amount host | False => err = CodeActionError; ThrowError err end; e = {_eventname : "HostRewardClaimed"; gameID: gameID; amount: host_amount}; event e end procedure redeemHostDeveloperAndHolders(gameID: String) tempGame <- games[gameID]; host = hostOfGame tempGame; temp_totalDistributePool <- totalDistributePool[gameID]; match temp_totalDistributePool with | Some v2 => temp_foundation <- foundationAddress; temp_staking_reward <- stakingAddress; temp_mrtp <- mrtpAddress; (* 75 to user, 10 to host, 10 to foundation *) temp_10_percent_fraction = let temp = builtin div v2 uint128_seventyFive in builtin mul temp utin128_ten; temp_5_percent_fraction = builtin div temp_10_percent_fraction uint128_two; (* host will have to claim *) rewardForHost[gameID] := temp_10_percent_fraction; (* Hosting amount distribution *) temp_host_amount <- hostAmount; sixty_percent_fraction = let temp = builtin mul temp_host_amount uint128_sixty in builtin div temp uint128_hundred; twenty_five_percent_fraction = let temp = builtin mul temp_host_amount uint128_twentyFive in builtin div temp uint128_hundred; fifteen_percent_fraction = let temp = builtin mul temp_host_amount uint128_fifteen in builtin div temp uint128_hundred; total_staking = builtin add sixty_percent_fraction temp_5_percent_fraction; total_foundation = builtin add twenty_five_percent_fraction temp_10_percent_fraction; callForTreasury total_foundation temp_foundation; callForTreasury total_staking temp_staking_reward; callForTreasury fifteen_percent_fraction temp_mrtp | None => err = CodePoolUnavailable; ThrowError err end end procedure rewardWinner(gameID: String, amount: Uint128) betStatus[_sender][gameID] := uint32_one; calculateRedeemFund gameID amount end procedure isWithinDisputeTime (gameID: String) opt_dispute_time <- rewardDisputeTime[gameID]; dispute_time = rmvOptionFromBNum opt_dispute_time; blk <- & BLOCKNUMBER; is_less = builtin blt blk dispute_time; match is_less with | False => err = CodeDisputeTimeExceeded; ThrowError err | True => end end procedure isDisputeTimeExceeded (gameID: String) opt_dispute_time <- rewardDisputeTime[gameID]; dispute_time = rmvOptionFromBNum opt_dispute_time; blk <- & BLOCKNUMBER; is_less = builtin blt blk dispute_time; match is_less with | True => err = CodeDisputeNotTimeExceeded; ThrowError err | False => end end procedure redeem(pairData: Pair String String) gameID = getPairGameID pairData; betID = getPairBetID pairData; isValidGame gameID; isResultAvailable gameID; isDisputeTimeExceeded gameID; isFinalized gameID; gameResult <- results[gameID]; temp_winner = winnerOfGame gameResult; betData <- bets[betID]; match betData with | Some v => match v with | Bet game_id better_address bet_selected amount => is_same1 = builtin eq better_address _sender; is_same2 = builtin eq game_id gameID; is_same3 = builtin eq bet_selected temp_winner; status = let temp = andb is_same1 is_same2 in andb temp is_same3; match status with | True => isNotRedeemed gameID; rewardWinner gameID amount; e = {_eventname : "GameRewardRedeemed"; gameID: gameID; betID: betID; amount: amount; walletAddress: _sender}; event e | False => err = CodeActionError; ThrowError err end end | None => err = CodeBetNotAvailable; ThrowError err end end procedure isGameNotFinalized(gameID: String) tempGamesForResponse <- gameStatus[gameID]; is_finalized = checkStatus tempGamesForResponse uint32_three; match is_finalized with | True => err = CodeGameAlreadyFinalized; ThrowError err | False => end end (* creator of game must bet *) (* 0 is homeWin, 1 is homeLose, 2 is homeDraw *) transition createGame( gameID: String, gameName: String, betID: String, betSelected: Uint32, amountToBet: Uint128 ) isFreeze; isNewGame gameID; isValid betSelected; amount <- hostAmount; checkBetAmount amountToBet; deposit_amount = builtin add amount amountToBet; new_game = GameData gameName _sender amount; createNewGame gameID new_game; depositBet deposit_amount; updatePool gameID betSelected amountToBet; placeBet gameID betID betSelected amountToBet end transition bet(gameID: String, betID: String, betSelected: Uint32, amountToBet: Uint128) isFreeze; isOpenForBet gameID; isValid betSelected; checkBetAmount amountToBet; depositBet amountToBet; updatePool gameID betSelected amountToBet; placeBet gameID betID betSelected amountToBet end transition gameStarted(gameID: String) isFreeze; isValidGame gameID; isOracle; isOpenForBet gameID; gameStatus[gameID] := uint32_one; e = {_eventname : "GameStarted"; gameID: gameID}; event e end transition gameAborted(gameID: String) isFreeze; isValidGame gameID; isOracle; isNotCompleted gameID; gameStatus[gameID] := uint32_four; amount <- hostAmount; rewardForHost[gameID] := amount; e = {_eventname : "GameAborted"; gameID: gameID}; event e end transition flashGameResults(gameID: String, finalScore: String, winner: Uint32) isFreeze; isValidGame gameID; isOracle; isStarted gameID; isValid winner; gameStatus[gameID] := uint32_two; blk <- & BLOCKNUMBER; dispute_time <- blockDisputeTime; new_block = builtin badd blk dispute_time; rewardDisputeTime[gameID] := new_block; flashResult gameID finalScore winner new_block end transition transferWinnings(gameID: String) isFreeze; isOracle; isValidGame gameID; isNotUnderDispute gameID; isResultAvailable gameID; isDisputeTimeExceeded gameID; isGameNotFinalized gameID; gameResult <- results[gameID]; winner = winnerOfGame gameResult; buildPool gameID winner; redeemHostDeveloperAndHolders gameID; gameStatus[gameID] := uint32_three; e = {_eventname : "GameResultFinalized"; gameID : gameID; winner : winner}; event e end (* Pair GameID BetID *) transition Redeem(pairData: Pair String String) isFreeze; redeem pairData end transition MultipleRedeem(pairList: List (Pair (String) (String))) isFreeze; forall pairList redeem end transition ClaimHostReward(gameID: String) isFreeze; hostClaimReward gameID end transition MultipleClaimHostReward(gameIDs: List String) isFreeze; forall gameIDs hostClaimReward end transition disputeResult(gameID: String) isFreeze; isValidGame gameID; isResultAvailable gameID; isWithinDisputeTime gameID; isNotUnderDispute gameID; isGameNotFinalized gameID; dispute_amount <- disputeAmount; depositBet dispute_amount; gameStatus[gameID] := uint32_five; disputedBy[gameID] := _sender; e = {_eventname : "GameResultUnderDispute"; gameID : gameID}; event e end (* correctDispute is 1 and 0 for wrong dispute *) transition resolveDispute(gameID: String, finalScore: String, winner: Uint32, correctDispute: Uint32) isFreeze; isValidGame gameID; isOwner; isValid winner; isUnderDispute gameID; isGameNotFinalized gameID; gameStatus[gameID] := uint32_three; flashResult gameID finalScore winner zero_block; buildPool gameID winner; redeemHostDeveloperAndHolders gameID; is_correct = builtin eq correctDispute uint32_one; match is_correct with | True => redeemDisputor gameID; e = {_eventname : "DisputeResolvedAndDisputerRedeemed"; gameID: gameID}; event e | False => e = {_eventname : "DisputeResolvedAndDisputerSlashed"; gameID: gameID}; event e end end transition withdrawFromAborted(gameID: String) isFreeze; isValidGame gameID; isAborted gameID; listBet <- playerBets[_sender][gameID]; match listBet with | Some v => winBetID = getWinBetID v; loseBetID = getLoseBetID v; drawBetID = getDrawBetID v; tempBetDataWin <- bets[winBetID]; tempBetDataLose <- bets[loseBetID]; tempBetDataDraw <- bets[drawBetID]; betDataWin = removeOptionFromBetData tempBetDataWin; betDataLose = removeOptionFromBetData tempBetDataLose; betDataDraw = removeOptionFromBetData tempBetDataDraw; bet_amount_win = getBetAmount betDataWin; bet_amount_lose = getBetAmount betDataLose; bet_amount_draw = getBetAmount betDataDraw; total_amount_betted = let temp = builtin add bet_amount_win bet_amount_lose in builtin add temp bet_amount_draw; isNotRedeemed gameID; betStatus[_sender][gameID] := uint32_one; callForTreasury total_amount_betted _sender; e = {_eventname : "BetWithdrawnFromAborted"; gameID: gameID; amount: total_amount_betted}; event e | None => err = CodeBetNotAvailable; ThrowError err end end transition stageNewOwner(new_owner: ByStr20) isFreeze; isOwner; stagingOwner := new_owner; freezeStatus := bool_true; e = {_eventname : "OwnerStagedAndContractFrozen"; stagedOwner : new_owner}; event e end transition changeOwner() staged_owner <- stagingOwner; is_staged_owner = builtin eq _sender staged_owner; match is_staged_owner with | True => owner := _sender; stagingOwner := none_address; freezeStatus := bool_false; e = {_eventname : "OwnerChangedAndContractUnFrozen"; newOwner : _sender}; event e | False => err = CodeUnauthorized; ThrowError err end end transition freezeContract() isOwner; freeze_status <- freezeStatus; match freeze_status with | True => err = CodeActionError; ThrowError err | False => freezeStatus := bool_true; e = {_eventname : "ContractFrozen"}; event e end end transition unFreezeContract() isOwner; freeze_status <- freezeStatus; match freeze_status with | True => freezeStatus := bool_false; e = {_eventname : "ContractUnfrozen"}; event e | False => err = CodeActionError; ThrowError err end end transition updateBlockDisputeTime(time: Uint32) isFreeze; isOwner; blockDisputeTime := time; e = {_eventname : "DisputeTimeUpdated"}; event e end transition updateTreasury(new_treasury: ByStr20) isFreeze; isOwner; treasuryAddress := new_treasury; e = {_eventname : "TreasuryAddressUpdated"}; event e end transition updateHostingAmount(amount: Uint128) isFreeze; isOwner; hostAmount := amount; e = {_eventname : "HostAmountUpdated"; new_host_amount: amount}; event e end transition UpdateDisputeAmount(amount: Uint128) isFreeze; isOwner; disputeAmount := amount; e = {_eventname : "DisputeAmountUpdated"; newAmount: amount}; event e end transition updateOracle(address: ByStr20) isFreeze; isOwner; oracleAddress := address; e = {_eventname : "OracleUpdated"}; event e end transition updateFoundationrWallet(address: ByStr20) isFreeze; isOwner; foundationAddress := address; e = {_eventname : "FoundationAddressUpdated"}; event e end transition updateStakingWallet(address: ByStr20) isFreeze; isOwner; stakingAddress := address; e = {_eventname : "StakingAddressUpdated"}; event e end transition updateMrtpWallet(address: ByStr20) isFreeze; isOwner; mrtpAddress := address; e = {_eventname : "MrtpWalletUpdated"}; event e end (* active bets must not be present while changing betAmount *) transition updateMinimumBetAmount(amount: Uint128) isFreeze; isOwner; minimunBetAmount := amount; e = {_eventname : "MinimumBetAmountUpdated"}; event e end transition RecipientAcceptTransferFrom( initiator : ByStr20, sender : ByStr20, recipient : ByStr20, amount : Uint128 ) end transition TransferFromSuccessCallBack( initiator : ByStr20, sender : ByStr20, recipient : ByStr20, amount : Uint128 ) end transition TransferSuccessCallBack( sender : ByStr20, recipient : ByStr20, amount : Uint128 ) end

Zilliqa

Zilliqa