@typeberry/convert 0.1.3-707962d → 0.1.3-ea24911

package/index.js

@@ -12190,6 +12190,10 @@ class disputes_DisputesRecords {
     static create({ goodSet, badSet, wonkySet, punishSet }) {
         return new disputes_DisputesRecords(goodSet, badSet, wonkySet, punishSet);
     }
+    goodSetDict;
+    badSetDict;
+    wonkySetDict;
+    punishSetDict;
     constructor(
     /** `goodSet`: all work-reports hashes which were judged to be correct */
     goodSet, 
@@ -12203,6 +12207,18 @@ class disputes_DisputesRecords {
         this.badSet = badSet;
         this.wonkySet = wonkySet;
         this.punishSet = punishSet;
+        this.goodSetDict = hash_set_HashSet.from(goodSet.array);
+        this.badSetDict = hash_set_HashSet.from(badSet.array);
+        this.wonkySetDict = hash_set_HashSet.from(wonkySet.array);
+        this.punishSetDict = hash_set_HashSet.from(punishSet.array);
+    }
+    asDictionaries() {
+        return {
+            goodSet: this.goodSetDict,
+            badSet: this.badSetDict,
+            wonkySet: this.wonkySetDict,
+            punishSet: this.punishSetDict,
+        };
     }
     static fromSortedArrays({ goodSet, badSet, wonkySet, punishSet, }) {
         return new disputes_DisputesRecords(sorted_set_SortedSet.fromSortedArray(disputes_hashComparator, goodSet), sorted_set_SortedSet.fromSortedArray(disputes_hashComparator, badSet), sorted_set_SortedSet.fromSortedArray(disputes_hashComparator, wonkySet), sorted_set_SortedSet.fromSortedArray(disputes_hashComparator, punishSet));
@@ -16247,10 +16263,16 @@ function registers_signExtend32To64(value) {
 
 /** Attempt to convert a number into `HostCallIndex`. */
 const host_call_handler_tryAsHostCallIndex = (v) => opaque_asOpaqueType(numbers_tryAsU32(v));
+/**
+ * Host-call exit reason.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/24a30124a501?v=0.7.2
+ */
 var host_call_handler_PvmExecution;
 (function (PvmExecution) {
     PvmExecution[PvmExecution["Halt"] = 0] = "Halt";
     PvmExecution[PvmExecution["Panic"] = 1] = "Panic";
+    PvmExecution[PvmExecution["OOG"] = 2] = "OOG";
 })(host_call_handler_PvmExecution || (host_call_handler_PvmExecution = {}));
 /** A utility function to easily trace a bunch of registers. */
 function host_call_handler_traceRegisters(...regs) {
@@ -19867,8 +19889,9 @@ class host_calls_HostCalls {
             const index = tryAsHostCallIndex(hostCallIndex);
             const hostCall = this.hostCalls.get(index);
             const gasBefore = gas.get();
-            const gasCost = typeof hostCall.gasCost === "number" ? hostCall.gasCost : hostCall.gasCost(regs);
-            const underflow = gas.sub(gasCost);
+            // NOTE: `basicGasCost(regs)` function is for compatibility reasons: pre GP 0.7.2
+            const basicGasCost = typeof hostCall.basicGasCost === "number" ? hostCall.basicGasCost : hostCall.basicGasCost(regs);
+            const underflow = gas.sub(basicGasCost);
             const pcLog = `[PC: ${pvmInstance.getPC()}]`;
             if (underflow) {
                 this.hostCalls.traceHostCall(`${pcLog} OOG`, index, hostCall, regs, gas.get());
@@ -19885,6 +19908,10 @@ class host_calls_HostCalls {
                 status = Status.PANIC;
                 return this.getReturnValue(status, pvmInstance);
             }
+            if (result === PvmExecution.OOG) {
+                status = Status.OOG;
+                return this.getReturnValue(status, pvmInstance);
+            }
             if (result === undefined) {
                 pvmInstance.runProgram();
                 status = pvmInstance.getStatus();
@@ -19943,7 +19970,7 @@ class host_calls_manager_HostCallsManager {
 }
 class NoopMissing {
     index = tryAsHostCallIndex(2 ** 32 - 1);
-    gasCost = tryAsSmallGas(0);
+    basicGasCost = tryAsSmallGas(0);
     currentServiceId = tryAsU32(0);
     tracedRegisters = [];
     async execute() {
@@ -20057,7 +20084,7 @@ function utils_clampU64ToU32(value) {
 
 class missing_Missing {
     index = tryAsHostCallIndex(2 ** 32 - 1);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     currentServiceId = CURRENT_SERVICE_ID;
     tracedRegisters = traceRegisters(7);
     execute(_gas, regs, _memory) {
@@ -20434,7 +20461,7 @@ class disputes_Disputes {
             const { key, workReportHash } = disputes.culprits[i];
             // check if some offenders weren't reported earlier
             // https://graypaper.fluffylabs.dev/#/579bd12/125501125501
-            const isInPunishSet = this.state.disputesRecords.punishSet.findExact(key) !== undefined;
+            const isInPunishSet = this.state.disputesRecords.asDictionaries().punishSet.has(key);
             if (isInPunishSet) {
                 return Result.error(DisputesErrorCode.OffenderAlreadyReported);
             }
@@ -20445,8 +20472,8 @@ class disputes_Disputes {
             }
             // verify if the culprit will be in new bad set
             // https://graypaper.fluffylabs.dev/#/579bd12/124601124601
-            const isInNewBadSet = newItems.toAddToBadSet.findExact(workReportHash);
-            if (isInNewBadSet === undefined) {
+            const isInNewBadSet = newItems.asDictionaries().badSet.has(workReportHash);
+            if (!isInNewBadSet) {
                 return Result.error(DisputesErrorCode.CulpritsVerdictNotBad);
             }
             // verify culprit signature
@@ -20469,7 +20496,7 @@ class disputes_Disputes {
             const { key, workReportHash, wasConsideredValid } = disputes.faults[i];
             // check if some offenders weren't reported earlier
             // https://graypaper.fluffylabs.dev/#/579bd12/12a20112a201
-            const isInPunishSet = this.state.disputesRecords.punishSet.findExact(key) !== undefined;
+            const isInPunishSet = this.state.disputesRecords.asDictionaries().punishSet.has(key);
             if (isInPunishSet) {
                 return Result.error(DisputesErrorCode.OffenderAlreadyReported);
             }
@@ -20484,9 +20511,10 @@ class disputes_Disputes {
             // but it does not pass the tests
             // https://graypaper.fluffylabs.dev/#/579bd12/128a01129601
             if (wasConsideredValid) {
-                const isInNewGoodSet = newItems.toAddToGoodSet.findExact(workReportHash);
-                const isInNewBadSet = newItems.toAddToBadSet.findExact(workReportHash);
-                if (isInNewGoodSet !== undefined || isInNewBadSet === undefined) {
+                const { goodSet, badSet } = newItems.asDictionaries();
+                const isInNewGoodSet = goodSet.has(workReportHash);
+                const isInNewBadSet = badSet.has(workReportHash);
+                if (isInNewGoodSet || !isInNewBadSet) {
                     return Result.error(DisputesErrorCode.FaultVerdictWrong);
                 }
             }
@@ -20539,10 +20567,11 @@ class disputes_Disputes {
         for (const verdict of disputes.verdicts) {
             // current verdicts should not be reported earlier
             // https://graypaper.fluffylabs.dev/#/579bd12/122202122202
-            const isInGoodSet = this.state.disputesRecords.goodSet.findExact(verdict.workReportHash);
-            const isInBadSet = this.state.disputesRecords.badSet.findExact(verdict.workReportHash);
-            const isInWonkySet = this.state.disputesRecords.wonkySet.findExact(verdict.workReportHash);
-            if (isInGoodSet !== undefined || isInBadSet !== undefined || isInWonkySet !== undefined) {
+            const { goodSet, badSet, wonkySet } = this.state.disputesRecords.asDictionaries();
+            const isInGoodSet = goodSet.has(verdict.workReportHash);
+            const isInBadSet = badSet.has(verdict.workReportHash);
+            const isInWonkySet = wonkySet.has(verdict.workReportHash);
+            if (isInGoodSet || isInBadSet || isInWonkySet) {
                 return Result.error(DisputesErrorCode.AlreadyJudged);
             }
         }
@@ -20612,11 +20641,12 @@ class disputes_Disputes {
                 toAddToWonkySet.push(r);
             }
         }
-        return {
-            toAddToGoodSet: SortedSet.fromArrayUnique(hashComparator, toAddToGoodSet),
-            toAddToBadSet: SortedSet.fromArrayUnique(hashComparator, toAddToBadSet),
-            toAddToWonkySet: SortedSet.fromArrayUnique(hashComparator, toAddToWonkySet),
-        };
+        return DisputesRecords.create({
+            goodSet: SortedSet.fromArrayUnique(hashComparator, toAddToGoodSet),
+            badSet: SortedSet.fromArrayUnique(hashComparator, toAddToBadSet),
+            wonkySet: SortedSet.fromArrayUnique(hashComparator, toAddToWonkySet),
+            punishSet: SortedSet.fromArray(hashComparator, []),
+        });
     }
     getClearedCoreAssignment(v) {
         /**
@@ -20651,9 +20681,9 @@ class disputes_Disputes {
         const toAddToPunishSet = SortedArray.fromArray(hashComparator, Array.from(offenders));
         return DisputesRecords.create({
             // https://graypaper.fluffylabs.dev/#/579bd12/12690312bc03
-            goodSet: SortedSet.fromTwoSortedCollections(this.state.disputesRecords.goodSet, newItems.toAddToGoodSet),
-            badSet: SortedSet.fromTwoSortedCollections(this.state.disputesRecords.badSet, newItems.toAddToBadSet),
-            wonkySet: SortedSet.fromTwoSortedCollections(this.state.disputesRecords.wonkySet, newItems.toAddToWonkySet),
+            goodSet: SortedSet.fromTwoSortedCollections(this.state.disputesRecords.goodSet, newItems.goodSet),
+            badSet: SortedSet.fromTwoSortedCollections(this.state.disputesRecords.badSet, newItems.badSet),
+            wonkySet: SortedSet.fromTwoSortedCollections(this.state.disputesRecords.wonkySet, newItems.wonkySet),
             punishSet: SortedSet.fromTwoSortedCollections(this.state.disputesRecords.punishSet, toAddToPunishSet),
         });
     }
@@ -23037,7 +23067,7 @@ class Assign {
     partialState;
     chainSpec;
     index = host_call_handler_tryAsHostCallIndex(15);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(IN_OUT_REG, 8);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
@@ -23115,7 +23145,7 @@ class Bless {
     partialState;
     chainSpec;
     index = host_call_handler_tryAsHostCallIndex(14);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(bless_IN_OUT_REG, 8, 9, 10, 11);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
@@ -23200,7 +23230,7 @@ class Bless {
 class gas_GasHostCall {
     currentServiceId;
     index = host_call_handler_tryAsHostCallIndex(0);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(7);
     constructor(currentServiceId) {
         this.currentServiceId = currentServiceId;
@@ -23227,7 +23257,7 @@ class Checkpoint {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(17);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters;
     gasHostCall;
     constructor(currentServiceId, partialState) {
@@ -23264,7 +23294,7 @@ class Designate {
     partialState;
     chainSpec;
     index = host_call_handler_tryAsHostCallIndex(16);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(designate_IN_OUT_REG);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
@@ -23315,7 +23345,7 @@ class Eject {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(21);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(eject_IN_OUT_REG, 8);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23377,7 +23407,7 @@ class Forget {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(24);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(forget_IN_OUT_REG, 8);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23427,7 +23457,7 @@ class New {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(18);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(new_IN_OUT_REG, 8, 9, 10, 11);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23490,7 +23520,7 @@ class Provide {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(26);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(provide_IN_OUT_REG, 8, 9);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23551,7 +23581,7 @@ class Query {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(22);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(IN_OUT_REG_1, IN_OUT_REG_2);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23617,7 +23647,7 @@ class Solicit {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(23);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(solicit_IN_OUT_REG, 8);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23665,12 +23695,12 @@ class Solicit {
 
 const transfer_IN_OUT_REG = 7; // `d`
 const AMOUNT_REG = 8; // `a`
-const ON_TRANSFER_GAS_REG = 9; // `l`
+const TRANSFER_GAS_FEE_REG = 9; // `l`
 const MEMO_START_REG = 10; // `o`
 /**
  * Transfer balance from one service account to another.
  *
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/373b00373b00?v=0.6.7
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/373f00373f00?v=0.7.2
  */
 class Transfer {
     currentServiceId;
@@ -23682,38 +23712,50 @@ class Transfer {
         },
     }));
     /**
-     * `g = 10 + ω9`
-     * https://graypaper.fluffylabs.dev/#/7e6ff6a/373d00373d00?v=0.6.7
+     * `g = 10 + t`
+     *
+     * `t` has positive value, only when status of a transfer is `OK`
+     * `0` otherwise
+     *
+     * Pre0.7.2: `g = 10 + ω9`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/373f00373f00?v=0.7.2
      */
-    gasCost = (regs) => {
-        const gas = 10n + regs.get(ON_TRANSFER_GAS_REG);
-        return gas_tryAsGas(gas);
-    };
-    tracedRegisters = host_call_handler_traceRegisters(transfer_IN_OUT_REG, AMOUNT_REG, ON_TRANSFER_GAS_REG, MEMO_START_REG);
+    basicGasCost = compatibility_Compatibility.isGreaterOrEqual(compatibility_GpVersion.V0_7_2)
+        ? gas_tryAsSmallGas(10)
+        : (regs) => gas_tryAsGas(10n + regs.get(TRANSFER_GAS_FEE_REG));
+    tracedRegisters = host_call_handler_traceRegisters(transfer_IN_OUT_REG, AMOUNT_REG, TRANSFER_GAS_FEE_REG, MEMO_START_REG);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
         this.partialState = partialState;
     }
-    async execute(_gas, regs, memory) {
+    async execute(gas, regs, memory) {
         // `d`: destination
         const destination = getServiceId(regs.get(transfer_IN_OUT_REG));
         // `a`: amount
         const amount = regs.get(AMOUNT_REG);
         // `l`: gas
-        const onTransferGas = common_tryAsServiceGas(regs.get(ON_TRANSFER_GAS_REG));
+        const transferGasFee = common_tryAsServiceGas(regs.get(TRANSFER_GAS_FEE_REG));
         // `o`: transfer memo
         const memoStart = regs.get(MEMO_START_REG);
         const memo = bytes_Bytes.zero(TRANSFER_MEMO_BYTES);
         const memoryReadResult = memory.loadInto(memo.raw, memoStart);
         // page fault while reading the memory.
         if (memoryReadResult.isError) {
-            logger_logger.trace `TRANSFER(${destination}, ${amount}, ${onTransferGas}, ${memo}) <- PANIC`;
+            logger_logger.trace `TRANSFER(${destination}, ${amount}, ${transferGasFee}, ${memo}) <- PANIC`;
             return host_call_handler_PvmExecution.Panic;
         }
-        const transferResult = this.partialState.transfer(destination, amount, onTransferGas, memo);
-        logger_logger.trace `TRANSFER(${destination}, ${amount}, ${onTransferGas}, ${memo}) <- ${result_resultToString(transferResult)}`;
+        const transferResult = this.partialState.transfer(destination, amount, transferGasFee, memo);
+        logger_logger.trace `TRANSFER(${destination}, ${amount}, ${transferGasFee}, ${memo}) <- ${result_resultToString(transferResult)}`;
         // All good!
         if (transferResult.isOk) {
+            if (compatibility_Compatibility.isGreaterOrEqual(compatibility_GpVersion.V0_7_2)) {
+                // substracting value `t`
+                const underflow = gas.sub(gas_tryAsGas(transferGasFee));
+                if (underflow) {
+                    return host_call_handler_PvmExecution.OOG;
+                }
+            }
             regs.set(transfer_IN_OUT_REG, results_HostCallResult.OK);
             return;
         }
@@ -23753,7 +23795,7 @@ class Upgrade {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(19);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(upgrade_IN_OUT_REG, GAS_REG, ALLOWANCE_REG);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23796,7 +23838,7 @@ class Yield {
     currentServiceId;
     partialState;
     index = host_call_handler_tryAsHostCallIndex(25);
-    gasCost = gas_tryAsSmallGas(10);
+    basicGasCost = gas_tryAsSmallGas(10);
     tracedRegisters = host_call_handler_traceRegisters(yield_IN_OUT_REG);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
@@ -23832,7 +23874,7 @@ class fetch_Fetch {
     currentServiceId;
     fetch;
     index = tryAsHostCallIndex(1);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(fetch_IN_OUT_REG, 8, 9, 10, 11, 12);
     constructor(currentServiceId, fetch) {
         this.currentServiceId = currentServiceId;
@@ -23989,7 +24031,7 @@ class info_Info {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(5);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(info_IN_OUT_REG, 8, OFFSET_REG, LEN_REG);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;
@@ -24064,7 +24106,7 @@ const decoder = new TextDecoder("utf8");
 class log_LogHostCall {
     currentServiceId;
     index = tryAsHostCallIndex(100);
-    gasCost = tryAsSmallGas(0);
+    basicGasCost = tryAsSmallGas(0);
     // intentionally not tracing anything here, since the message will be printed anyway.
     tracedRegisters = traceRegisters();
     constructor(currentServiceId) {
@@ -24106,7 +24148,7 @@ class lookup_Lookup {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(2);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(lookup_IN_OUT_REG, 8, 9, 10, 11);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;
@@ -24169,7 +24211,7 @@ class read_Read {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(3);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(read_IN_OUT_REG, 8, 9, 10, 11, 12);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;
@@ -24239,7 +24281,7 @@ class write_Write {
     currentServiceId;
     account;
     index = tryAsHostCallIndex(4);
-    gasCost = tryAsSmallGas(10);
+    basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(write_IN_OUT_REG, 8, 9, 10);
     constructor(currentServiceId, account) {
         this.currentServiceId = currentServiceId;