@evolution-sdk/scalus-uplc 0.0.1

package/dist/Evaluator.d.ts

@@ -0,0 +1,3 @@
+import * as TransactionBuilder from "@evolution-sdk/evolution/sdk/builders/TransactionBuilder";
+export declare function makeEvaluator(): TransactionBuilder.Evaluator;
+//# sourceMappingURL=Evaluator.d.ts.map

package/dist/Evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Evaluator.d.ts","sourceRoot":"","sources":["../src/Evaluator.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,kBAAkB,MAAM,0DAA0D,CAAA;AAiD9F,wBAAgB,aAAa,IAAI,kBAAkB,CAAC,SAAS,CAqG5D"}

package/dist/Evaluator.js

@@ -0,0 +1,118 @@
+import * as Bytes from "@evolution-sdk/evolution/Bytes";
+import * as CBOR from "@evolution-sdk/evolution/CBOR";
+import * as Redeemer from "@evolution-sdk/evolution/Redeemer";
+import * as Script from "@evolution-sdk/evolution/Script";
+import * as ScriptRef from "@evolution-sdk/evolution/ScriptRef";
+import * as TransactionBuilder from "@evolution-sdk/evolution/sdk/builders/TransactionBuilder";
+import * as Transaction from "@evolution-sdk/evolution/Transaction";
+import * as TransactionInput from "@evolution-sdk/evolution/TransactionInput";
+import * as TxOut from "@evolution-sdk/evolution/TxOut";
+import { Effect, Schema } from "effect";
+import * as Scalus from "scalus";
+/**
+ * Build CBOR-encoded map of TransactionInput → TransactionOutput from UTxOs.
+ *
+ * Uses FromCDDL schemas to get CBOR values directly, avoiding wasteful
+ * bytes → CBOR → bytes roundtrip encoding.
+ */
+function buildUtxoMapCBOR(utxos) {
+    const utxoMap = new Map();
+    for (const utxo of utxos) {
+        // Use FromCDDL to get CBOR values directly (no double encoding)
+        const txInput = new TransactionInput.TransactionInput({
+            transactionId: utxo.transactionId,
+            index: utxo.index
+        });
+        const inputCBOR = Schema.encodeSync(TransactionInput.FromCDDL)(txInput);
+        const scriptRef = utxo.scriptRef ? new ScriptRef.ScriptRef({ bytes: Script.toCBOR(utxo.scriptRef) }) : undefined;
+        const txOut = new TxOut.TransactionOutput({
+            address: utxo.address,
+            assets: utxo.assets,
+            datumOption: utxo.datumOption,
+            scriptRef
+        });
+        const outputCBOR = Schema.encodeSync(TxOut.FromCDDL)(txOut);
+        utxoMap.set(inputCBOR, outputCBOR);
+    }
+    return CBOR.toCBORBytes(utxoMap, CBOR.CML_DEFAULT_OPTIONS);
+}
+function decodeCostModels(costModels) {
+    // Scalus expects a flattened representation of the cost models as number arrays
+    const plutusV1 = costModels.PlutusV1.costs.map((c) => Number(c));
+    const plutusV2 = costModels.PlutusV2.costs.map((c) => Number(c));
+    const plutusV3 = costModels.PlutusV3.costs.map((c) => Number(c));
+    return [plutusV1, plutusV2, plutusV3];
+}
+export function makeEvaluator() {
+    return {
+        evaluate: (tx, additionalUtxos, context) => Effect.gen(function* () {
+            yield* Effect.logDebug("[Scalus UPLC] Starting evaluation");
+            // Serialize transaction to CBOR bytes
+            const txBytes = Transaction.toCBORBytes(tx);
+            yield* Effect.logDebug(`[Scalus UPLC] Transaction CBOR bytes: ${txBytes.length}`);
+            const utxos = additionalUtxos ?? [];
+            yield* Effect.logDebug(`[Scalus UPLC] Additional UTxOs: ${utxos.length}`);
+            // Build UTxO map CBOR
+            const utxosBytes = buildUtxoMapCBOR(utxos);
+            yield* Effect.logDebug(`[Scalus UPLC] UTxO map CBOR bytes: ${utxosBytes.length}`);
+            yield* Effect.logDebug(`[Scalus UPLC] UTxO map CBOR hex: ${Bytes.toHex(utxosBytes)}`);
+            const { slotLength, zeroSlot, zeroTime } = context.slotConfig;
+            yield* Effect.logDebug(`[Scalus UPLC] Slot config - zeroTime: ${zeroTime}, zeroSlot: ${zeroSlot}, slotLength: ${slotLength}`);
+            const costModels = decodeCostModels(context.costModels);
+            yield* Effect.logDebug(`[Scalus UPLC] Cost models - V1: ${costModels[0].length}, V2: ${costModels[1].length}, V3: ${costModels[2].length} costs`);
+            yield* Effect.logDebug(`[Scalus UPLC] Max execution - steps: ${context.maxTxExSteps}, mem: ${context.maxTxExMem}`);
+            // Scalus-specific slot config
+            const slotConfig = new Scalus.SlotConfig(Number(zeroTime), Number(zeroSlot), slotLength);
+            yield* Effect.logDebug("[Scalus UPLC] Calling evalPlutusScripts...");
+            const redeemers = yield* Effect.try({
+                try: () => Scalus.Scalus.evalPlutusScripts(txBytes, utxosBytes, slotConfig, costModels),
+                catch: (error) => {
+                    // Scalus error messages and evaluation logs, if any, are available to form an exception
+                    const errorObj = error;
+                    const msg = errorObj?.message ?? "Unknown evaluation error";
+                    return new TransactionBuilder.EvaluationError({
+                        cause: error,
+                        message: msg,
+                        failures: []
+                    });
+                }
+            });
+            yield* Effect.logDebug(`[Scalus UPLC] Evaluation successful - ${redeemers.length} redeemer(s) returned`);
+            // Check if redeemers array is empty
+            if (redeemers.length === 0) {
+                return yield* new TransactionBuilder.EvaluationError({
+                    message: "Scalus evaluation returned no redeemers",
+                    failures: []
+                });
+            }
+            // Transform Scalus redeemers to Evolution format and check for zero execution units
+            const evalRedeemers = [];
+            for (const r of redeemers) {
+                const mem = BigInt(r.budget.memory);
+                const steps = BigInt(r.budget.steps);
+                // Check if execution units are zero (indicates evaluation failure)
+                if (mem === 0n && steps === 0n) {
+                    return yield* Effect.fail(new TransactionBuilder.EvaluationError({
+                        message: `Scalus evaluation returned zero execution units for redeemer ${r.tag}:${r.index}`,
+                        failures: []
+                    }));
+                }
+                const tagMap = {
+                    Spend: "spend",
+                    Mint: "mint",
+                    Cert: "cert",
+                    Reward: "reward",
+                    Voting: "vote",
+                    Proposing: "propose"
+                };
+                evalRedeemers.push({
+                    redeemer_tag: tagMap[r.tag] || "spend",
+                    redeemer_index: r.index,
+                    ex_units: new Redeemer.ExUnits({ mem, steps })
+                });
+            }
+            return evalRedeemers;
+        })
+    };
+}
+//# sourceMappingURL=Evaluator.js.map

package/dist/Evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Evaluator.js","sourceRoot":"","sources":["../src/Evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,gCAAgC,CAAA;AACvD,OAAO,KAAK,IAAI,MAAM,+BAA+B,CAAA;AAErD,OAAO,KAAK,QAAQ,MAAM,mCAAmC,CAAA;AAC7D,OAAO,KAAK,MAAM,MAAM,iCAAiC,CAAA;AACzD,OAAO,KAAK,SAAS,MAAM,oCAAoC,CAAA;AAC/D,OAAO,KAAK,kBAAkB,MAAM,0DAA0D,CAAA;AAE9F,OAAO,KAAK,WAAW,MAAM,sCAAsC,CAAA;AACnE,OAAO,KAAK,gBAAgB,MAAM,2CAA2C,CAAA;AAC7E,OAAO,KAAK,KAAK,MAAM,gCAAgC,CAAA;AAEvD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAA;AAEhC;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,KAA+B;IACvD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAA;IAE/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,gEAAgE;QAChE,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAAC,gBAAgB,CAAC;YACpD,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CAAA;QACF,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAA;QAEvE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAChH,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,iBAAiB,CAAC;YACxC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,SAAS;SACV,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAA;QAE3D,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAgC;IACxD,gFAAgF;IAChF,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACxE,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACxE,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACxE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;AACvC,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,QAAQ,EAAE,CACR,EAA2B,EAC3B,eAAqD,EACrD,OAA6C,EAC7C,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAA;YAE3D,sCAAsC;YACtC,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;YAE3C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,yCAAyC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;YAEjF,MAAM,KAAK,GAAG,eAAe,IAAI,EAAE,CAAA;YACnC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,mCAAmC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;YAEzE,sBAAsB;YACtB,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;YAC1C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,sCAAsC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAA;YACjF,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,oCAAoC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;YAErF,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,UAAU,CAAA;YAE7D,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,yCAAyC,QAAQ,eAAe,QAAQ,iBAAiB,UAAU,EAAE,CACtG,CAAA;YAED,MAAM,UAAU,GAAyB,gBAAgB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;YAC7E,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,mCAAmC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAC1H,CAAA;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CACpB,wCAAwC,OAAO,CAAC,YAAY,UAAU,OAAO,CAAC,UAAU,EAAE,CAC3F,CAAA;YAED,8BAA8B;YAC9B,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAA;YAExF,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,4CAA4C,CAAC,CAAA;YACpE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBAClC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC;gBACvF,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;oBACf,wFAAwF;oBACxF,MAAM,QAAQ,GAAG,KAAY,CAAA;oBAC7B,MAAM,GAAG,GAAW,QAAQ,EAAE,OAAO,IAAI,0BAA0B,CAAA;oBAEnE,OAAO,IAAI,kBAAkB,CAAC,eAAe,CAAC;wBAC5C,KAAK,EAAE,KAAK;wBACZ,OAAO,EAAE,GAAG;wBACZ,QAAQ,EAAE,EAAE;qBACb,CAAC,CAAA;gBACJ,CAAC;aACF,CAAC,CAAA;YAEF,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,yCAAyC,SAAS,CAAC,MAAM,uBAAuB,CAAC,CAAA;YAExG,oCAAoC;YACpC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,IAAI,kBAAkB,CAAC,eAAe,CAAC;oBACnD,OAAO,EAAE,yCAAyC;oBAClD,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAA;YACJ,CAAC;YAED,oFAAoF;YACpF,MAAM,aAAa,GAAqC,EAAE,CAAA;YAC1D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBACnC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAEpC,mEAAmE;gBACnE,IAAI,GAAG,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;oBAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,kBAAkB,CAAC,eAAe,CAAC;wBACrC,OAAO,EAAE,gEAAgE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE;wBAC3F,QAAQ,EAAE,EAAE;qBACb,CAAC,CACH,CAAA;gBACH,CAAC;gBAED,MAAM,MAAM,GAAyC;oBACnD,KAAK,EAAE,OAAO;oBACd,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,QAAQ;oBAChB,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,SAAS;iBACrB,CAAA;gBAED,aAAa,CAAC,IAAI,CAAC;oBACjB,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,OAAO;oBACtC,cAAc,EAAE,CAAC,CAAC,KAAK;oBACvB,QAAQ,EAAE,IAAI,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;iBAC/C,CAAC,CAAA;YACJ,CAAC;YAED,OAAO,aAAa,CAAA;QACtB,CAAC,CAAC;KACL,CAAA;AACH,CAAC"}

package/dist/index.browser.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Browser entry point - not implemented in rough draft
+ *
+ * @packageDocumentation
+ */
+import type * as TransactionBuilder from "@evolution-sdk/evolution/sdk/builders/TransactionBuilder";
+/**
+ * Create a Scalus UPLC evaluator instance for browser environments.
+ *
+ * @throws Error - Browser support not yet implemented
+ */
+export declare function createScalusEvaluator(): TransactionBuilder.Evaluator;
+//# sourceMappingURL=index.browser.d.ts.map

package/dist/index.browser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.browser.d.ts","sourceRoot":"","sources":["../src/index.browser.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,kBAAkB,MAAM,0DAA0D,CAAA;AAEnG;;;;GAIG;AACH,wBAAgB,qBAAqB,IAAI,kBAAkB,CAAC,SAAS,CAEpE"}

package/dist/index.browser.js

@@ -0,0 +1,14 @@
+/**
+ * Browser entry point - not implemented in rough draft
+ *
+ * @packageDocumentation
+ */
+/**
+ * Create a Scalus UPLC evaluator instance for browser environments.
+ *
+ * @throws Error - Browser support not yet implemented
+ */
+export function createScalusEvaluator() {
+    throw new Error("Browser support not yet implemented for Scalus UPLC evaluator");
+}
+//# sourceMappingURL=index.browser.js.map

package/dist/index.browser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.browser.js","sourceRoot":"","sources":["../src/index.browser.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;;;GAIG;AACH,MAAM,UAAU,qBAAqB;IACnC,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;AAClF,CAAC"}

package/dist/index.node.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Create a Scalus UPLC evaluator instance.
+ *
+ * @returns A TransactionBuilder.Evaluator that uses Scalus for script evaluation
+ *
+ * @example
+ * ```typescript
+ * import { createScalusEvaluator } from "@evolution-sdk/scalus-uplc"
+ *
+ * const evaluator = createScalusEvaluator()
+ * const redeemers = await Effect.runPromise(evaluator.evaluate(tx, utxos, context))
+ * ```
+ */
+export declare const createScalusEvaluator: import("@evolution-sdk/evolution/sdk/builders/TransactionBuilder").Evaluator;
+//# sourceMappingURL=index.node.d.ts.map

package/dist/index.node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.node.d.ts","sourceRoot":"","sources":["../src/index.node.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,qBAAqB,8EAAkB,CAAA"}

package/dist/index.node.js

@@ -0,0 +1,16 @@
+import { makeEvaluator } from "./Evaluator.js";
+/**
+ * Create a Scalus UPLC evaluator instance.
+ *
+ * @returns A TransactionBuilder.Evaluator that uses Scalus for script evaluation
+ *
+ * @example
+ * ```typescript
+ * import { createScalusEvaluator } from "@evolution-sdk/scalus-uplc"
+ *
+ * const evaluator = createScalusEvaluator()
+ * const redeemers = await Effect.runPromise(evaluator.evaluate(tx, utxos, context))
+ * ```
+ */
+export const createScalusEvaluator = makeEvaluator();
+//# sourceMappingURL=index.node.js.map

package/dist/index.node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.node.js","sourceRoot":"","sources":["../src/index.node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAE9C;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,aAAa,EAAE,CAAA"}

package/package.json

@@ -0,0 +1,84 @@
+{
+  "name": "@evolution-sdk/scalus-uplc",
+  "version": "0.0.1",
+  "description": "Scalus UPLC evaluator adapter for Evolution SDK",
+  "type": "module",
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "sideEffects": [],
+  "tags": [
+    "typescript",
+    "cardano",
+    "scalus",
+    "uplc",
+    "evaluator"
+  ],
+  "exports": {
+    ".": {
+      "types": "./src/index.node.ts",
+      "node": "./src/index.node.ts",
+      "default": "./src/index.node.ts"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "src/**/*.ts",
+    "dist/**/*.js",
+    "dist/**/*.js.map",
+    "dist/**/*.d.ts",
+    "dist/**/*.d.ts.map"
+  ],
+  "scripts": {
+    "build": "tsc -b tsconfig.build.json",
+    "dev": "tsc -b tsconfig.build.json --watch",
+    "type-check": "tsc --noEmit",
+    "lint": "eslint \"src/**/*.{ts,mjs}\"",
+    "clean": "rm -rf dist .turbo .tsbuildinfo"
+  },
+  "dependencies": {
+    "effect": "^3.19.3",
+    "scalus": "^0.14.2"
+  },
+  "peerDependencies": {
+    "@evolution-sdk/evolution": "workspace:*"
+  },
+  "devDependencies": {
+    "typescript": "^5.9.2"
+  },
+  "keywords": [
+    "cardano",
+    "blockchain",
+    "scalus",
+    "uplc",
+    "evaluator",
+    "typescript",
+    "effect"
+  ],
+  "homepage": "https://github.com/IntersectMBO/evolution-sdk",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/IntersectMBO/evolution-sdk.git",
+    "directory": "packages/scalus-uplc"
+  },
+  "bugs": {
+    "url": "https://github.com/IntersectMBO/evolution-sdk/issues"
+  },
+  "license": "MIT",
+  "publishConfig": {
+    "access": "public",
+    "exports": {
+      ".": {
+        "node": {
+          "types": "./dist/index.node.d.ts",
+          "default": "./dist/index.node.js"
+        },
+        "default": {
+          "types": "./dist/index.node.d.ts",
+          "default": "./dist/index.node.js"
+        }
+      },
+      "./package.json": "./package.json"
+    }
+  }
+}

package/src/Evaluator.ts

@@ -0,0 +1,157 @@
+import * as Bytes from "@evolution-sdk/evolution/Bytes"
+import * as CBOR from "@evolution-sdk/evolution/CBOR"
+import type * as CostModel from "@evolution-sdk/evolution/CostModel"
+import * as Redeemer from "@evolution-sdk/evolution/Redeemer"
+import * as Script from "@evolution-sdk/evolution/Script"
+import * as ScriptRef from "@evolution-sdk/evolution/ScriptRef"
+import * as TransactionBuilder from "@evolution-sdk/evolution/sdk/builders/TransactionBuilder"
+import type * as EvalRedeemer from "@evolution-sdk/evolution/sdk/EvalRedeemer"
+import * as Transaction from "@evolution-sdk/evolution/Transaction"
+import * as TransactionInput from "@evolution-sdk/evolution/TransactionInput"
+import * as TxOut from "@evolution-sdk/evolution/TxOut"
+import type * as UTxO from "@evolution-sdk/evolution/UTxO"
+import { Effect, Schema } from "effect"
+import * as Scalus from "scalus"
+
+/**
+ * Build CBOR-encoded map of TransactionInput → TransactionOutput from UTxOs.
+ *
+ * Uses FromCDDL schemas to get CBOR values directly, avoiding wasteful
+ * bytes → CBOR → bytes roundtrip encoding.
+ */
+function buildUtxoMapCBOR(utxos: ReadonlyArray<UTxO.UTxO>): Uint8Array {
+  const utxoMap = new Map<CBOR.CBOR, CBOR.CBOR>()
+
+  for (const utxo of utxos) {
+    // Use FromCDDL to get CBOR values directly (no double encoding)
+    const txInput = new TransactionInput.TransactionInput({
+      transactionId: utxo.transactionId,
+      index: utxo.index
+    })
+    const inputCBOR = Schema.encodeSync(TransactionInput.FromCDDL)(txInput)
+
+    const scriptRef = utxo.scriptRef ? new ScriptRef.ScriptRef({ bytes: Script.toCBOR(utxo.scriptRef) }) : undefined
+    const txOut = new TxOut.TransactionOutput({
+      address: utxo.address,
+      assets: utxo.assets,
+      datumOption: utxo.datumOption,
+      scriptRef
+    })
+    const outputCBOR = Schema.encodeSync(TxOut.FromCDDL)(txOut)
+
+    utxoMap.set(inputCBOR, outputCBOR)
+  }
+
+  return CBOR.toCBORBytes(utxoMap, CBOR.CML_DEFAULT_OPTIONS)
+}
+
+function decodeCostModels(costModels: CostModel.CostModels): Array<Array<number>> {
+  // Scalus expects a flattened representation of the cost models as number arrays
+  const plutusV1 = costModels.PlutusV1.costs.map((c: bigint) => Number(c))
+  const plutusV2 = costModels.PlutusV2.costs.map((c: bigint) => Number(c))
+  const plutusV3 = costModels.PlutusV3.costs.map((c: bigint) => Number(c))
+  return [plutusV1, plutusV2, plutusV3]
+}
+
+export function makeEvaluator(): TransactionBuilder.Evaluator {
+  return {
+    evaluate: (
+      tx: Transaction.Transaction,
+      additionalUtxos: ReadonlyArray<UTxO.UTxO> | undefined,
+      context: TransactionBuilder.EvaluationContext
+    ) =>
+      Effect.gen(function* () {
+        yield* Effect.logDebug("[Scalus UPLC] Starting evaluation")
+
+        // Serialize transaction to CBOR bytes
+        const txBytes = Transaction.toCBORBytes(tx)
+
+        yield* Effect.logDebug(`[Scalus UPLC] Transaction CBOR bytes: ${txBytes.length}`)
+
+        const utxos = additionalUtxos ?? []
+        yield* Effect.logDebug(`[Scalus UPLC] Additional UTxOs: ${utxos.length}`)
+
+        // Build UTxO map CBOR
+        const utxosBytes = buildUtxoMapCBOR(utxos)
+        yield* Effect.logDebug(`[Scalus UPLC] UTxO map CBOR bytes: ${utxosBytes.length}`)
+        yield* Effect.logDebug(`[Scalus UPLC] UTxO map CBOR hex: ${Bytes.toHex(utxosBytes)}`)
+
+        const { slotLength, zeroSlot, zeroTime } = context.slotConfig
+
+        yield* Effect.logDebug(
+          `[Scalus UPLC] Slot config - zeroTime: ${zeroTime}, zeroSlot: ${zeroSlot}, slotLength: ${slotLength}`
+        )
+
+        const costModels: Array<Array<number>> = decodeCostModels(context.costModels)
+        yield* Effect.logDebug(
+          `[Scalus UPLC] Cost models - V1: ${costModels[0].length}, V2: ${costModels[1].length}, V3: ${costModels[2].length} costs`
+        )
+        yield* Effect.logDebug(
+          `[Scalus UPLC] Max execution - steps: ${context.maxTxExSteps}, mem: ${context.maxTxExMem}`
+        )
+
+        // Scalus-specific slot config
+        const slotConfig = new Scalus.SlotConfig(Number(zeroTime), Number(zeroSlot), slotLength)
+
+        yield* Effect.logDebug("[Scalus UPLC] Calling evalPlutusScripts...")
+        const redeemers = yield* Effect.try({
+          try: () => Scalus.Scalus.evalPlutusScripts(txBytes, utxosBytes, slotConfig, costModels),
+          catch: (error) => {
+            // Scalus error messages and evaluation logs, if any, are available to form an exception
+            const errorObj = error as any
+            const msg: string = errorObj?.message ?? "Unknown evaluation error"
+
+            return new TransactionBuilder.EvaluationError({
+              cause: error,
+              message: msg,
+              failures: []
+            })
+          }
+        })
+
+        yield* Effect.logDebug(`[Scalus UPLC] Evaluation successful - ${redeemers.length} redeemer(s) returned`)
+
+        // Check if redeemers array is empty
+        if (redeemers.length === 0) {
+          return yield* new TransactionBuilder.EvaluationError({
+            message: "Scalus evaluation returned no redeemers",
+            failures: []
+          })
+        }
+
+        // Transform Scalus redeemers to Evolution format and check for zero execution units
+        const evalRedeemers: Array<EvalRedeemer.EvalRedeemer> = []
+        for (const r of redeemers) {
+          const mem = BigInt(r.budget.memory)
+          const steps = BigInt(r.budget.steps)
+
+          // Check if execution units are zero (indicates evaluation failure)
+          if (mem === 0n && steps === 0n) {
+            return yield* Effect.fail(
+              new TransactionBuilder.EvaluationError({
+                message: `Scalus evaluation returned zero execution units for redeemer ${r.tag}:${r.index}`,
+                failures: []
+              })
+            )
+          }
+
+          const tagMap: Record<string, Redeemer.RedeemerTag> = {
+            Spend: "spend",
+            Mint: "mint",
+            Cert: "cert",
+            Reward: "reward",
+            Voting: "vote",
+            Proposing: "propose"
+          }
+
+          evalRedeemers.push({
+            redeemer_tag: tagMap[r.tag] || "spend",
+            redeemer_index: r.index,
+            ex_units: new Redeemer.ExUnits({ mem, steps })
+          })
+        }
+
+        return evalRedeemers
+      })
+  }
+}

package/src/index.browser.ts

@@ -0,0 +1,16 @@
+/**
+ * Browser entry point - not implemented in rough draft
+ *
+ * @packageDocumentation
+ */
+
+import type * as TransactionBuilder from "@evolution-sdk/evolution/sdk/builders/TransactionBuilder"
+
+/**
+ * Create a Scalus UPLC evaluator instance for browser environments.
+ *
+ * @throws Error - Browser support not yet implemented
+ */
+export function createScalusEvaluator(): TransactionBuilder.Evaluator {
+  throw new Error("Browser support not yet implemented for Scalus UPLC evaluator")
+}

package/src/index.node.ts

@@ -0,0 +1,16 @@
+import { makeEvaluator } from "./Evaluator.js"
+
+/**
+ * Create a Scalus UPLC evaluator instance.
+ *
+ * @returns A TransactionBuilder.Evaluator that uses Scalus for script evaluation
+ *
+ * @example
+ * ```typescript
+ * import { createScalusEvaluator } from "@evolution-sdk/scalus-uplc"
+ *
+ * const evaluator = createScalusEvaluator()
+ * const redeemers = await Effect.runPromise(evaluator.evaluate(tx, utxos, context))
+ * ```
+ */
+export const createScalusEvaluator = makeEvaluator()