@proto-kit/protocol 0.1.1-develop.1661 → 0.1.1-develop.1665

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.1661+ec6f5592",
+  "version": "0.1.1-develop.1665+66550e65",
   "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": "ec6f55921b35d7faaab233f1ca9cf591c6263d01"
+  "gitHead": "66550e6515f3194fc9495f4474f3a08bb24a6130"
 }

package/dist/settlement/messages/Withdrawal.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=Withdrawal.d.ts.map

package/dist/settlement/messages/Withdrawal.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Withdrawal.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/Withdrawal.ts"],"names":[],"mappings":""}

package/dist/settlement/messages/Withdrawal.js

@@ -1,3 +0,0 @@
-export {};
-// TODO Remove
-//# sourceMappingURL=Withdrawal.js.map

package/dist/settlement/messages/Withdrawal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Withdrawal.js","sourceRoot":"","sources":["../../../src/settlement/messages/Withdrawal.ts"],"names":[],"mappings":";AAGA,cAAc"}

package/dist/state/SimpleAsyncStateService.d.ts

@@ -1,6 +0,0 @@
-import { Field } from "o1js";
-export interface SimpleAsyncStateService {
-    get: (key: Field) => Promise<Field[] | undefined>;
-    set: (key: Field, value: Field[] | undefined) => Promise<void>;
-}
-//# sourceMappingURL=SimpleAsyncStateService.d.ts.map

package/dist/state/SimpleAsyncStateService.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"SimpleAsyncStateService.d.ts","sourceRoot":"","sources":["../../src/state/SimpleAsyncStateService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAE7B,MAAM,WAAW,uBAAuB;IACtC,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,OAAO,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,CAAC;IAClD,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAChE"}

package/dist/state/SimpleAsyncStateService.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=SimpleAsyncStateService.js.map

package/dist/state/SimpleAsyncStateService.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"SimpleAsyncStateService.js","sourceRoot":"","sources":["../../src/state/SimpleAsyncStateService.ts"],"names":[],"mappings":""}

package/dist/utils/StateTransitionReductionList.d.ts

@@ -1,11 +0,0 @@
-import { ProvableStateTransition, StateTransition } from "../model/StateTransition";
-import { ProvableReductionHashList } from "./ProvableReductionHashList";
-export declare class StateTransitionReductionList extends ProvableReductionHashList<ProvableStateTransition> {
-    push(value: ProvableStateTransition): this;
-    pushWithMetadata(value: ProvableStateTransition): {
-        popLast: import("o1js/dist/node/lib/provable/bool").Bool;
-        value: ProvableStateTransition;
-    };
-}
-export declare function reduceStateTransitions(transitions: StateTransition<unknown>[]): StateTransition<unknown>[];
-//# sourceMappingURL=StateTransitionReductionList.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"StateTransitionReductionList.d.ts","sourceRoot":"","sources":["../../src/utils/StateTransitionReductionList.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,uBAAuB,EACvB,eAAe,EAChB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,qBAAa,4BAA6B,SAAQ,yBAAyB,CAAC,uBAAuB,CAAC;IAC3F,IAAI,CAAC,KAAK,EAAE,uBAAuB;IAMnC,gBAAgB,CAAC,KAAK,EAAE,uBAAuB;;;;CAyCvD;AAED,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,GACtC,eAAe,CAAC,OAAO,CAAC,EAAE,CA0B5B"}

package/dist/utils/StateTransitionReductionList.js

@@ -1,61 +0,0 @@
-import { Provable } from "o1js";
-import { ProvableOption } from "../model/Option";
-import { ProvableStateTransition, StateTransition, } from "../model/StateTransition";
-import { ProvableReductionHashList } from "./ProvableReductionHashList";
-export class StateTransitionReductionList extends ProvableReductionHashList {
-    push(value) {
-        this.pushWithMetadata(value);
-        return this;
-    }
-    pushWithMetadata(value) {
-        return this.pushAndReduce(value, (previous) => {
-            const pathsMatch = previous.path.equals(value.path);
-            // Take the previous.from if the paths match, otherwise leave ST as is
-            const from = Provable.if(pathsMatch, ProvableOption, previous.from, value.from);
-            // In case we have a layout like
-            // { from: 5, to: 10 }, { from: 10, to: none }
-            // we just take the first and discard the second
-            const to = Provable.if(value.to.isSome.or(pathsMatch.not()), ProvableOption, value.to, previous.to);
-            const transition = new ProvableStateTransition({
-                path: value.path,
-                from: new ProvableOption(from),
-                to: new ProvableOption(to),
-            });
-            // Assert that connection is correct
-            previous.to.value
-                .equals(value.from.value)
-                .or(previous.to.isSome
-                .not()
-                .and(previous.from.value.equals(value.from.value)))
-                .or(pathsMatch.not())
-                .assertTrue();
-            return [transition, pathsMatch];
-        });
-    }
-}
-export function reduceStateTransitions(transitions) {
-    const reduced = [];
-    transitions.forEach((st) => {
-        if (reduced.length === 0) {
-            reduced.push(st);
-            return;
-        }
-        const last = reduced.at(-1);
-        if (last.path.equals(st.path).toBoolean()) {
-            if (st.toValue.isSome.toBoolean()) {
-                reduced.pop();
-                reduced.push(new StateTransition(st.path, last.fromValue, st.toValue));
-            }
-            else {
-                // Do nothing, because we discard that ST
-                // { from: 5, to: 10 }, { from: 10, to: none }
-                // cancel the 2nd
-            }
-        }
-        else {
-            reduced.push(st);
-        }
-    });
-    return reduced;
-}
-//# sourceMappingURL=StateTransitionReductionList.js.map

package/dist/utils/StateTransitionReductionList.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"StateTransitionReductionList.js","sourceRoot":"","sources":["../../src/utils/StateTransitionReductionList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EACL,uBAAuB,EACvB,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,OAAO,4BAA6B,SAAQ,yBAAkD;IAC3F,IAAI,CAAC,KAA8B;QACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAE7B,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,gBAAgB,CAAC,KAA8B;QACpD,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,QAAiC,EAAE,EAAE;YACrE,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAEpD,sEAAsE;YACtE,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CACtB,UAAU,EACV,cAAc,EACd,QAAQ,CAAC,IAAI,EACb,KAAK,CAAC,IAAI,CACX,CAAC;YACF,gCAAgC;YAChC,8CAA8C;YAC9C,gDAAgD;YAChD,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CACpB,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EACpC,cAAc,EACd,KAAK,CAAC,EAAE,EACR,QAAQ,CAAC,EAAE,CACZ,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,uBAAuB,CAAC;gBAC7C,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,IAAI,cAAc,CAAC,IAAI,CAAC;gBAC9B,EAAE,EAAE,IAAI,cAAc,CAAC,EAAE,CAAC;aAC3B,CAAC,CAAC;YAEH,oCAAoC;YACpC,QAAQ,CAAC,EAAE,CAAC,KAAK;iBACd,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;iBACxB,EAAE,CACD,QAAQ,CAAC,EAAE,CAAC,MAAM;iBACf,GAAG,EAAE;iBACL,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACrD;iBACA,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;iBACpB,UAAU,EAAE,CAAC;YAEhB,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,UAAU,sBAAsB,CACpC,WAAuC;IAEvC,MAAM,OAAO,GAA+B,EAAE,CAAC;IAE/C,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;QACzB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;YACxB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,OAAO;SACR;QAED,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACzC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE;gBACjC,OAAO,CAAC,GAAG,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CACV,IAAI,eAAe,CAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAClE,CAAC;aACH;iBAAM;gBACL,yCAAyC;gBACzC,8CAA8C;gBAC9C,iBAAiB;aAClB;SACF;aAAM;YACL,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAClB;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC"}