@proto-kit/protocol 0.1.1-develop.457 → 0.1.1-develop.651

package/dist/state/context/RuntimeMethodExecutionContext.d.ts

@@ -1,4 +1,4 @@
-import { Bool } from "o1js";
+import { Bool, Provable } from "o1js";
 import { ProvableMethodExecutionContext, ProvableMethodExecutionResult } from "@proto-kit/common";
 import { StateTransition } from "../../model/StateTransition";
 import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
@@ -12,6 +12,78 @@ export interface RuntimeMethodExecutionData {
     transaction: RuntimeTransaction;
     networkState: NetworkState;
 }
+declare const RuntimeMethodExecutionDataStruct_base: (new (value: {
+    transaction: RuntimeTransaction;
+    networkState: NetworkState;
+}) => {
+    transaction: RuntimeTransaction;
+    networkState: NetworkState;
+}) & {
+    _isStruct: true;
+} & Provable<{
+    transaction: RuntimeTransaction;
+    networkState: NetworkState;
+}> & {
+    toInput: (x: {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    }) => {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    };
+    fromJSON: (x: {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    }) => {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    };
+};
+export declare class RuntimeMethodExecutionDataStruct extends RuntimeMethodExecutionDataStruct_base implements RuntimeMethodExecutionData {
+}
 /**
  * Execution context used to wrap runtime module methods,
  * allowing them to post relevant information (such as execution status)
@@ -41,6 +113,7 @@ export declare class RuntimeMethodExecutionContext extends ProvableMethodExecuti
      * @param input Input witness data required for a runtime execution
      */
     setup(input: RuntimeMethodExecutionData): void;
+    witnessInput(): RuntimeMethodExecutionDataStruct;
     setSimulated(simulated: boolean): void;
     /**
      * Manually clears/resets the execution context
@@ -58,4 +131,5 @@ export declare class RuntimeMethodExecutionContext extends ProvableMethodExecuti
         isSimulated: boolean;
     };
 }
+export {};
 //# sourceMappingURL=RuntimeMethodExecutionContext.d.ts.map

package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAE5B,OAAO,EACL,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAShE,qBAAa,oCAAqC,SAAQ,6BAA6B;IAE9E,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;IAE9C,MAAM,EAAE,IAAI,CAAc;IAE1B,aAAa,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,kBAAkB,CAAC;IAChC,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;;;GAIG;AACH,qBACa,6BAA8B,SAAQ,8BAA8B;IACxE,OAAO,EAAE,MAAM,EAAE,CAAM;IAEvB,KAAK,EAAE,0BAA0B,GAAG,SAAS,CAAC;IAGrD,OAAO,CAAC,SAAS,CAAyC;IAE1C,MAAM,uCAA8C;IAEpE,OAAO,CAAC,WAAW,CAAkB;IAErC,OAAO,CAAC,iBAAiB;IAQzB;;;OAGG;IACI,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC;IAKxE;;OAEG;IACI,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM;IAQxC;;OAEG;IACI,SAAS,CAAC,MAAM,EAAE,IAAI;IAQ7B;;OAEG;IACI,KAAK,CAAC,KAAK,EAAE,0BAA0B;IAIvC,YAAY,CAAC,SAAS,EAAE,OAAO;IAItC;;OAEG;IACI,KAAK;IAIL,WAAW;IASlB;;;OAGG;IACI,OAAO;;;;;;CAQf"}
+{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAU,MAAM,MAAM,CAAC;AAE9C,OAAO,EACL,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAShE,qBAAa,oCAAqC,SAAQ,6BAA6B;IAE9E,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;IAE9C,MAAM,EAAE,IAAI,CAAc;IAE1B,aAAa,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,kBAAkB,CAAC;IAChC,YAAY,EAAE,YAAY,CAAC;CAC5B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,gCACX,SAAQ,qCAIR,YAAW,0BAA0B;CAAG;AAE1C;;;;GAIG;AACH,qBACa,6BAA8B,SAAQ,8BAA8B;IACxE,OAAO,EAAE,MAAM,EAAE,CAAM;IAEvB,KAAK,EAAE,0BAA0B,GAAG,SAAS,CAAC;IAGrD,OAAO,CAAC,SAAS,CAAyC;IAE1C,MAAM,uCAA8C;IAEpE,OAAO,CAAC,WAAW,CAAkB;IAErC,OAAO,CAAC,iBAAiB;IAQzB;;;OAGG;IACI,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC;IAKxE;;OAEG;IACI,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM;IAQxC;;OAEG;IACI,SAAS,CAAC,MAAM,EAAE,IAAI;IAQ7B;;OAEG;IACI,KAAK,CAAC,KAAK,EAAE,0BAA0B;IAIvC,YAAY,IAAI,gCAAgC;IAYhD,YAAY,CAAC,SAAS,EAAE,OAAO;IAItC;;OAEG;IACI,KAAK;IAIL,WAAW;IAUlB;;;OAGG;IACI,OAAO;;;;;;CAQf"}

package/dist/state/context/RuntimeMethodExecutionContext.js

@@ -4,9 +4,11 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
     return c > 3 && r && Object.defineProperty(target, key, r), r;
 };
-import { Bool } from "o1js";
+import { Bool, Provable, Struct } from "o1js";
 import { singleton } from "tsyringe";
 import { ProvableMethodExecutionContext, ProvableMethodExecutionResult, } from "@proto-kit/common";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
+import { NetworkState } from "../../model/network/NetworkState";
 const errors = {
     setupNotCalled: () => new Error("Setup has not been called prior to executing a runtime method. Be sure to do that so that the Runtime is setup property for execution"),
 };
@@ -18,6 +20,11 @@ export class RuntimeProvableMethodExecutionResult extends ProvableMethodExecutio
         this.status = Bool(true);
     }
 }
+export class RuntimeMethodExecutionDataStruct extends Struct({
+    transaction: RuntimeTransaction,
+    networkState: NetworkState,
+}) {
+}
 /**
  * Execution context used to wrap runtime module methods,
  * allowing them to post relevant information (such as execution status)
@@ -70,6 +77,17 @@ let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends
     setup(input) {
         this.input = input;
     }
+    witnessInput() {
+        this.assertSetupCalled();
+        return Provable.witness(RuntimeMethodExecutionDataStruct, () => {
+            // TODO Is that right? Or this.current().input
+            const { transaction, networkState } = this.input;
+            return new RuntimeMethodExecutionDataStruct({
+                networkState,
+                transaction,
+            });
+        });
+    }
     setSimulated(simulated) {
         this.isSimulated = simulated;
     }
@@ -83,7 +101,8 @@ let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends
         super.afterMethod();
         if (this.isFinished) {
             this.lastInput = this.input;
-            this.input = undefined;
+            // TODO: find out why input isnt set in TransactionFeeHook during assert
+            // this.input = undefined;
             this.isSimulated = false;
         }
     }

package/dist/utils/MinaPrefixedProvableHashList.d.ts

@@ -0,0 +1,24 @@
+import { Field, ProvablePure } from "o1js";
+import { ProvableHashList } from "./ProvableHashList";
+export declare const MINA_EVENT_PREFIXES: {
+    readonly event: "MinaZkappEvent******";
+    readonly events: "MinaZkappEvents*****";
+    readonly sequenceEvents: "MinaZkappSeqEvents**";
+};
+export declare function emptyActions(): Field;
+export declare function emptyEvents(): Field;
+export declare class MinaActions {
+    static actionHash(action: Field[], previousHash?: Field): Field;
+}
+export declare class MinaEvents {
+    static eventHash(event: Field[], previousHash?: Field): Field;
+}
+export declare class MinaPrefixedProvableHashList<Value> extends ProvableHashList<Value> {
+    readonly prefix: string;
+    constructor(valueType: ProvablePure<Value>, prefix: string, internalCommitment?: Field);
+    protected hash(elements: Field[]): Field;
+}
+export declare class MinaActionsHashList extends MinaPrefixedProvableHashList<Field> {
+    constructor(internalCommitment?: Field);
+}
+//# sourceMappingURL=MinaPrefixedProvableHashList.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MinaPrefixedProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/MinaPrefixedProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAY,YAAY,EAAE,MAAM,MAAM,CAAC;AAGrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAStD,eAAO,MAAM,mBAAmB;;;;CAItB,CAAC;AAEX,wBAAgB,YAAY,IAAI,KAAK,CAEpC;AAED,wBAAgB,WAAW,IAAI,KAAK,CAEnC;AAED,qBAAa,WAAW;IACtB,MAAM,CAAC,UAAU,CACf,MAAM,EAAE,KAAK,EAAE,EACf,YAAY,GAAE,KAAsB,GACnC,KAAK;CAOT;AAED,qBAAa,UAAU;IACrB,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,YAAY,GAAE,KAAqB,GAAG,KAAK;CAO7E;AAED,qBAAa,4BAA4B,CACvC,KAAK,CACL,SAAQ,gBAAgB,CAAC,KAAK,CAAC;aAGb,MAAM,EAAE,MAAM;gBAD9B,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EACd,MAAM,EAAE,MAAM,EAC9B,kBAAkB,GAAE,KAAgB;IAKtC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAKzC;AAED,qBAAa,mBAAoB,SAAQ,4BAA4B,CAAC,KAAK,CAAC;gBACvD,kBAAkB,GAAE,KAAgB;CAGxD"}

package/dist/utils/MinaPrefixedProvableHashList.js

@@ -0,0 +1,51 @@
+import { Field, Poseidon } from "o1js";
+import { hashWithPrefix, prefixToField } from "@proto-kit/common";
+import { ProvableHashList } from "./ProvableHashList";
+function salt(prefix) {
+    return Poseidon.update([Field(0), Field(0), Field(0)], [prefixToField(prefix)]);
+}
+export const MINA_EVENT_PREFIXES = {
+    event: "MinaZkappEvent******",
+    events: "MinaZkappEvents*****",
+    sequenceEvents: "MinaZkappSeqEvents**",
+};
+export function emptyActions() {
+    return salt("MinaZkappActionsEmpty")[0];
+}
+export function emptyEvents() {
+    return salt("MinaZkappEventsEmpty")[0];
+}
+export class MinaActions {
+    static actionHash(action, previousHash = emptyActions()) {
+        const actionDataHash = hashWithPrefix(MINA_EVENT_PREFIXES.event, action);
+        return hashWithPrefix(MINA_EVENT_PREFIXES.sequenceEvents, [
+            previousHash,
+            actionDataHash,
+        ]);
+    }
+}
+export class MinaEvents {
+    static eventHash(event, previousHash = emptyEvents()) {
+        const actionDataHash = hashWithPrefix(MINA_EVENT_PREFIXES.event, event);
+        return hashWithPrefix(MINA_EVENT_PREFIXES.events, [
+            previousHash,
+            actionDataHash,
+        ]);
+    }
+}
+export class MinaPrefixedProvableHashList extends ProvableHashList {
+    constructor(valueType, prefix, internalCommitment = Field(0)) {
+        super(valueType, internalCommitment);
+        this.prefix = prefix;
+    }
+    hash(elements) {
+        const init = salt(this.prefix);
+        const digest = Poseidon.update(init, elements);
+        return digest[0];
+    }
+}
+export class MinaActionsHashList extends MinaPrefixedProvableHashList {
+    constructor(internalCommitment = Field(0)) {
+        super(Field, MINA_EVENT_PREFIXES.sequenceEvents, internalCommitment);
+    }
+}

package/dist/utils/PrefixedProvableHashList.d.ts

@@ -1,8 +1,8 @@
-import { Field, FlexibleProvablePure } from "o1js";
+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);
     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,MAAM,CAAC;AAE7D,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;IAMtC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGzC"}

package/dist/utils/ProvableHashList.d.ts

@@ -1,11 +1,11 @@
-import { Field, FlexibleProvablePure, Bool } from "o1js";
+import { Field, Bool, ProvablePure } from "o1js";
 /**
  * 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>;
     commitment: Field;
-    constructor(valueType: FlexibleProvablePure<Value>, commitment?: Field);
+    constructor(valueType: ProvablePure<Value>, commitment?: Field);
     protected abstract hash(elements: Field[]): Field;
     /**
      * Converts the provided value to Field[] and appends it to

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,MAAM,CAAC;AAE7E;;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,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"}

package/dist/utils/ProvableReductionHashList.d.ts

@@ -0,0 +1,14 @@
+import { Bool, Field } from "o1js";
+import { ProvableHashList } from "./ProvableHashList";
+export declare class ProvableReductionHashList<Value> extends ProvableHashList<Value> {
+    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;
+}
+//# 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,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"}

package/dist/utils/ProvableReductionHashList.js

@@ -0,0 +1,50 @@
+import { Bool, Poseidon, Provable } from "o1js";
+import { ProvableHashList } from "./ProvableHashList";
+export class ProvableReductionHashList extends ProvableHashList {
+    constructor() {
+        super(...arguments);
+        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);
+    }
+}

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/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":"AAEA,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,60 @@
+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 = [];
+    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;
+}

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.457+467a974",
+  "version": "0.1.1-develop.651+7591cb6",
   "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": "467a974c8dddb9f57ecf37caf34d3e1e5eb33f2a"
+  "gitHead": "7591cb6bdf58a6cd525a10902c25bc292efcfc6b"
 }

package/src/hooks/AccountStateHook.ts

@@ -0,0 +1,46 @@
+import { Provable, PublicKey, Struct, UInt64 } from "o1js";
+
+import { BlockProverExecutionData } from "../prover/block/BlockProvable";
+import { StateMap } from "../state/StateMap";
+import { protocolState } from "../state/protocol/ProtocolState";
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+import { assert } from "../state/assert/assert";
+import { injectable } from "tsyringe";
+
+export class AccountState extends Struct({
+  nonce: UInt64,
+}) {}
+
+@injectable()
+export class AccountStateHook extends ProvableTransactionHook {
+  @protocolState() public accountState = StateMap.from<PublicKey, AccountState>(
+    PublicKey,
+    AccountState
+  );
+
+  public onTransaction({ transaction }: BlockProverExecutionData): void {
+    const sender = transaction.sender.value;
+
+    const accountState = this.accountState
+      .get(sender)
+      .orElse(new AccountState({ nonce: UInt64.zero }));
+
+    const currentNonce = accountState.nonce;
+
+    // Either the nonce matches or the tx is a message, in which case we don't care
+    assert(
+      currentNonce
+        .equals(transaction.nonce.value)
+        .or(transaction.sender.isSome.not()),
+      "Nonce not matching"
+    );
+
+    // Optimized version of transaction.sender.isSome ? currentNonce.add(1) : Field(0)
+    // Bcs Bool(true).toField() == 1
+    const newNonce = UInt64.from(
+      currentNonce.value.add(1).mul(transaction.sender.isSome.toField())
+    );
+
+    this.accountState.set(sender, new AccountState({ nonce: newNonce }));
+  }
+}

package/src/hooks/BlockHeightHook.ts

@@ -0,0 +1,18 @@
+import { Provable } from "o1js";
+import { NetworkState } from "../model/network/NetworkState";
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+
+export class BlockHeightHook extends ProvableBlockHook<Record<string, never>> {
+  public afterBlock(networkState: NetworkState): NetworkState {
+    return new NetworkState({
+      block: {
+        height: networkState.block.height.add(1),
+      },
+      previous: networkState.previous
+    });
+  }
+
+  public beforeBlock(networkState: NetworkState): NetworkState {
+    return networkState;
+  }
+}

package/src/hooks/LastStateRootBlockHook.ts

@@ -0,0 +1,26 @@
+import { 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 afterBlock(
+    networkState: NetworkState,
+    state: BlockProverState
+  ): NetworkState {
+    return new NetworkState({
+      block: networkState.block,
+      previous: {
+        rootHash: state.stateRoot,
+      },
+    });
+  }
+
+  public beforeBlock(
+    networkState: NetworkState,
+    state: BlockProverState
+  ): NetworkState {
+    return networkState;
+  }
+}

package/src/hooks/NoopBlockHook.ts

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

package/src/hooks/NoopSettlementHook.ts

@@ -0,0 +1,20 @@
+import { injectable } from "tsyringe";
+import { noop } from "@proto-kit/common";
+import { SmartContract } from "o1js";
+
+import {
+  ProvableSettlementHook,
+  SettlementHookInputs,
+} from "../settlement/modularity/ProvableSettlementHook";
+
+@injectable()
+export class NoopSettlementHook extends ProvableSettlementHook<
+  Record<string, never>
+> {
+  public beforeSettlement(
+    contract: SmartContract,
+    state: SettlementHookInputs
+  ): void {
+    noop();
+  }
+}

package/src/hooks/SequenceStateTransactionModule.ts

@@ -0,0 +1,25 @@
+import { Field } from "o1js";
+
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+import { BlockProverExecutionData } from "../prover/block/BlockProvable";
+import { protocolState } from "../state/protocol/ProtocolState";
+import { State } from "../state/State";
+import { DefaultProvableHashList } from "../utils/ProvableHashList";
+import { SignedTransaction } from "../model/transaction/SignedTransaction";
+
+// Future idea to add this functionality as a module
+// This is currently hardcoded in tracing however
+class SequenceStateTransactionModule extends ProvableTransactionHook {
+  @protocolState() sequenceStateTransactionsList = State.from(Field);
+
+  public onTransaction(executionData: BlockProverExecutionData): void {
+    const hashList = new DefaultProvableHashList(
+      SignedTransaction,
+      this.sequenceStateTransactionsList.get().orElse(Field(0))
+    );
+
+    hashList.push(executionData.transaction);
+
+    this.sequenceStateTransactionsList.set(hashList.commitment);
+  }
+}