genlayer 0.12.4 → 0.13.0

package/templates/default/contracts/football_bets.py

@@ -0,0 +1,119 @@
+# { "Depends": "py-genlayer:test" }
+
+import json
+from dataclasses import dataclass
+from genlayer import *
+
+
+@dataclass
+class Bet:
+    id: str
+    has_resolved: bool
+    game_date: str
+    resolution_url: str
+    team1: str
+    team2: str
+    predicted_winner: str
+    real_winner: str
+    real_score: str
+
+
+@gl.contract
+class FootballBets:
+    bets: TreeMap[Address, TreeMap[str, Bet]]
+    points: TreeMap[Address, u256]
+
+    def __init__(self):
+        pass
+
+    def _check_match(self, resolution_url: str, team1: str, team2: str) -> dict:
+        def get_match_result() -> str:
+            web_data = gl.get_webpage(resolution_url, mode="text")
+
+            task = f"""
+Extract the match result for:
+Team 1: {team1}
+Team 2: {team2}
+
+Web content:
+{web_data}
+
+Respond in JSON:
+{{
+    "score": str, // e.g., "1:2" or "-" if unresolved
+    "winner": int // 0 for draw, -1 if unresolved
+}}
+It is mandatory that you respond only using the JSON format above,
+nothing else. Don't include any other words or characters,
+your output must be only JSON without any formatting prefix or suffix.
+This result should be perfectly parsable by a JSON parser without errors.
+        """
+            result = gl.exec_prompt(task).replace("```json", "").replace("```", "")
+            return json.dumps(json.loads(result), sort_keys=True)
+
+        result_json = json.loads(gl.eq_principle_strict_eq(get_match_result))
+        return result_json
+
+    @gl.public.write
+    def create_bet(
+        self, game_date: str, team1: str, team2: str, predicted_winner: str
+    ) -> None:
+        match_resolution_url = (
+            "https://www.bbc.com/sport/football/scores-fixtures/" + game_date
+        )
+        # commented to allow to test matches in the past.
+        # match_status = await self._check_match(match_resolution_url, team1, team2)
+
+        # if int(match_status["winner"]) > -1:
+        #    raise Exception("Game already finished")
+
+        sender_address = gl.message.sender_account
+
+        bet_id = f"{game_date}_{team1}_{team2}".lower()
+        if sender_address in self.bets and bet_id in self.bets[sender_address]:
+            raise Exception("Bet already created")
+
+        bet = Bet(
+            id=bet_id,
+            has_resolved=False,
+            game_date=game_date,
+            resolution_url=match_resolution_url,
+            team1=team1,
+            team2=team2,
+            predicted_winner=predicted_winner,
+            real_winner="",
+            real_score="",
+        )
+        self.bets.get_or_insert_default(sender_address)[bet_id] = bet
+
+    @gl.public.write
+    def resolve_bet(self, bet_id: str) -> None:
+        if self.bets[gl.message.sender_account][bet_id].has_resolved:
+            raise Exception("Bet already resolved")
+
+        bet = self.bets[gl.message.sender_account][bet_id]
+        bet_status = self._check_match(bet.resolution_url, bet.team1, bet.team2)
+
+        if int(bet_status["winner"]) < 0:
+            raise Exception("Game not finished")
+
+        bet.has_resolved = True
+        bet.real_winner = str(bet_status["winner"])
+        bet.real_score = bet_status["score"]
+
+        if bet.real_winner == bet.predicted_winner:
+            if gl.message.sender_account not in self.points:
+                self.points[gl.message.sender_account] = 0
+            self.points[gl.message.sender_account] += 1
+
+    @gl.public.view
+    def get_bets(self) -> dict:
+        return {k.as_hex: v for k, v in self.bets.items()}
+
+    @gl.public.view
+    def get_points(self) -> dict:
+        return {k.as_hex: v for k, v in self.points.items()}
+
+    @gl.public.view
+    def get_player_points(self, player_address: str) -> int:
+        return self.points.get(Address(player_address), 0)

package/templates/default/deploy/deployScript.ts

@@ -0,0 +1,31 @@
+import { readFileSync } from "fs";
+import path from "path";
+import { TransactionHash, TransactionStatus, GenLayerClient } from "genlayer-js/types";
+
+
+export default async function main(client: GenLayerClient<any>) {
+  const filePath = path.resolve(process.cwd(), "contracts/football_bets.py");
+
+  try {
+    const contractCode = new Uint8Array(readFileSync(filePath));
+
+    await client.initializeConsensusSmartContract();
+
+    const deployTransaction = await client.deployContract({
+      code: contractCode,
+      args: [],
+    });
+
+    const receipt = await client.waitForTransactionReceipt({
+      hash: deployTransaction as TransactionHash,
+      status: TransactionStatus.ACCEPTED,
+      retries: 200,
+    });
+
+    if (receipt.consensus_data?.leader_receipt?.execution_result !== "SUCCESS") {
+      throw new Error(`Deployment failed. Receipt: ${JSON.stringify(receipt)}`);
+    }
+  } catch (error) {
+    throw new Error((`Error during deployment:, ${error}`));
+  }
+}