@proto-kit/protocol 0.1.1-develop.1086

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

@@ -0,0 +1,193 @@
+import { Bool, FlexibleProvablePure, Provable } from "o1js";
+import { ProvableMethodExecutionContext, ProvableMethodExecutionResult } from "@proto-kit/common";
+import { StateTransition } from "../../model/StateTransition";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
+import { NetworkState } from "../../model/network/NetworkState";
+export declare class RuntimeProvableMethodExecutionResult extends ProvableMethodExecutionResult {
+    stateTransitions: StateTransition<any>[];
+    status: Bool;
+    statusMessage?: string;
+    stackTrace?: string;
+    events: {
+        eventType: FlexibleProvablePure<any>;
+        event: any;
+        eventName: string;
+        condition: Bool;
+    }[];
+}
+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;
+}, {
+    transaction: {
+        methodId: bigint;
+        argsHash: bigint;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
+    };
+    networkState: {
+        block: {
+            height: bigint;
+        };
+        previous: {
+            rootHash: bigint;
+        };
+    };
+}> & {
+    fromValue: (value: {
+        transaction: RuntimeTransaction | {
+            methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            nonce: import("../..").UInt64Option | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+            sender: import("../..").PublicKeyOption | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+        };
+        networkState: NetworkState | {
+            block: import("../../model/network/NetworkState").CurrentBlock | {
+                height: bigint | import("o1js/dist/node/lib/provable/int").UInt64;
+            };
+            previous: import("../../model/network/NetworkState").PreviousBlock | {
+                rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            };
+        };
+    }) => {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    };
+    toInput: (x: {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/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;
+    };
+    empty: () => {
+        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)
+ * into the context without any unnecessary 'prop drilling'.
+ */
+export declare class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
+    methods: string[];
+    input: RuntimeMethodExecutionData | undefined;
+    private lastInput;
+    result: RuntimeProvableMethodExecutionResult;
+    private isSimulated;
+    private assertSetupCalled;
+    /**
+     * Adds an in-method generated state transition to the current context
+     * @param stateTransition - State transition to add to the context
+     */
+    addStateTransition<Value>(stateTransition: StateTransition<Value>): void;
+    addEvent(eventType: FlexibleProvablePure<any>, event: any, eventName: string, condition?: Bool): void;
+    /**
+     * @param message - Status message to acompany the current status
+     */
+    setStatusMessage(message?: string, stackTrace?: string): void;
+    /**
+     * @param status - Execution status of the current method
+     */
+    setStatus(status: Bool): void;
+    /**
+     * @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
+     */
+    clear(): void;
+    afterMethod(): void;
+    /**
+     * Had to override current() otherwise it would not infer
+     * the type of result correctly (parent type would be reused)
+     */
+    current(): {
+        isFinished: boolean;
+        result: RuntimeProvableMethodExecutionResult;
+        input: RuntimeMethodExecutionData | undefined;
+        isSimulated: boolean;
+    };
+}
+export {};
+//# sourceMappingURL=RuntimeMethodExecutionContext.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAU,MAAM,MAAM,CAAC;AAEpE,OAAO,EACL,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,mBAAmB,CAAC;AAE3B,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;IAC9E,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;IAE9C,MAAM,EAAE,IAAI,CAAc;IAE1B,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,MAAM,EAAE;QACb,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,EAAE,GAAG,CAAC;QACX,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,IAAI,CAAC;KACjB,EAAE,CAAM;CACV;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;IAKjE,QAAQ,CACb,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,EACpC,KAAK,EAAE,GAAG,EACV,SAAS,EAAE,MAAM,EACjB,SAAS,GAAE,IAAiB;IAY9B;;OAEG;IACI,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM;IAS7D;;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

@@ -0,0 +1,135 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    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, 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"),
+};
+export class RuntimeProvableMethodExecutionResult extends ProvableMethodExecutionResult {
+    constructor() {
+        super(...arguments);
+        this.stateTransitions = [];
+        this.status = Bool(true);
+        this.events = [];
+    }
+}
+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)
+ * into the context without any unnecessary 'prop drilling'.
+ */
+export let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
+    constructor() {
+        super(...arguments);
+        this.methods = [];
+        this.result = new RuntimeProvableMethodExecutionResult();
+        this.isSimulated = false;
+    }
+    assertSetupCalled() {
+        if (this.input === undefined) {
+            throw errors.setupNotCalled();
+        }
+    }
+    /**
+     * Adds an in-method generated state transition to the current context
+     * @param stateTransition - State transition to add to the context
+     */
+    addStateTransition(stateTransition) {
+        this.assertSetupCalled();
+        this.result.stateTransitions.push(stateTransition);
+    }
+    addEvent(eventType, event, eventName, condition = Bool(true)) {
+        this.assertSetupCalled();
+        this.result.events.push({
+            eventType,
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
+            event,
+            eventName,
+            condition,
+        });
+    }
+    /**
+     * @param message - Status message to acompany the current status
+     */
+    setStatusMessage(message, stackTrace) {
+        var _a, _b;
+        this.assertSetupCalled();
+        if (this.isSimulated) {
+            return;
+        }
+        (_a = this.result).statusMessage ?? (_a.statusMessage = message);
+        (_b = this.result).stackTrace ?? (_b.stackTrace = stackTrace);
+    }
+    /**
+     * @param status - Execution status of the current method
+     */
+    setStatus(status) {
+        this.assertSetupCalled();
+        if (this.isSimulated) {
+            return;
+        }
+        this.result.status = status;
+    }
+    /**
+     * @param input Input witness data required for a runtime execution
+     */
+    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;
+    }
+    /**
+     * Manually clears/resets the execution context
+     */
+    clear() {
+        this.result = new RuntimeProvableMethodExecutionResult();
+    }
+    afterMethod() {
+        super.afterMethod();
+        if (this.isFinished) {
+            this.lastInput = this.input;
+            // TODO: find out why input isnt set in TransactionFeeHook during assert
+            // this.input = undefined;
+            this.isSimulated = false;
+        }
+    }
+    /**
+     * Had to override current() otherwise it would not infer
+     * the type of result correctly (parent type would be reused)
+     */
+    current() {
+        return {
+            isFinished: this.isFinished,
+            result: this.result,
+            input: this.lastInput,
+            isSimulated: this.isSimulated,
+        };
+    }
+};
+RuntimeMethodExecutionContext = __decorate([
+    singleton()
+], RuntimeMethodExecutionContext);

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

@@ -0,0 +1,23 @@
+import { StateTransition } from "../../model/StateTransition";
+export declare class TransitionMethodExecutionResult {
+    stateTransitions: StateTransition<any>[];
+}
+export interface TransitionMethodExecutionContext {
+    /**
+     * Adds an in-method generated state transition to the current context
+     * @param stateTransition - State transition to add to the context
+     */
+    addStateTransition: <Value>(stateTransition: StateTransition<Value>) => void;
+    /**
+     * Manually clears/resets the execution context
+     */
+    clear: () => void;
+    /**
+     * Had to override current() otherwise it would not infer
+     * the type of result correctly (parent type would be reused)
+     */
+    current: () => {
+        result: TransitionMethodExecutionResult;
+    };
+}
+//# sourceMappingURL=TransitionMethodExecutionContext.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TransitionMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/TransitionMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,qBAAa,+BAA+B;IACnC,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;CACtD;AAED,MAAM,WAAW,gCAAgC;IAC/C;;;OAGG;IACH,kBAAkB,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;IAE7E;;OAEG;IACH,KAAK,EAAE,MAAM,IAAI,CAAC;IAElB;;;OAGG;IACH,OAAO,EAAE,MAAM;QACb,MAAM,EAAE,+BAA+B,CAAC;KACzC,CAAC;CACH"}

package/dist/state/context/TransitionMethodExecutionContext.js

@@ -0,0 +1,5 @@
+export class TransitionMethodExecutionResult {
+    constructor() {
+        this.stateTransitions = [];
+    }
+}

package/dist/state/protocol/ProtocolState.d.ts

@@ -0,0 +1,7 @@
+import { TransitioningProtocolModule } from "../../protocol/TransitioningProtocolModule";
+/**
+ * Decorates a runtime module property as state, passing down some
+ * underlying values to improve developer experience.
+ */
+export declare function protocolState(): <TargetTransitioningModule extends TransitioningProtocolModule<unknown>>(target: TargetTransitioningModule, propertyKey: string) => void;
+//# sourceMappingURL=ProtocolState.d.ts.map

package/dist/state/protocol/ProtocolState.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProtocolState.d.ts","sourceRoot":"","sources":["../../../src/state/protocol/ProtocolState.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAgBzF;;;GAGG;AACH,wBAAgB,aAAa,6HAKZ,MAAM,UAiCtB"}

package/dist/state/protocol/ProtocolState.js

@@ -0,0 +1,39 @@
+import { Path } from "../../model/Path";
+const errors = {
+    missingName: (className) => new Error(`Unable to provide a unique identifier for state, ${className} is missing a name. 
+      Did you forget to extend your block module with 'extends ...Hook'?`),
+    missingProtocol: (className) => new Error(`Unable to provide 'procotol' for state, ${className} is missing a name. 
+      Did you forget to extend your block module with 'extends ...Hook'?`),
+};
+/**
+ * Decorates a runtime module property as state, passing down some
+ * underlying values to improve developer experience.
+ */
+export function protocolState() {
+    return (target, propertyKey) => {
+        let value;
+        Object.defineProperty(target, propertyKey, {
+            enumerable: true,
+            get: function get() {
+                // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+                const self = this;
+                if (self.name === undefined) {
+                    throw errors.missingName(self.constructor.name);
+                }
+                if (!self.protocol) {
+                    throw errors.missingProtocol(self.constructor.name);
+                }
+                // TODO Add Prefix?
+                const path = Path.fromProperty(self.name, propertyKey);
+                if (value) {
+                    value.path = path;
+                    value.stateServiceProvider = self.protocol.stateServiceProvider;
+                }
+                return value;
+            },
+            set: (newValue) => {
+                value = newValue;
+            },
+        });
+    };
+}

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;AAUtD,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,52 @@
+import { Field, Poseidon } from "o1js";
+import { hashWithPrefix, prefixToField } from "@proto-kit/common";
+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 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

@@ -0,0 +1,8 @@
+import { Field, ProvablePure } from "o1js";
+import { ProvableHashList } from "./ProvableHashList.js";
+export declare class PrefixedProvableHashList<Value> extends ProvableHashList<Value> {
+    private readonly prefix;
+    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

@@ -0,0 +1 @@
+{"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/PrefixedProvableHashList.js

@@ -0,0 +1,12 @@
+import { Field, Poseidon } from "o1js";
+import { ProvableHashList } from "./ProvableHashList.js";
+import { stringToField } from "./utils";
+export class PrefixedProvableHashList extends ProvableHashList {
+    constructor(valueType, prefix, internalCommitment = Field(0)) {
+        super(valueType, internalCommitment);
+        this.prefix = stringToField(prefix);
+    }
+    hash(elements) {
+        return Poseidon.hash([this.prefix, ...elements]);
+    }
+}

package/dist/utils/ProvableHashList.d.ts

@@ -0,0 +1,27 @@
+import { Field, Bool, ProvablePure } from "o1js";
+/**
+ * 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);
+    protected abstract hash(elements: Field[]): Field;
+    /**
+     * Converts the provided value to Field[] and appends it to
+     * the current hashlist.
+     *
+     * @param value - Value to be appended to the hash list
+     * @returns Current hash list.
+     */
+    push(value: Value): this;
+    pushIf(value: Value, condition: Bool): this;
+    /**
+     * @returns Traling hash of the current hashlist.
+     */
+    toField(): import("o1js/dist/node/lib/provable/field").Field;
+}
+export declare class DefaultProvableHashList<Value> extends ProvableHashList<Value> {
+    hash(elements: Field[]): Field;
+}
+//# sourceMappingURL=ProvableHashList.d.ts.map

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

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

package/dist/utils/ProvableHashList.js

@@ -0,0 +1,43 @@
+import { Field, Poseidon, Provable } from "o1js";
+/**
+ * Utilities for creating a hash list from a given value type.
+ */
+export class ProvableHashList {
+    constructor(valueType, commitment = Field(0)) {
+        this.valueType = valueType;
+        this.commitment = commitment;
+    }
+    /**
+     * Converts the provided value to Field[] and appends it to
+     * the current hashlist.
+     *
+     * @param value - Value to be appended to the hash list
+     * @returns Current hash list.
+     */
+    push(value) {
+        this.commitment = this.hash([
+            this.commitment,
+            ...this.valueType.toFields(value),
+        ]);
+        return this;
+    }
+    pushIf(value, condition) {
+        const newCommitment = this.hash([
+            this.commitment,
+            ...this.valueType.toFields(value),
+        ]);
+        this.commitment = Provable.if(condition, newCommitment, this.commitment);
+        return this;
+    }
+    /**
+     * @returns Traling hash of the current hashlist.
+     */
+    toField() {
+        return this.commitment;
+    }
+}
+export class DefaultProvableHashList extends ProvableHashList {
+    hash(elements) {
+        return Poseidon.hash(elements);
+    }
+}

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"}