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

package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts

@@ -0,0 +1,16 @@
+import type { Field } from "o1js";
+import { RollupMerkleTreeWitness } from "@proto-kit/common";
+/**
+ * Interface for providing merkle witnesses to the state-transition prover
+ */
+export interface StateTransitionWitnessProvider {
+    /**
+     * Provides the merkle witness corresponding to the given key
+     * @param key Merkle-tree key
+     */
+    getWitness: (key: Field) => RollupMerkleTreeWitness;
+}
+export declare class NoOpStateTransitionWitnessProvider implements StateTransitionWitnessProvider {
+    getWitness(): RollupMerkleTreeWitness;
+}
+//# sourceMappingURL=StateTransitionWitnessProvider.d.ts.map

package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateTransitionWitnessProvider.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProvider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAElC,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,UAAU,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,uBAAuB,CAAC;CACrD;AAED,qBACa,kCACX,YAAW,8BAA8B;IAElC,UAAU,IAAI,uBAAuB;CAG7C"}

package/dist/prover/statetransition/StateTransitionWitnessProvider.js

@@ -0,0 +1,16 @@
+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 { injectable } from "tsyringe";
+import { RollupMerkleTreeWitness } from "@proto-kit/common";
+export let NoOpStateTransitionWitnessProvider = class NoOpStateTransitionWitnessProvider {
+    getWitness() {
+        return new RollupMerkleTreeWitness({ path: [], isLeft: [] });
+    }
+};
+NoOpStateTransitionWitnessProvider = __decorate([
+    injectable()
+], NoOpStateTransitionWitnessProvider);

package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts

@@ -0,0 +1,7 @@
+import { StateTransitionWitnessProvider } from "./StateTransitionWitnessProvider";
+export declare class StateTransitionWitnessProviderReference {
+    private witnessProvider?;
+    setWitnessProvider(provider: StateTransitionWitnessProvider): void;
+    getWitnessProvider(): StateTransitionWitnessProvider | undefined;
+}
+//# sourceMappingURL=StateTransitionWitnessProviderReference.d.ts.map

package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateTransitionWitnessProviderReference.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProviderReference.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF,qBAEa,uCAAuC;IAClD,OAAO,CAAC,eAAe,CAAC,CAAiC;IAElD,kBAAkB,CAAC,QAAQ,EAAE,8BAA8B;IAI3D,kBAAkB,IAAI,8BAA8B,GAAG,SAAS;CAGxE"}

package/dist/prover/statetransition/StateTransitionWitnessProviderReference.js

@@ -0,0 +1,19 @@
+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 { injectable, Lifecycle, scoped } from "tsyringe";
+export let StateTransitionWitnessProviderReference = class StateTransitionWitnessProviderReference {
+    setWitnessProvider(provider) {
+        this.witnessProvider = provider;
+    }
+    getWitnessProvider() {
+        return this.witnessProvider;
+    }
+};
+StateTransitionWitnessProviderReference = __decorate([
+    injectable(),
+    scoped(Lifecycle.ContainerScoped)
+], StateTransitionWitnessProviderReference);

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

@@ -0,0 +1,22 @@
+import { StateTransition } from "../../model/StateTransition";
+import { TransitionMethodExecutionContext, TransitionMethodExecutionResult } from "./TransitionMethodExecutionContext";
+export declare class ProtocolMethodExecutionContext implements TransitionMethodExecutionContext {
+    result: TransitionMethodExecutionResult;
+    /**
+     * 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=ProtocolMethodExecutionContext.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ProtocolMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/ProtocolMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,EACL,gCAAgC,EAChC,+BAA+B,EAChC,MAAM,oCAAoC,CAAC;AAE5C,qBAAa,8BACX,YAAW,gCAAgC;IAEpC,MAAM,kCAAyC;IAEtD;;;OAGG;IACI,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC;IAIxE;;OAEG;IACI,KAAK;IAIZ;;;OAGG;IACI,OAAO;;;CAKf"}

package/dist/state/context/ProtocolMethodExecutionContext.js

@@ -0,0 +1,28 @@
+import { TransitionMethodExecutionResult, } from "./TransitionMethodExecutionContext";
+export class ProtocolMethodExecutionContext {
+    constructor() {
+        this.result = new TransitionMethodExecutionResult();
+    }
+    /**
+     * Adds an in-method generated state transition to the current context
+     * @param stateTransition - State transition to add to the context
+     */
+    addStateTransition(stateTransition) {
+        this.result.stateTransitions.push(stateTransition);
+    }
+    /**
+     * Manually clears/resets the execution context
+     */
+    clear() {
+        this.result = new TransitionMethodExecutionResult();
+    }
+    /**
+     * Had to override current() otherwise it would not infer
+     * the type of result correctly (parent type would be reused)
+     */
+    current() {
+        return {
+            result: this.result,
+        };
+    }
+}

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.1314+16839b95",
+  "version": "0.1.1-develop.1315+6f08e29d",
   "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": "16839b95d5f3f1066ca23693c71c96d7c183ccf3"
+  "gitHead": "6f08e29dcb3080d1afdba04f6f875eab5827da0d"
 }