@proto-kit/protocol 0.1.1-develop.1315 → 0.1.1-develop.1343

package/dist/utils/FieldOptions.d.ts

@@ -0,0 +1,62 @@
+import { Bool, Field } from "o1js";
+declare const FieldOption_base: (new (value: {
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: 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;
+}) & {
+    _isStruct: true;
+} & 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/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        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/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        isSome: boolean;
+        value: string;
+    };
+    fromJSON: (x: {
+        isSome: boolean;
+        value: string;
+    }) => {
+        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 FieldOption extends FieldOption_base {
+    static from(isSome: Bool, potentialValue: Field): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+}
+export {};
+//# sourceMappingURL=FieldOptions.d.ts.map

package/dist/utils/FieldOptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldOptions.d.ts","sourceRoot":"","sources":["../../src/utils/FieldOptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAoB,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErD,qBAAa,WAAY,SAAQ,gBAG/B;WACc,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK;;;;CAMvD"}

package/dist/utils/FieldOptions.js

@@ -0,0 +1,13 @@
+import { Bool, Field, Provable, Struct } from "o1js";
+export class FieldOption extends Struct({
+    isSome: Bool,
+    value: Field,
+}) {
+    static from(isSome, potentialValue) {
+        return {
+            isSome,
+            value: Provable.if(isSome, potentialValue, Field(0)),
+        };
+    }
+}
+//# sourceMappingURL=FieldOptions.js.map

package/dist/utils/FieldOptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldOptions.js","sourceRoot":"","sources":["../../src/utils/FieldOptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAErD,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC;IACtC,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;CACb,CAAC;IACO,MAAM,CAAC,IAAI,CAAC,MAAY,EAAE,cAAqB;QACpD,OAAO;YACL,MAAM;YACN,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;SACrD,CAAC;IACJ,CAAC;CACF"}

package/dist/utils/ProvableHashList.d.ts

@@ -1,12 +1,30 @@
-import { Field, Bool, ProvablePure } from "o1js";
+import { Field, Bool, ProvablePure, Unconstrained } from "o1js";
+import { NonMethods } from "./utils";
+export type ProvableHashListData<Value> = {
+    preimage: Field;
+    value: NonMethods<Value>;
+};
+export type VerifiedTransition<T> = {
+    from: T;
+    to: T;
+};
 /**
  * Utilities for creating a hash list from a given value type.
  */
 export declare abstract class ProvableHashList<Value> {
     protected readonly valueType: ProvablePure<Value>;
     commitment: Field;
-    constructor(valueType: ProvablePure<Value>, commitment?: Field);
+    private unconstrainedList;
+    constructor(valueType: ProvablePure<Value>, commitment?: Field, unconstrainedList?: Unconstrained<ProvableHashListData<Value>[]>);
     protected abstract hash(elements: Field[]): Field;
+    private pushUnconstrained;
+    /**
+     * Fast-forwards the state of the hashlist to a specified new tip.
+     * This assumes the transition (from -> to) to be already verified somewhere
+     * else that is outside this scope.
+     */
+    fastForward(transition: VerifiedTransition<Field>, message?: string): void;
+    witnessTip(preimage: Field, value: Value): Bool;
     /**
      * Converts the provided value to Field[] and appends it to
      * the current hashlist.
@@ -20,6 +38,7 @@ export declare abstract class ProvableHashList<Value> {
      * @returns Traling hash of the current hashlist.
      */
     toField(): import("o1js/dist/node/lib/provable/field").Field;
+    getUnconstrainedValues(): Unconstrained<ProvableHashListData<Value>[]>;
 }
 export declare class DefaultProvableHashList<Value> extends ProvableHashList<Value> {
     hash(elements: Field[]): Field;

package/dist/utils/ProvableHashList.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/ProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAY,IAAI,EAAY,YAAY,EAAE,MAAM,MAAM,CAAC;AAErE;;GAEG;AACH,8BAAsB,gBAAgB,CAAC,KAAK;IAExC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC;IAC1C,UAAU,EAAE,KAAK;gBADL,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EAC1C,UAAU,GAAE,KAAgB;IAGrC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;IAEjD;;;;;;OAMG;IACI,IAAI,CAAC,KAAK,EAAE,KAAK;IAQjB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAS3C;;OAEG;IACI,OAAO;CAGf;AAED,qBAAa,uBAAuB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGtC"}
+{"version":3,"file":"ProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/ProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EAEL,IAAI,EAEJ,YAAY,EACZ,aAAa,EACd,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAErC,MAAM,MAAM,oBAAoB,CAAC,KAAK,IAAI;IACxC,QAAQ,EAAE,KAAK,CAAC;IAChB,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI;IAClC,IAAI,EAAE,CAAC,CAAC;IACR,EAAE,EAAE,CAAC,CAAC;CACP,CAAC;AAEF;;GAEG;AACH,8BAAsB,gBAAgB,CAAC,KAAK;IAExC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC;IAC1C,UAAU,EAAE,KAAK;IACxB,OAAO,CAAC,iBAAiB;gBAFN,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EAC1C,UAAU,GAAE,KAAgB,EAC3B,iBAAiB,GAAE,aAAa,CACtC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CACL;IAG5B,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;IAEjD,OAAO,CAAC,iBAAiB;IAUzB;;;;OAIG;IACI,WAAW,CAChB,UAAU,EAAE,kBAAkB,CAAC,KAAK,CAAC,EACrC,OAAO,GAAE,MAAwB;IAW5B,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAOtD;;;;;;OAMG;IACI,IAAI,CAAC,KAAK,EAAE,KAAK;IAajB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAgB3C;;OAEG;IACI,OAAO;IAIP,sBAAsB,IAAI,aAAa,CAC5C,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAC9B;CAGF;AAED,qBAAa,uBAAuB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGtC"}

package/dist/utils/ProvableHashList.js

@@ -1,11 +1,35 @@
-import { Field, Poseidon, Provable } from "o1js";
+import { Field, Poseidon, Provable, Unconstrained, } from "o1js";
 /**
  * Utilities for creating a hash list from a given value type.
  */
 export class ProvableHashList {
-    constructor(valueType, commitment = Field(0)) {
+    constructor(valueType, commitment = Field(0), unconstrainedList = Unconstrained.from([])) {
         this.valueType = valueType;
         this.commitment = commitment;
+        this.unconstrainedList = unconstrainedList;
+    }
+    pushUnconstrained(preimage, value) {
+        const valueConstant = this.valueType.fromFields(this.valueType.toFields(value).map((field) => field.toConstant()));
+        this.unconstrainedList.get().push({
+            preimage: preimage.toConstant(),
+            value: valueConstant,
+        });
+    }
+    /**
+     * Fast-forwards the state of the hashlist to a specified new tip.
+     * This assumes the transition (from -> to) to be already verified somewhere
+     * else that is outside this scope.
+     */
+    fastForward(transition, message = "some hashlist") {
+        const { from, to } = transition;
+        from.assertEquals(this.commitment, `From-commitment for ${message} not matching`);
+        this.commitment = to;
+    }
+    witnessTip(preimage, value) {
+        return this.hash([
+            this.commitment,
+            ...this.valueType.toFields(value),
+        ]).equals(this.commitment);
     }
     /**
      * Converts the provided value to Field[] and appends it to
@@ -15,6 +39,9 @@ export class ProvableHashList {
      * @returns Current hash list.
      */
     push(value) {
+        Provable.asProver(() => {
+            this.pushUnconstrained(this.commitment, value);
+        });
         this.commitment = this.hash([
             this.commitment,
             ...this.valueType.toFields(value),
@@ -22,6 +49,11 @@ export class ProvableHashList {
         return this;
     }
     pushIf(value, condition) {
+        Provable.asProver(() => {
+            if (condition.toBoolean()) {
+                this.pushUnconstrained(this.commitment, value);
+            }
+        });
         const newCommitment = this.hash([
             this.commitment,
             ...this.valueType.toFields(value),
@@ -35,6 +67,9 @@ export class ProvableHashList {
     toField() {
         return this.commitment;
     }
+    getUnconstrainedValues() {
+        return this.unconstrainedList;
+    }
 }
 export class DefaultProvableHashList extends ProvableHashList {
     hash(elements) {

package/dist/utils/ProvableHashList.js.map

@@ -1 +1 @@
-{"version":3,"file":"ProvableHashList.js","sourceRoot":"","sources":["../../src/utils/ProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAQ,QAAQ,EAAgB,MAAM,MAAM,CAAC;AAErE;;GAEG;AACH,MAAM,OAAgB,gBAAgB;IACpC,YACqB,SAA8B,EAC1C,aAAoB,KAAK,CAAC,CAAC,CAAC;QADhB,cAAS,GAAT,SAAS,CAAqB;QAC1C,eAAU,GAAV,UAAU,CAAkB;IAClC,CAAC;IAIJ;;;;;;OAMG;IACI,IAAI,CAAC,KAAY;QACtB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,UAAU;YACf,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,MAAM,CAAC,KAAY,EAAE,SAAe;QACzC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,UAAU;YACf,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACI,OAAO;QACZ,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;CACF;AAED,MAAM,OAAO,uBAA+B,SAAQ,gBAAuB;IAClE,IAAI,CAAC,QAAiB;QAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;CACF"}
+{"version":3,"file":"ProvableHashList.js","sourceRoot":"","sources":["../../src/utils/ProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,QAAQ,EAER,QAAQ,EAER,aAAa,GACd,MAAM,MAAM,CAAC;AAcd;;GAEG;AACH,MAAM,OAAgB,gBAAgB;IACpC,YACqB,SAA8B,EAC1C,aAAoB,KAAK,CAAC,CAAC,CAAC,EAC3B,oBAEJ,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAJP,cAAS,GAAT,SAAS,CAAqB;QAC1C,eAAU,GAAV,UAAU,CAAkB;QAC3B,sBAAiB,GAAjB,iBAAiB,CAEC;IACzB,CAAC;IAII,iBAAiB,CAAC,QAAe,EAAE,KAAY;QACrD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAC7C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAClE,CAAC;QACF,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;YAChC,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE;YAC/B,KAAK,EAAE,aAAa;SACrB,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACI,WAAW,CAChB,UAAqC,EACrC,UAAkB,eAAe;QAEjC,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC;QAChC,IAAI,CAAC,YAAY,CACf,IAAI,CAAC,UAAU,EACf,uBAAuB,OAAO,eAAe,CAC9C,CAAC;QAEF,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC;IACvB,CAAC;IAEM,UAAU,CAAC,QAAe,EAAE,KAAY;QAC7C,OAAO,IAAI,CAAC,IAAI,CAAC;YACf,IAAI,CAAC,UAAU;YACf,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED;;;;;;OAMG;IACI,IAAI,CAAC,KAAY;QACtB,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;YACrB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,UAAU;YACf,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,MAAM,CAAC,KAAY,EAAE,SAAe;QACzC,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;YACrB,IAAI,SAAS,CAAC,SAAS,EAAE,EAAE;gBACzB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;aAChD;QACH,CAAC,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,UAAU;YACf,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAEzE,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACI,OAAO;QACZ,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAEM,sBAAsB;QAG3B,OAAO,IAAI,CAAC,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,MAAM,OAAO,uBAA+B,SAAQ,gBAAuB;IAClE,IAAI,CAAC,QAAiB;QAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;CACF"}

package/dist/utils/ProvableReductionHashList.d.ts

@@ -1,6 +1,9 @@
-import { Bool, Field } from "o1js";
-import { ProvableHashList } from "./ProvableHashList";
-export declare class ProvableReductionHashList<Value> extends ProvableHashList<Value> {
+import { Bool, Field, ProvablePure } from "o1js";
+import { NonMethods } from "./utils";
+export declare class ProvableReductionHashList<Value> {
+    protected readonly valueType: ProvablePure<Value>;
+    commitment: Field;
+    constructor(valueType: ProvablePure<Value>, commitment?: Field);
     unconstrainedList: Value[];
     private constrainedLastValue;
     private preimage;
@@ -10,5 +13,6 @@ export declare class ProvableReductionHashList<Value> extends ProvableHashList<V
     };
     pushIf(value: Value, condition: Bool): this;
     hash(elements: Field[]): Field;
+    getUnconstrainedValues(): NonMethods<Value>[];
 }
 //# sourceMappingURL=ProvableReductionHashList.d.ts.map

package/dist/utils/ProvableReductionHashList.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProvableReductionHashList.d.ts","sourceRoot":"","sources":["../../src/utils/ProvableReductionHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAsB,MAAM,MAAM,CAAC;AAEvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,qBAAa,yBAAyB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IACpE,iBAAiB,EAAE,KAAK,EAAE,CAAM;IAEvC,OAAO,CAAC,oBAAoB,CAAgC;IAE5D,OAAO,CAAC,QAAQ,CAA0B;IAEnC,aAAa,CAClB,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,KAAK,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GACzC;QAAE,OAAO,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE;IA4C3B,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAMpC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGtC"}
+{"version":3,"file":"ProvableReductionHashList.d.ts","sourceRoot":"","sources":["../../src/utils/ProvableReductionHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAsB,YAAY,EAAE,MAAM,MAAM,CAAC;AAErE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAErC,qBAAa,yBAAyB,CAAC,KAAK;IAExC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC;IAC1C,UAAU,EAAE,KAAK;gBADL,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EAC1C,UAAU,GAAE,KAAgB;IAG9B,iBAAiB,EAAE,KAAK,EAAE,CAAM;IAEvC,OAAO,CAAC,oBAAoB,CAAgC;IAE5D,OAAO,CAAC,QAAQ,CAA0B;IAEnC,aAAa,CAClB,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,KAAK,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GACzC;QAAE,OAAO,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE;IA4C3B,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAMpC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;IAI9B,sBAAsB,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE;CAGrD"}

package/dist/utils/ProvableReductionHashList.js

@@ -1,8 +1,8 @@
-import { Bool, Poseidon, Provable } from "o1js";
-import { ProvableHashList } from "./ProvableHashList";
-export class ProvableReductionHashList extends ProvableHashList {
-    constructor() {
-        super(...arguments);
+import { Bool, Field, Poseidon, Provable } from "o1js";
+export class ProvableReductionHashList {
+    constructor(valueType, commitment = Field(0)) {
+        this.valueType = valueType;
+        this.commitment = commitment;
         this.unconstrainedList = [];
         this.constrainedLastValue = undefined;
         this.preimage = this.commitment;
@@ -47,5 +47,8 @@ export class ProvableReductionHashList extends ProvableHashList {
     hash(elements) {
         return Poseidon.hash(elements);
     }
+    getUnconstrainedValues() {
+        return this.unconstrainedList;
+    }
 }
 //# sourceMappingURL=ProvableReductionHashList.js.map

package/dist/utils/ProvableReductionHashList.js.map

@@ -1 +1 @@
-{"version":3,"file":"ProvableReductionHashList.js","sourceRoot":"","sources":["../../src/utils/ProvableReductionHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAS,QAAQ,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAEvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,MAAM,OAAO,yBAAiC,SAAQ,gBAAuB;IAA7E;;QACS,sBAAiB,GAAY,EAAE,CAAC;QAE/B,yBAAoB,GAAsB,SAAS,CAAC;QAEpD,aAAQ,GAAU,IAAI,CAAC,UAAU,CAAC;IA0D5C,CAAC;IAxDQ,aAAa,CAClB,KAAY,EACZ,MAA0C;QAE1C,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1B,oEAAoE;QACpE,yEAAyE;QACzE,4EAA4E;QAC5E,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,EAAE;YAC3C,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SAC5D;QAED,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;YACrB,IAAI,OAAO,CAAC,SAAS,EAAE,EAAE;gBACvB,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,CAAC;aAC9B;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAC/C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CACxE,CAAC;YACF,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC;QAC1C,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC;YAChC,iBAAiB;YACjB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;SACxC,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,QAAQ;YACb,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;SACxC,CAAC,CAAC;QAEH,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;QAEvE,IAAI,CAAC,oBAAoB,GAAG,WAAW,CAAC;QACxC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QAEvE,OAAO;YACL,OAAO;YACP,KAAK,EAAE,WAAW;SACnB,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,KAAY,EAAE,SAAe;QACzC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QAEjE,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,IAAI,CAAC,QAAiB;QAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;CACF"}
+{"version":3,"file":"ProvableReductionHashList.js","sourceRoot":"","sources":["../../src/utils/ProvableReductionHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAgB,MAAM,MAAM,CAAC;AAIrE,MAAM,OAAO,yBAAyB;IACpC,YACqB,SAA8B,EAC1C,aAAoB,KAAK,CAAC,CAAC,CAAC;QADhB,cAAS,GAAT,SAAS,CAAqB;QAC1C,eAAU,GAAV,UAAU,CAAkB;QAG9B,sBAAiB,GAAY,EAAE,CAAC;QAE/B,yBAAoB,GAAsB,SAAS,CAAC;QAEpD,aAAQ,GAAU,IAAI,CAAC,UAAU,CAAC;IANvC,CAAC;IAQG,aAAa,CAClB,KAAY,EACZ,MAA0C;QAE1C,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1B,oEAAoE;QACpE,yEAAyE;QACzE,4EAA4E;QAC5E,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,EAAE;YAC3C,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SAC5D;QAED,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;YACrB,IAAI,OAAO,CAAC,SAAS,EAAE,EAAE;gBACvB,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,CAAC;aAC9B;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAC/C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CACxE,CAAC;YACF,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC;QAC1C,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC;YAChC,iBAAiB;YACjB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;SACxC,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,QAAQ;YACb,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;SACxC,CAAC,CAAC;QAEH,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;QAEvE,IAAI,CAAC,oBAAoB,GAAG,WAAW,CAAC;QACxC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QAEvE,OAAO;YACL,OAAO;YACP,KAAK,EAAE,WAAW;SACnB,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,KAAY,EAAE,SAAe;QACzC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QAEjE,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,IAAI,CAAC,QAAiB;QAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;IAEM,sBAAsB;QAC3B,OAAO,IAAI,CAAC,iBAAiB,CAAC;IAChC,CAAC;CACF"}

package/dist/utils/utils.d.ts

@@ -1,4 +1,4 @@
-import { Field } from "o1js";
+import { Bool, Field } from "o1js";
 export type ReturnType<FunctionType extends Function> = FunctionType extends (...args: any[]) => infer Return ? Return : any;
 export type Subclass<Class extends new (...args: any) => any> = (new (...args: any) => InstanceType<Class>) & {
     [Key in keyof Class]: Class[Key];
@@ -8,4 +8,13 @@ export type Subclass<Class extends new (...args: any) => any> = (new (...args: a
 export declare function notInCircuit(): MethodDecorator;
 export declare function stringToField(value: string): import("o1js/dist/node/lib/provable/field").Field;
 export declare function singleFieldToString(value: Field | bigint): string;
+type NonMethodKeys<T> = {
+    [K in keyof T]: T[K] extends Function ? never : K;
+}[keyof T];
+export type NonMethods<T> = Pick<T, NonMethodKeys<T>>;
+/**
+ * Asserts the equality of a and b, but only if doAssertion is true, otherwise it will assert 0 = 0
+ */
+export declare function assertEqualsIf(a: Field, b: Field, doAssertion: Bool, msg: string): void;
+export {};
 //# sourceMappingURL=utils.d.ts.map

package/dist/utils/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAsB,MAAM,MAAM,CAAC;AAGjD,MAAM,MAAM,UAAU,CAAC,YAAY,SAAS,QAAQ,IAAI,YAAY,SAAS,CAC3E,GAAG,IAAI,EAAE,GAAG,EAAE,KACX,MAAM,MAAM,GACb,MAAM,GACN,GAAG,CAAC;AAER,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,KAC/D,GAAG,IAAI,EAAE,GAAG,KACT,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG;KACzB,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CACjC,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAEvC,wBAAgB,YAAY,IAAI,eAAe,CAkB9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,qDA+B1C;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,CAMjE"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAsB,MAAM,MAAM,CAAC;AAGvD,MAAM,MAAM,UAAU,CAAC,YAAY,SAAS,QAAQ,IAAI,YAAY,SAAS,CAC3E,GAAG,IAAI,EAAE,GAAG,EAAE,KACX,MAAM,MAAM,GACb,MAAM,GACN,GAAG,CAAC;AAER,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,KAC/D,GAAG,IAAI,EAAE,GAAG,KACT,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG;KACzB,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CACjC,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAEvC,wBAAgB,YAAY,IAAI,eAAe,CAkB9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,qDA+B1C;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,CAMjE;AAED,KAAK,aAAa,CAAC,CAAC,IAAI;KACrB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC;CAClD,CAAC,MAAM,CAAC,CAAC,CAAC;AACX,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD;;GAEG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,KAAK,EACR,CAAC,EAAE,KAAK,EACR,WAAW,EAAE,IAAI,EACjB,GAAG,EAAE,MAAM,QAGZ"}

package/dist/utils/utils.js

@@ -42,4 +42,10 @@ export function singleFieldToString(value) {
     }
     return fieldValue.toString();
 }
+/**
+ * Asserts the equality of a and b, but only if doAssertion is true, otherwise it will assert 0 = 0
+ */
+export function assertEqualsIf(a, b, doAssertion, msg) {
+    a.mul(doAssertion.toField()).assertEquals(b.mul(doAssertion.toField()), msg);
+}
 //# sourceMappingURL=utils.js.map

package/dist/utils/utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AACjD,OAAO,KAAK,MAAM,cAAc,CAAC;AAcjC,MAAM,UAAU,YAAY;IAC1B,OAAO,SAAS,gBAAgB,CAC9B,MAAW,EACX,WAA4B,EAC5B,UAA8B;QAE9B,mEAAmE;QACnE,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC;QACvC,UAAU,CAAC,KAAK,GAAG,SAAS,KAAK,CAAY,GAAG,IAAW;YACzD,IAAI,QAAQ,CAAC,oBAAoB,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE;gBAC1D,MAAM,IAAI,KAAK,CACb,UAAU,WAAW,CAAC,QAAQ,EAAE,uDAAuD,CACxF,CAAC;aACH;YACD,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC;QACF,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC;IAExC,0BAA0B;IAC1B,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAEtD,wEAAwE;IACxE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAS;QACjC,MAAM,EAAE,SAAS,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,SAAS,CAAC;KACrD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACX,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;IAEnD,0CAA0C;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CACxB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE;QACd,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;QAC5C,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,OAAO,CAAC,CAAC;IACX,CAAC,EAED,KAAK,CAAC,IAAI,CAAW,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,GAAG,CAClE,GAAG,EAAE,CAAC,EAAE,CACT,CACF,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IAC9B,qEAAqE;IACrE,2BAA2B;IAC3B,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/B,CAAC;IACF,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAqB;IACvD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE;QAC7B,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;KAC3B;IACD,OAAO,UAAU,CAAC,QAAQ,EAAE,CAAC;AAC/B,CAAC"}
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AACvD,OAAO,KAAK,MAAM,cAAc,CAAC;AAcjC,MAAM,UAAU,YAAY;IAC1B,OAAO,SAAS,gBAAgB,CAC9B,MAAW,EACX,WAA4B,EAC5B,UAA8B;QAE9B,mEAAmE;QACnE,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC;QACvC,UAAU,CAAC,KAAK,GAAG,SAAS,KAAK,CAAY,GAAG,IAAW;YACzD,IAAI,QAAQ,CAAC,oBAAoB,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE;gBAC1D,MAAM,IAAI,KAAK,CACb,UAAU,WAAW,CAAC,QAAQ,EAAE,uDAAuD,CACxF,CAAC;aACH;YACD,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC;QACF,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC;IAExC,0BAA0B;IAC1B,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAEtD,wEAAwE;IACxE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAS;QACjC,MAAM,EAAE,SAAS,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,SAAS,CAAC;KACrD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACX,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;IAEnD,0CAA0C;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CACxB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE;QACd,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;QAC5C,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,OAAO,CAAC,CAAC;IACX,CAAC,EAED,KAAK,CAAC,IAAI,CAAW,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,GAAG,CAClE,GAAG,EAAE,CAAC,EAAE,CACT,CACF,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IAC9B,qEAAqE;IACrE,2BAA2B;IAC3B,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/B,CAAC;IACF,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAqB;IACvD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE;QAC7B,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;KAC3B;IACD,OAAO,UAAU,CAAC,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAOD;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,CAAQ,EACR,CAAQ,EACR,WAAiB,EACjB,GAAW;IAEX,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;AAC/E,CAAC"}

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.1315+6f08e29d",
+  "version": "0.1.1-develop.1343+6449f7d1",
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "dev": "tsc -p tsconfig.json --watch",
@@ -32,5 +32,5 @@
     "@jest/globals": "^29.5.0",
     "@types/lodash": "^4.14.194"
   },
-  "gitHead": "6f08e29dcb3080d1afdba04f6f875eab5827da0d"
+  "gitHead": "6449f7d1166dccb8f87618604f6ba8200e549d15"
 }

package/src/hooks/AccountStateHook.ts

@@ -1,10 +1,13 @@
 import { PublicKey, Struct, UInt64 } from "o1js";
 import { injectable } from "tsyringe";
+import { noop } from "@proto-kit/common";
 
-import { BlockProverExecutionData } from "../prover/block/BlockProvable";
 import { StateMap } from "../state/StateMap";
 import { protocolState } from "../state/protocol/ProtocolState";
-import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+import {
+  ProvableTransactionHook,
+  BeforeTransactionHookArguments,
+} from "../protocol/ProvableTransactionHook";
 import { assert } from "../state/assert/assert";
 
 export class AccountState extends Struct({
@@ -18,7 +21,9 @@ export class AccountStateHook extends ProvableTransactionHook {
     AccountState
   );
 
-  public async onTransaction({ transaction }: BlockProverExecutionData) {
+  public async beforeTransaction({
+    transaction,
+  }: BeforeTransactionHookArguments) {
     const sender = transaction.sender.value;
 
     const aso = await this.accountState.get(sender);
@@ -45,4 +50,8 @@ export class AccountStateHook extends ProvableTransactionHook {
 
     await this.accountState.set(sender, new AccountState({ nonce: newNonce }));
   }
+
+  public async afterTransaction() {
+    noop();
+  }
 }

package/src/hooks/LastStateRootBlockHook.ts

@@ -1,26 +1,25 @@
-import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import {
+  AfterBlockHookArguments,
+  ProvableBlockHook,
+} from "../protocol/ProvableBlockHook";
 import { NetworkState } from "../model/network/NetworkState";
-import { BlockProverState } from "../prover/block/BlockProver";
 
 export class LastStateRootBlockHook extends ProvableBlockHook<
   Record<string, never>
 > {
   public async afterBlock(
     networkState: NetworkState,
-    state: BlockProverState
+    { stateRoot }: AfterBlockHookArguments
   ): Promise<NetworkState> {
     return new NetworkState({
       block: networkState.block,
       previous: {
-        rootHash: state.stateRoot,
+        rootHash: stateRoot,
       },
     });
   }
 
-  public async beforeBlock(
-    networkState: NetworkState,
-    state: BlockProverState
-  ): Promise<NetworkState> {
+  public async beforeBlock(networkState: NetworkState): Promise<NetworkState> {
     return networkState;
   }
 }

package/src/hooks/NoopBlockHook.ts

@@ -1,20 +1,23 @@
 import { NoConfig } from "@proto-kit/common";
 
-import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import {
+  AfterBlockHookArguments,
+  BeforeBlockHookArguments,
+  ProvableBlockHook,
+} from "../protocol/ProvableBlockHook";
 import { NetworkState } from "../model/network/NetworkState";
-import { BlockProverState } from "../prover/block/BlockProver";
 
 export class NoopBlockHook extends ProvableBlockHook<NoConfig> {
   public async afterBlock(
     networkState: NetworkState,
-    state: BlockProverState
+    state: AfterBlockHookArguments
   ): Promise<NetworkState> {
     return networkState;
   }
 
   public async beforeBlock(
     networkState: NetworkState,
-    state: BlockProverState
+    state: BeforeBlockHookArguments
   ): Promise<NetworkState> {
     return networkState;
   }

package/src/hooks/NoopTransactionHook.ts

@@ -1,10 +1,13 @@
 import { noop } from "@proto-kit/common";
 
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
-import { BlockProverExecutionData } from "../prover/block/BlockProvable";
 
 export class NoopTransactionHook extends ProvableTransactionHook {
-  public async onTransaction(executionData: BlockProverExecutionData) {
+  public async beforeTransaction() {
+    noop();
+  }
+
+  public async afterTransaction() {
     noop();
   }
 }

package/src/index.ts

@@ -11,12 +11,17 @@ export * from "./model/transaction/RuntimeTransaction";
 export * from "./model/transaction/ValueOption";
 export * from "./model/MethodPublicOutput";
 export * from "./model/RuntimeLike";
+export * from "./model/AppliedStateTransitionBatch";
 export * from "./utils/ProvableHashList";
 export * from "./utils/PrefixedProvableHashList";
 export * from "./utils/MinaPrefixedProvableHashList";
 export * from "./utils/ProvableReductionHashList";
-export * from "./utils/StateTransitionReductionList";
 export * from "./utils/utils";
+export * from "./utils/FieldOptions";
+export * from "./prover/accumulators/StateTransitionReductionList";
+export * from "./prover/accumulators/AppliedBatchHashList";
+export * from "./prover/accumulators/WitnessedRootHashList";
+export * from "./prover/accumulators/TransactionHashList";
 export * from "./prover/block/BlockProver";
 export * from "./prover/block/BlockProvable";
 export * from "./prover/block/accummulators/RuntimeVerificationKeyTree";

package/src/model/AppliedStateTransitionBatch.ts

@@ -0,0 +1,16 @@
+import { Bool, Field, Poseidon, Provable, Struct } from "o1js";
+
+export class AppliedStateTransitionBatch extends Struct({
+  batchHash: Field,
+  applied: Bool,
+}) {}
+
+export class AppliedStateTransitionBatchState extends Struct({
+  batchHash: Field,
+  root: Field,
+}) {
+  public hashOrZero(): Field {
+    const hash = Poseidon.hash(AppliedStateTransitionBatchState.toFields(this));
+    return Provable.if(this.batchHash.equals(0), Field(0), hash);
+  }
+}

package/src/model/StateTransition.ts

@@ -23,6 +23,12 @@ export class ProvableStateTransition extends Struct({
       to: Option.none().toProvable(),
     });
   }
+
+  public static isDummy(stateTransition: ProvableStateTransition) {
+    return stateTransition.path
+      .equals(0)
+      .and(stateTransition.from.isSome.not());
+  }
 }
 
 /**