Add Wrapped TON (wTON)

contracts/.envrc

@@ -0,0 +1,2 @@
+watch_file shell.nix
+use flake .#contracts || use nix

contracts/contracts/examples/jetton/onramp_mock.tolk

@@ -1,8 +1,9 @@
 // SPDX-License-Identifier: MIT
+tolk 1.2
+
 import "@stdlib/common.tolk"
 import "../../lib/jetton/jetton_client.tolk"
 import "../../lib/jetton/messages.tolk"
-import "../../lib/jetton/utils.tolk"
 import "../../lib/utils.tolk"
 
 // OnrampMock contract in Tolk
@@ -12,6 +13,9 @@ const FEE = 5
 const INCORRECT_SENDER_ERROR = 100
 const FORWARD_PAYLOAD_REQUIRED_ERROR = 101
 
+// Jetton wallet utilities for Tolk
+const JETTON_TOPIC : int = 0x351 // for easier indexing
+
 struct OnrampMock {
     JettonClient: JettonClient
 }
@@ -49,13 +53,13 @@ fun OnrampMock.handleJettonTransferNotification(
 
     // Handle the jetton transfer
     if (msg.jettonAmount < FEE) {
-        emit(JETTON_TOPIC, InsufficientFee { queryId: msg.queryId, sender: msg.transferInitiator });
+        emit(JETTON_TOPIC, InsufficientFee { queryId: msg.queryId, sender: msg.transferInitiator! });
     } else {
         emit(
             JETTON_TOPIC,
             AcceptedRequest {
                 queryId: msg.queryId,
-                sender: msg.transferInitiator,
+                sender: msg.transferInitiator!,
                 payload: forwardPayloadCell!,
             }
         );

contracts/contracts/examples/jetton/sender.tolk

@@ -1,4 +1,6 @@
 // SPDX-License-Identifier: MIT
+tolk 1.2
+
 import "@stdlib/common.tolk"
 import "../../lib/jetton/jetton_client.tolk"
 import "../../lib/jetton/messages.tolk"

contracts/contracts/examples/jetton/simple_receiver.tolk

@@ -1,4 +1,6 @@
 // SPDX-License-Identifier: MIT
+tolk 1.2
+
 import "@stdlib/common.tolk"
 import "../../lib/jetton/jetton_client.tolk"
 import "../../lib/jetton/messages.tolk"

contracts/contracts/lib/jetton/errors.tolk

@@ -0,0 +1,8 @@
+// SPDX-License-Identifier: MIT
+
+const ERROR_INVALID_OP = 72
+const ERROR_NOT_OWNER = 73
+const ERROR_NOT_VALID_WALLET = 74
+const ERROR_WRONG_WORKCHAIN = 333
+const ERROR_BALANCE_ERROR = 47
+const ERROR_NOT_ENOUGH_GAS = 48

contracts/contracts/lib/jetton/jetton-utils.tolk

@@ -0,0 +1,24 @@
+// SPDX-License-Identifier: MIT
+import "storage"
+
+fun calcDeployedJettonWallet(ownerAddress: address, minterAddress: address, jettonWalletCode: cell): AutoDeployAddress {
+    val emptyWalletStorage: WalletStorage = {
+        status: 0,
+        jettonBalance: 0,
+        ownerAddress,
+        minterAddress,
+    };
+
+    return {
+        workchain: BASECHAIN,
+        stateInit: {
+            code: jettonWalletCode,
+            data: emptyWalletStorage.toCell()
+        }
+    }
+}
+
+fun calcAddressOfJettonWallet(ownerAddress: address, minterAddress: address, jettonWalletCode: cell) {
+    val jwDeployed = calcDeployedJettonWallet(ownerAddress, minterAddress, jettonWalletCode);
+    return jwDeployed.calculateAddress();
+}

contracts/contracts/lib/jetton/jetton_client.tolk

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-import "./utils.tolk"
+import "jetton-utils"
 import "messages"
 
 struct JettonClient {
@@ -9,7 +9,7 @@ struct JettonClient {
 
 @inline
 fun JettonClient.walletAddress(self): address {
-    return calculateUserJettonWalletAddress(
+    return calcAddressOfJettonWallet(
         contract.getAddress(),
         self.masterAddress,
         self.jettonWalletCode

contracts/contracts/lib/jetton/messages.tolk

@@ -9,7 +9,7 @@ struct (0x0f8a7ea5) AskToTransfer {
     queryId: uint64
     jettonAmount: coins
     transferRecipient: address
-    sendExcessesTo: address
+    sendExcessesTo: address?
     customPayload: cell?
     forwardTonAmount: coins
     forwardPayload: ForwardPayloadRemainder
@@ -19,16 +19,16 @@ struct (0x0f8a7ea5) AskToTransfer {
 struct (0x7362d09c) TransferNotificationForRecipient {
     queryId: uint64
     jettonAmount: coins
-    transferInitiator: address
+    transferInitiator: address?
     forwardPayload: ForwardPayloadRemainder
 }
 
 // nolint:opcode
 struct (0x178d4519) InternalTransferStep {
     queryId: uint64
     jettonAmount: coins
-    transferInitiator: address
-    sendExcessesTo: address
+    transferInitiator: address? // is null when minting (not initiated by another wallet)
+    sendExcessesTo: address?
     forwardTonAmount: coins
     forwardPayload: ForwardPayloadRemainder
 }
@@ -42,7 +42,7 @@ struct (0xd53276db) ReturnExcessesBack {
 struct (0x595f07bc) AskToBurn {
     queryId: uint64
     jettonAmount: coins
-    sendExcessesTo: address
+    sendExcessesTo: address?
     customPayload: cell?
 }
 
@@ -51,7 +51,7 @@ struct (0x7bdd97de) BurnNotificationForMinter {
     queryId: uint64
     jettonAmount: coins
     burnInitiator: address
-    sendExcessesTo: address
+    sendExcessesTo: address?
 }
 
 // nolint:opcode
@@ -64,7 +64,7 @@ struct (0x2c76b973) RequestWalletAddress {
 // nolint:opcode
 struct (0xd1735400) ResponseWalletAddress {
     queryId: uint64
-    jettonWalletAddress: address
+    jettonWalletAddress: address?
     ownerAddress: Cell<address>?
 }
 
@@ -102,11 +102,14 @@ struct (0x2508d66a) UpgradeMinterCode {
 // nolint:opcode
 struct (0xcb862902) ChangeMinterMetadataUri {
     queryId: uint64
+    // TODO: update to 1.4
     newMetadataUri: SnakeString
 }
 
 // nolint:opcode
-struct (0xd372158c) TopUpTons {}
+struct (0xd372158c) TopUpTons {
+}
+
 
 // "forward payload" is TL/B `(Either Cell ^Cell)`;
 // we want to test, that if ^Cell, no other data exists in a slice

contracts/contracts/lib/jetton/storage.tolk

@@ -1,5 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Imported from https://github.com/ton-blockchain/tolk-bench/blob/0f416ca611fbfa25e736973d01e5fb70af485468/contracts_Tolk/03_notcoin/storage.tolk
+
+// TODO: update to 1.4
 // SnakeString describes a (potentially long) string inside a cell;
 // short strings are stored as-is, like "my-picture.png";
 // long strings are nested refs, like "xxxx".ref("yyyy".ref("zzzz"))
@@ -11,7 +13,7 @@ fun SnakeString.unpackFromSlice(mutate s: slice) {
     // assert (s.remainingRefsCount() <= 1) throw 5;
     // but since here we're matching the original FunC implementation, leave no checks
     val snakeRemainder = s;
-    s = createEmptySlice(); // no more left to read
+    s = createEmptySlice();     // no more left to read
     return snakeRemainder;
 }
 
@@ -28,12 +30,15 @@ struct WalletStorage {
 
 struct MinterStorage {
     totalSupply: coins
-    adminAddress: address
-    nextAdminAddress: address
+    adminAddress: address?
+    nextAdminAddress: address?
     jettonWalletCode: cell
+    // TODO: update to 1.4
     metadataUri: Cell<SnakeString>
 }
 
+
+
 fun MinterStorage.load() {
     return MinterStorage.fromCell(contract.getData());
 }
@@ -42,6 +47,7 @@ fun MinterStorage.save(self) {
     contract.setData(self.toCell());
 }
 
+
 fun WalletStorage.load() {
     return WalletStorage.fromCell(contract.getData());
 }