feat(transaction-leaves): add MayUseToken type and object to represen…

…t token usage permissions

The MayUseToken type and object were added to represent the permissions for token usage in a transaction. It includes two boolean fields: parentsOwnToken to indicate if the parent owns the token, and inheritFromParent to specify if the token usage should be inherited from the parent.

The check method was also added to enforce the constraint that a transaction cannot both have the parent own the token and inherit the token usage from the parent at the same time.

This addition provides a structured way to handle token usage permissions within the transaction leaves.

mina-transaction/transaction-leaves.ts

@@ -24,6 +24,7 @@ export {
   ReceiptChainHash,
   StateHash,
   TransactionVersion,
+  MayUseToken,
 };
 
 type AuthRequired = {
@@ -70,3 +71,21 @@ const TransactionVersion = {
   ...provable(UInt32),
   empty: () => UInt32.from(protocolVersions.txnVersion),
 };
+
+type MayUseToken = {
+  parentsOwnToken: Bool;
+  inheritFromParent: Bool;
+};
+const MayUseToken = {
+  ...provable({
+    parentsOwnToken: Bool,
+    inheritFromParent: Bool,
+  }),
+  check: ({ parentsOwnToken, inheritFromParent }: MayUseToken) => {
+    parentsOwnToken
+      .and(inheritFromParent)
+      .assertFalse(
+        'MayUseToken: parentsOwnToken and inheritFromParent cannot both be true'
+      );
+  },
+};