# 목표 **\- 배틀쉽 게임에 대해 이해한다\.** **\- Leo 코드로 작성된 배틀쉽 게임을 이해하고 직접 실행해본다\.**
# 사전 준비 * **LEO 개발 환경 설치하기** * [맥 전용 개발 환경 설치 문서 참고](https://ludium.world/participation/d15fa191-fc3d-4e85-84b0-d30265e779b9/167b3aa9-ea44-4172-a4c7-4eaa01222c67/article/3f170b1f-0761-455e-b700-e62253310770) * [윈도우 전용 개발 환경 설치 문서 참고](https://ludium.world/participation/d15fa191-fc3d-4e85-84b0-d30265e779b9/167b3aa9-ea44-4172-a4c7-4eaa01222c67/article/c75e6405-9da9-4f3d-8f52-56ab3f02bd79) * **LEO 계정 설치 및 크레딧 받기** * LEO 익스텐션 지갑을 설치하고 테스트넷에서 LEO 배포 수수료를 지급하기 위한 크레딧(Credit)을 받는다 * 상세 방법은 [첫 트랜젝션 보내기를 참고](https://ludium.world/participation/d15fa191-fc3d-4e85-84b0-d30265e779b9/f5706392-c547-48da-bdaf-9ff93dce604d/mission/e72e3a89-ea25-44a4-9f0a-60e4df84ae7b)한다 * 배포를 위해서는 **50 크레딧 이상**이 필요하다 * **미션 결과물 참고하기** * 미션 진행 참고용 battleship.aleo 프로그램: [\[🔗\]](https://github.com/hex-aragon/aleo-battship) * 결과물을 참고하고 싶다면, 위 깃헙 링크를 통해 `git clone` 해보길 권장한 * **env 설정** ``` NETWORK=testnet3 PRIVATE_KEY=PRIVATE_KEY ``` # 미션 진행 \- 새로운 Leo 프로젝트를 생성하고 zk배틀쉽 Leo 프로그램을 만들어본다\. \- 다음과 같이 단계별로 leo new 커맨드를 실행해서 Leo 프로젝트를 시작해보자 ``` #루트 프로젝트 생성 leo new battleship cd battleship #폴더 내에 참조할 leo 프로젝트 생성 leo new board leo new move leo new verify ``` **\- program\.json 파일 생성** ``` 루트(최상위) 폴더로 이동 pwd $ battleship README.md board build inputs leo.lock move outputs program.json src verify 루트(최상위) 폴더에서 program.json을 다음과 같이 구성한다. touch program.json ``` **\- program\.json 파일을 다음과 같이 구성한다\.** ``` { "program": "battleship.aleo", "version": "0.0.0", "description": "", "license": "MIT", "dependencies" : [ { "name": "board.aleo", "location": "local", "path": "board" }, { "name": "move.aleo", "location": "local", "path": "move" }, { "name": "verify.aleo", "location": "local", "path": "verify" } ] } ``` 전체 프로젝트를 생성하면 다음과 같은 구조를 가진다. 최상위에 battleship leo 프로젝트가 있고 프로젝트 내부에 **board**, **move**, **verify** 폴더가 있다. **src/main.leo 보드 초기화, 게임 시작** **board/board.leo - 배틀 쉽 보드에 대한 코드 (8 x 8) , 보드 state 저장** **move/move.leo - 이동에 대한 코드** **verify/verify.leo - 유효성 검증** ``` . ├── README.md # 프로젝트를 설명하는 글이 작성된 파일 ├── board # 배틀쉽 보드에 대한 코드 ( 8 x 8 보드 ) board state를 저장 │ ├── README.md │ ├── build # 'src/main.leo' 코드로 빌드된 프로그램 폴더 │ │ ├── main.aleo # 'leo' 파일로부터 컴파일된 `aleo instruction` 파일 │ │ └── program.json # 'board.aleo 파일 저장된 json 파일' │ ├── inputs # 프로그램 실행 시 입력값들을 저장한 폴더입니다(추후 사용되지 않을 폴더). │ ├── outputs │ ├── program.json # 'board.aleo 파일 저장된 json 파일' │ └── src │ └── main.leo # board.aleo 프로그램 소스코드가 저장된 폴더 ├── build │ ├── imports # 빌드시 임포트한 폴더 │ │ ├── board.aleo # main.aleo에서 참조하는 board.aleo instruction 파일 │ │ ├── move.aleo # main.aleo에서 참조하는 move.aleo instruction 파일 │ │ └── verify.aleo # main.aleo에서 참조하는 verify.aleo instruction 파일 │ ├── main.aleo # src/main.leo 코드로 컴파일된 battleship.aleo instruction 파일 │ └── program.json # 'battleship.aleo 파일 저장된 json 파일' ├── inputs # 프로그램 실행 시 입력값들을 저장한 폴더입니다(추후 사용되지 않을 폴더). ├── move │ ├── README.md # 프로젝트를 설명하는 글이 작성된 파일 │ ├── build │ │ ├── main.aleo # src/main.leo 코드로 컴파일된 move.aleo instruction 파일 │ │ └── program.json # 'move.aleo 파일 저장된 json 파일' │ ├── inputs # 프로그램 실행 시 입력값들을 저장한 폴더입니다(추후 사용되지 않을 폴더). │ ├── outputs │ ├── program.json # 'move.aleo 파일 저장된 json 파일' │ └── src │ └── main.leo # move.aleo 프로그램 소스코드가 저장된 폴더 ├── outputs ├── program.json # 'battleship.aleo 파일 저장된 json 파일' ├── src │ └── main.leo # main.aleo 프로그램 소스코드가 저장된 폴더 └── verify ├── README.md # 프로젝트를 설명하는 글이 작성된 파일 ├── build │ ├── main.aleo # 'leo' 파일로부터 컴파일된 `aleo instruction` 파일 │ └── program.json # 'verify.aleo 파일 저장된 json 파일' ├── inputs # 프로그램 실행 시 입력값들을 저장한 폴더입니다(추후 사용되지 않을 폴더). ├── outputs ├── program.json # 'verify.aleo 파일 저장된 json 파일' └── src └── main.leo # verify.aleo 프로그램 소스코드가 저장된 폴더 ``` # main.leo **먼저 main.leo 코드부터 보겠다.** 1. `initialize_board`: 새로운 게임을 초기화하고 보드 상태 레코드를 반환한다. 항모, 전함, 순양함, 구축함의 배치를 받아 각각 유효한지 검증하고, 이를 조합하여 보드를 생성한다. 2. `offer_battleship`: 상대와의 게임을 시작하기 위해 주어진 보드를 사용하여 게임을 시작하고, 상대에게 더미 이동 레코드를 제공한다. 3. `start_battleship`: 게임을 진행할 보드와 `offer_battleship`에서 생성된 더미 이동 레코드를 사용하여 게임을 시작하고, 상대에게 더미 이동 레코드를 제공한다. 이후 이 게임 상태는 더 이상 다른 게임에 참여하거나 시작할 수 없다. 4. `play`: 상대방의 이동과 좌표 정보를 받아 자신의 보드를 업데이트하고, 상대방에게 새로운 이동 레코드를 반환한다. 게임이 시작되지 않았다면 실패한다. ``` // 가져온 프로그램. import board.leo; import move.leo; import verify.leo; // 'program' 스코프는 'battleship' 프로그램과 관련된 데이터 타입, 함수 및 상태를 정의합니다. program battleship.aleo { // 새로운 battleship 게임을 나타내는 레코드를 반환합니다. transition initialize_board( // 8x8 그리드에서 항모의 배치를 나타내는 u64 표현입니다. 길이 = 5. carrier: u64, // 8x8 그리드에서 전함의 배치를 나타내는 u64 표현입니다. 길이 = 4. battleship: u64, // 8x8 그리드에서 순양함의 배치를 나타내는 u64 표현입니다. 길이 = 3. cruiser: u64, // 8x8 그리드에서 구축함의 배치를 나타내는 u64 표현입니다. 길이 = 2. destroyer: u64, // 상대방의 주소입니다. player: address, ) -> board.leo/board_state.record { // 각각의 선박 배치 비트열이 유효한지 확인합니다. let valid_carrier: bool = verify.leo/validate_ship(carrier, 5u64, 31u64, 4311810305u64); assert(valid_carrier); let valid_battleship: bool = verify.leo/validate_ship(battleship, 4u64, 15u64, 16843009u64); assert(valid_battleship); let valid_cruiser: bool = verify.leo/validate_ship(cruiser, 3u64, 7u64, 65793u64); assert(valid_cruiser); let valid_destroyer: bool = verify.leo/validate_ship(destroyer, 2u64, 3u64, 257u64); assert(valid_destroyer); // 모든 선박 배치를 결합하여 보드를 생성합니다. let board: u64 = verify.leo/create_board(carrier, battleship, cruiser, destroyer); // 보드 상태 레코드를 초기화합니다. let state: board_state = board.leo/new_board_state(board, player); return state; } // 시작된 게임 상태가 된 업데이트된 board_state.record를 반환하며, 더 이상 이를 사용하여 새로운 게임에 참여하거나 시작할 수 없습니다. // 상대방이 소유한 더미 이동 레코드를 반환합니다. transition offer_battleship( // 게임을 시작할 보드 레코드입니다. board: board.leo/board_state.record, ) -> (board.leo/board_state.record, move.leo/move.record) { let state: board_state = board.leo/start_board(board); let dummy: move = move.leo/start_game(board.player_2); return (state, dummy); } // 시작된 게임 상태가 된 업데이트된 board_state.record를 반환하며, 이를 더 이상 참여하거나 새로운 게임을 시작할 수 없습니다. // 상대방이 소유한 더미 이동 레코드를 반환합니다. transition start_battleship( // 게임을 진행할 보드 레코드입니다. board: board.leo/board_state.record, // 게임을 시작하기 위한 이동 레코드입니다. offer_battleship에서 생성된 더미 이동 레코드여야 합니다. move_start: move.leo/move.record, ) -> (board.leo/board_state.record, move.leo/move.record) { // 이동 플레이어와 보드 플레이어가 일치하는지 확인합니다. assert_eq(board.player_1, move_start.player_2); assert_eq(board.player_2, move_start.player_1); let state: board_state = board.leo/start_board(board); let dummy: move = move.leo/start_game(board.player_2); return (state, dummy); } // 업데이트된 board 레코드를 반환합니다. // 상대방이 소유한 새로운 이동 레코드를 반환합니다. transition play( // 업데이트할 board 레코드입니다. board: board.leo/board_state.record, // 상대방으로부터 수신한 이동 레코드입니다. move_incoming: move.leo/move.record, // 상대방의 보드에서 다음에 플레이할 좌표의 비트 표현에 해당하는 u64입니다. shoot: u64, ) -> (board.leo/board_state.record, move.leo/move.record) { // 게임이 시작되었는지 확인합니다. 이로써 플레이어들이 게임을 시작하고 나서 새로운 보드를 만들어 사용하는 것을 방지합니다. assert(board.game_started); // 이동 플레이어와 보드 플레이어가 일치하는지 확인합니다. assert_eq(board.player_1, move_incoming.player_2); assert_eq(board.player_2, move_incoming.player_1); // 자신의 보드에서 좌표를 플레이합니다. 유효한 이동이 아닌 경우 실패합니다. let hit_or_miss: board_state = board.leo/update_played_tiles(board, shoot); // 자신의 보드를 마지막 공격 결과로 업데이트합니다. let next_board: board_state = board.leo/update_hits_and_misses(hit_or_miss, move_incoming.prev_hit_or_miss); // 상대방의 공격 좌표가 명중인지 확인합니다. let is_hit: u64 = move_incoming.incoming_fire_coordinate & board.ships; // 다음 이동을 생성합니다. let next_move: move = move.leo/create_move(move_incoming, shoot, is_hit); return (next_board, next_move); } } ``` # board.leo board.leo 코드에 대해 알아보겠다. 이 프로그램은 'board' 프로그램에 대한 데이터 타입, 함수, 그리고 상태를 정의한다. `board_state` 레코드는 게임의 현재 상태를 나타내며, `new_board_state`, `start_board`, `update_played_tiles`, 그리고 `update_hits_and_misses`라는 transition 함수를 사용하여 상태를 업데이트한다. ``` // 'program' 스코프는 'board' 프로그램과 관련된 데이터 타입, 함수, 그리고 상태를 정의한다. program board.aleo { // 전투함 보드는 8x8 크기의 정사각형으로 나타낼 수 있다. // 한 개의 u64가 단일 보드에서의 명중 또는 실패를 나타내는 데에 충분하다. // 맨 위 행부터 왼쪽에서 오른쪽으로, 명중은 1이고 실패는 0이다. // 첫 번째 움직임에서 1행 3열에 명중한 경우: // 00100000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 // 두 번째 u64는 어떤 사각형이 플레이되었는지를 나타내며, 1은 플레이된 사각형이고 0은 플레이되지 않은 사각형이다. record board_state { owner: address, // 상대방 보드에서 등록된 명중과 실패. hits_and_misses: u64, // 상대방 보드에서 플레이된 사각형. played_tiles: u64, // 자신의 보드의 모든 선박 위치를 나타내는 선박 비트열. ships: u64, player_1: address, player_2: address, game_started: bool, } // 새로운 board_state를 반환한다. transition new_board_state( ships: u64, opponent: address, ) -> board_state { return board_state { owner: self.signer, hits_and_misses: 0u64, played_tiles: 0u64, ships, player_1: self.signer, player_2: opponent, game_started: false, }; } // 시작된 board_state가 된 새로운 board_state를 반환한다. // 이 보드가 이전에 게임을 시작한 적이 있는지 확인한다. transition start_board( // 시작할 보드의 레코드. 보드는 한 번만 시작될 수 있다. board: board_state, ) -> board_state { // 이 보드가 이전에 게임을 시작한 적이 없는지 확인한다. assert(!board.game_started); return board_state { owner: board.owner, hits_and_misses: board.hits_and_misses, played_tiles: board.played_tiles, ships: board.ships, player_1: board.player_1, player_2: board.player_2, game_started: true, }; } // 특정 슛으로 업데이트된 플레이된 사각형을 포함한 새로운 board_state 레코드를 반환한다. // 슛이 이전에 발사된 경우 실패한다. transition update_played_tiles( // 업데이트할 보드 레코드. board: board_state, // 상대방에게 전송할 비트열 화재 좌표에 해당하는 u64. shoot: u64, ) -> board_state { // 슛이 유효한 움직임인지 확인해야 합니다. 슛 중 하나의 비트만 플립되어야 한다. let flip_bit: u64 = shoot - 1u64; // 비트 당 AND 연산 let check_move: u64 = shoot & flip_bit; assert_eq(check_move, 0u64); // 슛이 플레이된 타일: 겹치는 비트 없어야 한다. let check_tiles: u64 = shoot & board.played_tiles; assert_eq(check_tiles, 0u64); // 플레이된 타일을 업데이트한다. let played_tiles: u64 = board.played_tiles | shoot; return board_state { owner: board.owner, hits_and_misses: board.hits_and_misses, played_tiles, ships: board.ships, player_1: board.player_1, player_2: board.player_2, game_started: board.game_started, }; } // 특정 샷의 명중 또는 실패에 대한 정보로 업데이트된 명중 및 실패를 포함한 새로운 board_state 레코드를 반환한다. transition update_hits_and_misses( // 업데이트할 보드 레코드. board: board_state, // 이 플레이어의 이전 이동이 명중인지 실패인지에 대한 비트열 화성화 또는 실패. hit_or_miss: u64, ) -> board_state { // 명중과 실패를 업데이트한다. let hits_and_misses: u64 = board.hits_and_misses | hit_or_miss; return board_state { owner: board.owner, hits_and_misses, played_tiles: board.played_tiles, ships: board.ships, player_1: board.player_1, player_2: board.player_2, game_started: board.game_started, }; } } ``` # move.leo **다음은 move.leo 코드에 대해 살펴보자.** `move` 레코드는 각 이동에 대한 정보를 저장하며, `create_move` 및 `start_game`이라는 transition 함수를 사용하여 레코드를 생성한다. `create_move` 함수는 상대방이 생성한 이동 레코드를 기반으로 새로운 이동 레코드를 생성하며, 이 레코드는 상대방이 소유한다. `start_game` 함수는 게임 시작 시 상대방에게 소유되는 더미 이동 레코드를 생성한다. ``` // 'program' 스코프는 'move' 프로그램과 관련된 데이터 타입, 함수, 그리고 상태를 정의한다. program move.aleo { record move { owner: address, incoming_fire_coordinate: u64, player_1: address, player_2: address, // 한 개의 플립된 비트는 명중을 나타낸다. 플립된 비트가 없으면 실패한다. prev_hit_or_miss: u64, } // 상대방이 소유한 새로운 move 레코드를 반환한다. transition create_move( // 상대방이 생성한 move 레코드. move_record: move, // 상대방에게 전송할 incoming_fire_coordinate 비트열의 u64 표현. incoming_fire_coordinate: u64, // 이 플레이어의 이전 화성화 또는 실패로서의 prev_hit_or_miss 비트열의 u64 표현. prev_hit_or_miss: u64, ) -> move { // 새로운 move 레코드는 상대방이 소유해야 한다. let one_is_owner: bool = move_record.player_1 == move_record.owner; let opponent: address = one_is_owner ? move_record.player_2 : move_record.player_1; return move { owner: opponent, incoming_fire_coordinate, player_1: move_record.player_2, player_2: move_record.player_1, prev_hit_or_miss, }; } // 상대방이 소유한 move 레코드를 반환한다. // 이 move 레코드에는 더미 화재 좌표 및 이전 명중 또는 실패가 포함되어 있다. transition start_game(player_2: address) -> move { return move { owner: player_2, incoming_fire_coordinate: 0u64, player_1: self.signer, player_2: player_2, prev_hit_or_miss: 0u64, }; } } ``` # verify.leo **다음은 유효성 검증 코드인 verify.leo 코드를 살펴보자.** ``` // 'program' 스코프는 'verify' 프로그램과 관련된 데이터 타입, 함수, 그리고 상태를 정의한다. program verify.aleo { // 뒤집힌 비트의 수를 반환한다. // 예: 17870283321406128128u64, 이진수로는 11111000 00000000 00000000 00000000 00000000 00000000 00000000 00000000, // 반환 값은 5u64 이다. function bitcount(bits: u64) -> u64 { let r1: u64 = bits / 2u64; let r2: u64 = bits / 4u64; let r3: u64 = bits / 8u64; let r4: u64 = r1 & 8608480567731124087u64; let r5: u64 = r2 & 3689348814741910323u64; let r6: u64 = r3 & 1229782938247303441u64; let r7: u64 = bits - r4 - r5 - r6; let r8: u64 = r7 / 16u64; let r9: u64 = r7 + r8; let r10: u64 = r9 & 1085102592571150095u64; let r11: u64 = r10 % 255u64; return r11; } // 모든 뒤집힌 비트가 "인접한"지 여부에 대한 부울 값을 반환한다. // 가로로는 모든 뒤집힌 비트가 직접 옆에 있어야 합니다 (111). 세로로는 모든 뒤집힌 비트가 7개의 뒤집히지 않은 비트로 구분되어 있어야 한다 (10000000100000001). function adjacency_check( // 8x8 그리드에서 배의 배치를 나타내는 u64 표현. ship: u64, // 배의 비트열을 가로 또는 세로로 나타낸 u64 표현. // 예: 길이 3의 배의 비트 문자열이 가로로는 다음과 같을 경우: 000111 = 7u64. // 세로로는 비트 문자열은 다음과 같을 것입니다: 10000000100000001 = 65793u64. orientation: u64, ) -> bool { // 이 연산의 결과는 0이 될 수 있습니다. let division: u64 = ship / orientation; // 0에서 1을 뺄셈하면 언더플로우가 발생할 수 있으므로 이 경계 사례를 확인해야 합니다. let is_eq: bool = division == 0u64; // 위의 나눗셈 결과가 0이면 인접성 검사가 false를 반환해야 합니다. // r4를 3 (11)으로 설정하면 여기서 실패가 보장됩니다. let ternary: u64 = is_eq ? 3u64 : division; let subtraction: u64 = ternary - 1u64; let and: u64 = subtraction & ternary; let bits_are_adjacent: bool = and == 0u64; return bits_are_adjacent; } // 인접한 뒤집힌 비트가 행을 나누지 않는지 여부에 대한 부울 값을 반환한다. // 예: 111000000은 인접한 뒤집힌 비트를 가지고 있지만 행을 나눕니다: 00000001 11000000 function horizontal_check( // 8x8 그리드에서 배의 배치를 나타내는 u64 표현. ship: u64, // 배의 가로 비트열을 나타내는 u64 표현. horizontal: u64, ) -> bool { let remainder: u64 = ship % 255u64; // 이 연산의 결과는 0이 될 수 있습니다. let division: u64 = remainder / horizontal; // 0에서 1을 뺄셈하면 언더플로우가 발생할 수 있다. let is_eq: bool = division == 0u64; // 3으로 설정하면 실패가 보장된다. let ternary: u64 = is_eq ? 3u64 : division; let subtraction: u64 = ternary - 1u64; let and: u64 = subtraction & ternary; let bits_split_row: bool = and == 0u64; return bits_split_row; } // 배치된 배가 유효한지 여부를 반환한다. transition validate_ship( // 8x8 그리드에서 배의 배치를 나타내는 u64 표현. ship: u64, // 배의 길이. length: u64, // 배의 가로 비트열 표현의 u64 등가물. horizontal: u64, // 배의 세로 비트열 표현의 u64 등가물. vertical: u64, ) -> bool { // 비트 수를 확인합니다. 다른 모든 유효성 검사는 올바른 비트 수에 의존한다. let num_bits: u64 = bitcount(ship); assert_eq(num_bits, length); // 배의 가로 비트를 확인합니다. let is_adjacent: bool = adjacency_check(ship, horizontal); // 비트가 가로로 인접한 경우 true. let is_horizontal: bool = horizontal_check(ship, horizontal); // 이 가로 비트가 행을 나누지 않는 경우 true. let valid_horizontal: bool = is_adjacent && is_horizontal; // 비트가 가로로 인접하며 행을 나누지 않으면 true. // 배의 세로 비트를 확인합니다. let valid_vertical: bool = adjacency_check(ship, vertical); // 비트가 세로로 인접한 경우 true. let ship_is_valid: bool = valid_horizontal || valid_vertical; // 배는 세로 또는 가로로 유효한 경우입니다. return ship_is_valid; } // 8x8 그리드에서 모든 배의 배치를 나타내는 u64 표현을 반환한다. 이 함수는 // 배의 배치가 서로 겹치면 실패한다. transition create_board( // 8x8 그리드에서 항공모함의 배치를 나타내는 u64 표현. 길이 = 5. carrier: u64, // 8x8 그리드에서 전함의 배치를 나타내는 u64 표현. 길이 = 4. battleship: u64, // 8x8 그리드에서 순양함의 배치를 나타내는 u64 표현. 길이 = 3. cruiser: u64, // 8x8 그리드에서 구축함의 배치를 나타내는 u64 표현. 길이 = 2. destroyer: u64, ) -> u64 { // 배치된 배를 비트별로 결합한다. let ships: u64 = carrier | battleship | cruiser | destroyer; let num_bits: u64 = bitcount(ships); assert_eq(num_bits, 14u64); // 4개의 개별적으로 유효한 배의 경우, 유효한 조합은 정확히 14개의 뒤집힌 비트여야 한다. return ships; } } ``` # run.sh 레오프로그램은 다음과 같이 함수이름, 함수 입력매개변수로 프로그램을 실행할 수 있다. ``` leo run ``` 그렇다면 위에서 설명한 배틀쉽 코드를 쉘스크립트로 실행해보자. 쉘스크립트에서 데이터를 출력하면서 배틀쉽 게임에 대해 감을 익혀볼 수 있다.
### **1\. 플레이어 초기화하기** 배틀쉽을 플레이하려면 두 명의 플레이어가 두 개의 보드를 가지고 있어야 한다. 플레이어는 알레오 주소로 표시된다. 제공된 플레이어 계정을 사용하거나 직접 생성할 수 있다. 다음 커맨드로 게임을 할 플레이어의 계정을 생성한다. (하단의 커맨드는 예시이다. 실행해도 되고 안해도 됩니다. 현재 사용하는 계정으로 설정해도 된다.) ``` leo account new Private Key APrivateKey1zkp2Ajk189djGDEN79iQUix41Pp598Eqd8g1W2Y9xVx6bX4 View Key AViewKey1fVPf2bFH1LvwNKSpVufbZ3hsnRqBj17dyBMRu6GvdJPH Address aleo12k5t0mq4u3t5vfrd6yq3rek9wld7j25dcl8a3wk723gnpaugsqpscv0fne leo account new Private Key APrivateKey1zkpAxfPuG5Xige2oTfrJ4cmrMWS37ZZP1NKa5ENuK5YiwEX View Key AViewKey1kjyvS6fGeHXUb5JdxofTUABHk3wf75Ag8iuNPNPSyc4T Address aleo1dlc9grfsrw0nzq42dk2mvzyjzfclzcm4cfdl8dhfg6rq4e9ulsgs3sam3k run.sh 출력 결과 ############################################################################### ######## ######## ######## STEP 1: Initializing Player 1 ######## ######## ######## ############################################################################### ✅ Successfully initialized Player 1. ``` ### **2\. 플레이어 1이 보드에 배를 놓습니다\.** 이제 플레이어 1로 보드를 만들어야 한다. 유효한 선박 비트스트링과 보드의 배치에 대한 정보는 보드 및 **선박 모델링하기 섹션을** 참조하세요. **([zk배틀쉽 게임이란?](https://ludium.world/participation/d15fa191-fc3d-4e85-84b0-d30265e779b9/ca43b950-bff7-43b7-8839-e5686de9d357/article/6d48a278-e8f5-4f3e-8da9-1fe297fdbb13) 참고)** 이 예제에서는 유효한 입력 샘플을 사용하겠습니다. 유효한 선박 입력과 **플레이어 2의 주소로 새 보드를 플레이어 1로 초기화한다** ``` 실행 커맨드 예시 ( 길이 5 = 항모, 길이 4 = 전함, 길이 3 = 순양함, 길이 2 = 구축함 ) leo run initialize_board ${ship_5_bitstring} ${ship_4_bitstring} ${ship_3_bitstring} ${ship_2_bitstring} ${player_2_address} ``` ``` 실행 커맨드 leo run initialize_board 34084860461056u64 551911718912u64 7u64 1157425104234217472u64 aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry 사용한 함수 코드 "initialize_board" 입력값으로 항모, 전함, 순양함, 구축함의 배치를 받고, 플레이어 2의 주소를 입력받는다. 1단계로 보드에 있는 선박 배치열이 유효한지 검사한다. > verify.leo/validate_ship 2단계로 보드를 생성한다 > verify.leo/create_board 3단계로 보드 상태를 초기화 한다. > board.leo/new_board_state transition initialize_board( // 8x8 그리드에서 항모의 배치를 나타내는 u64 표현입니다. 길이 = 5. carrier: u64, // 8x8 그리드에서 전함의 배치를 나타내는 u64 표현입니다. 길이 = 4. battleship: u64, // 8x8 그리드에서 순양함의 배치를 나타내는 u64 표현입니다. 길이 = 3. cruiser: u64, // 8x8 그리드에서 구축함의 배치를 나타내는 u64 표현입니다. 길이 = 2. destroyer: u64, // 상대방의 주소입니다. player: address, ) -> board.leo/board_state.record { // 각각의 선박 배치 비트열이 유효한지 확인한다. let valid_carrier: bool = verify.leo/validate_ship(carrier, 5u64, 31u64, 4311810305u64); assert(valid_carrier); let valid_battleship: bool = verify.leo/validate_ship(battleship, 4u64, 15u64, 16843009u64); assert(valid_battleship); let valid_cruiser: bool = verify.leo/validate_ship(cruiser, 3u64, 7u64, 65793u64); assert(valid_cruiser); let valid_destroyer: bool = verify.leo/validate_ship(destroyer, 2u64, 3u64, 257u64); assert(valid_destroyer); // 모든 선박 배치를 결합하여 보드를 생성한다. let board: u64 = verify.leo/create_board(carrier, battleship, cruiser, destroyer); // 보드 상태 레코드를 초기화한다. let state: board_state = board.leo/new_board_state(board, player); return state; } 출력 결과 ############################################################################### ######## ######## ######## STEP 2: Player 1 Places Ships On The Board ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'battleship.aleo/initialize_board' - 42,333 constraints (called 1 time) • 'board.aleo/new_board_state' - 2,020 constraints (called 1 time) • 'verify.aleo/validate_ship' - 2,635 constraints (called 4 times) • 'verify.aleo/create_board' - 1,441 constraints (called 1 time) ➡️ Output • { owner: aleo1ks4d922axr4qxzajllngw8zkgrh4dvpplutma99uhsmcme29vcyqz9ucva.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo1ks4d922axr4qxzajllngw8zkgrh4dvpplutma99uhsmcme29vcyqz9ucva.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: false.private, _nonce: 2564480965696889653282653310364029615353007776454314659295801026557045894048group.public } Leo ✅ Finished 'battleship.aleo/initialize_board' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ✅ Successfully initialized Player 1's board. ``` 출력결과는 플레이어 1이 소유한 보드 상태 레코드이다. 게임\_시작 플래그가 거짓이고, 복합 선박 구성 선박 **1157459741006397447u64**가 이진 비트 문자열로 열과 행에 배치된 0001000000010000000111111000000010000000100000001000000000000111 이라는 것을 알 수 있다: **행열을 정렬해서 보면 다음과 같다.** ``` 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 ``` ### **3: 플레이어 1이 플레이어 2에게 보드 넘기기** 이제 플레이어 2에게 전함 게임을 제공할 수 있습니다. 방금 생성한 레코드로 '**leo run offer\_battleship 'board\_state.record**'를 실행하자 ``` 실행 커맨드 leo run offer_battleship '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: false.private, _nonce: 3887646704618532506963887075433683846689834495661101507703164090915348189037group.public }' 사용한 함수 코드 "offer_battleship" 입력인자로 owner (플레이어1 주소), hits_and_misses(공격/미스), played_tiles(플레이중인 타일), ships(배의 배치), player1(플레이어1 주소), player2(플레이어2 주소), game_started(게임시작여부), _nonce(논스 값, 식별 값) // 시작된 게임 상태가 된 업데이트된 board_state.record를 반환하며, // 더 이상 이를 사용하여 새로운 게임에 참여하거나 시작할 수 없다. // 상대방이 소유한 더미 이동 레코드를 반환한다. transition offer_battleship( // 게임을 시작할 보드 레코드이다. board: board.leo/board_state.record, ) -> (board.leo/board_state.record, move.leo/move.record) { let state: board_state = board.leo/start_board(board); let dummy: move = move.leo/start_game(board.player_2); return (state, dummy); } 출력 결과 ############################################################################### ######## ######## ######## STEP 3: Player 1 Passes The Board To Player 2 ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'battleship.aleo/offer_battleship' - 20,121 constraints (called 1 time) • 'board.aleo/start_board' - 2,021 constraints (called 1 time) • 'move.aleo/start_game' - 2,020 constraints (called 1 time) ➡️ Outputs • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 6490699392553866038359242214686242264487130566837221695674479106353679701773group.public } • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 0u64.private, player_1: aleo1ks4d922axr4qxzajllngw8zkgrh4dvpplutma99uhsmcme29vcyqz9ucva.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 6246164747335116307097268756731290666338951339651714701284997095680030948869group.public } Leo ✅ Finished 'battleship.aleo/offer_battleship' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ``` 첫 번째 출력 레코드는 업데이트된 board\_state 레코드이다. output을 보게되면 게임 시작 플래그가 참인 것을 확인할 수 있다. 이 보드는 다른 전함 게임을 제공하거나 전함 게임 제안을 수락하는 데 사용할 수 없다. 플레이어 1은 새 보드를 초기화하여 대신 사용해야 합니다. 두 번째 출력 레코드는 더미 이동 레코드로, 플레이어 2의 보드에서 플레이하기 위한 발사 좌표가 포함되어 있지 않으며, 이전 플레이어 2의 이동에 대한 정보도 없다(플레이어 2는 아직 아무런 이동을 하지 않았습니다). 이 이동 레코드는 플레이어 2가 소유하고 있으며, 게임을 수락하려면 자신의 보드 상태 레코드와 함께 사용해야 한다. 지금 해보자. ### ### ### **4: 플레이어 2가 보드에 배 배치하기** **플레이어 2를 위해 새롭고 다른 보드를 만들고, 플레이어 1의 주소를 상대방으로 포함시켜야 한다**
``` 실행 커맨드 leo run initialize_board 31u64 2207646875648u64 224u64 9042383626829824u64 aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy 사용한 함수 코드 "initialize_board" 입력값으로 항모, 전함, 순양함, 구축함의 배치를 받고, 플레이어 1의 주소를 입력받는다. 1단계로 보드에 있는 선박 배치열이 유효한지 검사한다. > verify.leo/validate_ship 2단계로 보드를 생성한다 > verify.leo/create_board 3단계로 보드 상태를 초기화 한다. > board.leo/new_board_state transition initialize_board( // 8x8 그리드에서 항모의 배치를 나타내는 u64 표현입니다. 길이 = 5. carrier: u64, // 8x8 그리드에서 전함의 배치를 나타내는 u64 표현입니다. 길이 = 4. battleship: u64, // 8x8 그리드에서 순양함의 배치를 나타내는 u64 표현입니다. 길이 = 3. cruiser: u64, // 8x8 그리드에서 구축함의 배치를 나타내는 u64 표현입니다. 길이 = 2. destroyer: u64, // 상대방의 주소입니다. player: address, ) -> board.leo/board_state.record { // 각각의 선박 배치 비트열이 유효한지 확인한다. let valid_carrier: bool = verify.leo/validate_ship(carrier, 5u64, 31u64, 4311810305u64); assert(valid_carrier); let valid_battleship: bool = verify.leo/validate_ship(battleship, 4u64, 15u64, 16843009u64); assert(valid_battleship); let valid_cruiser: bool = verify.leo/validate_ship(cruiser, 3u64, 7u64, 65793u64); assert(valid_cruiser); let valid_destroyer: bool = verify.leo/validate_ship(destroyer, 2u64, 3u64, 257u64); assert(valid_destroyer); // 모든 선박 배치를 결합하여 보드를 생성한다. let board: u64 = verify.leo/create_board(carrier, battleship, cruiser, destroyer); // 보드 상태 레코드를 초기화한다. let state: board_state = board.leo/new_board_state(board, player); return state; } 출력 결과 ############################################################################### ######## ######## ######## STEP 4: Player 2 Places Ships On The Board ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'verify.aleo/validate_ship' - 2,635 constraints (called 4 times) • 'verify.aleo/create_board' - 1,441 constraints (called 1 time) • 'battleship.aleo/initialize_board' - 42,333 constraints (called 1 time) • 'board.aleo/new_board_state' - 2,020 constraints (called 1 time) ➡️ Output • { owner: aleo1ks4d922axr4qxzajllngw8zkgrh4dvpplutma99uhsmcme29vcyqz9ucva.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1ks4d922axr4qxzajllngw8zkgrh4dvpplutma99uhsmcme29vcyqz9ucva.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: false.private, _nonce: 2858319514077308568622029122607501042694723873539739125056977861593856784964group.public } Leo ✅ Finished 'battleship.aleo/initialize_board' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ✅ Successfully initialized Player 2's board. ``` 여기서 출력결과는 레오코드로 **9044591273705727u64**이며, 비트 문자열은 다음과 같습니다: ``` 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 ``` ### **5: 플레이어 1에게 보드 넘기기** 이제 플레이어 1의 제안을 수락할 수 있다. leo 커맨드는 다음과 같습니다. ``` leo run start_battleship 'board_state.record' 'move.record' ``` 실제 커맨드와 출력결과 ``` 실행 커맨드 # 5: Passing The Board Back To Player 1 echo " ####################################################################################### ################ STEP 5: Passing The Board Back To Player 1 ################ ####################################################################################### " leo run start_battleship '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: false.private, _nonce: 1549419609469324182591325047490602235361156298832591378925133482196483208807group.public}' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 0u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 4374626042494973146987320062571809401151262172766172816829659487584978644457group.public }' echo "✅ Successfully passed the board back to Player 1." 사용한 함수 코드 "start_battleship" 입력으로 board_state 레코드와 move.record 레코드를 입력으로 받는다. 게임을 진행할 보드 상태 레코드와 이동 레코드를 입력으로 받고 플레이어와 보드를 검증합니다. 이후 게임을 시작하는 코드가 실행됩니다. // 시작된 게임 상태가 된 업데이트된 board_state.record를 반환하며, 이를 더 이상 참여하거나 새로운 게임을 시작할 수 없다. // 상대방이 소유한 더미 이동 레코드를 반환한다. transition start_battleship( // 게임을 진행할 보드 레코드이다. board: board.leo/board_state.record, // 게임을 시작하기 위한 이동 레코드이다. offer_battleship에서 생성된 더미 이동 레코드여야 합니다. move_start: move.leo/move.record, ) -> (board.leo/board_state.record, move.leo/move.record) { // 이동 플레이어와 보드 플레이어가 일치하는지 확인한다. assert_eq(board.player_1, move_start.player_2); assert_eq(board.player_2, move_start.player_1); let state: board_state = board.leo/start_board(board); let dummy: move = move.leo/start_game(board.player_2); return (state, dummy); } 출력 결과 ############################################################################### ######## ######## ######## STEP 5: Passing The Board Back To Player 1 ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/start_board' - 2,021 constraints (called 1 time) • 'battleship.aleo/start_battleship' - 20,133 constraints (called 1 time) • 'move.aleo/start_game' - 2,020 constraints (called 1 time) ➡️ Outputs • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 2581666910502798490490303689387557393733298401377810502227318967160301320796group.public } • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 0u64.private, player_1: aleo1ks4d922axr4qxzajllngw8zkgrh4dvpplutma99uhsmcme29vcyqz9ucva.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 0u64.private, _nonce: 5811522932610618417121882769291412943483609844049884815125263764200794134028group.public } Leo ✅ Finished 'battleship.aleo/start_battleship' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ✅ Successfully passed the board back to Player 1. ``` 여기서 출력이 **offer\_battleship**과 비슷하다는 것을 알 수 있다. **더미 이동 레코드는 플레이어 1이 소유**하고, **플레이어 2는 게임\_시작 플래그가 업데이트된 보드 상태 레코드**를 가져온다. 하지만 **이제 플레이어 1은 이동 레코드와 시작 보드가 있으므로 게임을 시작**할 수 있다.
### 6: 플레이어 1의 첫 번째 턴 이제 플레이어 1이 첫 번째 실제 이동한다: 실행할 레오커맨드는 다음과 같다. ``` leo run play 'board_state.record' 'move.record' fire_coordinate ``` ``` 실행 커맨드 # 6: Player 1 Takes The 1st Turn echo " ####################################################################################### ################ STEP 6: Player 1 Takes The 1st Turn ################ ####################################################################################### " leo run play '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 6563064852163330630334088854834332804417910882908622526775624018226782316843group.public }' '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 0u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 0u64.private, _nonce: 3742551407126138397717446975757978589064777004441277005584760115236217735495group.public }' 1u64 echo "✅ Successfully executed Player 1's turn." 함수 코드 "play" 설명 board 레코드와 이동 레코드를 입력으로 받고 새로운 board record와 이동 레코드를 반환한다. // 업데이트된 board 레코드를 반환한다. // 상대방이 소유한 새로운 이동 레코드를 반환한다. transition play( // 업데이트할 board 레코드이다. board: board.leo/board_state.record, // 상대방으로부터 수신한 이동 레코드이다. move_incoming: move.leo/move.record, // 상대방의 보드에서 다음에 플레이할 좌표의 비트 표현에 해당하는 u64이다. shoot: u64, ) -> (board.leo/board_state.record, move.leo/move.record) { // 게임이 시작되었는지 확인한다. 이로써 플레이어들이 게임을 시작하고 나서 새로운 보드를 만들어 사용하는 것을 방지한다. assert(board.game_started); // 이동 플레이어와 보드 플레이어가 일치하는지 확인한다. assert_eq(board.player_1, move_incoming.player_2); assert_eq(board.player_2, move_incoming.player_1); // 자신의 보드에서 좌표를 플레이합니다. 유효한 이동이 아닌 경우 실패한다. let hit_or_miss: board_state = board.leo/update_played_tiles(board, shoot); // 자신의 보드를 마지막 공격 결과로 업데이트한다. let next_board: board_state = board.leo/update_hits_and_misses(hit_or_miss, move_incoming.prev_hit_or_miss); // 상대방의 공격 좌표가 명중인지 확인한다. let is_hit: u64 = move_incoming.incoming_fire_coordinate & board.ships; // 다음 이동을 생성한다. let next_move: move = move.leo/create_move(move_incoming, shoot, is_hit); return (next_board, next_move); } 출력 결과 ############################################################################### ######## ######## ######## STEP 6: Player 1 Takes The 1st Turn ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'move.aleo/create_move' - 2,027 constraints (called 1 time) • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) ➡️ Outputs • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 1u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 4612534945905108358779521308579967548505549758256448398457736498183300588764group.public } • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 1u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 5204817716532563828655326142361487530145588018881869339770590148829912117727group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ``` **플레이어 1은 업데이트된 보드 상태 레코드**를 가지고 있으며, 방금 플레이어 2에게 보낸 발사 좌표에 해당하는 새로운 **played\_tiles** **비트스트링을** 가지고 있다. (공격 상태) 플레이어 2가 소유한 이동 레코드의 들어오는\_발사 좌표가 플레이어 1이 제공한 입력과 정확히 일치하는 것을 볼 수 있다. 이제 플레이어 2는 이 이동 타일을 플레이하고 자신의 사격 좌표로 응답할 수 있으며, 자신의 사격 좌표가 플레이어 1의 함선에 명중했는지 아니면 빗나갔는지 플레이어 1에게 알릴 수 있다.

### 7: 플레이어 2가 두 번째 턴을 시작한다 ``` 실행 커맨드 # 7: Player 2 Takes The 2nd Turn echo " ####################################################################################### ################ STEP 7: Player 2 Takes The 2nd Turn ################ ####################################################################################### " leo run play '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 6222383571142756260765569201308836492199048237638652378826141459336360362251group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 1u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 5481529266389297320813092061136936339861329677911328036818179854958874588416group.public }' 2048u64 echo "✅ Successfully executed Player 2's turn. 함수 코드 "play" 설명 board 레코드와 이동 레코드를 입력으로 받고 새로운 board record와 이동 레코드를 반환한다. // 업데이트된 board 레코드를 반환한다. // 상대방이 소유한 새로운 이동 레코드를 반환한다. transition play( // 업데이트할 board 레코드이다. board: board.leo/board_state.record, // 상대방으로부터 수신한 이동 레코드이다. move_incoming: move.leo/move.record, // 상대방의 보드에서 다음에 플레이할 좌표의 비트 표현에 해당하는 u64이다. shoot: u64, ) -> (board.leo/board_state.record, move.leo/move.record) { // 게임이 시작되었는지 확인한다. 이로써 플레이어들이 게임을 시작하고 나서 새로운 보드를 만들어 사용하는 것을 방지한다. assert(board.game_started); // 이동 플레이어와 보드 플레이어가 일치하는지 확인한다. assert_eq(board.player_1, move_incoming.player_2); assert_eq(board.player_2, move_incoming.player_1); // 자신의 보드에서 좌표를 플레이합니다. 유효한 이동이 아닌 경우 실패한다. let hit_or_miss: board_state = board.leo/update_played_tiles(board, shoot); // 자신의 보드를 마지막 공격 결과로 업데이트한다. let next_board: board_state = board.leo/update_hits_and_misses(hit_or_miss, move_incoming.prev_hit_or_miss); // 상대방의 공격 좌표가 명중인지 확인한다. let is_hit: u64 = move_incoming.incoming_fire_coordinate & board.ships; // 다음 이동을 생성한다. let next_move: move = move.leo/create_move(move_incoming, shoot, is_hit); return (next_board, next_move); } 출력 결과 ############################################################################### ######## ######## ######## STEP 7: Player 2 Takes The 2nd Turn ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'move.aleo/create_move' - 2,027 constraints (called 1 time) • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) ➡️ Outputs • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2048u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 2901918909033673512996063125742923081208051585879543657732538592909451941305group.public } • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 2048u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 1u64.private, _nonce: 1644067261296059874380948638606456525800790444313905359738391553537921455997group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ✅ Successfully executed Player 2's turn. ``` **이제 플레이어 2는 새로 업데이트된 플레이 타일이 포함된 업데이트된 보드 상태 레코드**를 갖게 되며, **여기에는 방금 플레이어 1에게 보낸 발사 좌표만 포함**된다. 이제 플레이어 1은 새로운 이동 레코드를 소유하게 되며, 여기에는 **prev\_hits\_and\_misses** 구성 요소가 포함된다. 여기에는 플레이어 1이 플레이어 2에게 보낸 이전 발사 좌표의 결과만 포함된다. 명중하면 항상 8x8 그리드에서 단일 좌표가 된다. 미스는 **0u64**(8x8 격자의 0초)이고, 명중은 이전 발사 좌표에 해당하는 **u64**를 비트 문자열 형식으로 표시한다. 플레이어 2의 함선 구성을 확인하면 맨 아래 줄 전체가 두 척의 함선으로 덮여 있으므로 맨 아래 줄의 유효한 적중 샘플은 다음과 같다: **1U64, 2U64, 4U64, 8U64, 16U64, 32U64, 64U64, 128U64**이다. 플레이어 1의 첫 번째 발사 좌표(1u64)가 적중했으므로 **prev\_hits\_and\_misses** 구성 요소도 **1u64**이다. 플레이어 1의 다음 이동은 이 이동 기록을 소비하여 플레이어 1의 보드를 명중 또는 불합격으로 업데이트하고 플레이어 2의 발사 좌표 결과를 알아낸다. 이제 플레이어 1은 일부 플레이 타일을 가지고 있으므로 이미 플레이한 발사 좌표를 선택할 수 없다. 예를 들어, **'board\_state.record' 'move.record' 1u64**를 실행하면 **1u64**가 이미 플레이되었기 때문에 실패한다.
### 8: 플레이어 1이 세 번째 턴을 진행한다 ``` 실행 커맨드 leo run play '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 1u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 1474170213684980843727833284550698461565286563122422722760769547002894080093group.public }' '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 2048u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 1u64.private, _nonce: 5851606198769770675504009323414373017067582072428989801313256693053765675198group.public }' 2u64 함수 코드 "play" 설명 board 레코드와 이동 레코드를 입력으로 받고 새로운 board record와 이동 레코드를 반환한다. // 업데이트된 board 레코드를 반환한다. // 상대방이 소유한 새로운 이동 레코드를 반환한다. transition play( // 업데이트할 board 레코드이다. board: board.leo/board_state.record, // 상대방으로부터 수신한 이동 레코드이다. move_incoming: move.leo/move.record, // 상대방의 보드에서 다음에 플레이할 좌표의 비트 표현에 해당하는 u64이다. shoot: u64, ) -> (board.leo/board_state.record, move.leo/move.record) { // 게임이 시작되었는지 확인합니다. 이로써 플레이어들이 게임을 시작하고 나서 새로운 보드를 만들어 사용하는 것을 방지한다. assert(board.game_started); // 이동 플레이어와 보드 플레이어가 일치하는지 확인한다. assert_eq(board.player_1, move_incoming.player_2); assert_eq(board.player_2, move_incoming.player_1); // 자신의 보드에서 좌표를 플레이한다. 유효한 이동이 아닌 경우 실패한다. let hit_or_miss: board_state = board.leo/update_played_tiles(board, shoot); // 자신의 보드를 마지막 공격 결과로 업데이트한다. let next_board: board_state = board.leo/update_hits_and_misses(hit_or_miss, move_incoming.prev_hit_or_miss); // 상대방의 공격 좌표가 명중인지 확인한다. let is_hit: u64 = move_incoming.incoming_fire_coordinate & board.ships; // 다음 이동을 생성한다. let next_move: move = move.leo/create_move(move_incoming, shoot, is_hit); return (next_board, next_move); } 출력결과 ############################################################################### ######## ######## ######## STEP 8: Player 1 Takes The 3rd Turn ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'move.aleo/create_move' - 2,027 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) ➡️ Outputs • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 1u64.private, played_tiles: 3u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 759521939799188419264420471338467135995655786494275553408063011262063276524group.public } • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 2u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 3986340799190823994284324229772651964661409975049743951189053269320947386707group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ✅ Successfully executed Player 1's turn. ``` **이전과 마찬가지로 보드 상태 레코드와 이동 레코드가 모두 생성된다**. (next\_board, next\_move) 보드 상태 레코드에는 이제 **3u64**가 재생된 타일로 포함되며, 이는 **비트 문자열 형식으로 다음과 같이 표시된다:** ``` 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 ``` 보드 상태 레코드 히트 및 미스 컴포넌트도 이전 이동의 결과로 **업데이트되었다**. **이제 플레이어 2가 소유한 새 이동 기록에는 플레이어 2의 이전 이동이 적중했는지, 실패했는지에 대한 정보와 플레이어 1의 새로운 발사 좌표**가 포함된다.

### 9: 플레이어 2의 네 번째 턴 ``` 실행커맨드 # 9: Player 2 Takes The 4th Turn echo " ####################################################################################### ################ STEP 9: Player 2 Takes The 4th Turn ################ ####################################################################################### " leo run play '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2048u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 5254963165391133332409074172682159033621708071536429341861038147524454777097group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 2u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 710336412388939616658264778971886770861024495941253598683184288448156545822group.public }' 4u64 echo "✅ Successfully executed Player 2's turn." 함수 코드 "play" 설명 board 레코드와 이동 레코드를 입력으로 받고 새로운 board record와 이동 레코드를 반환한다. // 업데이트된 board 레코드를 반환한다. // 상대방이 소유한 새로운 이동 레코드를 반환한다. transition play( // 업데이트할 board 레코드입니다. board: board.leo/board_state.record, // 상대방으로부터 수신한 이동 레코드이다. move_incoming: move.leo/move.record, // 상대방의 보드에서 다음에 플레이할 좌표의 비트 표현에 해당하는 u64이다. shoot: u64, ) -> (board.leo/board_state.record, move.leo/move.record) { // 게임이 시작되었는지 확인한다. 이로써 플레이어들이 게임을 시작하고 나서 새로운 보드를 만들어 사용하는 것을 방지한다. assert(board.game_started); // 이동 플레이어와 보드 플레이어가 일치하는지 확인한다. assert_eq(board.player_1, move_incoming.player_2); assert_eq(board.player_2, move_incoming.player_1); // 자신의 보드에서 좌표를 플레이합니다. 유효한 이동이 아닌 경우 실패한다. let hit_or_miss: board_state = board.leo/update_played_tiles(board, shoot); // 자신의 보드를 마지막 공격 결과로 업데이트한다. let next_board: board_state = board.leo/update_hits_and_misses(hit_or_miss, move_incoming.prev_hit_or_miss); // 상대방의 공격 좌표가 명중인지 확인한다. let is_hit: u64 = move_incoming.incoming_fire_coordinate & board.ships; // 다음 이동을 생성한다. let next_move: move = move.leo/create_move(move_incoming, shoot, is_hit); return (next_board, next_move); } 출력 결과 ############################################################################### ######## ######## ######## STEP 9: Player 2 Takes The 4th Turn ######## ######## ######## ############################################################################### Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'main.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) • 'move.aleo/create_move' - 2,027 constraints (called 1 time) • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) ➡️ Outputs • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2052u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 8393361487530043818541434494147502632801351753828061885414866089736150526131group.public } • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 4u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 2u64.private, _nonce: 7702804764724759277775156130772807160586511264349938107931971922911413031357group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robert/work/aleo/aleo-battleship/battleship/build") ✅ Successfully executed Player 2's turn. ``` ### 10\. 누가 이기나? 플레이어 1과 플레이어 2가 서로 주고받으며 게임을 계속한다. 한 플레이어의 보드 상태 기록에 있는 히트와 미스 구성 요소의 뒤집힌 비트 수가 총 14개가 되면 그 플레이어가 게임에서 승리한다. 다음 다이어그램은 게임의 기록과 전환을 나타낸다. ![diagram.png](https://i.ibb.co/ZxDyhGf/diagram.png) ## 전체 실행 스크립트 run.sh ``` #!/bin/bash # First check that Leo is installed. if ! command -v leo &> /dev/null then echo "leo is not installed." exit fi echo " We will be playing the role of these two parties: The private key and address of Player 1. private_key: APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm address: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy The private key and address of Player 2. private_key: APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH address: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry " echo " ############################################################################### ######## ######## ######## STEP 1: Initializing Player 1 ######## ######## ######## ############################################################################### echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm ' > .env " echo " NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm " > .env echo " ############################################################################### ######## ######## ######## STEP 2: Player 1 Places Ships On The Board ######## ######## ######## ############################################################################### With Player 1's private key, they initialize the board with the placement of 4 ships and the opponent's public address. leo run initialize_board 34084860461056u64 551911718912u64 7u64 1157425104234217472u64 aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry " leo run initialize_board 34084860461056u64 551911718912u64 7u64 1157425104234217472u64 aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry echo " ############################################################################### ######## ######## ######## STEP 3: Player 1 Passes The Board To Player 2 ######## ######## ######## ############################################################################### Player 1 "passes the board" as an offer to play battleship with Player 2. leo run offer_battleship '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: false.private, _nonce: 605849623036268790365773177565562473735086364071033205649960161942593750353group.public }' " leo run offer_battleship "{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: false.private, _nonce: 605849623036268790365773177565562473735086364071033205649960161942593750353group.public }" echo " ############################################################################### ######## ######## ######## STEP 4: Player 2 Places Ships On The Board ######## ######## ######## ############################################################################### We switch our .env to Player 2's private key and similarly run initialize_board to create a new and different board for player two. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH ' > .env leo run initialize_board 31u64 2207646875648u64 224u64 9042383626829824u64 aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy " echo " NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH " > .env leo run initialize_board 31u64 2207646875648u64 224u64 9042383626829824u64 aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy echo " ############################################################################### ######## ######## ######## STEP 5: Passing The Board Back To Player 1 ######## ######## ######## ############################################################################### Player 2 accepts Player 1's offer to play and starts a game of battleship. leo run start_battleship '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: false.private, _nonce: 677929557867990662961068737825412945684193990901139603462104629310061710321group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 0u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 6306786918362462465996698473371289503655844751914031374264794338640697795225group.public }' " leo run start_battleship "{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: false.private, _nonce: 677929557867990662961068737825412945684193990901139603462104629310061710321group.public }" "{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 0u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 6306786918362462465996698473371289503655844751914031374264794338640697795225group.public }" echo " ############################################################################### ######## ######## ######## STEP 6: Player 1 Takes The 1st Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 1, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm ' > .env leo run play '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 6313341191294792052861773157032837489809107102476040695601777954897783350080group.public }' '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 0u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 0u64.private, _nonce: 2798663115519921626400765401803177719929914180089719334947022448579691220488group.public }' 1u64 " echo " NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm " > .env leo run play "{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 6313341191294792052861773157032837489809107102476040695601777954897783350080group.public }" "{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 0u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 0u64.private, _nonce: 2798663115519921626400765401803177719929914180089719334947022448579691220488group.public }" 1u64 echo " ############################################################################### ######## ######## ######## STEP 7: Player 2 Takes The 2nd Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 2, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH ' > .env leo run play '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 6864275139988909612799168784231775829713739147830284979332684562641318182923group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 1u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 8420474443174402614458578667801578345975509805478103542095622903412594983971group.public }' 2048u64 " echo " NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH " > .env leo run play "{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 6864275139988909612799168784231775829713739147830284979332684562641318182923group.public }" "{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 1u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 8420474443174402614458578667801578345975509805478103542095622903412594983971group.public }" 2048u64 echo " ############################################################################### ######## ######## ######## STEP 8: Player 1 Takes The 3rd Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 1, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm ' > .env leo run play '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 1u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 1962122153746742645258971561783872712461616481157617568489391338473028502271group.public }' '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 2048u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 1u64.private, _nonce: 1204008848449868423802652577996848559012797694551224583683080100053831915439group.public }' 2u64 " echo " NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm " > .env leo run play "{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 1u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 1962122153746742645258971561783872712461616481157617568489391338473028502271group.public }" "{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 2048u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 1u64.private, _nonce: 1204008848449868423802652577996848559012797694551224583683080100053831915439group.public }" 2u64 echo " ############################################################################### ######## ######## ######## STEP 9: Player 2 Takes The 4th Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 2, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH ' > .env leo run play '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2048u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 591128247205636061702123861968396246163831838278146623498909560875485861872group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 2u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 4871574741887919250014604645502780786361650856453535231083359604148337116539group.public }' 4u64 " echo " NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH " > .env leo run play "{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2048u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 591128247205636061702123861968396246163831838278146623498909560875485861872group.public }" "{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 2u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 4871574741887919250014604645502780786361650856453535231083359604148337116539group.public }" 4u64 echo " NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm " > .env ``` 다음은 run.sh 출력값이다. ``` We will be playing the role of these two parties: The private key and address of Player 1. private_key: APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm address: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy The private key and address of Player 2. private_key: APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH address: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry ############################################################################### ######## ######## ######## STEP 1: Initializing Player 1 ######## ######## ######## ############################################################################### echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm ' > .env ############################################################################### ######## ######## ######## STEP 2: Player 1 Places Ships On The Board ######## ######## ######## ############################################################################### With Player 1's private key, they initialize the board with the placement of 4 ships and the opponent's public address. leo run initialize_board 34084860461056u64 551911718912u64 7u64 1157425104234217472u64 aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'verify.aleo/create_board' - 1,441 constraints (called 1 time) • 'battleship.aleo/initialize_board' - 42,333 constraints (called 1 time) • 'verify.aleo/validate_ship' - 2,635 constraints (called 4 times) • 'board.aleo/new_board_state' - 2,020 constraints (called 1 time) ➡️ Output • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: false.private, _nonce: 171136832483413212338097705070063523579743357219700792791093874517128200227group.public } Leo ✅ Finished 'battleship.aleo/initialize_board' (in "/home/robertseo/work/aleo/workshop/battleship/build") ############################################################################### ######## ######## ######## STEP 3: Player 1 Passes The Board To Player 2 ######## ######## ######## ############################################################################### Player 1 passes the board as an offer to play battleship with Player 2. leo run offer_battleship '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: false.private, _nonce: 605849623036268790365773177565562473735086364071033205649960161942593750353group.public }' Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'battleship.aleo/offer_battleship' - 20,121 constraints (called 1 time) • 'board.aleo/start_board' - 2,021 constraints (called 1 time) • 'move.aleo/start_game' - 2,020 constraints (called 1 time) ➡️ Outputs • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 1181992620464525672875967564426527603507419623216732203206649072853766075804group.public } • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 0u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 1081518639414847442195897691963162576222050661871031765975194251621579004115group.public } Leo ✅ Finished 'battleship.aleo/offer_battleship' (in "/home/robertseo/work/aleo/workshop/battleship/build") ############################################################################### ######## ######## ######## STEP 4: Player 2 Places Ships On The Board ######## ######## ######## ############################################################################### We switch our .env to Player 2's private key and similarly run initialize_board to create a new and different board for player two. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH ' > .env leo run initialize_board 31u64 2207646875648u64 224u64 9042383626829824u64 aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'verify.aleo/create_board' - 1,441 constraints (called 1 time) • 'board.aleo/new_board_state' - 2,020 constraints (called 1 time) • 'battleship.aleo/initialize_board' - 42,333 constraints (called 1 time) • 'verify.aleo/validate_ship' - 2,635 constraints (called 4 times) ➡️ Output • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: false.private, _nonce: 2510080369636635263094965870108033626441553168592274838801383454918108208508group.public } Leo ✅ Finished 'battleship.aleo/initialize_board' (in "/home/robertseo/work/aleo/workshop/battleship/build") ############################################################################### ######## ######## ######## STEP 5: Passing The Board Back To Player 1 ######## ######## ######## ############################################################################### Player 2 accepts Player 1's offer to play and starts a game of battleship. leo run start_battleship '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: false.private, _nonce: 677929557867990662961068737825412945684193990901139603462104629310061710321group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 0u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 6306786918362462465996698473371289503655844751914031374264794338640697795225group.public }' Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/start_board' - 2,021 constraints (called 1 time) • 'battleship.aleo/start_battleship' - 20,133 constraints (called 1 time) • 'move.aleo/start_game' - 2,020 constraints (called 1 time) ➡️ Outputs • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 1518300754861622651160729737713855553878617037194008102468822124685903206155group.public } • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 0u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 0u64.private, _nonce: 910562394456886630410546994579238114093194870620820642764752985142058819943group.public } Leo ✅ Finished 'battleship.aleo/start_battleship' (in "/home/robertseo/work/aleo/workshop/battleship/build") ############################################################################### ######## ######## ######## STEP 6: Player 1 Takes The 1st Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 1, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm ' > .env leo run play '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 6313341191294792052861773157032837489809107102476040695601777954897783350080group.public }' '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 0u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 0u64.private, _nonce: 2798663115519921626400765401803177719929914180089719334947022448579691220488group.public }' 1u64 Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) • 'move.aleo/create_move' - 2,027 constraints (called 1 time) • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) ➡️ Outputs • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 1u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 2564457059950905009576008968950152804091341562575507627022515423169193966625group.public } • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 1u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 7015624129023871860534556370694577769091100724271684108029390784328823911251group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robertseo/work/aleo/workshop/battleship/build") ############################################################################### ######## ######## ######## STEP 7: Player 2 Takes The 2nd Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 2, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH ' > .env leo run play '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 0u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 6864275139988909612799168784231775829713739147830284979332684562641318182923group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 1u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 8420474443174402614458578667801578345975509805478103542095622903412594983971group.public }' 2048u64 Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) • 'move.aleo/create_move' - 2,027 constraints (called 1 time) • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) ➡️ Outputs • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2048u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 2082902125318824910093439969682789870541532479180021199493427295148377557959group.public } • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 2048u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 1u64.private, _nonce: 8100895507498877435131252304594598018680797665366180101969912843944788143375group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robertseo/work/aleo/workshop/battleship/build") ############################################################################### ######## ######## ######## STEP 8: Player 1 Takes The 3rd Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 1, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkpGKaJY47BXb6knSqmT3JZnBUEGBDFAWz2nMVSsjwYpJmm ' > .env leo run play '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 0u64.private, played_tiles: 1u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 1962122153746742645258971561783872712461616481157617568489391338473028502271group.public }' '{ owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 2048u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 1u64.private, _nonce: 1204008848449868423802652577996848559012797694551224583683080100053831915439group.public }' 2u64 Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) • 'move.aleo/create_move' - 2,027 constraints (called 1 time) ➡️ Outputs • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, hits_and_misses: 1u64.private, played_tiles: 3u64.private, ships: 1157459741006397447u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, game_started: true.private, _nonce: 6893985926825039370084514954847334131640978715358851708056776802139316428333group.public } • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 2u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 7587839503967807076762040336774011760060667114630129836479328221962722194604group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robertseo/work/aleo/workshop/battleship/build") ############################################################################### ######## ######## ######## STEP 9: Player 2 Takes The 4th Turn ######## ######## ######## ############################################################################### We switch the .env back to Player 2, and we run the transition function play. echo ' NETWORK=testnet3 PRIVATE_KEY=APrivateKey1zkp86FNGdKxjgAdgQZ967bqBanjuHkAaoRe19RK24ZCGsHH ' > .env leo run play '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2048u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 591128247205636061702123861968396246163831838278146623498909560875485861872group.public }' '{ owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, incoming_fire_coordinate: 2u64.private, player_1: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, player_2: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, prev_hit_or_miss: 0u64.private, _nonce: 4871574741887919250014604645502780786361650856453535231083359604148337116539group.public }' 4u64 Leo ✅ Compiled 'main.leo' into Aleo instructions Leo ✅ Compiled 'board.leo' into Aleo instructions Leo ✅ Compiled 'verify.leo' into Aleo instructions Leo ✅ Compiled 'move.leo' into Aleo instructions ⛓ Constraints • 'board.aleo/update_hits_and_misses' - 2,084 constraints (called 1 time) • 'battleship.aleo/play' - 43,923 constraints (called 1 time) • 'board.aleo/update_played_tiles' - 2,285 constraints (called 1 time) • 'move.aleo/create_move' - 2,027 constraints (called 1 time) ➡️ Outputs • { owner: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, hits_and_misses: 0u64.private, played_tiles: 2052u64.private, ships: 9044591273705727u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, game_started: true.private, _nonce: 7515937041961039946051128907128430922288703634679689110501412452496786647693group.public } • { owner: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, incoming_fire_coordinate: 4u64.private, player_1: aleo1wyvu96dvv0auq9e4qme54kjuhzglyfcf576h0g3nrrmrmr0505pqd6wnry.private, player_2: aleo15g9c69urtdhvfml0vjl8px07txmxsy454urhgzk57szmcuttpqgq5cvcdy.private, prev_hit_or_miss: 2u64.private, _nonce: 5743182961928832296387198629431110560219811975924774662918193332427028365322group.public } Leo ✅ Finished 'battleship.aleo/play' (in "/home/robertseo/work/aleo/workshop/battleship/build") ```

zk 배틀쉽게임 만들기