@proto-kit/protocol 0.1.1-develop.190 → 0.1.1-develop.2024

package/dist/utils/MinaPrefixedProvableHashList.js

@@ -0,0 +1,49 @@
+import { Field, Poseidon } from "o1js";
+import { hashWithPrefix, prefixToField } from "@proto-kit/common";
+import { MINA_PREFIXES, MINA_SALTS } from "../hashing/mina-prefixes";
+import { ProvableHashList } from "./ProvableHashList";
+function salt(prefix) {
+    // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+    return Poseidon.update([Field(0), Field(0), Field(0)], [prefixToField(prefix)]);
+}
+export function emptyActions() {
+    return salt(MINA_SALTS.empty_actions)[0];
+}
+export function emptyEvents() {
+    return salt(MINA_SALTS.empty_events)[0];
+}
+export class MinaActions {
+    static actionHash(action, previousHash = emptyActions()) {
+        const actionDataHash = hashWithPrefix(MINA_PREFIXES.event, action);
+        return hashWithPrefix(MINA_PREFIXES.sequenceEvents, [
+            previousHash,
+            actionDataHash,
+        ]);
+    }
+}
+export class MinaEvents {
+    static eventHash(event, previousHash = emptyEvents()) {
+        const actionDataHash = hashWithPrefix(MINA_PREFIXES.event, event);
+        return hashWithPrefix(MINA_PREFIXES.events, [previousHash, actionDataHash]);
+    }
+}
+export class MinaPrefixedProvableHashList extends ProvableHashList {
+    constructor(valueType, prefix, internalCommitment) {
+        super(valueType, internalCommitment);
+        this.prefix = prefix;
+    }
+    empty() {
+        return Field(0);
+    }
+    hash(elements) {
+        const init = salt(this.prefix);
+        const digest = Poseidon.update(init, elements);
+        return digest[0];
+    }
+}
+export class MinaActionsHashList extends MinaPrefixedProvableHashList {
+    constructor(internalCommitment) {
+        super(Field, MINA_PREFIXES.sequenceEvents, internalCommitment);
+    }
+}
+//# sourceMappingURL=MinaPrefixedProvableHashList.js.map

package/dist/utils/MinaPrefixedProvableHashList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MinaPrefixedProvableHashList.js","sourceRoot":"","sources":["../../src/utils/MinaPrefixedProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAgB,MAAM,MAAM,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAElE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,SAAS,IAAI,CAAC,MAAc;IAC1B,yEAAyE;IACzE,OAAO,QAAQ,CAAC,MAAM,CACpB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAC9B,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CACC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,YAAY;IAC1B,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,OAAO,WAAW;IACtB,MAAM,CAAC,UAAU,CACf,MAAe,EACf,eAAsB,YAAY,EAAE;QAEpC,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnE,OAAO,cAAc,CAAC,aAAa,CAAC,cAAc,EAAE;YAClD,YAAY;YACZ,cAAc;SACf,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,OAAO,UAAU;IACrB,MAAM,CAAC,SAAS,CAAC,KAAc,EAAE,eAAsB,WAAW,EAAE;QAClE,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClE,OAAO,cAAc,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;IAC9E,CAAC;CACF;AAED,MAAM,OAAO,4BAEX,SAAQ,gBAAuB;IAC/B,YACE,SAA8B,EACd,MAAc,EAC9B,kBAA0B;QAE1B,KAAK,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;QAHrB,WAAM,GAAN,MAAM,CAAQ;IAIhC,CAAC;IAEM,KAAK;QACV,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAES,IAAI,CAAC,QAAiB;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC/C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;CACF;AAED,MAAM,OAAO,mBAAoB,SAAQ,4BAAmC;IAC1E,YAAmB,kBAA0B;QAC3C,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;IACjE,CAAC;CACF"}

package/dist/utils/PrefixedProvableHashList.d.ts

@@ -1,8 +1,9 @@
-import { Field, FlexibleProvablePure } from "snarkyjs";
+import { Field, ProvablePure } from "o1js";
 import { ProvableHashList } from "./ProvableHashList.js";
 export declare class PrefixedProvableHashList<Value> extends ProvableHashList<Value> {
     private readonly prefix;
-    constructor(valueType: FlexibleProvablePure<Value>, prefix: string, internalCommitment?: Field);
+    constructor(valueType: ProvablePure<Value>, prefix: string, internalCommitment?: Field);
+    empty(): Field;
     protected hash(elements: Field[]): Field;
 }
 //# sourceMappingURL=PrefixedProvableHashList.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"PrefixedProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/PrefixedProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAY,MAAM,UAAU,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,qBAAa,wBAAwB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAC1E,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;gBAG7B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EACtC,MAAM,EAAE,MAAM,EACd,kBAAkB,GAAE,KAAgB;IAMtC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGzC"}
+{"version":3,"file":"PrefixedProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/PrefixedProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,YAAY,EAAY,MAAM,MAAM,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,qBAAa,wBAAwB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAC1E,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;gBAG7B,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EAC9B,MAAM,EAAE,MAAM,EACd,kBAAkB,GAAE,KAAgB;IAM/B,KAAK,IAAI,KAAK;IAIrB,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGzC"}

package/dist/utils/PrefixedProvableHashList.js

@@ -1,4 +1,4 @@
-import { Field, Poseidon } from "snarkyjs";
+import { Field, Poseidon } from "o1js";
 import { ProvableHashList } from "./ProvableHashList.js";
 import { stringToField } from "./utils";
 export class PrefixedProvableHashList extends ProvableHashList {
@@ -6,7 +6,11 @@ export class PrefixedProvableHashList extends ProvableHashList {
         super(valueType, internalCommitment);
         this.prefix = stringToField(prefix);
     }
+    empty() {
+        return Field(0);
+    }
     hash(elements) {
         return Poseidon.hash([this.prefix, ...elements]);
     }
 }
+//# sourceMappingURL=PrefixedProvableHashList.js.map

package/dist/utils/PrefixedProvableHashList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PrefixedProvableHashList.js","sourceRoot":"","sources":["../../src/utils/PrefixedProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAgB,QAAQ,EAAE,MAAM,MAAM,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,MAAM,OAAO,wBAAgC,SAAQ,gBAAuB;IAG1E,YACE,SAA8B,EAC9B,MAAc,EACd,qBAA4B,KAAK,CAAC,CAAC,CAAC;QAEpC,KAAK,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAEM,KAAK;QACV,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAES,IAAI,CAAC,QAAiB;QAC9B,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IACnD,CAAC;CACF"}

package/dist/utils/ProvableHashList.d.ts

@@ -1,12 +1,32 @@
-import { Field, FlexibleProvablePure, Bool } from "snarkyjs";
+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> {
-    private readonly valueType;
+    protected readonly valueType: ProvablePure<Value>;
+    private unconstrainedList;
     commitment: Field;
-    constructor(valueType: FlexibleProvablePure<Value>, commitment?: Field);
+    constructor(valueType: ProvablePure<Value>, commitment?: Field | undefined, unconstrainedList?: Unconstrained<ProvableHashListData<Value>[]>);
+    protected abstract empty(): Field;
     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;
+    fastForwardIf(transition: VerifiedTransition<Field>, condition: Bool, message?: string): void;
+    witnessTip(preimage: Field, value: Value): Bool;
     /**
      * Converts the provided value to Field[] and appends it to
      * the current hashlist.
@@ -19,9 +39,12 @@ export declare abstract class ProvableHashList<Value> {
     /**
      * @returns Traling hash of the current hashlist.
      */
-    toField(): import("snarkyjs/dist/node/lib/field").Field;
+    toField(): import("o1js/dist/node/lib/provable/field").Field;
+    isEmpty(): Bool;
+    getUnconstrainedValues(): Unconstrained<ProvableHashListData<Value>[]>;
 }
 export declare class DefaultProvableHashList<Value> extends ProvableHashList<Value> {
     hash(elements: Field[]): Field;
+    empty(): Field;
 }
 //# sourceMappingURL=ProvableHashList.d.ts.map

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,oBAAoB,EAAE,IAAI,EAAY,MAAM,UAAU,CAAC;AAEjF;;GAEG;AACH,8BAAsB,gBAAgB,CAAC,KAAK;IAExC,OAAO,CAAC,QAAQ,CAAC,SAAS;IACnB,UAAU,EAAE,KAAK;gBADP,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAChD,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;IAIxC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC;IAEjD,OAAO,CAAC,iBAAiB;IALpB,UAAU,EAAE,KAAK,CAAC;gBAGJ,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EACjD,UAAU,CAAC,EAAE,KAAK,GAAG,SAAS,EACtB,iBAAiB,GAAE,aAAa,CACtC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CACL;IAK5B,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,KAAK;IAEjC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;IAEjD,OAAO,CAAC,iBAAiB;IAezB;;;;OAIG;IACI,WAAW,CAChB,UAAU,EAAE,kBAAkB,CAAC,KAAK,CAAC,EACrC,OAAO,GAAE,MAAwB;IAW5B,aAAa,CAClB,UAAU,EAAE,kBAAkB,CAAC,KAAK,CAAC,EACrC,SAAS,EAAE,IAAI,EACf,OAAO,GAAE,MAAwB;IAe5B,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAMtD;;;;;;OAMG;IACI,IAAI,CAAC,KAAK,EAAE,KAAK;IAWjB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAY3C;;OAEG;IACI,OAAO;IAIP,OAAO,IAAI,IAAI;IAIf,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;IAI9B,KAAK,IAAI,KAAK;CAGtB"}

package/dist/utils/ProvableHashList.js

@@ -1,11 +1,47 @@
-import { Field, Poseidon, Provable } from "snarkyjs";
+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, unconstrainedList = Unconstrained.from([])) {
         this.valueType = valueType;
-        this.commitment = commitment;
+        this.unconstrainedList = unconstrainedList;
+        this.commitment = commitment ?? this.empty();
+    }
+    pushUnconstrained(preimage, value, condition) {
+        this.unconstrainedList.updateAsProver((array) => {
+            if (condition !== undefined && !condition.toBoolean()) {
+                return array;
+            }
+            return [
+                ...array,
+                {
+                    preimage: preimage.toConstant(),
+                    value: Provable.toConstant(this.valueType, value),
+                },
+            ];
+        });
+    }
+    /**
+     * 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;
+    }
+    fastForwardIf(transition, condition, message = "some hashlist") {
+        const { from, to } = transition;
+        // Equal to condition -> (from == this.commitment)
+        from
+            .mul(condition.toField())
+            .assertEquals(this.commitment.mul(condition.toField()), `From-commitment for ${message} not matching`);
+        this.commitment = Provable.if(condition, to, this.commitment);
+    }
+    witnessTip(preimage, value) {
+        return this.hash([preimage, ...this.valueType.toFields(value)]).equals(this.commitment);
     }
     /**
      * Converts the provided value to Field[] and appends it to
@@ -15,6 +51,7 @@ export class ProvableHashList {
      * @returns Current hash list.
      */
     push(value) {
+        this.pushUnconstrained(this.commitment, value);
         this.commitment = this.hash([
             this.commitment,
             ...this.valueType.toFields(value),
@@ -22,6 +59,7 @@ export class ProvableHashList {
         return this;
     }
     pushIf(value, condition) {
+        this.pushUnconstrained(this.commitment, value, condition);
         const newCommitment = this.hash([
             this.commitment,
             ...this.valueType.toFields(value),
@@ -35,9 +73,19 @@ export class ProvableHashList {
     toField() {
         return this.commitment;
     }
+    isEmpty() {
+        return this.commitment.equals(this.empty());
+    }
+    getUnconstrainedValues() {
+        return this.unconstrainedList;
+    }
 }
 export class DefaultProvableHashList extends ProvableHashList {
     hash(elements) {
         return Poseidon.hash(elements);
     }
+    empty() {
+        return Field(0);
+    }
 }
+//# sourceMappingURL=ProvableHashList.js.map

package/dist/utils/ProvableHashList.js.map

@@ -0,0 +1 @@
+{"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;IAGpC,YACqB,SAA8B,EACjD,UAA8B,EACtB,oBAEJ,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAJP,cAAS,GAAT,SAAS,CAAqB;QAEzC,sBAAiB,GAAjB,iBAAiB,CAEC;QAE1B,IAAI,CAAC,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/C,CAAC;IAMO,iBAAiB,CAAC,QAAe,EAAE,KAAY,EAAE,SAAgB;QACvE,IAAI,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC,KAAK,EAAE,EAAE;YAC9C,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE;gBACrD,OAAO,KAAK,CAAC;aACd;YACD,OAAO;gBACL,GAAG,KAAK;gBACR;oBACE,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE;oBAC/B,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC;iBAClD;aACF,CAAC;QACJ,CAAC,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,aAAa,CAClB,UAAqC,EACrC,SAAe,EACf,UAAkB,eAAe;QAEjC,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC;QAEhC,kDAAkD;QAClD,IAAI;aACD,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;aACxB,YAAY,CACX,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EACxC,uBAAuB,OAAO,eAAe,CAC9C,CAAC;QAEJ,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC;IAEM,UAAU,CAAC,QAAe,EAAE,KAAY;QAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CACpE,IAAI,CAAC,UAAU,CAChB,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACI,IAAI,CAAC,KAAY;QACtB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAE/C,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,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAE1D,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,OAAO;QACZ,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9C,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;IAEM,KAAK;QACV,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;CACF"}

package/dist/utils/ProvableReductionHashList.d.ts

@@ -0,0 +1,18 @@
+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;
+    pushAndReduce(value: Value, reduce: (previous: Value) => [Value, Bool]): {
+        popLast: Bool;
+        value: Value;
+    };
+    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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,54 @@
+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;
+    }
+    pushAndReduce(value, reduce) {
+        let valueToPush = value;
+        let popLast = Bool(false);
+        // Theoretically, we can feed the preimage + last value as a witness
+        // for non-zero commitment starts (like used in the BlockProver), because
+        // currently it won't reduce across chunks. But this is okay for now I think
+        if (this.constrainedLastValue !== undefined) {
+            [valueToPush, popLast] = reduce(this.constrainedLastValue);
+        }
+        Provable.asProver(() => {
+            if (popLast.toBoolean()) {
+                this.unconstrainedList.pop();
+            }
+            const valueAsConstant = this.valueType.fromFields(this.valueType.toFields(valueToPush).map((field) => field.toConstant()));
+            this.unconstrainedList.push(valueAsConstant);
+        });
+        const currentCommitment = this.commitment;
+        const noPopCommitment = this.hash([
+            currentCommitment,
+            ...this.valueType.toFields(valueToPush),
+        ]);
+        const popCommitment = this.hash([
+            this.preimage,
+            ...this.valueType.toFields(valueToPush),
+        ]);
+        this.commitment = Provable.if(popLast, popCommitment, noPopCommitment);
+        this.constrainedLastValue = valueToPush;
+        this.preimage = Provable.if(popLast, this.preimage, currentCommitment);
+        return {
+            popLast,
+            value: valueToPush,
+        };
+    }
+    pushIf(value, condition) {
+        throw new Error("pushIf is not implemented for ReducedHashList");
+        return this;
+    }
+    hash(elements) {
+        return Poseidon.hash(elements);
+    }
+    getUnconstrainedValues() {
+        return this.unconstrainedList;
+    }
+}
+//# sourceMappingURL=ProvableReductionHashList.js.map

package/dist/utils/ProvableReductionHashList.js.map

@@ -0,0 +1 @@
+{"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/StateTransitionReductionList.d.ts

@@ -0,0 +1,11 @@
+import { ProvableStateTransition, StateTransition } from "../model/StateTransition";
+import { ProvableReductionHashList } from "./ProvableReductionHashList";
+export declare class StateTransitionReductionList extends ProvableReductionHashList<ProvableStateTransition> {
+    push(value: ProvableStateTransition): this;
+    pushWithMetadata(value: ProvableStateTransition): {
+        popLast: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: ProvableStateTransition;
+    };
+}
+export declare function reduceStateTransitions(transitions: StateTransition<unknown>[]): StateTransition<unknown>[];
+//# sourceMappingURL=StateTransitionReductionList.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"StateTransitionReductionList.d.ts","sourceRoot":"","sources":["../../src/utils/StateTransitionReductionList.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,uBAAuB,EACvB,eAAe,EAChB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,qBAAa,4BAA6B,SAAQ,yBAAyB,CAAC,uBAAuB,CAAC;IAC3F,IAAI,CAAC,KAAK,EAAE,uBAAuB;IAMnC,gBAAgB,CAAC,KAAK,EAAE,uBAAuB;;;;CAyCvD;AAED,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,GACtC,eAAe,CAAC,OAAO,CAAC,EAAE,CA0B5B"}

package/dist/utils/StateTransitionReductionList.js

@@ -0,0 +1,61 @@
+import { Provable } from "o1js";
+import { ProvableOption } from "../model/Option";
+import { ProvableStateTransition, StateTransition, } from "../model/StateTransition";
+import { ProvableReductionHashList } from "./ProvableReductionHashList";
+export class StateTransitionReductionList extends ProvableReductionHashList {
+    push(value) {
+        this.pushWithMetadata(value);
+        return this;
+    }
+    pushWithMetadata(value) {
+        return this.pushAndReduce(value, (previous) => {
+            const pathsMatch = previous.path.equals(value.path);
+            // Take the previous.from if the paths match, otherwise leave ST as is
+            const from = Provable.if(pathsMatch, ProvableOption, previous.from, value.from);
+            // In case we have a layout like
+            // { from: 5, to: 10 }, { from: 10, to: none }
+            // we just take the first and discard the second
+            const to = Provable.if(value.to.isSome.or(pathsMatch.not()), ProvableOption, value.to, previous.to);
+            const transition = new ProvableStateTransition({
+                path: value.path,
+                from: new ProvableOption(from),
+                to: new ProvableOption(to),
+            });
+            // Assert that connection is correct
+            previous.to.value
+                .equals(value.from.value)
+                .or(previous.to.isSome
+                .not()
+                .and(previous.from.value.equals(value.from.value)))
+                .or(pathsMatch.not())
+                .assertTrue();
+            return [transition, pathsMatch];
+        });
+    }
+}
+export function reduceStateTransitions(transitions) {
+    const reduced = [];
+    transitions.forEach((st) => {
+        if (reduced.length === 0) {
+            reduced.push(st);
+            return;
+        }
+        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;
+}
+//# sourceMappingURL=StateTransitionReductionList.js.map

package/dist/utils/StateTransitionReductionList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateTransitionReductionList.js","sourceRoot":"","sources":["../../src/utils/StateTransitionReductionList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EACL,uBAAuB,EACvB,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,OAAO,4BAA6B,SAAQ,yBAAkD;IAC3F,IAAI,CAAC,KAA8B;QACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAE7B,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,gBAAgB,CAAC,KAA8B;QACpD,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,QAAiC,EAAE,EAAE;YACrE,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAEpD,sEAAsE;YACtE,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CACtB,UAAU,EACV,cAAc,EACd,QAAQ,CAAC,IAAI,EACb,KAAK,CAAC,IAAI,CACX,CAAC;YACF,gCAAgC;YAChC,8CAA8C;YAC9C,gDAAgD;YAChD,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CACpB,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EACpC,cAAc,EACd,KAAK,CAAC,EAAE,EACR,QAAQ,CAAC,EAAE,CACZ,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,uBAAuB,CAAC;gBAC7C,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,IAAI,cAAc,CAAC,IAAI,CAAC;gBAC9B,EAAE,EAAE,IAAI,cAAc,CAAC,EAAE,CAAC;aAC3B,CAAC,CAAC;YAEH,oCAAoC;YACpC,QAAQ,CAAC,EAAE,CAAC,KAAK;iBACd,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;iBACxB,EAAE,CACD,QAAQ,CAAC,EAAE,CAAC,MAAM;iBACf,GAAG,EAAE;iBACL,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACrD;iBACA,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;iBACpB,UAAU,EAAE,CAAC;YAEhB,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,UAAU,sBAAsB,CACpC,WAAuC;IAEvC,MAAM,OAAO,GAA+B,EAAE,CAAC;IAE/C,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;QACzB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;YACxB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,OAAO;SACR;QAED,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACzC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE;gBACjC,OAAO,CAAC,GAAG,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CACV,IAAI,eAAe,CAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAClE,CAAC;aACH;iBAAM;gBACL,yCAAyC;gBACzC,8CAA8C;gBAC9C,iBAAiB;aAClB;SACF;aAAM;YACL,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAClB;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/utils/utils.d.ts

@@ -1,14 +1,20 @@
-import { Field } from "snarkyjs";
+import { Bool, Field } from "o1js";
 export type ReturnType<FunctionType extends Function> = FunctionType extends (...args: any[]) => infer Return ? Return : any;
-export type UnTypedClass = new (...args: any[]) => any;
-export type TypedClass<Class> = new (...args: any[]) => Class;
 export type Subclass<Class extends new (...args: any) => any> = (new (...args: any) => InstanceType<Class>) & {
     [Key in keyof Class]: Class[Key];
 } & {
     prototype: InstanceType<Class>;
 };
 export declare function notInCircuit(): MethodDecorator;
-export declare function stringToField(value: string): import("snarkyjs/dist/node/lib/field").Field;
+export declare function stringToField(value: string): import("o1js/dist/node/lib/provable/field").Field;
 export declare function singleFieldToString(value: Field | bigint): string;
-export declare function noop(): void;
+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":"AAGA,OAAO,EAAE,KAAK,EAAsB,MAAM,UAAU,CAAC;AAGrD,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,YAAY,GAAG,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAEvD,MAAM,MAAM,UAAU,CAAC,KAAK,IAAI,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC;AAE9D,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,CAoB9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,gDAiC1C;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,CAKjE;AAED,wBAAgB,IAAI,IAAI,IAAI,CAAG"}
+{"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

@@ -1,6 +1,4 @@
-// eslint-disable-next-line max-len
-/* eslint-disable @typescript-eslint/no-explicit-any,@typescript-eslint/ban-types, @typescript-eslint/no-unsafe-return,@typescript-eslint/no-empty-function */
-import { Field, Poseidon, Provable } from "snarkyjs";
+import { Field, Poseidon, Provable } from "o1js";
 import floor from "lodash/floor";
 export function notInCircuit() {
     return function ReplacedFunction(target, propertyKey, descriptor) {
@@ -10,15 +8,13 @@ export function notInCircuit() {
             if (Provable.inCheckedComputation() || Provable.inProver()) {
                 throw new Error(`Method ${propertyKey.toString()} is supposed to be only called outside of the circuit`);
             }
-            // eslint-disable-next-line max-len
-            // eslint-disable-next-line @typescript-eslint/no-unsafe-call,@typescript-eslint/no-unsafe-member-access
             return childFunction.apply(this, args);
         };
         return descriptor;
     };
 }
 export function stringToField(value) {
-    const fieldSize = Field.sizeInBytes() - 1;
+    const fieldSize = Field.sizeInBytes - 1;
     // Encode string as byte[]
     const encoder = new TextEncoder();
     const stringBytes = Array.from(encoder.encode(value));
@@ -32,20 +28,24 @@ export function stringToField(value) {
         const arrayIndex = floor(index / fieldSize);
         a[arrayIndex].push(b);
         return a;
-    }, 
-    // eslint-disable-next-line array-func/from-map
-    Array.from({ length: floor(data.length / fieldSize) }).map(() => []));
+    }, Array.from({ length: floor(data.length / fieldSize) }).map(() => []));
     const fields = chunks.map((x) => 
     // We have to add a zero at the highest byte here, because a Field is
     // a bit smaller than 2^256
-    // console.log(x.concat([0]).length);
     Field.fromBytes(x.concat([0])));
     return Poseidon.hash(fields);
 }
 export function singleFieldToString(value) {
+    let fieldValue = value;
     if (typeof value === "bigint") {
-        value = Field(value);
+        fieldValue = Field(value);
     }
-    return value.toString();
+    return fieldValue.toString();
 }
-export function noop() { }
+/**
+ * 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

@@ -0,0 +1 @@
+{"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/jest.config.cjs

@@ -1 +1,12 @@
-module.exports = require("../../jest.config.cjs");
+// @ts-ignore
+const config = require("../../jest.config.cjs");
+
+module.exports = {
+  ...config,
+  collectCoverageFrom: [
+    "packages/protocol/src/**",
+    "!**/node_modules/**",
+    "!**/dist/**",
+  ],
+  coverageDirectory: "coverage/protocol",
+};

package/package.json

@@ -3,32 +3,34 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.190+f5a17c3",
+  "version": "0.1.1-develop.2024+5a945075",
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "dev": "tsc -p tsconfig.json --watch",
     "lint": "eslint ./src ./test",
-    "test:file": "node --experimental-vm-modules --experimental-wasm-modules --experimental-wasm-threads ../../node_modules/jest/bin/jest.js",
-    "test": "npm run test:file -- ./src/** ./test/**",
-    "test:watch": "npm run test:file -- ./src/** ./test/** --watch"
+    "test:file": "node --experimental-vm-modules --experimental-wasm-modules ../../node_modules/jest/bin/jest.js",
+    "test": "npm run test:file -- ./test/**",
+    "test:watch": "npm run test:file -- ./test/** --watch"
   },
   "main": "dist/index.js",
   "publishConfig": {
     "access": "public"
   },
   "dependencies": {
-    "@proto-kit/common": "*",
     "lodash": "^4.17.21",
     "loglevel": "^1.8.1",
-    "reflect-metadata": "^0.1.13"
+    "reflect-metadata": "^0.1.13",
+    "ts-mixer": "^6.0.3"
   },
   "peerDependencies": {
-    "snarkyjs": "0.12.0",
-    "tsyringe": "^4.7.0"
+    "@proto-kit/common": "*",
+    "o1js": "^2.10.0",
+    "ts-pattern": "^4.3.0",
+    "tsyringe": "^4.10.0"
   },
   "devDependencies": {
     "@jest/globals": "^29.5.0",
     "@types/lodash": "^4.14.194"
   },
-  "gitHead": "f5a17c3c4cb13e568fa9802c9d15c27089cccf0d"
+  "gitHead": "fb121dd0802012f70abff6afe48e82a67c13318d"
 }

package/src/hashing/mina-prefixes.ts

@@ -0,0 +1,10 @@
+export const MINA_PREFIXES = {
+  event: "MinaZkappEvent******",
+  events: "MinaZkappEvents*****",
+  sequenceEvents: "MinaZkappSeqEvents**",
+} as const;
+
+export const MINA_SALTS = {
+  empty_actions: "MinaZkappActionsEmpty",
+  empty_events: "MinaZkappEventsEmpty",
+};

package/src/hashing/protokit-prefixes.ts

@@ -0,0 +1,37 @@
+import padEnd from "lodash/padEnd";
+import mapValues from "lodash/mapValues";
+import { Field } from "o1js";
+import { prefixToField } from "@proto-kit/common";
+
+const length = 20;
+function padToHashPrefix(s: string): string {
+  if (s.length > 20) {
+    throw new Error(`Prefix string ${s} is too long (max ${length})`);
+  }
+  return padEnd(s, length, "*");
+}
+
+function padPrefixRecord<T extends Record<string, string>>(
+  record: T
+): {
+  [Key in keyof T]: string;
+} {
+  return mapValues(record, padToHashPrefix);
+}
+
+export const PROTOKIT_PREFIXES = padPrefixRecord({
+  STATE_PROTOCOL: "pk-protocol-state",
+  STATE_RUNTIME: "pk-runtime-state",
+});
+
+export const PROTOKIT_FIELD_PREFIXES = {
+  OUTGOING_MESSAGE_BASE_PATH: prefixToField(
+    padToHashPrefix("message-base-path")
+  ),
+  OUTGOING_MESSAGE_COUNTER_PATH: prefixToField(
+    padToHashPrefix("message-base-path")
+  ),
+  OUTGOING_MESSAGE_DUMMY_TYPE: Field(
+    prefixToField(padToHashPrefix("OUT_MSG_DUMMY_TYPE"))
+  ),
+};