@proto-kit/protocol 0.1.1-develop.600 → 0.1.1-develop.833

package/dist/model/MethodPublicOutput.d.ts

@@ -1,40 +1,67 @@
 declare const MethodPublicOutput_base: (new (value: {
-    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-    status: import("o1js/dist/node/lib/bool").Bool;
-    transactionHash: import("o1js/dist/node/lib/field").Field;
-    networkStateHash: import("o1js/dist/node/lib/field").Field;
-    isMessage: import("o1js/dist/node/lib/bool").Bool;
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
 }) => {
-    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-    status: import("o1js/dist/node/lib/bool").Bool;
-    transactionHash: import("o1js/dist/node/lib/field").Field;
-    networkStateHash: import("o1js/dist/node/lib/field").Field;
-    isMessage: import("o1js/dist/node/lib/bool").Bool;
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-    status: import("o1js/dist/node/lib/bool").Bool;
-    transactionHash: import("o1js/dist/node/lib/field").Field;
-    networkStateHash: import("o1js/dist/node/lib/field").Field;
-    isMessage: import("o1js/dist/node/lib/bool").Bool;
-}> & {
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+}, {
+    stateTransitionsHash: bigint;
+    status: boolean;
+    transactionHash: bigint;
+    networkStateHash: bigint;
+    isMessage: boolean;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+} & {
+    fromValue: (value: {
+        stateTransitionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        status: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
     toInput: (x: {
-        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-        status: import("o1js/dist/node/lib/bool").Bool;
-        transactionHash: import("o1js/dist/node/lib/field").Field;
-        networkStateHash: import("o1js/dist/node/lib/field").Field;
-        isMessage: import("o1js/dist/node/lib/bool").Bool;
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-        status: import("o1js/dist/node/lib/bool").Bool;
-        transactionHash: import("o1js/dist/node/lib/field").Field;
-        networkStateHash: import("o1js/dist/node/lib/field").Field;
-        isMessage: import("o1js/dist/node/lib/bool").Bool;
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
         stateTransitionsHash: string;
         status: boolean;
@@ -49,11 +76,18 @@ declare const MethodPublicOutput_base: (new (value: {
         networkStateHash: string;
         isMessage: boolean;
     }) => {
-        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-        status: import("o1js/dist/node/lib/bool").Bool;
-        transactionHash: import("o1js/dist/node/lib/field").Field;
-        networkStateHash: import("o1js/dist/node/lib/field").Field;
-        isMessage: import("o1js/dist/node/lib/bool").Bool;
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    empty: () => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
     };
 };
 /**

package/dist/model/MethodPublicOutput.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAMtC;CAAG"}
+{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAMtC;CAAG"}

package/dist/model/Option.d.ts

@@ -1,26 +1,41 @@
 import { Bool, Field, type FlexibleProvablePure } from "o1js";
 declare const ProvableOption_base: (new (value: {
-    isSome: import("o1js/dist/node/lib/bool").Bool;
-    value: import("o1js/dist/node/lib/field").Field;
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
 }) => {
-    isSome: import("o1js/dist/node/lib/bool").Bool;
-    value: import("o1js/dist/node/lib/field").Field;
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    isSome: import("o1js/dist/node/lib/bool").Bool;
-    value: import("o1js/dist/node/lib/field").Field;
-}> & {
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    isSome: boolean;
+    value: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
     toInput: (x: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
-        value: import("o1js/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
-        value: import("o1js/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
         isSome: boolean;
         value: string;
@@ -29,8 +44,12 @@ declare const ProvableOption_base: (new (value: {
         isSome: boolean;
         value: string;
     }) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
-        value: import("o1js/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
     };
 };
 export declare class ProvableOption extends ProvableOption_base {
@@ -45,7 +64,7 @@ export declare abstract class OptionBase {
     /**
      * @returns Tree representation of the current value
      */
-    get treeValue(): import("o1js/dist/node/lib/field").Field;
+    get treeValue(): import("o1js/dist/node/lib/provable/field").Field;
     forceSome(): void;
     /**
      * Returns the `to`-value as decoded as a list of fields
@@ -88,8 +107,8 @@ export declare class Option<Value> extends OptionBase {
     /**
      * @returns Empty / none option
      */
-    static none(): Option<import("o1js/dist/node/lib/field").Field>;
-    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>, isForcedSome?: import("o1js/dist/node/lib/bool").Bool);
+    static none(): Option<import("o1js/dist/node/lib/provable/field").Field>;
+    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>, isForcedSome?: import("o1js/dist/node/lib/provable/bool").Bool);
     encodeValueToFields(): Field[];
     clone(): Option<Value>;
     /**
@@ -97,6 +116,7 @@ export declare class Option<Value> extends OptionBase {
      * otherwise returns the given defaultValue
      */
     orElse(defaultValue: Value): Value;
+    toConstant(): Option<Value>;
 }
 export {};
 //# sourceMappingURL=Option.d.ts.map

package/dist/model/Option.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAI1B,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEd,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED,8BAAsB,UAAU;IACD,MAAM,EAAE,IAAI;IAAS,YAAY,EAAE,IAAI;IAApE,SAAS,aAAoB,MAAM,EAAE,IAAI,EAAS,YAAY,EAAE,IAAI;IAEpE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,IAAI,KAAK,EAAE;IAEjD,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,UAAU;IAEtC;;OAEG;IACH,IAAW,SAAS,6CAQnB;IAEM,SAAS;IAKhB;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;IAOV,MAAM;;;;;CASd;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK,CAAE,SAAQ,UAAU;IAwClC,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAxC/C;;;;;;;OAOG;WACW,IAAI,CAAC,KAAK,EACtB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;;;;;OAMG;WACW,SAAS,CAAC,KAAK,EAC3B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;OAEG;WACW,IAAI;gBAKhB,MAAM,EAAE,IAAI,EACL,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAC7C,YAAY,yCAAc;IAKrB,mBAAmB,IAAI,KAAK,EAAE;IAI9B,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAS7B;;;OAGG;IACI,MAAM,CAAC,YAAY,EAAE,KAAK,GAAG,KAAK;CAQ1C"}
+{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAK1B,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEd,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED,8BAAsB,UAAU;IAErB,MAAM,EAAE,IAAI;IACZ,YAAY,EAAE,IAAI;IAF3B,SAAS,aACA,MAAM,EAAE,IAAI,EACZ,YAAY,EAAE,IAAI;IAG3B,SAAS,CAAC,QAAQ,CAAC,mBAAmB,IAAI,KAAK,EAAE;IAEjD,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,UAAU;IAEtC;;OAEG;IACH,IAAW,SAAS,sDAQnB;IAEM,SAAS;IAKhB;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;IAOV,MAAM;;;;;CASd;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK,CAAE,SAAQ,UAAU;IAwClC,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAxC/C;;;;;;;OAOG;WACW,IAAI,CAAC,KAAK,EACtB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;;;;;OAMG;WACW,SAAS,CAAC,KAAK,EAC3B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;OAEG;WACW,IAAI;gBAKhB,MAAM,EAAE,IAAI,EACL,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAC7C,YAAY,kDAAc;IAKrB,mBAAmB,IAAI,KAAK,EAAE;IAI9B,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAS7B;;;OAGG;IACI,MAAM,CAAC,YAAY,EAAE,KAAK,GAAG,KAAK;IASlC,UAAU;CAelB"}

package/dist/model/Option.js

@@ -101,4 +101,10 @@ export class Option extends OptionBase {
     orElse(defaultValue) {
         return Provable.if(this.isSome, this.valueType, this.value, defaultValue);
     }
+    toConstant() {
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+        const valueConstant = this.valueType.fromFields(this.valueType.toFields(this.value).map((field) => field.toConstant()));
+        const boolConstant = (bool) => Bool.fromFields([bool.toField().toConstant()]);
+        return new Option(boolConstant(this.isSome), valueConstant, this.valueType, boolConstant(this.isForcedSome));
+    }
 }

package/dist/model/Path.d.ts

@@ -9,7 +9,7 @@ export declare class Path {
      * @param value
      * @returns Field representation of the provided value
      */
-    static toField(value: string): import("o1js/dist/node/lib/field").Field;
+    static toField(value: string): import("o1js/dist/node/lib/provable/field").Field;
     /**
      * Encodes a class name and its property name into a Field
      *

package/dist/model/Path.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Path.d.ts","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,KAAK,oBAAoB,EAAsB,MAAM,MAAM,CAAC;AAI5E;;GAEG;AACH,qBAAa,IAAI;IACf;;;;;OAKG;WACW,OAAO,CAAC,KAAK,EAAE,MAAM;IAInC;;;;;;OAMG;WACW,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,KAAK;IAQzE;;;;;;;OAOG;WACW,OAAO,CAAC,OAAO,EAC3B,IAAI,EAAE,KAAK,EACX,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,GAAG,EAAE,OAAO,GACX,KAAK;CAIT"}
+{"version":3,"file":"Path.d.ts","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,oBAAoB,EAAY,MAAM,MAAM,CAAC;AAIlE;;GAEG;AACH,qBAAa,IAAI;IACf;;;;;OAKG;WACW,OAAO,CAAC,KAAK,EAAE,MAAM;IAInC;;;;;;OAMG;WACW,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,KAAK;IAQzE;;;;;;;OAOG;WACW,OAAO,CAAC,OAAO,EAC3B,IAAI,EAAE,KAAK,EACX,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,GAAG,EAAE,OAAO,GACX,KAAK;CAIT"}

package/dist/model/Path.js

@@ -1,5 +1,3 @@
-/* eslint-disable @typescript-eslint/no-extraneous-class */
-/* eslint-disable @shopify/no-fully-static-classes */
 import { Field, Poseidon } from "o1js";
 import { stringToField } from "../utils/utils";
 /**

package/dist/model/RuntimeLike.d.ts

@@ -0,0 +1,11 @@
+export type RuntimeMethodInvocationType = "INCOMING_MESSAGE" | "SIGNATURE";
+export type RuntimeMethodIdMapping = Record<`${string}.${string}`, {
+    methodId: bigint;
+    type: RuntimeMethodInvocationType;
+}>;
+export interface RuntimeLike {
+    get methodIdResolver(): {
+        methodIdMap: () => RuntimeMethodIdMapping;
+    };
+}
+//# sourceMappingURL=RuntimeLike.d.ts.map

package/dist/model/RuntimeLike.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeLike.d.ts","sourceRoot":"","sources":["../../src/model/RuntimeLike.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,GAAG,WAAW,CAAC;AAE3E,MAAM,MAAM,sBAAsB,GAAG,MAAM,CACzC,GAAG,MAAM,IAAI,MAAM,EAAE,EACrB;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,2BAA2B,CAAA;CAAE,CACxD,CAAC;AAEF,MAAM,WAAW,WAAW;IAC1B,IAAI,gBAAgB,IAAI;QACtB,WAAW,EAAE,MAAM,sBAAsB,CAAC;KAC3C,CAAC;CACH"}

package/dist/model/RuntimeLike.js

@@ -0,0 +1 @@
+export {};

package/dist/model/StateTransition.d.ts

@@ -1,30 +1,61 @@
 import { Field } from "o1js";
 import { Option, ProvableOption } from "./Option";
 declare const ProvableStateTransition_base: (new (value: {
-    path: import("o1js/dist/node/lib/field").Field;
+    path: import("o1js/dist/node/lib/provable/field").Field;
     from: ProvableOption;
     to: ProvableOption;
 }) => {
-    path: import("o1js/dist/node/lib/field").Field;
+    path: import("o1js/dist/node/lib/provable/field").Field;
     from: ProvableOption;
     to: ProvableOption;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    path: import("o1js/dist/node/lib/field").Field;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    path: import("o1js/dist/node/lib/provable/field").Field;
     from: ProvableOption;
     to: ProvableOption;
-}> & {
+}, {
+    path: bigint;
+    from: {
+        isSome: boolean;
+        value: bigint;
+    };
+    to: {
+        isSome: boolean;
+        value: bigint;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        path: import("o1js/dist/node/lib/provable/field").Field;
+        from: ProvableOption;
+        to: ProvableOption;
+    };
+} & {
+    fromValue: (value: {
+        path: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        from: ProvableOption | {
+            isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+            value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+        to: ProvableOption | {
+            isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+            value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+    }) => {
+        path: import("o1js/dist/node/lib/provable/field").Field;
+        from: ProvableOption;
+        to: ProvableOption;
+    };
     toInput: (x: {
-        path: import("o1js/dist/node/lib/field").Field;
+        path: import("o1js/dist/node/lib/provable/field").Field;
         from: ProvableOption;
         to: ProvableOption;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        path: import("o1js/dist/node/lib/field").Field;
+        path: import("o1js/dist/node/lib/provable/field").Field;
         from: ProvableOption;
         to: ProvableOption;
     }) => {
@@ -49,7 +80,12 @@ declare const ProvableStateTransition_base: (new (value: {
             value: string;
         };
     }) => {
-        path: import("o1js/dist/node/lib/field").Field;
+        path: import("o1js/dist/node/lib/provable/field").Field;
+        from: ProvableOption;
+        to: ProvableOption;
+    };
+    empty: () => {
+        path: import("o1js/dist/node/lib/provable/field").Field;
         from: ProvableOption;
         to: ProvableOption;
     };
@@ -68,13 +104,13 @@ export declare class ProvableStateTransition extends ProvableStateTransition_bas
  */
 export declare class StateTransition<Value> {
     path: Field;
-    fromValue: Option<Field> | Option<Value>;
+    fromValue: Option<Value>;
     toValue: Option<Field> | Option<Value>;
     static from<Value>(path: Field, fromValue: Option<Value>): StateTransition<Value>;
     static fromTo<Value>(path: Field, fromValue: Option<Value>, toValue: Option<Value>): StateTransition<Value>;
-    constructor(path: Field, fromValue: Option<Field> | Option<Value>, toValue: Option<Field> | Option<Value>);
-    get from(): Option<import("o1js/dist/node/lib/field").Field> | Option<Value>;
-    get to(): Option<import("o1js/dist/node/lib/field").Field> | Option<Value>;
+    constructor(path: Field, fromValue: Option<Value>, toValue: Option<Field> | Option<Value>);
+    get from(): Option<Value>;
+    get to(): Option<import("o1js/dist/node/lib/provable/field").Field> | Option<Value>;
     /**
      * Converts a StateTransition to a ProvableStateTransition,
      * while enforcing the 'from' property to be 'Some' in all cases.
@@ -93,6 +129,7 @@ export declare class StateTransition<Value> {
             value: string[];
         };
     };
+    toConstant(): StateTransition<Value>;
 }
 export {};
 //# sourceMappingURL=StateTransition.d.ts.map

package/dist/model/StateTransition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateTransition.d.ts","sourceRoot":"","sources":["../../src/model/StateTransition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,MAAM,CAAC;AAErC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElD;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,4BAQ3C;WACc,KAAK,IAAI,uBAAuB;CAO/C;AAED;;;GAGG;AACH,qBAAa,eAAe,CAAC,KAAK;IAcvB,IAAI,EAAE,KAAK;IACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;WAfjC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;WAIjD,MAAM,CAAC,KAAK,EACxB,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBAMf,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAG/C,IAAW,IAAI,qEAId;IAED,IAAW,EAAE,qEAEZ;IAED;;;OAGG;IACI,UAAU,IAAI,uBAAuB;IAQrC,MAAM;;;;;;;;;;;;;CAOd"}
+{"version":3,"file":"StateTransition.d.ts","sourceRoot":"","sources":["../../src/model/StateTransition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,MAAM,CAAC;AAErC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElD;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,4BAQ3C;WACc,KAAK,IAAI,uBAAuB;CAO/C;AAED;;;GAGG;AACH,qBAAa,eAAe,CAAC,KAAK;IAcvB,IAAI,EAAE,KAAK;IACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;WAfjC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;WAIjD,MAAM,CAAC,KAAK,EACxB,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBAMf,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAG/C,IAAW,IAAI,kBAId;IAED,IAAW,EAAE,8EAEZ;IAED;;;OAGG;IACI,UAAU,IAAI,uBAAuB;IAQrC,MAAM;;;;;;;;;;;;;IAQN,UAAU,IAAI,eAAe,CAAC,KAAK,CAAC;CAO5C"}

package/dist/model/StateTransition.js

@@ -62,4 +62,7 @@ export class StateTransition {
             to: this.toValue.toJSON(),
         };
     }
+    toConstant() {
+        return new StateTransition(this.path.toConstant(), this.fromValue.toConstant(), this.toValue.toConstant());
+    }
 }

package/dist/model/StateTransitionProvableBatch.d.ts

@@ -7,29 +7,43 @@ export declare class StateTransitionType {
     static isProtocol(type: boolean): boolean;
 }
 declare const ProvableStateTransitionType_base: (new (value: {
-    type: import("o1js/dist/node/lib/bool").Bool;
+    type: import("o1js/dist/node/lib/provable/bool").Bool;
 }) => {
-    type: import("o1js/dist/node/lib/bool").Bool;
+    type: import("o1js/dist/node/lib/provable/bool").Bool;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    type: import("o1js/dist/node/lib/bool").Bool;
-}> & {
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    type: import("o1js/dist/node/lib/provable/bool").Bool;
+}, {
+    type: boolean;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        type: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+} & {
+    fromValue: (value: {
+        type: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        type: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
     toInput: (x: {
-        type: import("o1js/dist/node/lib/bool").Bool;
+        type: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        type: import("o1js/dist/node/lib/bool").Bool;
+        type: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
         type: boolean;
     };
     fromJSON: (x: {
         type: boolean;
     }) => {
-        type: import("o1js/dist/node/lib/bool").Bool;
+        type: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    empty: () => {
+        type: import("o1js/dist/node/lib/provable/bool").Bool;
     };
 };
 export declare class ProvableStateTransitionType extends ProvableStateTransitionType_base {
@@ -46,16 +60,55 @@ declare const StateTransitionProvableBatch_base: (new (value: {
     transitionTypes: ProvableStateTransitionType[];
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
     batch: ProvableStateTransition[];
     transitionTypes: ProvableStateTransitionType[];
-}> & {
+}, {
+    batch: {
+        path: bigint;
+        from: {
+            isSome: boolean;
+            value: bigint;
+        };
+        to: {
+            isSome: boolean;
+            value: bigint;
+        };
+    }[];
+    transitionTypes: {
+        type: boolean;
+    }[];
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        batch: ProvableStateTransition[];
+        transitionTypes: ProvableStateTransitionType[];
+    };
+} & {
+    fromValue: (value: {
+        batch: ProvableStateTransition[] | {
+            path: bigint;
+            from: {
+                isSome: boolean;
+                value: bigint;
+            };
+            to: {
+                isSome: boolean;
+                value: bigint;
+            };
+        }[];
+        transitionTypes: ProvableStateTransitionType[] | {
+            type: boolean;
+        }[];
+    }) => {
+        batch: ProvableStateTransition[];
+        transitionTypes: ProvableStateTransitionType[];
+    };
     toInput: (x: {
         batch: ProvableStateTransition[];
         transitionTypes: ProvableStateTransitionType[];
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
         batch: ProvableStateTransition[];
@@ -95,6 +148,10 @@ declare const StateTransitionProvableBatch_base: (new (value: {
         batch: ProvableStateTransition[];
         transitionTypes: ProvableStateTransitionType[];
     };
+    empty: () => {
+        batch: ProvableStateTransition[];
+        transitionTypes: ProvableStateTransitionType[];
+    };
 };
 /**
  * A Batch of StateTransitions to be consumed by the StateTransitionProver

package/dist/model/StateTransitionProvableBatch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,MAAM,CAAC;AAK9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,qBAAa,mBAAmB;IAC9B,gBAAuB,MAAM,QAAQ;IAErC,gBAAuB,QAAQ,SAAS;WAE1B,QAAQ,CAAC,IAAI,EAAE,OAAO;WAItB,UAAU,CAAC,IAAI,EAAE,OAAO;CAGvC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,2BAA4B,SAAQ,gCAE/C;IACA,WAAkB,MAAM,IAAI,2BAA2B,CAItD;IAED,WAAkB,QAAQ,IAAI,2BAA2B,CAIxD;IAEM,QAAQ,IAAI,IAAI;IAIhB,UAAU,IAAI,IAAI;CAG1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,iCAUhD;WACc,YAAY,CACxB,WAAW,EAAE;QACX,UAAU,EAAE,uBAAuB,CAAC;QACpC,IAAI,EAAE,2BAA2B,CAAC;KACnC,EAAE,GACF,4BAA4B;WAyBjB,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,EACtC,mBAAmB,EAAE,uBAAuB,EAAE,GAC7C,4BAA4B;IAsB/B,OAAO;CAMR"}
+{"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,MAAM,CAAC;AAK9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,qBAAa,mBAAmB;IAC9B,gBAAuB,MAAM,QAAQ;IAErC,gBAAuB,QAAQ,SAAS;WAE1B,QAAQ,CAAC,IAAI,EAAE,OAAO;WAItB,UAAU,CAAC,IAAI,EAAE,OAAO;CAGvC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,2BAA4B,SAAQ,gCAE/C;IACA,WAAkB,MAAM,IAAI,2BAA2B,CAItD;IAED,WAAkB,QAAQ,IAAI,2BAA2B,CAIxD;IAEM,QAAQ,IAAI,IAAI;IAIhB,UAAU,IAAI,IAAI;CAG1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,iCAUhD;WACc,YAAY,CACxB,WAAW,EAAE;QACX,UAAU,EAAE,uBAAuB,CAAC;QACpC,IAAI,EAAE,2BAA2B,CAAC;KACnC,EAAE,GACF,4BAA4B;WAyBjB,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,EACtC,mBAAmB,EAAE,uBAAuB,EAAE,GAC7C,4BAA4B;IAsB/B,OAAO;CAMR"}

package/dist/model/StateTransitionReduction.d.ts

@@ -0,0 +1,3 @@
+import { StateTransition } from "./StateTransition";
+export declare function reduceStateTransitions(transitions: StateTransition<unknown>[]): StateTransition<unknown>[];
+//# sourceMappingURL=StateTransitionReduction.d.ts.map

package/dist/model/StateTransitionReduction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateTransitionReduction.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionReduction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,GACtC,eAAe,CAAC,OAAO,CAAC,EAAE,CA0B5B"}

package/dist/model/StateTransitionReduction.js

@@ -0,0 +1,26 @@
+import { StateTransition } from "./StateTransition";
+export function reduceStateTransitions(transitions) {
+    const reduced = [];
+    for (const st of transitions) {
+        if (reduced.length === 0) {
+            reduced.push(st);
+            continue;
+        }
+        const last = reduced.at(-1);
+        if (last.path.equals(st.path).toBoolean()) {
+            if (st.toValue.isSome.toBoolean()) {
+                reduced.pop();
+                reduced.push(new StateTransition(st.path, last.fromValue, st.toValue));
+            }
+            else {
+                // Do nothing, because we discard that ST
+                // { from: 5, to: 10 }, { from: 10, to: none }
+                // cancel the 2nd
+            }
+        }
+        else {
+            reduced.push(st);
+        }
+    }
+    return reduced;
+}