@proto-kit/protocol 0.1.1-develop.336 → 0.1.1-develop.455

package/dist/blockmodules/AccountStateModule.d.ts

@@ -30,7 +30,7 @@ declare const AccountState_base: (new (value: {
 };
 export declare class AccountState extends AccountState_base {
 }
-export declare class AccountStateModule extends ProvableTransactionHook<Record<string, never>> {
+export declare class AccountStateModule extends ProvableTransactionHook {
     accountState: StateMap<PublicKey, AccountState>;
     onTransaction({ transaction }: BlockProverExecutionData): void;
 }

package/dist/blockmodules/AccountStateModule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AccountStateModule.d.ts","sourceRoot":"","sources":["../../src/blockmodules/AccountStateModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAE3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG9E,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;AAEL,qBAAa,kBAAmB,SAAQ,uBAAuB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5D,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CActE"}
+{"version":3,"file":"AccountStateModule.d.ts","sourceRoot":"","sources":["../../src/blockmodules/AccountStateModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG9E,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;AAEL,qBAAa,kBAAmB,SAAQ,uBAAuB;IACrC,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CActE"}

package/dist/blockmodules/BlockHeightHook.d.ts

@@ -0,0 +1,7 @@
+import { NetworkState } from "../model/network/NetworkState";
+import { AfterBlockParameters, BeforeBlockParameters, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+export declare class BlockHeightHook extends ProvableBlockHook<Record<string, never>> {
+    afterBlock({ networkState }: AfterBlockParameters): NetworkState;
+    beforeBlock(blockData: BeforeBlockParameters): NetworkState;
+}
+//# sourceMappingURL=BlockHeightHook.d.ts.map

package/dist/blockmodules/BlockHeightHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BlockHeightHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/BlockHeightHook.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AAEvC,qBAAa,eAAgB,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpE,UAAU,CAAC,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAAG,YAAY;IAShE,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}

package/dist/blockmodules/BlockHeightHook.js

@@ -0,0 +1,16 @@
+import { Provable } from "o1js";
+import { NetworkState } from "../model/network/NetworkState";
+import { ProvableBlockHook, } from "../protocol/ProvableBlockHook";
+export class BlockHeightHook extends ProvableBlockHook {
+    afterBlock({ networkState }) {
+        Provable.log("afterBlock", networkState);
+        return new NetworkState({
+            block: {
+                height: networkState.block.height.add(1),
+            },
+        });
+    }
+    beforeBlock(blockData) {
+        return blockData.networkState;
+    }
+}

package/dist/blockmodules/NoopBlockHook.d.ts

@@ -0,0 +1,7 @@
+import { AfterBlockParameters, BeforeBlockParameters, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { NetworkState } from "../model/network/NetworkState";
+export declare class NoopBlockHook extends ProvableBlockHook<Record<string, never>> {
+    afterBlock(blockData: AfterBlockParameters): NetworkState;
+    beforeBlock(blockData: BeforeBlockParameters): NetworkState;
+}
+//# sourceMappingURL=NoopBlockHook.d.ts.map

package/dist/blockmodules/NoopBlockHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/NoopBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,qBAAa,aAAc,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClE,UAAU,CAAC,SAAS,EAAE,oBAAoB,GAAG,YAAY;IAIzD,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}

package/dist/blockmodules/NoopBlockHook.js

@@ -0,0 +1,9 @@
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+export class NoopBlockHook extends ProvableBlockHook {
+    afterBlock(blockData) {
+        return blockData.networkState;
+    }
+    beforeBlock(blockData) {
+        return blockData.networkState;
+    }
+}

package/dist/blockmodules/NoopTransactionHook.d.ts

@@ -1,6 +1,6 @@
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
 import { BlockProverExecutionData } from "../prover/block/BlockProvable";
-export declare class NoopTransactionHook extends ProvableTransactionHook<object> {
+export declare class NoopTransactionHook extends ProvableTransactionHook {
     onTransaction(executionData: BlockProverExecutionData): void;
 }
 //# sourceMappingURL=NoopTransactionHook.d.ts.map

package/dist/blockmodules/NoopTransactionHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NoopTransactionHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/NoopTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,qBAAa,mBAAoB,SAAQ,uBAAuB,CAAC,MAAM,CAAC;IAC/D,aAAa,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI;CAEpE"}
+{"version":3,"file":"NoopTransactionHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/NoopTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,qBAAa,mBAAoB,SAAQ,uBAAuB;IACvD,aAAa,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI;CACpE"}

package/dist/blockmodules/NoopTransactionHook.js

@@ -1,5 +1,4 @@
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
 export class NoopTransactionHook extends ProvableTransactionHook {
-    onTransaction(executionData) {
-    }
+    onTransaction(executionData) { }
 }

package/dist/hooks/AccountStateHook.d.ts

@@ -0,0 +1,38 @@
+import { PublicKey, UInt64 } from "o1js";
+import { BlockProverExecutionData } from "../prover/block/BlockProvable";
+import { StateMap } from "../state/StateMap";
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+declare const AccountState_base: (new (value: {
+    nonce: UInt64;
+}) => {
+    nonce: UInt64;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    nonce: UInt64;
+}> & {
+    toInput: (x: {
+        nonce: UInt64;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        nonce: UInt64;
+    }) => {
+        nonce: string;
+    };
+    fromJSON: (x: {
+        nonce: string;
+    }) => {
+        nonce: UInt64;
+    };
+};
+export declare class AccountState extends AccountState_base {
+}
+export declare class AccountStateHook extends ProvableTransactionHook {
+    accountState: StateMap<PublicKey, AccountState>;
+    onTransaction({ transaction }: BlockProverExecutionData): void;
+}
+export {};
+//# sourceMappingURL=AccountStateHook.d.ts.map

package/dist/hooks/AccountStateHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AccountStateHook.d.ts","sourceRoot":"","sources":["../../src/hooks/AccountStateHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG9E,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;AAEL,qBAAa,gBAAiB,SAAQ,uBAAuB;IACnC,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CActE"}

package/dist/hooks/AccountStateHook.js

@@ -0,0 +1,36 @@
+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;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { PublicKey, Struct, UInt64 } from "o1js";
+import { StateMap } from "../state/StateMap";
+import { protocolState } from "../state/protocol/ProtocolState";
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+import { assert } from "../state/assert/assert";
+export class AccountState extends Struct({
+    nonce: UInt64,
+}) {
+}
+export class AccountStateHook extends ProvableTransactionHook {
+    constructor() {
+        super(...arguments);
+        this.accountState = StateMap.from(PublicKey, AccountState);
+    }
+    onTransaction({ transaction }) {
+        const accountState = this.accountState
+            .get(transaction.sender)
+            .orElse(new AccountState({ nonce: UInt64.zero }));
+        const currentNonce = accountState.nonce;
+        assert(currentNonce.equals(transaction.nonce), "Nonce not matching");
+        this.accountState.set(transaction.sender, new AccountState({ nonce: currentNonce.add(1) }));
+    }
+}
+__decorate([
+    protocolState(),
+    __metadata("design:type", Object)
+], AccountStateHook.prototype, "accountState", void 0);

package/dist/hooks/BlockHeightHook.d.ts

@@ -0,0 +1,7 @@
+import { NetworkState } from "../model/network/NetworkState";
+import { AfterBlockParameters, BeforeBlockParameters, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+export declare class BlockHeightHook extends ProvableBlockHook<Record<string, never>> {
+    afterBlock({ networkState }: AfterBlockParameters): NetworkState;
+    beforeBlock(blockData: BeforeBlockParameters): NetworkState;
+}
+//# sourceMappingURL=BlockHeightHook.d.ts.map

package/dist/hooks/BlockHeightHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BlockHeightHook.d.ts","sourceRoot":"","sources":["../../src/hooks/BlockHeightHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AAEvC,qBAAa,eAAgB,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpE,UAAU,CAAC,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAAG,YAAY;IAQhE,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}

package/dist/hooks/BlockHeightHook.js

@@ -0,0 +1,14 @@
+import { NetworkState } from "../model/network/NetworkState";
+import { ProvableBlockHook, } from "../protocol/ProvableBlockHook";
+export class BlockHeightHook extends ProvableBlockHook {
+    afterBlock({ networkState }) {
+        return new NetworkState({
+            block: {
+                height: networkState.block.height.add(1),
+            },
+        });
+    }
+    beforeBlock(blockData) {
+        return blockData.networkState;
+    }
+}

package/dist/hooks/NoopBlockHook.d.ts

@@ -0,0 +1,7 @@
+import { AfterBlockParameters, BeforeBlockParameters, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { NetworkState } from "../model/network/NetworkState";
+export declare class NoopBlockHook extends ProvableBlockHook<Record<string, never>> {
+    afterBlock(blockData: AfterBlockParameters): NetworkState;
+    beforeBlock(blockData: BeforeBlockParameters): NetworkState;
+}
+//# sourceMappingURL=NoopBlockHook.d.ts.map

package/dist/hooks/NoopBlockHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,qBAAa,aAAc,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClE,UAAU,CAAC,SAAS,EAAE,oBAAoB,GAAG,YAAY;IAIzD,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}

package/dist/hooks/NoopBlockHook.js

@@ -0,0 +1,9 @@
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+export class NoopBlockHook extends ProvableBlockHook {
+    afterBlock(blockData) {
+        return blockData.networkState;
+    }
+    beforeBlock(blockData) {
+        return blockData.networkState;
+    }
+}

package/dist/hooks/NoopTransactionHook.d.ts

@@ -0,0 +1,6 @@
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+import { BlockProverExecutionData } from "../prover/block/BlockProvable";
+export declare class NoopTransactionHook extends ProvableTransactionHook {
+    onTransaction(executionData: BlockProverExecutionData): void;
+}
+//# sourceMappingURL=NoopTransactionHook.d.ts.map

package/dist/hooks/NoopTransactionHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoopTransactionHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,qBAAa,mBAAoB,SAAQ,uBAAuB;IACvD,aAAa,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI;CACpE"}

package/dist/hooks/NoopTransactionHook.js

@@ -0,0 +1,4 @@
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+export class NoopTransactionHook extends ProvableTransactionHook {
+    onTransaction(executionData) { }
+}

package/dist/hooks/TransactionFeeHook.d.ts

@@ -0,0 +1,16 @@
+import { Runtime, RuntimeModulesRecord } from "@proto-kit/module";
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+import { BlockProverExecutionData } from "../prover/block/BlockProvable";
+export declare const treeFeeHeight = 10;
+declare const FeeTree_base: import("@proto-kit/common").AbstractMerkleTreeClass;
+export declare class FeeTree extends FeeTree_base {
+}
+export declare class TransactionFeeHook extends ProvableTransactionHook {
+    runtime: Runtime<RuntimeModulesRecord>;
+    constructor(runtime: Runtime<RuntimeModulesRecord>);
+    feeTree: FeeTree;
+    createFeeTree(): FeeTree;
+    onTransaction(executionData: BlockProverExecutionData): void;
+}
+export {};
+//# sourceMappingURL=TransactionFeeHook.d.ts.map

package/dist/hooks/TransactionFeeHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TransactionFeeHook.d.ts","sourceRoot":"","sources":["../../src/hooks/TransactionFeeHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,OAAO,EACP,oBAAoB,EACrB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,eAAO,MAAM,aAAa,KAAK,CAAC;;AAChC,qBAAa,OAAQ,SAAQ,YAA+B;CAAG;AAE/D,qBAAa,kBAAmB,SAAQ,uBAAuB;IAEjC,OAAO,EAAE,OAAO,CAAC,oBAAoB,CAAC;gBAAtC,OAAO,EAAE,OAAO,CAAC,oBAAoB,CAAC;IAK3D,OAAO,EAAE,OAAO,CAAwB;IAExC,aAAa;IASb,aAAa,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI;CACpE"}

package/dist/hooks/TransactionFeeHook.js

@@ -0,0 +1,39 @@
+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;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var __param = (this && this.__param) || function (paramIndex, decorator) {
+    return function (target, key) { decorator(target, key, paramIndex); }
+};
+var _a;
+/* eslint-disable import/no-unused-modules */
+import { createMerkleTree } from "@proto-kit/common";
+import { Runtime, } from "@proto-kit/module";
+import { inject } from "tsyringe";
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+export const treeFeeHeight = 10;
+export class FeeTree extends createMerkleTree(treeFeeHeight) {
+}
+let TransactionFeeHook = class TransactionFeeHook extends ProvableTransactionHook {
+    constructor(runtime) {
+        this.runtime = runtime;
+        this.feeTree = this.createFeeTree();
+        ;
+    }
+    createFeeTree() {
+        const analyzedMethods = this.runtime.zkProgrammable.zkProgram.analyzeMethods();
+        console.log("analyzedMethods", analyzedMethods);
+        return new FeeTree();
+    }
+    onTransaction(executionData) { }
+};
+TransactionFeeHook = __decorate([
+    __param(0, inject("Runtime")),
+    __metadata("design:paramtypes", [typeof (_a = typeof Runtime !== "undefined" && Runtime) === "function" ? _a : Object])
+], TransactionFeeHook);
+export { TransactionFeeHook };

package/dist/index.d.ts

@@ -1,4 +1,5 @@
 export * from "./blockmodules/AccountStateModule";
+export * from "./blockmodules/BlockHeightHook";
 export * from "./utils/ProvableHashList";
 export * from "./model/StateTransition";
 export * from "./model/StateTransitionProvableBatch";
@@ -11,18 +12,17 @@ export * from "./utils/PrefixedProvableHashList.js";
 export * from "./utils/utils";
 export * from "./prover/block/BlockProver";
 export * from "./prover/block/BlockProvable";
+export * from "./prover/block/BlockTransactionPosition";
 export * from "./prover/statetransition/StateTransitionProver";
 export * from "./prover/statetransition/StateTransitionProvable";
 export * from "./prover/statetransition/StateTransitionWitnessProvider";
-export * from "./utils/merkletree/MerkleTreeStore";
-export * from "./utils/merkletree/InMemoryMerkleTreeStorage";
-export * from "./utils/merkletree/RollupMerkleTree";
 export * from "./model/MethodPublicOutput";
 export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
 export * from "./protocol/Protocol";
 export * from "./protocol/ProtocolModule";
-export * from "./protocol/TransitioningProtocolModule";
+export * from "./protocol/ProtocolEnvironment";
 export * from "./protocol/ProvableTransactionHook";
+export * from "./protocol/ProvableBlockHook";
 export * from "./state/context/ProtocolMethodExecutionContext";
 export * from "./state/context/TransitionMethodExecutionContext";
 export * from "./state/context/RuntimeMethodExecutionContext";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,mCAAmC,CAAC;AAClD,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yCAAyC,CAAC;AACxD,cAAc,wCAAwC,CAAC;AACvD,cAAc,qCAAqC,CAAC;AACpD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,yDAAyD,CAAC;AACxE,cAAc,oCAAoC,CAAC;AACnD,cAAc,8CAA8C,CAAC;AAC7D,cAAc,qCAAqC,CAAC;AACpD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kEAAkE,CAAC;AACjF,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,wCAAwC,CAAC;AACvD,cAAc,oCAAoC,CAAC;AACnD,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,mCAAmC,CAAC;AAClD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yCAAyC,CAAC;AACxD,cAAc,wCAAwC,CAAC;AACvD,cAAc,qCAAqC,CAAC;AACpD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yCAAyC,CAAC;AACxD,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,yDAAyD,CAAC;AACxE,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kEAAkE,CAAC;AACjF,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.js

@@ -1,4 +1,5 @@
 export * from "./blockmodules/AccountStateModule";
+export * from "./blockmodules/BlockHeightHook";
 export * from "./utils/ProvableHashList";
 export * from "./model/StateTransition";
 export * from "./model/StateTransitionProvableBatch";
@@ -11,18 +12,17 @@ export * from "./utils/PrefixedProvableHashList.js";
 export * from "./utils/utils";
 export * from "./prover/block/BlockProver";
 export * from "./prover/block/BlockProvable";
+export * from "./prover/block/BlockTransactionPosition";
 export * from "./prover/statetransition/StateTransitionProver";
 export * from "./prover/statetransition/StateTransitionProvable";
 export * from "./prover/statetransition/StateTransitionWitnessProvider";
-export * from "./utils/merkletree/MerkleTreeStore";
-export * from "./utils/merkletree/InMemoryMerkleTreeStorage";
-export * from "./utils/merkletree/RollupMerkleTree";
 export * from "./model/MethodPublicOutput";
 export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
 export * from "./protocol/Protocol";
 export * from "./protocol/ProtocolModule";
-export * from "./protocol/TransitioningProtocolModule";
+export * from "./protocol/ProtocolEnvironment";
 export * from "./protocol/ProvableTransactionHook";
+export * from "./protocol/ProvableBlockHook";
 export * from "./state/context/ProtocolMethodExecutionContext";
 export * from "./state/context/TransitionMethodExecutionContext";
 export * from "./state/context/RuntimeMethodExecutionContext";

package/dist/model/Option.d.ts

@@ -36,11 +36,36 @@ declare const ProvableOption_base: (new (value: {
 export declare class ProvableOption extends ProvableOption_base {
     toSome(): this;
 }
+export declare abstract class OptionBase {
+    isSome: Bool;
+    isForcedSome: Bool;
+    protected constructor(isSome: Bool, isForcedSome: Bool);
+    protected abstract encodeValueToFields(): Field[];
+    protected abstract clone(): OptionBase;
+    /**
+     * @returns Tree representation of the current value
+     */
+    get treeValue(): import("o1js/dist/node/lib/field").Field;
+    forceSome(): void;
+    /**
+     * Returns the `to`-value as decoded as a list of fields
+     * Not in circuit
+     */
+    toFields(): Field[];
+    /**
+     * @returns Provable representation of the current option.
+     */
+    toProvable(): ProvableOption;
+    toJSON(): {
+        isSome: boolean;
+        isForcedSome: boolean;
+        value: string[];
+    };
+}
 /**
  * Option facilitating in-circuit values that may or may not exist.
  */
-export declare class Option<Value> {
-    isSome: Bool;
+export declare class Option<Value> extends OptionBase {
     value: Value;
     valueType: FlexibleProvablePure<Value>;
     /**
@@ -64,32 +89,14 @@ export declare class Option<Value> {
      * @returns Empty / none option
      */
     static none(): Option<import("o1js/dist/node/lib/field").Field>;
-    isForcedSome: import("o1js/dist/node/lib/bool").Bool;
-    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>);
+    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>, isForcedSome?: import("o1js/dist/node/lib/bool").Bool);
+    encodeValueToFields(): Field[];
     clone(): Option<Value>;
-    forceSome(): void;
-    /**
-     * @returns Tree representation of the current value
-     */
-    get treeValue(): import("o1js/dist/node/lib/field").Field;
-    /**
-     * Returns the `to`-value as decoded as a list of fields
-     * Not in circuit
-     */
-    toFields(): Field[];
-    /**
-     * @returns Provable representation of the current option.
-     */
-    toProvable(): ProvableOption;
     /**
      * @returns Returns the value of this option if it isSome,
      * otherwise returns the given defaultValue
      */
     orElse(defaultValue: Value): Value;
-    toJSON(): {
-        isSome: boolean;
-        value: string;
-    };
 }
 export {};
 //# sourceMappingURL=Option.d.ts.map

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

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

package/dist/model/Option.js

@@ -8,10 +8,54 @@ export class ProvableOption extends Struct({
         return this;
     }
 }
+export class OptionBase {
+    constructor(isSome, isForcedSome) {
+        this.isSome = isSome;
+        this.isForcedSome = isForcedSome;
+    }
+    /**
+     * @returns Tree representation of the current value
+     */
+    get treeValue() {
+        const treeValue = Poseidon.hash(this.encodeValueToFields());
+        return Provable.if(this.isSome.and(this.isForcedSome.not()), treeValue, Field(0));
+    }
+    forceSome() {
+        this.isForcedSome = Provable.if(this.isSome, Bool(false), Bool(true));
+        this.isSome = Bool(true);
+    }
+    /**
+     * Returns the `to`-value as decoded as a list of fields
+     * Not in circuit
+     */
+    toFields() {
+        if (this.isSome.toBoolean()) {
+            return this.encodeValueToFields();
+        }
+        return [Field(0)];
+    }
+    /**
+     * @returns Provable representation of the current option.
+     */
+    toProvable() {
+        return new ProvableOption({
+            isSome: this.isSome,
+            value: this.treeValue,
+        });
+    }
+    toJSON() {
+        const value = this.encodeValueToFields().map((field) => field.toString());
+        return {
+            isSome: this.isSome.toBoolean(),
+            isForcedSome: this.isForcedSome.toBoolean(),
+            value,
+        };
+    }
+}
 /**
  * Option facilitating in-circuit values that may or may not exist.
  */
-export class Option {
+export class Option extends OptionBase {
     /**
      * Creates a new Option from the provided parameters
      *
@@ -39,44 +83,16 @@ export class Option {
     static none() {
         return new Option(Bool(false), Field(0), Field);
     }
-    constructor(isSome, value, valueType) {
-        this.isSome = isSome;
+    constructor(isSome, value, valueType, isForcedSome = Bool(false)) {
+        super(isSome, isForcedSome);
         this.value = value;
         this.valueType = valueType;
-        this.isForcedSome = Bool(false);
-    }
-    clone() {
-        return new Option(this.isSome, this.value, this.valueType);
     }
-    forceSome() {
-        this.isForcedSome = Provable.if(this.isSome, Bool(false), Bool(true));
-        this.isSome = Bool(true);
-    }
-    /**
-     * @returns Tree representation of the current value
-     */
-    get treeValue() {
-        const treeValue = Poseidon.hash(this.valueType.toFields(this.value));
-        return Provable.if(this.isSome.and(this.isForcedSome.not()), treeValue, Field(0));
+    encodeValueToFields() {
+        return this.valueType.toFields(this.value);
     }
-    /**
-     * Returns the `to`-value as decoded as a list of fields
-     * Not in circuit
-     */
-    toFields() {
-        if (this.isSome.toBoolean()) {
-            return this.valueType.toFields(this.value);
-        }
-        return [Field(0)];
-    }
-    /**
-     * @returns Provable representation of the current option.
-     */
-    toProvable() {
-        return new ProvableOption({
-            isSome: this.isSome,
-            value: this.treeValue,
-        });
+    clone() {
+        return new Option(this.isSome, this.value, this.valueType, this.isForcedSome);
     }
     /**
      * @returns Returns the value of this option if it isSome,
@@ -85,14 +101,4 @@ export class Option {
     orElse(defaultValue) {
         return Provable.if(this.isSome, this.valueType, this.value, defaultValue);
     }
-    toJSON() {
-        const valueContent = this.valueType
-            .toFields(this.value)
-            .map((field) => field.toString())
-            .reduce((a, b) => `${a}, ${b}`);
-        return {
-            isSome: this.isSome.toBoolean(),
-            value: `[${valueContent}]`,
-        };
-    }
 }

package/dist/model/StateTransition.d.ts

@@ -84,11 +84,13 @@ export declare class StateTransition<Value> {
         path: string;
         from: {
             isSome: boolean;
-            value: string;
+            isForcedSome: boolean;
+            value: string[];
         };
         to: {
             isSome: boolean;
-            value: string;
+            isForcedSome: boolean;
+            value: string[];
         };
     };
 }

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

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

package/dist/model/StateTransition.js

@@ -58,8 +58,8 @@ export class StateTransition {
     toJSON() {
         return {
             path: this.path.toString(),
-            from: this.from.toJSON(),
-            to: this.to.toJSON(),
+            from: this.fromValue.toJSON(),
+            to: this.toValue.toJSON(),
         };
     }
 }

package/dist/model/network/NetworkState.d.ts

@@ -59,6 +59,7 @@ declare const NetworkState_base: (new (value: {
 };
 export declare class NetworkState extends NetworkState_base {
     hash(): Field;
+    static empty(): NetworkState;
 }
 export {};
 //# sourceMappingURL=NetworkState.d.ts.map

package/dist/model/network/NetworkState.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEvD,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAEhC;IACO,IAAI,IAAI,KAAK;CAGrB"}
+{"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEvD,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAEhC;IACO,IAAI,IAAI,KAAK;WAIN,KAAK;CAOpB"}

package/dist/model/network/NetworkState.js

@@ -9,4 +9,11 @@ export class NetworkState extends Struct({
     hash() {
         return Poseidon.hash(CurrentBlock.toFields(this.block));
     }
+    static empty() {
+        return new NetworkState({
+            block: {
+                height: UInt64.zero,
+            },
+        });
+    }
 }