@proto-kit/protocol 0.1.1-develop.263 → 0.1.1-develop.298

package/dist/blockmodules/AccountStateModule.d.ts

@@ -1,4 +1,4 @@
-import { PublicKey, UInt64 } from "snarkyjs";
+import { PublicKey, UInt64 } from "o1js";
 import { BlockProverExecutionData } from "../prover/block/BlockProvable";
 import { StateMap } from "../state/StateMap";
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
@@ -8,14 +8,14 @@ declare const AccountState_base: (new (value: {
     nonce: UInt64;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
+} & import("o1js/dist/node/snarky").ProvablePure<{
     nonce: UInt64;
 }> & {
     toInput: (x: {
         nonce: UInt64;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
         nonce: UInt64;
@@ -30,7 +30,7 @@ declare const AccountState_base: (new (value: {
 };
 export declare class AccountState extends AccountState_base {
 }
-export declare class AccountStateModule extends ProvableTransactionHook {
+export declare class AccountStateModule extends ProvableTransactionHook<object> {
     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,UAAU,CAAC;AAE/D,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"}
+{"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;IAC7C,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CActE"}

package/dist/blockmodules/AccountStateModule.js

@@ -7,7 +7,7 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
 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 "snarkyjs";
+import { PublicKey, Struct, UInt64 } from "o1js";
 import { StateMap } from "../state/StateMap";
 import { protocolState } from "../state/protocol/ProtocolState";
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";

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 {
+export declare class NoopTransactionHook extends ProvableTransactionHook<object> {
     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;IACvD,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,CAAC,MAAM,CAAC;IAC/D,aAAa,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI;CAEpE"}

package/dist/model/MethodPublicOutput.d.ts

@@ -1,35 +1,35 @@
 declare const MethodPublicOutput_base: (new (value: {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    status: import("snarkyjs/dist/node/lib/bool").Bool;
-    transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    status: import("o1js/dist/node/lib/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/field").Field;
 }) => {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    status: import("snarkyjs/dist/node/lib/bool").Bool;
-    transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    status: import("o1js/dist/node/lib/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/field").Field;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    status: import("snarkyjs/dist/node/lib/bool").Bool;
-    transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    status: import("o1js/dist/node/lib/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/field").Field;
 }> & {
     toInput: (x: {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        status: import("snarkyjs/dist/node/lib/bool").Bool;
-        transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        status: import("o1js/dist/node/lib/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        status: import("snarkyjs/dist/node/lib/bool").Bool;
-        transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        status: import("o1js/dist/node/lib/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/field").Field;
     }) => {
         stateTransitionsHash: string;
         status: boolean;
@@ -42,10 +42,10 @@ declare const MethodPublicOutput_base: (new (value: {
         transactionHash: string;
         networkStateHash: string;
     }) => {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        status: import("snarkyjs/dist/node/lib/bool").Bool;
-        transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        status: import("o1js/dist/node/lib/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/field").Field;
     };
 };
 /**

package/dist/model/MethodPublicOutput.js

@@ -1,4 +1,4 @@
-import { Bool, Field, Struct } from "snarkyjs";
+import { Bool, Field, Struct } from "o1js";
 /**
  * Public input used to link in-circuit execution with
  * the proof's public input.

package/dist/model/Option.d.ts

@@ -1,26 +1,26 @@
-import { Bool, Field, type FlexibleProvablePure } from "snarkyjs";
+import { Bool, Field, type FlexibleProvablePure } from "o1js";
 declare const ProvableOption_base: (new (value: {
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
+    isSome: import("o1js/dist/node/lib/bool").Bool;
+    value: import("o1js/dist/node/lib/field").Field;
 }) => {
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
+    isSome: import("o1js/dist/node/lib/bool").Bool;
+    value: import("o1js/dist/node/lib/field").Field;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    isSome: import("o1js/dist/node/lib/bool").Bool;
+    value: import("o1js/dist/node/lib/field").Field;
 }> & {
     toInput: (x: {
-        isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/bool").Bool;
+        value: import("o1js/dist/node/lib/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/bool").Bool;
+        value: import("o1js/dist/node/lib/field").Field;
     }) => {
         isSome: boolean;
         value: string;
@@ -29,8 +29,8 @@ declare const ProvableOption_base: (new (value: {
         isSome: boolean;
         value: string;
     }) => {
-        isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/bool").Bool;
+        value: import("o1js/dist/node/lib/field").Field;
     };
 };
 export declare class ProvableOption extends ProvableOption_base {
@@ -63,15 +63,15 @@ export declare class Option<Value> {
     /**
      * @returns Empty / none option
      */
-    static none(): Option<import("snarkyjs/dist/node/lib/field").Field>;
-    isForcedSome: import("snarkyjs/dist/node/lib/bool").Bool;
+    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>);
     clone(): Option<Value>;
     forceSome(): void;
     /**
      * @returns Tree representation of the current value
      */
-    get treeValue(): import("snarkyjs/dist/node/lib/field").Field;
+    get treeValue(): import("o1js/dist/node/lib/field").Field;
     /**
      * Returns the `to`-value as decoded as a list of fields
      * Not in circuit

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,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElB,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,6CAAe;gBAGzB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAGxC,KAAK;IAIL,SAAS;IAKhB;;OAEG;IACH,IAAW,SAAS,iDAQnB;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;;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"}

package/dist/model/Option.js

@@ -1,4 +1,4 @@
-import { Bool, Field, Poseidon, Provable, Struct, } from "snarkyjs";
+import { Bool, Field, Poseidon, Provable, Struct, } from "o1js";
 export class ProvableOption extends Struct({
     isSome: Bool,
     value: Field,

package/dist/model/Path.d.ts

@@ -1,4 +1,4 @@
-import { Field, type FlexibleProvablePure } from "snarkyjs";
+import { Field, type FlexibleProvablePure } from "o1js";
 /**
  * Helps manage path (key) identifiers for key-values in trees.
  */
@@ -9,7 +9,7 @@ export declare class Path {
      * @param value
      * @returns Field representation of the provided value
      */
-    static toField(value: string): import("snarkyjs/dist/node/lib/field").Field;
+    static toField(value: string): import("o1js/dist/node/lib/field").Field;
     /**
      * Encodes a class name and its property name into a Field
      *

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

@@ -1 +1 @@
-{"version":3,"file":"Path.d.ts","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,KAAK,oBAAoB,EAAY,MAAM,UAAU,CAAC;AAItE;;GAEG;AACH,qBAAa,IAAI;IACf;;;;;OAKG;WACW,OAAO,CAAC,KAAK,EAAE,MAAM;IAInC;;;;;;OAMG;WACW,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,KAAK;IAQzE;;;;;;;OAOG;WACW,OAAO,CAAC,OAAO,EAC3B,IAAI,EAAE,KAAK,EACX,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,GAAG,EAAE,OAAO,GACX,KAAK;CAIT"}
+{"version":3,"file":"Path.d.ts","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,KAAK,oBAAoB,EAAY,MAAM,MAAM,CAAC;AAIlE;;GAEG;AACH,qBAAa,IAAI;IACf;;;;;OAKG;WACW,OAAO,CAAC,KAAK,EAAE,MAAM;IAInC;;;;;;OAMG;WACW,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,KAAK;IAQzE;;;;;;;OAOG;WACW,OAAO,CAAC,OAAO,EAC3B,IAAI,EAAE,KAAK,EACX,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,GAAG,EAAE,OAAO,GACX,KAAK;CAIT"}

package/dist/model/Path.js

@@ -1,6 +1,6 @@
 /* eslint-disable @typescript-eslint/no-extraneous-class */
 /* eslint-disable @shopify/no-fully-static-classes */
-import { Field, Poseidon } from "snarkyjs";
+import { Field, Poseidon } from "o1js";
 import { stringToField } from "../utils/utils";
 /**
  * Helps manage path (key) identifiers for key-values in trees.

package/dist/model/StateTransition.d.ts

@@ -1,30 +1,30 @@
-import { Field } from "snarkyjs";
+import { Field } from "o1js";
 import { Option, ProvableOption } from "./Option";
 declare const ProvableStateTransition_base: (new (value: {
-    path: import("snarkyjs/dist/node/lib/field").Field;
+    path: import("o1js/dist/node/lib/field").Field;
     from: ProvableOption;
     to: ProvableOption;
 }) => {
-    path: import("snarkyjs/dist/node/lib/field").Field;
+    path: import("o1js/dist/node/lib/field").Field;
     from: ProvableOption;
     to: ProvableOption;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    path: import("snarkyjs/dist/node/lib/field").Field;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    path: import("o1js/dist/node/lib/field").Field;
     from: ProvableOption;
     to: ProvableOption;
 }> & {
     toInput: (x: {
-        path: import("snarkyjs/dist/node/lib/field").Field;
+        path: import("o1js/dist/node/lib/field").Field;
         from: ProvableOption;
         to: ProvableOption;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        path: import("snarkyjs/dist/node/lib/field").Field;
+        path: import("o1js/dist/node/lib/field").Field;
         from: ProvableOption;
         to: ProvableOption;
     }) => {
@@ -49,7 +49,7 @@ declare const ProvableStateTransition_base: (new (value: {
             value: string;
         };
     }) => {
-        path: import("snarkyjs/dist/node/lib/field").Field;
+        path: import("o1js/dist/node/lib/field").Field;
         from: ProvableOption;
         to: ProvableOption;
     };
@@ -73,8 +73,8 @@ export declare class StateTransition<Value> {
     static from<Value>(path: Field, fromValue: Option<Value>): StateTransition<Value>;
     static fromTo<Value>(path: Field, fromValue: Option<Value>, toValue: Option<Value>): StateTransition<Value>;
     constructor(path: Field, fromValue: Option<Field> | Option<Value>, toValue: Option<Field> | Option<Value>);
-    get from(): Option<import("snarkyjs/dist/node/lib/field").Field> | Option<Value>;
-    get to(): Option<import("snarkyjs/dist/node/lib/field").Field> | Option<Value>;
+    get from(): Option<import("o1js/dist/node/lib/field").Field> | Option<Value>;
+    get to(): Option<import("o1js/dist/node/lib/field").Field> | Option<Value>;
     /**
      * Converts a StateTransition to a ProvableStateTransition,
      * while enforcing the 'from' property to be 'Some' in all cases.

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,UAAU,CAAC;AAEzC,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,yEAId;IAED,IAAW,EAAE,yEAEZ;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

@@ -1,4 +1,4 @@
-import { Field, Struct } from "snarkyjs";
+import { Field, Struct } from "o1js";
 import { Option, ProvableOption } from "./Option";
 /**
  * Provable representation of a State Transition, used to

package/dist/model/StateTransitionProvableBatch.d.ts

@@ -1,4 +1,4 @@
-import { Bool } from "snarkyjs";
+import { Bool } from "o1js";
 import { ProvableStateTransition } from "./StateTransition.js";
 export declare class StateTransitionType {
     static readonly normal = true;
@@ -7,29 +7,29 @@ export declare class StateTransitionType {
     static isProtocol(type: boolean): boolean;
 }
 declare const ProvableStateTransitionType_base: (new (value: {
-    type: import("snarkyjs/dist/node/lib/bool").Bool;
+    type: import("o1js/dist/node/lib/bool").Bool;
 }) => {
-    type: import("snarkyjs/dist/node/lib/bool").Bool;
+    type: import("o1js/dist/node/lib/bool").Bool;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    type: import("snarkyjs/dist/node/lib/bool").Bool;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    type: import("o1js/dist/node/lib/bool").Bool;
 }> & {
     toInput: (x: {
-        type: import("snarkyjs/dist/node/lib/bool").Bool;
+        type: import("o1js/dist/node/lib/bool").Bool;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        type: import("snarkyjs/dist/node/lib/bool").Bool;
+        type: import("o1js/dist/node/lib/bool").Bool;
     }) => {
         type: boolean;
     };
     fromJSON: (x: {
         type: boolean;
     }) => {
-        type: import("snarkyjs/dist/node/lib/bool").Bool;
+        type: import("o1js/dist/node/lib/bool").Bool;
     };
 };
 export declare class ProvableStateTransitionType extends ProvableStateTransitionType_base {
@@ -46,7 +46,7 @@ declare const StateTransitionProvableBatch_base: (new (value: {
     transitionTypes: ProvableStateTransitionType[];
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
+} & import("o1js/dist/node/snarky").ProvablePure<{
     batch: ProvableStateTransition[];
     transitionTypes: ProvableStateTransitionType[];
 }> & {
@@ -54,8 +54,8 @@ declare const StateTransitionProvableBatch_base: (new (value: {
         batch: ProvableStateTransition[];
         transitionTypes: ProvableStateTransitionType[];
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
         batch: ProvableStateTransition[];

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

@@ -1 +1 @@
-{"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,UAAU,CAAC;AAKlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,qBAAa,mBAAmB;IAC9B,gBAAuB,MAAM,QAAQ;IAErC,gBAAuB,QAAQ,SAAS;WAE1B,QAAQ,CAAC,IAAI,EAAE,OAAO;WAItB,UAAU,CAAC,IAAI,EAAE,OAAO;CAGvC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,2BAA4B,SAAQ,gCAE/C;IACA,WAAkB,MAAM,IAAI,2BAA2B,CAItD;IAED,WAAkB,QAAQ,IAAI,2BAA2B,CAIxD;IAEM,QAAQ,IAAI,IAAI;IAIhB,UAAU,IAAI,IAAI;CAG1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,iCAUhD;WACc,YAAY,CACxB,WAAW,EAAE;QACX,UAAU,EAAE,uBAAuB,CAAC;QACpC,IAAI,EAAE,2BAA2B,CAAC;KACnC,EAAE,GACF,4BAA4B;WAyBjB,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,EACtC,mBAAmB,EAAE,uBAAuB,EAAE,GAC7C,4BAA4B;IAsB/B,OAAO;CAMR"}
+{"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,MAAM,CAAC;AAK9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D,qBAAa,mBAAmB;IAC9B,gBAAuB,MAAM,QAAQ;IAErC,gBAAuB,QAAQ,SAAS;WAE1B,QAAQ,CAAC,IAAI,EAAE,OAAO;WAItB,UAAU,CAAC,IAAI,EAAE,OAAO;CAGvC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,2BAA4B,SAAQ,gCAE/C;IACA,WAAkB,MAAM,IAAI,2BAA2B,CAItD;IAED,WAAkB,QAAQ,IAAI,2BAA2B,CAIxD;IAEM,QAAQ,IAAI,IAAI;IAIhB,UAAU,IAAI,IAAI;CAG1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,iCAUhD;WACc,YAAY,CACxB,WAAW,EAAE;QACX,UAAU,EAAE,uBAAuB,CAAC;QACpC,IAAI,EAAE,2BAA2B,CAAC;KACnC,EAAE,GACF,4BAA4B;WAyBjB,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,EACtC,mBAAmB,EAAE,uBAAuB,EAAE,GAC7C,4BAA4B;IAsB/B,OAAO;CAMR"}

package/dist/model/StateTransitionProvableBatch.js

@@ -1,4 +1,4 @@
-import { Bool, Provable, Struct } from "snarkyjs";
+import { Bool, Provable, Struct } from "o1js";
 import { range } from "@proto-kit/common";
 import { constants } from "../Constants";
 import { ProvableStateTransition } from "./StateTransition.js";

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

@@ -1,18 +1,18 @@
-import { Field, UInt64 } from "snarkyjs";
+import { Field, UInt64 } from "o1js";
 declare const CurrentBlock_base: (new (value: {
     height: UInt64;
 }) => {
     height: UInt64;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
+} & import("o1js/dist/node/snarky").ProvablePure<{
     height: UInt64;
 }> & {
     toInput: (x: {
         height: UInt64;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
         height: UInt64;
@@ -33,14 +33,14 @@ declare const NetworkState_base: (new (value: {
     block: CurrentBlock;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
+} & import("o1js/dist/node/snarky").ProvablePure<{
     block: CurrentBlock;
 }> & {
     toInput: (x: {
         block: CurrentBlock;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
         block: CurrentBlock;

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,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE3D,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;CAGrB"}

package/dist/model/network/NetworkState.js

@@ -1,4 +1,4 @@
-import { Poseidon, Struct, UInt64 } from "snarkyjs";
+import { Poseidon, Struct, UInt64 } from "o1js";
 export class CurrentBlock extends Struct({
     height: UInt64,
 }) {

package/dist/model/transaction/ProtocolTransaction.d.ts

@@ -1,40 +1,40 @@
-import { Bool, Field, PublicKey, Signature, UInt64 } from "snarkyjs";
+import { Bool, Field, PublicKey, Signature, UInt64 } from "o1js";
 declare const ProtocolTransaction_base: (new (value: {
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
+    methodId: import("o1js/dist/node/lib/field").Field;
     nonce: UInt64;
     sender: PublicKey;
-    argsHash: import("snarkyjs/dist/node/lib/field").Field;
+    argsHash: import("o1js/dist/node/lib/field").Field;
     signature: Signature;
 }) => {
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
+    methodId: import("o1js/dist/node/lib/field").Field;
     nonce: UInt64;
     sender: PublicKey;
-    argsHash: import("snarkyjs/dist/node/lib/field").Field;
+    argsHash: import("o1js/dist/node/lib/field").Field;
     signature: Signature;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    methodId: import("o1js/dist/node/lib/field").Field;
     nonce: UInt64;
     sender: PublicKey;
-    argsHash: import("snarkyjs/dist/node/lib/field").Field;
+    argsHash: import("o1js/dist/node/lib/field").Field;
     signature: Signature;
 }> & {
     toInput: (x: {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/field").Field;
         nonce: UInt64;
         sender: PublicKey;
-        argsHash: import("snarkyjs/dist/node/lib/field").Field;
+        argsHash: import("o1js/dist/node/lib/field").Field;
         signature: Signature;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/field").Field;
         nonce: UInt64;
         sender: PublicKey;
-        argsHash: import("snarkyjs/dist/node/lib/field").Field;
+        argsHash: import("o1js/dist/node/lib/field").Field;
         signature: Signature;
     }) => {
         methodId: string;
@@ -50,10 +50,10 @@ declare const ProtocolTransaction_base: (new (value: {
         argsHash: string;
         signature: any;
     }) => {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/field").Field;
         nonce: UInt64;
         sender: PublicKey;
-        argsHash: import("snarkyjs/dist/node/lib/field").Field;
+        argsHash: import("o1js/dist/node/lib/field").Field;
         signature: Signature;
     };
 };

package/dist/model/transaction/ProtocolTransaction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProtocolTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ProtocolTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE7E,qBAAa,mBAAoB,SAAQ,wBAMvC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;IAIJ,gBAAgB,IAAI,KAAK,EAAE;IAI3B,iBAAiB,IAAI,IAAI;CAGjC"}
+{"version":3,"file":"ProtocolTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ProtocolTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEzE,qBAAa,mBAAoB,SAAQ,wBAMvC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;IAIJ,gBAAgB,IAAI,KAAK,EAAE;IAI3B,iBAAiB,IAAI,IAAI;CAGjC"}

package/dist/model/transaction/ProtocolTransaction.js

@@ -1,4 +1,4 @@
-import { Field, PublicKey, Signature, Struct, UInt64 } from "snarkyjs";
+import { Field, PublicKey, Signature, Struct, UInt64 } from "o1js";
 export class ProtocolTransaction extends Struct({
     methodId: Field,
     nonce: UInt64,

package/dist/model/transaction/RuntimeTransaction.d.ts

@@ -1,37 +1,37 @@
-import { Field, PublicKey, UInt64 } from "snarkyjs";
+import { Field, PublicKey, UInt64 } from "o1js";
 import { ProtocolTransaction } from "./ProtocolTransaction";
 declare const RuntimeTransaction_base: (new (value: {
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
+    methodId: import("o1js/dist/node/lib/field").Field;
     nonce: UInt64;
     sender: PublicKey;
-    argsHash: import("snarkyjs/dist/node/lib/field").Field;
+    argsHash: import("o1js/dist/node/lib/field").Field;
 }) => {
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
+    methodId: import("o1js/dist/node/lib/field").Field;
     nonce: UInt64;
     sender: PublicKey;
-    argsHash: import("snarkyjs/dist/node/lib/field").Field;
+    argsHash: import("o1js/dist/node/lib/field").Field;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    methodId: import("o1js/dist/node/lib/field").Field;
     nonce: UInt64;
     sender: PublicKey;
-    argsHash: import("snarkyjs/dist/node/lib/field").Field;
+    argsHash: import("o1js/dist/node/lib/field").Field;
 }> & {
     toInput: (x: {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/field").Field;
         nonce: UInt64;
         sender: PublicKey;
-        argsHash: import("snarkyjs/dist/node/lib/field").Field;
+        argsHash: import("o1js/dist/node/lib/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/field").Field;
         nonce: UInt64;
         sender: PublicKey;
-        argsHash: import("snarkyjs/dist/node/lib/field").Field;
+        argsHash: import("o1js/dist/node/lib/field").Field;
     }) => {
         methodId: string;
         nonce: string;
@@ -44,10 +44,10 @@ declare const RuntimeTransaction_base: (new (value: {
         sender: string;
         argsHash: string;
     }) => {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/field").Field;
         nonce: UInt64;
         sender: PublicKey;
-        argsHash: import("snarkyjs/dist/node/lib/field").Field;
+        argsHash: import("o1js/dist/node/lib/field").Field;
     };
 };
 /**