@proto-kit/module 0.1.1-develop.1665 → 0.1.1-develop.1689
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/messages/OutgoingMessage.d.ts +96 -0
- package/dist/messages/OutgoingMessage.d.ts.map +1 -0
- package/dist/messages/OutgoingMessage.js +68 -0
- package/dist/messages/OutgoingMessage.js.map +1 -0
- package/dist/messages/OutgoingMessages.d.ts +16 -0
- package/dist/messages/OutgoingMessages.d.ts.map +1 -1
- package/dist/method/MethodParameterEncoder.d.ts +2 -2
- package/dist/method/MethodParameterEncoder.d.ts.map +1 -1
- package/dist/method/MethodParameterEncoder.js +1 -1
- package/dist/method/MethodParameterEncoder.js.map +1 -1
- package/dist/runtime/Runtime.d.ts.map +1 -1
- package/dist/runtime/Runtime.js +11 -1
- package/dist/runtime/Runtime.js.map +1 -1
- package/dist/state/decorator.d.ts +7 -0
- package/dist/state/decorator.d.ts.map +1 -0
- package/dist/state/decorator.js +40 -0
- package/dist/state/decorator.js.map +1 -0
- package/dist/testing/TestingRuntime.d.ts +8 -0
- package/dist/testing/TestingRuntime.d.ts.map +1 -0
- package/dist/testing/TestingRuntime.js +31 -0
- package/dist/testing/TestingRuntime.js.map +1 -0
- package/package.json +3 -3
- package/src/method/MethodParameterEncoder.ts +6 -4
- package/src/runtime/Runtime.ts +14 -1
- package/test/method/MethodParameterEncoder.test.ts +5 -3
- package/test/method/runtimeMethod-fail.test.ts +4 -2
|
@@ -0,0 +1,96 @@
|
|
|
1
|
+
import { Field, FlexibleProvablePure, InferProvable } from "o1js";
|
|
2
|
+
import { state, WithPath, WithStateServiceProvider } from "@proto-kit/protocol";
|
|
3
|
+
import { StringKeyOf } from "@proto-kit/common";
|
|
4
|
+
declare const OutgoingMessageKeyStruct_base: (new (value: {
|
|
5
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
6
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
7
|
+
}) => {
|
|
8
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
9
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
10
|
+
}) & {
|
|
11
|
+
_isStruct: true;
|
|
12
|
+
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
|
|
13
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
14
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
15
|
+
}, {
|
|
16
|
+
index: bigint;
|
|
17
|
+
tokenId: bigint;
|
|
18
|
+
}>, "fromFields"> & {
|
|
19
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
20
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
21
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
22
|
+
};
|
|
23
|
+
} & {
|
|
24
|
+
fromValue: (value: {
|
|
25
|
+
index: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
26
|
+
tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
|
27
|
+
}) => {
|
|
28
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
29
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
30
|
+
};
|
|
31
|
+
toInput: (x: {
|
|
32
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
33
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
34
|
+
}) => {
|
|
35
|
+
fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
|
|
36
|
+
packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
|
|
37
|
+
};
|
|
38
|
+
toJSON: (x: {
|
|
39
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
40
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
41
|
+
}) => {
|
|
42
|
+
index: string;
|
|
43
|
+
tokenId: string;
|
|
44
|
+
};
|
|
45
|
+
fromJSON: (x: {
|
|
46
|
+
index: string;
|
|
47
|
+
tokenId: string;
|
|
48
|
+
}) => {
|
|
49
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
50
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
51
|
+
};
|
|
52
|
+
empty: () => {
|
|
53
|
+
index: import("o1js/dist/node/lib/provable/field").Field;
|
|
54
|
+
tokenId: import("o1js/dist/node/lib/provable/field").Field;
|
|
55
|
+
};
|
|
56
|
+
};
|
|
57
|
+
export declare class OutgoingMessageKeyStruct extends OutgoingMessageKeyStruct_base {
|
|
58
|
+
}
|
|
59
|
+
export type OutgoingMessage<T> = {
|
|
60
|
+
key: OutgoingMessageKeyStruct;
|
|
61
|
+
value: T;
|
|
62
|
+
type: Field;
|
|
63
|
+
};
|
|
64
|
+
export type OutgoingMessagesRecord = Record<string, FlexibleProvablePure<any>>;
|
|
65
|
+
export declare const OUTGOING_MESSAGE_BASE_PATH: import("o1js/dist/node/lib/provable/field").Field;
|
|
66
|
+
export declare const OUTGOING_MESSAGE_COUNTER_PATH: import("o1js/dist/node/lib/provable/field").Field;
|
|
67
|
+
export declare const outgoingMessage: typeof state;
|
|
68
|
+
declare const OutgoingMessages_base: import("ts-mixer/dist/types/types").Class<any[], WithPath & WithStateServiceProvider, typeof WithPath & typeof WithStateServiceProvider>;
|
|
69
|
+
export declare class OutgoingMessages<Messages extends OutgoingMessagesRecord> extends OutgoingMessages_base {
|
|
70
|
+
private readonly messages;
|
|
71
|
+
readonly eventTypes: Record<string, {
|
|
72
|
+
valueType: FlexibleProvablePure<any>;
|
|
73
|
+
completeType: FlexibleProvablePure<{
|
|
74
|
+
key: OutgoingMessageKeyStruct;
|
|
75
|
+
value: any;
|
|
76
|
+
type: Field;
|
|
77
|
+
}>;
|
|
78
|
+
}>;
|
|
79
|
+
constructor(messages: Messages);
|
|
80
|
+
private counterState;
|
|
81
|
+
static getEventName(key: string): string;
|
|
82
|
+
computeEventTypes(): {
|
|
83
|
+
[k: string]: {
|
|
84
|
+
valueType: FlexibleProvablePure<any>;
|
|
85
|
+
completeType: FlexibleProvablePure<{
|
|
86
|
+
key: OutgoingMessageKeyStruct;
|
|
87
|
+
value: any;
|
|
88
|
+
type: Field;
|
|
89
|
+
}>;
|
|
90
|
+
};
|
|
91
|
+
};
|
|
92
|
+
private emitEvent;
|
|
93
|
+
emitMessage<Key extends StringKeyOf<Messages>>(key: Key, value: InferProvable<Messages[Key]>, tokenId?: Field): Promise<void>;
|
|
94
|
+
}
|
|
95
|
+
export {};
|
|
96
|
+
//# sourceMappingURL=OutgoingMessage.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"OutgoingMessage.d.ts","sourceRoot":"","sources":["../../src/messages/OutgoingMessage.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,oBAAoB,EACpB,aAAa,EAGd,MAAM,MAAM,CAAC;AACd,OAAO,EAEL,KAAK,EAEL,QAAQ,EACR,wBAAwB,EACzB,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAAiB,WAAW,EAAE,MAAM,mBAAmB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG/D,qBAAa,wBAAyB,SAAQ,6BAG5C;CAAG;AAEL,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI;IAC/B,GAAG,EAAE,wBAAwB,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC;IACT,IAAI,EAAE,KAAK,CAAC;CACb,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/E,eAAO,MAAM,0BAA0B,mDAEtC,CAAC;AAEF,eAAO,MAAM,6BAA6B,mDAEzC,CAAC;AAEF,eAAO,MAAM,eAAe,cAAQ,CAAC;;AAErC,qBAAa,gBAAgB,CAC3B,QAAQ,SAAS,sBAAsB,CACvC,SAAQ,qBAAyC;IAa9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAZ5C,SAAgB,UAAU,EAAE,MAAM,CAChC,MAAM,EACN;QACE,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACrC,YAAY,EAAE,oBAAoB,CAAC;YACjC,GAAG,EAAE,wBAAwB,CAAC;YAC9B,KAAK,EAAE,GAAG,CAAC;YACX,IAAI,EAAE,KAAK,CAAC;SACb,CAAC,CAAC;KACJ,CACF,CAAC;gBAEkC,QAAQ,EAAE,QAAQ;IAKtD,OAAO,CAAC,YAAY;WAON,YAAY,CAAC,GAAG,EAAE,MAAM;IAI/B,iBAAiB;;;;qBAcP,wBAAwB;uBACtB,GAAG;sBACJ,KAAK;;;;IAQvB,OAAO,CAAC,SAAS;IAeJ,WAAW,CAAC,GAAG,SAAS,WAAW,CAAC,QAAQ,CAAC,EACxD,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EACnC,OAAO,GAAE,KAAuB;CAmBnC"}
|
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
import { Field, Struct, TokenId, } from "o1js";
|
|
2
|
+
import { RuntimeMethodExecutionContext, state, StateMap, WithPath, WithStateServiceProvider, } from "@proto-kit/protocol";
|
|
3
|
+
// eslint-disable-next-line import/no-extraneous-dependencies
|
|
4
|
+
import { Mixin } from "ts-mixer";
|
|
5
|
+
import { prefixToField } from "@proto-kit/common";
|
|
6
|
+
import { container } from "tsyringe";
|
|
7
|
+
export class OutgoingMessageKeyStruct extends Struct({
|
|
8
|
+
index: Field,
|
|
9
|
+
tokenId: Field,
|
|
10
|
+
}) {
|
|
11
|
+
}
|
|
12
|
+
export const OUTGOING_MESSAGE_BASE_PATH = prefixToField("outgoing-message-base-path");
|
|
13
|
+
export const OUTGOING_MESSAGE_COUNTER_PATH = prefixToField("outgoing-message-base-path");
|
|
14
|
+
export const outgoingMessage = state;
|
|
15
|
+
export class OutgoingMessages extends Mixin(WithPath, WithStateServiceProvider) {
|
|
16
|
+
constructor(messages) {
|
|
17
|
+
super();
|
|
18
|
+
this.messages = messages;
|
|
19
|
+
this.eventTypes = this.computeEventTypes();
|
|
20
|
+
}
|
|
21
|
+
counterState() {
|
|
22
|
+
const state = new StateMap(Field, Field);
|
|
23
|
+
state.path = OUTGOING_MESSAGE_COUNTER_PATH;
|
|
24
|
+
state.stateServiceProvider = this.stateServiceProvider;
|
|
25
|
+
return state;
|
|
26
|
+
}
|
|
27
|
+
static getEventName(key) {
|
|
28
|
+
return `outgoing-${key}`;
|
|
29
|
+
}
|
|
30
|
+
computeEventTypes() {
|
|
31
|
+
return Object.fromEntries(Object.entries(this.messages).map(([key, type]) => {
|
|
32
|
+
class OutgoingMessageStruct extends Struct({
|
|
33
|
+
key: OutgoingMessageKeyStruct,
|
|
34
|
+
value: type,
|
|
35
|
+
type: Field,
|
|
36
|
+
}) {
|
|
37
|
+
}
|
|
38
|
+
return [
|
|
39
|
+
OutgoingMessages.getEventName(key),
|
|
40
|
+
{
|
|
41
|
+
valueType: type,
|
|
42
|
+
completeType: OutgoingMessageStruct,
|
|
43
|
+
},
|
|
44
|
+
];
|
|
45
|
+
}));
|
|
46
|
+
}
|
|
47
|
+
emitEvent(key, value) {
|
|
48
|
+
const eventName = OutgoingMessages.getEventName(key);
|
|
49
|
+
const outgoingMessageType = this.eventTypes[eventName].completeType;
|
|
50
|
+
return container
|
|
51
|
+
.resolve(RuntimeMethodExecutionContext)
|
|
52
|
+
.addEvent(outgoingMessageType, value, eventName);
|
|
53
|
+
}
|
|
54
|
+
async emitMessage(key, value, tokenId = TokenId.default) {
|
|
55
|
+
const stateMap = new StateMap(OutgoingMessageKeyStruct, this.messages[key]);
|
|
56
|
+
stateMap.path = OUTGOING_MESSAGE_BASE_PATH;
|
|
57
|
+
stateMap.stateServiceProvider = this.stateServiceProvider;
|
|
58
|
+
const counterState = this.counterState();
|
|
59
|
+
const counterOption = await counterState.get(tokenId);
|
|
60
|
+
const counter = counterOption.orElse(Field(0));
|
|
61
|
+
const messageKey = { index: counter, tokenId };
|
|
62
|
+
await stateMap.set(messageKey, value);
|
|
63
|
+
await counterState.set(tokenId, counter.add(1));
|
|
64
|
+
const type = prefixToField(key);
|
|
65
|
+
this.emitEvent(key, { key: messageKey, value, type });
|
|
66
|
+
}
|
|
67
|
+
}
|
|
68
|
+
//# sourceMappingURL=OutgoingMessage.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"OutgoingMessage.js","sourceRoot":"","sources":["../../src/messages/OutgoingMessage.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EAGL,MAAM,EACN,OAAO,GACR,MAAM,MAAM,CAAC;AACd,OAAO,EACL,6BAA6B,EAC7B,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,6DAA6D;AAC7D,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,aAAa,EAAe,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,MAAM,OAAO,wBAAyB,SAAQ,MAAM,CAAC;IACnD,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,KAAK;CACf,CAAC;CAAG;AAUL,MAAM,CAAC,MAAM,0BAA0B,GAAG,aAAa,CACrD,4BAA4B,CAC7B,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,aAAa,CACxD,4BAA4B,CAC7B,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,CAAC;AAErC,MAAM,OAAO,gBAEX,SAAQ,KAAK,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAajD,YAAoC,QAAkB;QACpD,KAAK,EAAE,CAAC;QAD0B,aAAQ,GAAR,QAAQ,CAAU;QAEpD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;IAC7C,CAAC;IAEO,YAAY;QAClB,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,GAAG,6BAA6B,CAAC;QAC3C,KAAK,CAAC,oBAAoB,GAAG,IAAI,CAAC,oBAAoB,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAEM,MAAM,CAAC,YAAY,CAAC,GAAW;QACpC,OAAO,YAAY,GAAG,EAAE,CAAC;IAC3B,CAAC;IAEM,iBAAiB;QACtB,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE;YAChD,MAAM,qBAAsB,SAAQ,MAAM,CAAC;gBACzC,GAAG,EAAE,wBAAwB;gBAC7B,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,KAAK;aACZ,CAAC;aAAG;YAEL,OAAO;gBACL,gBAAgB,CAAC,YAAY,CAAC,GAAG,CAAC;gBAClC;oBACE,SAAS,EAAE,IAAI;oBACf,YAAY,EAAE,qBAIZ;iBACH;aACF,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IAEO,SAAS,CACf,GAAQ,EACR,KAAoD;QAEpD,MAAM,SAAS,GAAG,gBAAgB,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAErD,MAAM,mBAAmB,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC;QAEpE,OAAO,SAAS;aACb,OAAO,CAAC,6BAA6B,CAAC;aACtC,QAAQ,CAEP,mBAAmB,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC7C,CAAC;IAEM,KAAK,CAAC,WAAW,CACtB,GAAQ,EACR,KAAmC,EACnC,UAAiB,OAAO,CAAC,OAAO;QAEhC,MAAM,QAAQ,GAAG,IAAI,QAAQ,CAAC,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5E,QAAQ,CAAC,IAAI,GAAG,0BAA0B,CAAC;QAC3C,QAAQ,CAAC,oBAAoB,GAAG,IAAI,CAAC,oBAAoB,CAAC;QAE1D,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACzC,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/C,MAAM,UAAU,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAE/C,MAAM,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAEhD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAEhC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;CACF"}
|
|
@@ -67,6 +67,13 @@ export declare class OutgoingMessages<Messages extends OutgoingMessagesRecord> e
|
|
|
67
67
|
value: any;
|
|
68
68
|
messageType: import("o1js/dist/node/lib/provable/field").Field;
|
|
69
69
|
});
|
|
70
|
+
toCanonical?: ((x: {
|
|
71
|
+
value: any;
|
|
72
|
+
messageType: import("o1js/dist/node/lib/provable/field").Field;
|
|
73
|
+
}) => {
|
|
74
|
+
value: any;
|
|
75
|
+
messageType: import("o1js/dist/node/lib/provable/field").Field;
|
|
76
|
+
}) | undefined;
|
|
70
77
|
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
71
78
|
value: any;
|
|
72
79
|
messageType: import("o1js/dist/node/lib/provable/field").Field;
|
|
@@ -163,6 +170,15 @@ export declare class OutgoingMessages<Messages extends OutgoingMessagesRecord> e
|
|
|
163
170
|
value: any;
|
|
164
171
|
messageType: import("o1js/dist/node/lib/provable/field").Field;
|
|
165
172
|
});
|
|
173
|
+
toCanonical?: ((x: {
|
|
174
|
+
key: OutgoingMessageKeyStruct;
|
|
175
|
+
value: any;
|
|
176
|
+
messageType: import("o1js/dist/node/lib/provable/field").Field;
|
|
177
|
+
}) => {
|
|
178
|
+
key: OutgoingMessageKeyStruct;
|
|
179
|
+
value: any;
|
|
180
|
+
messageType: import("o1js/dist/node/lib/provable/field").Field;
|
|
181
|
+
}) | undefined;
|
|
166
182
|
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
|
167
183
|
key: OutgoingMessageKeyStruct;
|
|
168
184
|
value: any;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"OutgoingMessages.d.ts","sourceRoot":"","sources":["../../src/messages/OutgoingMessages.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,oBAAoB,EACpB,aAAa,EAGd,MAAM,MAAM,CAAC;AACd,OAAO,EAEL,wBAAwB,EAGxB,KAAK,IAAI,cAAc,EAEvB,QAAQ,EACR,wBAAwB,EACzB,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAAiB,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG/D,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/E,eAAO,MAAM,eAAe,uBAAiB,CAAC;;AAE9C,qBAAa,gBAAgB,CAC3B,QAAQ,SAAS,sBAAsB,CACvC,SAAQ,qBAAyC;IAa9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAZ5C,SAAgB,UAAU,EAAE,MAAM,CAChC,MAAM,EACN;QACE,WAAW,EAAE,oBAAoB,CAAC;YAAE,WAAW,EAAE,KAAK,CAAC;YAAC,KAAK,EAAE,GAAG,CAAA;SAAE,CAAC,CAAC;QACtE,SAAS,EAAE,oBAAoB,CAAC;YAC9B,GAAG,EAAE,wBAAwB,CAAC;YAC9B,KAAK,EAAE,GAAG,CAAC;YACX,WAAW,EAAE,KAAK,CAAC;SACpB,CAAC,CAAC;KACJ,CACF,CAAC;gBAEkC,QAAQ,EAAE,QAAQ;IAKtD,OAAO,CAAC,YAAY;WAON,YAAY,CAAC,GAAG,EAAE,MAAM;IAI/B,iBAAiB
|
|
1
|
+
{"version":3,"file":"OutgoingMessages.d.ts","sourceRoot":"","sources":["../../src/messages/OutgoingMessages.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,oBAAoB,EACpB,aAAa,EAGd,MAAM,MAAM,CAAC;AACd,OAAO,EAEL,wBAAwB,EAGxB,KAAK,IAAI,cAAc,EAEvB,QAAQ,EACR,wBAAwB,EACzB,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAAiB,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG/D,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/E,eAAO,MAAM,eAAe,uBAAiB,CAAC;;AAE9C,qBAAa,gBAAgB,CAC3B,QAAQ,SAAS,sBAAsB,CACvC,SAAQ,qBAAyC;IAa9B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAZ5C,SAAgB,UAAU,EAAE,MAAM,CAChC,MAAM,EACN;QACE,WAAW,EAAE,oBAAoB,CAAC;YAAE,WAAW,EAAE,KAAK,CAAC;YAAC,KAAK,EAAE,GAAG,CAAA;SAAE,CAAC,CAAC;QACtE,SAAS,EAAE,oBAAoB,CAAC;YAC9B,GAAG,EAAE,wBAAwB,CAAC;YAC9B,KAAK,EAAE,GAAG,CAAC;YACX,WAAW,EAAE,KAAK,CAAC;SACpB,CAAC,CAAC;KACJ,CACF,CAAC;gBAEkC,QAAQ,EAAE,QAAQ;IAKtD,OAAO,CAAC,YAAY;WAON,YAAY,CAAC,GAAG,EAAE,MAAM;IAI/B,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAyBxB,OAAO,CAAC,SAAS;IAaJ,WAAW,CAAC,GAAG,SAAS,WAAW,CAAC,QAAQ,CAAC,EACxD,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EACnC,OAAO,GAAE,KAAuB;CAuBnC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
|
-
import { Field, Proof, DynamicProof, FlexibleProvablePure } from "o1js";
|
|
1
|
+
import { Field, Proof, DynamicProof, FlexibleProvablePure, FlexibleProvable } from "o1js";
|
|
2
2
|
import { ArgumentTypes } from "@proto-kit/common";
|
|
3
3
|
import type { RuntimeModule } from "../runtime/RuntimeModule";
|
|
4
|
-
type ArgumentType =
|
|
4
|
+
type ArgumentType = FlexibleProvable<any> | typeof Proof<unknown, unknown> | typeof DynamicProof<unknown, unknown>;
|
|
5
5
|
type ArgTypeArray = ArgumentType[];
|
|
6
6
|
type ArgArray = ArgumentTypes[];
|
|
7
7
|
export declare function isFlexibleProvablePure(type: unknown): type is FlexibleProvablePure<unknown>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"MethodParameterEncoder.d.ts","sourceRoot":"","sources":["../../src/method/MethodParameterEncoder.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,EACL,KAAK,EAEL,YAAY,EACZ,oBAAoB,
|
|
1
|
+
{"version":3,"file":"MethodParameterEncoder.d.ts","sourceRoot":"","sources":["../../src/method/MethodParameterEncoder.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,EACL,KAAK,EAEL,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EACjB,MAAM,MAAM,CAAC;AACd,OAAO,EACL,aAAa,EAKd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAc9D,KAAK,YAAY,GACb,gBAAgB,CAAC,GAAG,CAAC,GACrB,OAAO,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,GAC9B,OAAO,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAE1C,KAAK,YAAY,GAAG,YAAY,EAAE,CAAC;AAEnC,KAAK,QAAQ,GAAG,aAAa,EAAE,CAAC;AA2BhC,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,GACZ,IAAI,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAOvC;AAED,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,EAC9B,UAAU,EAAE,MAAM,gBA8BnB;AAED,qBAAa,sBAAsB;IAkBd,OAAO,CAAC,QAAQ,CAAC,KAAK;WAjB3B,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,MAAM;WAM7D,SAAS,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,GAAG,SAAS;gBAW3B,KAAK,EAAE,YAAY;IAEhD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC;IA2DtE;;;OAGG;IACI,MAAM,CAAC,IAAI,EAAE,aAAa;gBA8CnB,KAAK,EAAE;mBACJ,MAAM,EAAE;;IAelB,SAAS,IAAI,MAAM;CAK3B"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"MethodParameterEncoder.js","sourceRoot":"","sources":["../../src/method/MethodParameterEncoder.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,OAAO,EAEL,KAAK,EACL,QAAQ,EACR,YAAY,
|
|
1
|
+
{"version":3,"file":"MethodParameterEncoder.js","sourceRoot":"","sources":["../../src/method/MethodParameterEncoder.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,OAAO,EAEL,KAAK,EACL,QAAQ,EACR,YAAY,GAGb,MAAM,MAAM,CAAC;AACd,OAAO,EAKL,kBAAkB,GACnB,MAAM,mBAAmB,CAAC;AAI3B,MAAM,MAAM,GAAG;IACb,sBAAsB,EAAE,CAAC,QAAgB,EAAE,MAAc,EAAE,EAAE,CAC3D,IAAI,KAAK,CAAC,YAAY,QAAQ,wBAAwB,MAAM,EAAE,CAAC;IAEjE,iBAAiB,EAAE,CAAC,IAAY,EAAE,KAAc,EAAE,EAAE,CAClD,IAAI,KAAK,CACP,sBAAsB,IAAI,0EACxB,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,EAChD,EAAE,CACH;CACJ,CAAC;AAWF,SAAS,WAAW,CAAC,IAAa;IAChC,OAAQ,IAAuC,CAAC,SAAS,YAAY,KAAK,CAAC;AAC7E,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,OAAO,CACJ,IAAuC,CAAC,SAAS,YAAY,YAAY,CAC3E,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,IAAa;IAEb,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,mCAAmC,CAAC,IAAa;IACxD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,EAAE;QACvC,OAAO,EAAE,CAAC;KACX;IACD,OAAO,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,CAC5C,GAAG,mCAAmC,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAa;IAEb,qFAAqF;IACrF,4DAA4D;IAC5D,0FAA0F;IAC1F,MAAM,KAAK,GAAG,mCAAmC,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;IAC7D,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,MAA8B,EAC9B,UAAkB;IAElB,mEAAmE;IACnE,MAAM,UAAU,GAAiB,OAAO,CAAC,WAAW,CAClD,mBAAmB,EACnB,MAAM,EACN,UAAU,CACX,CAAC;IAEF,IAAI,UAAU,KAAK,SAAS,EAAE;QAC5B,MAAM,IAAI,KAAK,CACb,oBAAoB,UAAU,+BAA+B,CAC9D,CAAC;KACH;IAED,MAAM,OAAO,GAAG,UAAU;SACvB,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACnB,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE;YACzD,OAAO,SAAS,CAAC;SAClB;QACD,OAAO,GAAG,KAAK,EAAE,CAAC;IACpB,CAAC,CAAC;SACD,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE;QACtB,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,IAAI,KAAK,CACb,gCAAgC,MAAM,CAAC,IAAI,IAAI,UAAU,6CAA6C,WAAW,IAAI,CACtH,CAAC;KACH;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,OAAO,sBAAsB;IAC1B,MAAM,CAAC,UAAU,CAAC,MAA8B,EAAE,UAAkB;QACzE,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAEzD,OAAO,IAAI,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC;IAEM,MAAM,CAAC,SAAS,CAAC,IAAkB;QACxC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE;YACzB,OAAO,CACL,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAC7D,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAC/D,CAAC;SACH;QACD,yEAAyE;QACzE,OAAQ,IAAkC,CAAC,YAAY,EAAE,CAAC;IAC5D,CAAC;IAED,YAAoC,KAAmB;QAAnB,UAAK,GAAL,KAAK,CAAc;IAAG,CAAC;IAEpD,MAAM,CAAC,MAAe,EAAE,SAAmB;QAChD,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE;YACpC,MAAM,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;SACtE;QAED,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC;QAEzC,OAAO,OAAO,CAAC,GAAG,CAChB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACtB,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACxE,IAAI,kBAAkB,KAAK,CAAC,CAAC,EAAE;gBAC7B,MAAM,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;aACvD;YACD,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACxD,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAExC,eAAe;YACf,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE;gBACzB,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC;gBAC7C,mEAAmE;gBACnE,MAAM,SAAS,GACb,IAAI,CAAC,KAAK,CAAC,aAAc,CAAC,CAAC;gBAE7B,MAAM,cAAc,GAAG,sBAAsB,CAAC,SAAS,CACrD,IAAI,CAAC,eAAe,CACpB,CAAC;gBACH,MAAM,KAAK,GAAG,YAAY;qBACvB,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC;qBACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC5B,MAAM,MAAM,GAAG,YAAY;qBACxB,KAAK,CAAC,cAAc,CAAC;qBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAE5B,iEAAiE;gBACjE,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE;oBACrB,OAAO,IAAI,CAAC,QAAQ,CAAC;wBACnB,GAAG,SAAS;wBACZ,WAAW,EAAE,KAAK;wBAClB,YAAY,EAAE,MAAM;qBACrB,CAAC,CAAC;iBACJ;gBACD,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE;oBAC5B,OAAO,IAAI,CAAC,QAAQ,CAAC;wBACnB,GAAG,SAAS;wBACZ,WAAW,EAAE,KAAK;wBAClB,YAAY,EAAE,MAAM;qBACrB,CAAC,CAAC;iBACJ;aACF;YAED,OAAQ,IAAkC,CAAC,UAAU,CACnD,YAAY,EACZ,EAAE,CACI,CAAC;QACX,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,IAAmB;QAC/B;;;WAGG;QACH,OAAO,IAAI;aACR,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;YACvB,IAAI,QAAQ,YAAY,KAAK,IAAI,QAAQ,YAAY,YAAY,EAAE;gBACjE,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAe,CAAC;gBAErD,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,GAAG,YAAY,CAAC;gBAE3D,MAAM,WAAW;gBACf,iEAAiE;gBACjE,eAAe,EAAE,QAAQ,CAAC,QAAQ,CAAC,WAAkB,CAAC,IAAI,EAAE,CAAC;gBAE/D,MAAM,YAAY;gBAChB,iEAAiE;gBACjE,gBAAgB,EAAE,QAAQ,CAAC,QAAQ,CAAC,YAAmB,CAAC,IAAI,EAAE,CAAC;gBAEjE,IAAI,SAAS,GAAG,EAAE,CAAC;gBAEnB,4EAA4E;gBAC5E,+DAA+D;gBAC/D,uFAAuF;gBACvF,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;oBACrB,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;oBACpC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;wBACzB,KAAK,EAAE,SAAS,CAAC,KAAK;wBACtB,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;qBAC/C,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;gBAEH,OAAO;oBACL,MAAM,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,YAAY,CAAC;oBACzC,SAAS;iBACV,CAAC;aACH;YAED,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAsB,CAAC;YAC5D,OAAO;gBACL,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACvC,SAAS,EAAE,SAAS;aACrB,CAAC;QACJ,CAAC,CAAC;aACD,MAAM,CAIL,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACP,OAAO;gBACL,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC;gBAClC,SAAS,EACP,CAAC,CAAC,SAAS,KAAK,SAAS;oBACvB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;oBAC/B,CAAC,CAAC,CAAC,CAAC,SAAS;aAClB,CAAC;QACJ,CAAC,EACD,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAC9B,CAAC;IACN,CAAC;IAEM,SAAS;QACd,OAAO,IAAI,CAAC,KAAK;aACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC1D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,CAAC;CACF;AACD,iEAAiE"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/Runtime.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAa,mBAAmB,EAAc,MAAM,UAAU,CAAC;AACtE,OAAO,EACL,WAAW,EACX,eAAe,EACf,aAAa,EACb,UAAU,EACV,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,uBAAuB,EAIxB,MAAM,qBAAqB,CAAC;AAW7B,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,GAAG,uBAa3C;AAED;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,aAAa,CAC9C,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CACnC,CAAC;AAOF,qBAAa,qBAAqB,CAChC,OAAO,SAAS,oBAAoB,CACpC,SAAQ,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;gBAAzB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;IAInD,IAAW,gBAAgB,iCAE1B;IAEM,gBAAgB,IAAI,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAAE;
|
|
1
|
+
{"version":3,"file":"Runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/Runtime.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAa,mBAAmB,EAAc,MAAM,UAAU,CAAC;AACtE,OAAO,EACL,WAAW,EACX,eAAe,EACf,aAAa,EACb,UAAU,EACV,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,uBAAuB,EAIxB,MAAM,qBAAqB,CAAC;AAW7B,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,GAAG,uBAa3C;AAED;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,aAAa,CAC9C,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CACnC,CAAC;AAOF,qBAAa,qBAAqB,CAChC,OAAO,SAAS,oBAAoB,CACpC,SAAQ,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;gBAAzB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;IAInD,IAAW,gBAAgB,iCAE1B;IAEM,gBAAgB,IAAI,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAAE;CAyL3E;AAED;;;GAGG;AACH,qBACa,OAAO,CAAC,OAAO,SAAS,oBAAoB,CACvD,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,kBAAkB,EAAE,gBAAgB;WAEjC,IAAI,CAAC,OAAO,SAAS,oBAAoB,EACrD,UAAU,EAAE,OAAO,GAClB,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IASxB,OAAO,CAAC,EAAE,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC;IAIvC,UAAU,EAAE,OAAO,CAAC;IAEpB,cAAc,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IAErE;;;;OAIG;gBACgB,UAAU,EAAE,OAAO;IAO/B,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAM5D,IAAW,gBAAgB,IAAI,gBAAgB,GAAG,SAAS,CAE1D;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAED,IAAW,YAAY,IAAI,uBAAuB,CAEjD;IAED,IAAW,gBAAgB,IAAI,gBAAgB,CAE9C;IAED;;OAEG;IACH,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED;;;OAGG;IACI,aAAa,CAClB,QAAQ,EAAE,MAAM,GACf,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS;IAsBzD;;;;;;OAMG;IACI,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAQ9D;;OAEG;IACH,IAAW,kBAAkB,aAE5B;IAEY,OAAO,CAAC,QAAQ,EAAE,eAAe;CAQ/C"}
|
package/dist/runtime/Runtime.js
CHANGED
|
@@ -110,10 +110,20 @@ export class RuntimeZkProgrammable extends ZkProgrammable {
|
|
|
110
110
|
};
|
|
111
111
|
return splitRuntimeMethods().map((bucket, index) => {
|
|
112
112
|
const name = `RuntimeProgram-${index}`;
|
|
113
|
+
const wrappedBucket = Object.fromEntries(Object.entries(bucket).map(([methodName, methodDef]) => [
|
|
114
|
+
methodName,
|
|
115
|
+
{
|
|
116
|
+
privateInputs: methodDef.privateInputs,
|
|
117
|
+
method: async (...args) => {
|
|
118
|
+
const publicOutput = await methodDef.method(...args);
|
|
119
|
+
return { publicOutput };
|
|
120
|
+
},
|
|
121
|
+
},
|
|
122
|
+
]));
|
|
113
123
|
const program = ZkProgram({
|
|
114
124
|
name,
|
|
115
125
|
publicOutput: MethodPublicOutput,
|
|
116
|
-
methods:
|
|
126
|
+
methods: wrappedBucket,
|
|
117
127
|
});
|
|
118
128
|
const SelfProof = ZkProgram.Proof(program);
|
|
119
129
|
const methods = Object.keys(bucket).reduce((boundMethods, methodName) => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Runtime.js","sourceRoot":"","sources":["../../src/runtime/Runtime.ts"],"names":[],"mappings":";;;;;;;;;;AAAA,kGAAkG;AAClG,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAE,SAAS,EAAuB,UAAU,EAAE,MAAM,UAAU,CAAC;AACtE,OAAO,EAEL,eAAe,EAGf,cAAc,GAMf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAGlB,6BAA6B,EAC7B,kBAAkB,EAClB,YAAY,GACb,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,4BAA4B,EAC5B,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAM/D,MAAM,UAAU,mBAAmB,CAAC,GAAQ;IAC1C,IAAI,gBAAgB,GAAoB,GAAG,CAAC;IAC5C,IAAI,IAAI,GAAwB,EAAE,CAAC;IACnC,qEAAqE;IACrE,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC,EAAE;QAC5B,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;KAC/C;IACD,yEAAyE;IACzE,OAAO,gBAAgB,EAAE;QACvB,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtD,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;KAC5D;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAYD,MAAM,MAAM,GAAG;IACb,cAAc,EAAE,CAAC,SAAiB,EAAE,EAAE,CACpC,IAAI,KAAK,CAAC,iCAAiC,SAAS,EAAE,CAAC;CAC1D,CAAC;AAEF,MAAM,OAAO,qBAEX,SAAQ,cAA6C;IACrD,YAA0B,OAAyB;QACjD,KAAK,EAAE,CAAC;QADgB,YAAO,GAAP,OAAO,CAAkB;IAEnD,CAAC;IAED,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACvC,CAAC;IAEM,gBAAgB;QAQrB,iDAAiD;QACjD,uCAAuC;QAEvC,gDAAgD;QAChD,MAAM,OAAO,GAAqB,IAAI,CAAC,OAAO,CAAC;QAE/C,MAAM,8BAA8B,GAAG,CAAC,CAAC;QAEzC,MAAM,cAAc,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CACtD,CAAC,UAAU,EAAE,iBAAiB,EAAE,EAAE;YAChC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAEjE;;;;eAIG;YAEH,yEAAyE;YACzE,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAwB,CAAC,CAAC;YAEhE,yEAAyE;YACzE,MAAM,eAAe,GAAG,MAAM,CAAC,cAAc,CAAC,aAAa,CAI1D,CAAC;YAEF,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC,GAAG,CACnE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,CAC9B,CAAC;YAEF,MAAM,aAAa,GAAG,sBAAsB,CAAC,MAAM,CACjD,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE;gBAC/B,IAAI,eAAe,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE;oBAC9C,MAAM,kBAAkB,GAAG,iBAAiB,CAC1C,iBAAiB,EACjB,UAAU,CACX,CAAC;oBACF,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;oBAC3C,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CACxC,4BAA4B,EAC5B,aAAa,EACb,UAAU,CACX,CAAC;oBAEF,MAAM,aAAa,GAAuB,OAAO,CAAC,KAAK,CACrD,eAAe,EACf,aAAa,EACb,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,CAAC,CACzC,CAAC;oBAEF,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,CACvC,mBAAmB,EACnB,aAAa,EACb,UAAU,CACX,CAAC;oBAEF,OAAO;wBACL,GAAG,gBAAgB;wBAEnB,CAAC,kBAAkB,CAAC,EAAE;4BACpB,aAAa;4BACb,MAAM,EAAE,aAAa;yBACtB;qBACF,CAAC;iBACH;gBAED,OAAO,gBAAgB,CAAC;YAC1B,CAAC,EACD,EAAE,CACH,CAAC;YAEF,OAAO;gBACL,GAAG,UAAU;gBACb,GAAG,aAAa;aACjB,CAAC;QACJ,CAAC,EACD,EAAE,CACH,CAAC;QAEF,MAAM,oBAAoB,GAAG,MAAM,CAAC,WAAW,CAC7C,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CACtC,CAAC;QAEF,MAAM,mBAAmB,GAAG,GAAG,EAAE;YAC/B,MAAM,OAAO,GAQT,EAAE,CAAC;YACP,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAC1C,KAAK,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE;gBAC7B,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;oBAC5B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;wBACxB,MAAM,MAAM,GAMR,EAAE,CAAC;wBACP,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;wBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBACrB,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;qBACP;yBAAM,IACL,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM;wBAC1B,8BAA8B,GAAG,CAAC,EAClC;wBACA,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;wBAC5B,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;qBACP;iBACF;gBACD,IAAI,CAAC,WAAW,EAAE;oBAChB,MAAM,MAAM,GAMR,EAAE,CAAC;oBACP,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;iBACtB;YACH,CAAC,CACF,CAAC;YACF,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC;QAEF,OAAO,mBAAmB,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YACjD,MAAM,IAAI,GAAG,kBAAkB,KAAK,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,SAAS,CAAC;gBACxB,IAAI;gBACJ,YAAY,EAAE,kBAAkB;gBAChC,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"Runtime.js","sourceRoot":"","sources":["../../src/runtime/Runtime.ts"],"names":[],"mappings":";;;;;;;;;;AAAA,kGAAkG;AAClG,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAE,SAAS,EAAuB,UAAU,EAAE,MAAM,UAAU,CAAC;AACtE,OAAO,EAEL,eAAe,EAGf,cAAc,GAMf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAGlB,6BAA6B,EAC7B,kBAAkB,EAClB,YAAY,GACb,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,4BAA4B,EAC5B,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAM/D,MAAM,UAAU,mBAAmB,CAAC,GAAQ;IAC1C,IAAI,gBAAgB,GAAoB,GAAG,CAAC;IAC5C,IAAI,IAAI,GAAwB,EAAE,CAAC;IACnC,qEAAqE;IACrE,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC,EAAE;QAC5B,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;KAC/C;IACD,yEAAyE;IACzE,OAAO,gBAAgB,EAAE;QACvB,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtD,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;KAC5D;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAYD,MAAM,MAAM,GAAG;IACb,cAAc,EAAE,CAAC,SAAiB,EAAE,EAAE,CACpC,IAAI,KAAK,CAAC,iCAAiC,SAAS,EAAE,CAAC;CAC1D,CAAC;AAEF,MAAM,OAAO,qBAEX,SAAQ,cAA6C;IACrD,YAA0B,OAAyB;QACjD,KAAK,EAAE,CAAC;QADgB,YAAO,GAAP,OAAO,CAAkB;IAEnD,CAAC;IAED,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACvC,CAAC;IAEM,gBAAgB;QAQrB,iDAAiD;QACjD,uCAAuC;QAEvC,gDAAgD;QAChD,MAAM,OAAO,GAAqB,IAAI,CAAC,OAAO,CAAC;QAE/C,MAAM,8BAA8B,GAAG,CAAC,CAAC;QAEzC,MAAM,cAAc,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CACtD,CAAC,UAAU,EAAE,iBAAiB,EAAE,EAAE;YAChC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAEjE;;;;eAIG;YAEH,yEAAyE;YACzE,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAwB,CAAC,CAAC;YAEhE,yEAAyE;YACzE,MAAM,eAAe,GAAG,MAAM,CAAC,cAAc,CAAC,aAAa,CAI1D,CAAC;YAEF,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC,GAAG,CACnE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,CAC9B,CAAC;YAEF,MAAM,aAAa,GAAG,sBAAsB,CAAC,MAAM,CACjD,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE;gBAC/B,IAAI,eAAe,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE;oBAC9C,MAAM,kBAAkB,GAAG,iBAAiB,CAC1C,iBAAiB,EACjB,UAAU,CACX,CAAC;oBACF,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;oBAC3C,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CACxC,4BAA4B,EAC5B,aAAa,EACb,UAAU,CACX,CAAC;oBAEF,MAAM,aAAa,GAAuB,OAAO,CAAC,KAAK,CACrD,eAAe,EACf,aAAa,EACb,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,CAAC,CACzC,CAAC;oBAEF,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,CACvC,mBAAmB,EACnB,aAAa,EACb,UAAU,CACX,CAAC;oBAEF,OAAO;wBACL,GAAG,gBAAgB;wBAEnB,CAAC,kBAAkB,CAAC,EAAE;4BACpB,aAAa;4BACb,MAAM,EAAE,aAAa;yBACtB;qBACF,CAAC;iBACH;gBAED,OAAO,gBAAgB,CAAC;YAC1B,CAAC,EACD,EAAE,CACH,CAAC;YAEF,OAAO;gBACL,GAAG,UAAU;gBACb,GAAG,aAAa;aACjB,CAAC;QACJ,CAAC,EACD,EAAE,CACH,CAAC;QAEF,MAAM,oBAAoB,GAAG,MAAM,CAAC,WAAW,CAC7C,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CACtC,CAAC;QAEF,MAAM,mBAAmB,GAAG,GAAG,EAAE;YAC/B,MAAM,OAAO,GAQT,EAAE,CAAC;YACP,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAC1C,KAAK,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE;gBAC7B,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;oBAC5B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;wBACxB,MAAM,MAAM,GAMR,EAAE,CAAC;wBACP,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;wBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBACrB,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;qBACP;yBAAM,IACL,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM;wBAC1B,8BAA8B,GAAG,CAAC,EAClC;wBACA,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;wBAC5B,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;qBACP;iBACF;gBACD,IAAI,CAAC,WAAW,EAAE;oBAChB,MAAM,MAAM,GAMR,EAAE,CAAC;oBACP,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;iBACtB;YACH,CAAC,CACF,CAAC;YACF,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC;QAEF,OAAO,mBAAmB,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YACjD,MAAM,IAAI,GAAG,kBAAkB,KAAK,EAAE,CAAC;YACvC,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CACtC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;gBACtD,UAAU;gBACV;oBACE,aAAa,EAAE,SAAS,CAAC,aAAa;oBACtC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAW,EAAE,EAAE;wBAC/B,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;wBACrD,OAAO,EAAE,YAAY,EAAE,CAAC;oBAC1B,CAAC;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,OAAO,GAAG,SAAS,CAAC;gBACxB,IAAI;gBACJ,YAAY,EAAE,kBAAkB;gBAChC,OAAO,EAAE,aAAa;aACvB,CAAC,CAAC;YAEH,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAE3C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CACxC,CAAC,YAAY,EAAE,UAAU,EAAE,EAAE;gBAC3B,YAAY,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC7D,OAAO,YAAY,CAAC;YACtB,CAAC,EACD,EAAE,CACH,CAAC;YAEF,OAAO;gBACL,IAAI;gBACJ,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpC,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpD,KAAK,EAAE,SAAS;gBAChB,OAAO;aACR,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED;;;GAGG;AAEI,WAAM,OAAO,eAAb,MAAM,OACX,SAAQ,eAAwB;IAGzB,MAAM,CAAC,IAAI,CAChB,UAAmB;QAEnB,OAAO,MAAM,aAAc,SAAQ,SAAgB;YACjD;gBACE,KAAK,CAAC,UAAU,CAAC,CAAC;YACpB,CAAC;SACF,CAAC;IACJ,CAAC;IAWD;;;;OAIG;IACH,YAAmB,UAAmB;QACpC,KAAK,CAAC,UAAU,CAAC,CAAC;QAClB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,cAAc,GAAG,IAAI,qBAAqB,CAAU,IAAI,CAAC,CAAC;IACjE,CAAC;IAED,wDAAwD;IACjD,MAAM,CAAC,sBAA8C;QAC1D,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAErC,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,CAAC;IAC7C,CAAC;IAED,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAmB,kBAAkB,CAAC,CAAC;IACtE,CAAC;IAED,IAAW,oBAAoB;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAuB,sBAAsB,CAAC,CAAC;IAC9E,CAAC;IAED,IAAW,YAAY;QACrB,OAAO,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC;IAChD,CAAC;IAED,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAmB,kBAAkB,CAAC,CAAC;IACtE,CAAC;IAED;;OAEG;IACH,IAAW,mBAAmB;QAC5B,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED;;;OAGG;IACI,aAAa,CAClB,QAAgB;QAEhB,MAAM,gBAAgB,GACpB,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAEtD,IAAI,gBAAgB,KAAK,SAAS,EAAE;YAClC,OAAO,SAAS,CAAC;SAClB;QACD,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,gBAAgB,CAAC;QAElD,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAExC,yEAAyE;QACzE,MAAM,MAAM,GAAI,MAAc,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,SAAS,EAAE;YACxB,MAAM,MAAM,CAAC,cAAc,CAAC,GAAG,UAAU,IAAI,UAAU,EAAE,CAAC,CAAC;SAC5D;QAED,yEAAyE;QACzE,OAAQ,MAAmD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3E,CAAC;IAED;;;;;;OAMG;IACI,cAAc,CACnB,UAAgC,EAChC,eAA4D;QAE5D,eAAe,CAAC,IAAI,GAAG,UAAU,CAAC;QAClC,eAAe,CAAC,MAAM,GAAG,IAAI,CAAC;QAE9B,KAAK,CAAC,cAAc,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,IAAW,kBAAkB;QAC3B,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACjE,OAAO,CAAC,KAAK,CAAC;YACZ,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,EAAE;YAClD,YAAY,EAAE,YAAY,CAAC,KAAK,EAAE;SACnC,CAAC,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;CACF,CAAA;AA5HY,OAAO;IADnB,UAAU,EAAE;;GACA,OAAO,CA4HnB;AACD,iGAAiG"}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import type { RuntimeModule } from "../runtime/RuntimeModule.js";
|
|
2
|
+
/**
|
|
3
|
+
* Decorates a runtime module property as state, passing down some
|
|
4
|
+
* underlying values to improve developer experience.
|
|
5
|
+
*/
|
|
6
|
+
export declare function state(): <TargetRuntimeModule extends RuntimeModule<unknown>>(target: TargetRuntimeModule, propertyKey: string) => void;
|
|
7
|
+
//# sourceMappingURL=decorator.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decorator.d.ts","sourceRoot":"","sources":["../../src/state/decorator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAgBjE;;;GAGG;AACH,wBAAgB,KAAK,mGAGJ,MAAM,UAmCtB"}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import { Path } from "@proto-kit/protocol";
|
|
2
|
+
const errors = {
|
|
3
|
+
missingName: (className) => new Error(`Unable to provide a unique identifier for state, ${className} is missing a name.
|
|
4
|
+
Did you forget to extend your runtime module with 'extends RuntimeModule'?`),
|
|
5
|
+
missingRuntime: (className) => new Error(`Unable to provide 'runtime' for state, ${className} is missing a name.
|
|
6
|
+
Did you forget to extend your runtime module with 'extends RuntimeModule'?`),
|
|
7
|
+
};
|
|
8
|
+
/**
|
|
9
|
+
* Decorates a runtime module property as state, passing down some
|
|
10
|
+
* underlying values to improve developer experience.
|
|
11
|
+
*/
|
|
12
|
+
export function state() {
|
|
13
|
+
return (target, propertyKey) => {
|
|
14
|
+
let value;
|
|
15
|
+
Object.defineProperty(target, propertyKey, {
|
|
16
|
+
enumerable: true,
|
|
17
|
+
get: function get() {
|
|
18
|
+
// eslint-disable-next-line @typescript-eslint/consistent-type-assertions
|
|
19
|
+
const self = this;
|
|
20
|
+
if (self.name === undefined) {
|
|
21
|
+
throw errors.missingName(self.constructor.name);
|
|
22
|
+
}
|
|
23
|
+
if (!self.runtime) {
|
|
24
|
+
throw errors.missingRuntime(self.constructor.name);
|
|
25
|
+
}
|
|
26
|
+
const path = Path.fromProperty(self.name, propertyKey);
|
|
27
|
+
if (value) {
|
|
28
|
+
value.path = path;
|
|
29
|
+
// TODO: why is this complaining about `any`?
|
|
30
|
+
value.stateServiceProvider = self.runtime.stateServiceProvider;
|
|
31
|
+
}
|
|
32
|
+
return value;
|
|
33
|
+
},
|
|
34
|
+
set: (newValue) => {
|
|
35
|
+
value = newValue;
|
|
36
|
+
},
|
|
37
|
+
});
|
|
38
|
+
};
|
|
39
|
+
}
|
|
40
|
+
//# sourceMappingURL=decorator.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decorator.js","sourceRoot":"","sources":["../../src/state/decorator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAS,MAAM,qBAAqB,CAAC;AAIlD,MAAM,MAAM,GAAG;IACb,WAAW,EAAE,CAAC,SAAiB,EAAE,EAAE,CACjC,IAAI,KAAK,CACP,oDAAoD,SAAS;iFACc,CAC5E;IAEH,cAAc,EAAE,CAAC,SAAiB,EAAE,EAAE,CACpC,IAAI,KAAK,CACP,0CAA0C,SAAS;iFACwB,CAC5E;CACJ,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,KAAK;IACnB,OAAO,CACL,MAA2B,EAC3B,WAAmB,EACnB,EAAE;QACF,IAAI,KAAiC,CAAC;QAEtC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE;YACzC,UAAU,EAAE,IAAI;YAEhB,GAAG,EAAE,SAAS,GAAG;gBACf,yEAAyE;gBACzE,MAAM,IAAI,GAAG,IAA2B,CAAC;gBAEzC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE;oBAC3B,MAAM,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;iBACjD;gBAED,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE;oBACjB,MAAM,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;iBACpD;gBAED,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACvD,IAAI,KAAK,EAAE;oBACT,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;oBAElB,6CAA6C;oBAE7C,KAAK,CAAC,oBAAoB,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;iBAChE;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,GAAG,EAAE,CAAC,QAAwB,EAAE,EAAE;gBAChC,KAAK,GAAG,QAAQ,CAAC;YACnB,CAAC;SACF,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { ModulesConfig } from "@proto-kit/common";
|
|
2
|
+
import { Runtime, RuntimeModulesRecord } from "../runtime/Runtime";
|
|
3
|
+
import { InMemoryStateService } from "../state/InMemoryStateService";
|
|
4
|
+
export declare function createTestingRuntime<Modules extends RuntimeModulesRecord>(modules: Modules, config: ModulesConfig<Modules>): {
|
|
5
|
+
runtime: Runtime<Modules>;
|
|
6
|
+
state: InMemoryStateService;
|
|
7
|
+
};
|
|
8
|
+
//# sourceMappingURL=TestingRuntime.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestingRuntime.d.ts","sourceRoot":"","sources":["../../src/testing/TestingRuntime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAIlD,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE,wBAAgB,oBAAoB,CAAC,OAAO,SAAS,oBAAoB,EACvE,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,GAC7B;IACD,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1B,KAAK,EAAE,oBAAoB,CAAC;CAC7B,CAgCA"}
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
import { StateServiceProvider } from "@proto-kit/protocol";
|
|
2
|
+
import { container } from "tsyringe";
|
|
3
|
+
import { Runtime } from "../runtime/Runtime";
|
|
4
|
+
import { InMemoryStateService } from "../state/InMemoryStateService";
|
|
5
|
+
export function createTestingRuntime(modules, config) {
|
|
6
|
+
const state = new InMemoryStateService();
|
|
7
|
+
const Runtimeclass = Runtime.from({
|
|
8
|
+
modules,
|
|
9
|
+
});
|
|
10
|
+
const runtime = new Runtimeclass();
|
|
11
|
+
runtime.configure(config);
|
|
12
|
+
runtime.create(() => container.createChildContainer());
|
|
13
|
+
runtime.dependencyContainer.register("AreProofsEnabled", {
|
|
14
|
+
useValue: {
|
|
15
|
+
areProofsEnabled: false,
|
|
16
|
+
setProofsEnabled(areProofsEnabled) {
|
|
17
|
+
this.areProofsEnabled = areProofsEnabled;
|
|
18
|
+
},
|
|
19
|
+
},
|
|
20
|
+
});
|
|
21
|
+
runtime.registerValue({
|
|
22
|
+
StateServiceProvider: new StateServiceProvider(),
|
|
23
|
+
Runtime: runtime,
|
|
24
|
+
});
|
|
25
|
+
runtime.stateServiceProvider.setCurrentStateService(state);
|
|
26
|
+
return {
|
|
27
|
+
runtime,
|
|
28
|
+
state,
|
|
29
|
+
};
|
|
30
|
+
}
|
|
31
|
+
//# sourceMappingURL=TestingRuntime.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestingRuntime.js","sourceRoot":"","sources":["../../src/testing/TestingRuntime.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,OAAO,EAAE,OAAO,EAAwB,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,MAA8B;IAK9B,MAAM,KAAK,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAEzC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;QAChC,OAAO;KACR,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;IAEnC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAE1B,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAEvD,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,kBAAkB,EAAE;QACvD,QAAQ,EAAE;YACR,gBAAgB,EAAE,KAAK;YAEvB,gBAAgB,CAAC,gBAAyB;gBACxC,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;YAC3C,CAAC;SACF;KACF,CAAC,CAAC;IACH,OAAO,CAAC,aAAa,CAAC;QACpB,oBAAoB,EAAE,IAAI,oBAAoB,EAAE;QAChD,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IAEH,OAAO,CAAC,oBAAoB,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAE3D,OAAO;QACL,OAAO;QACP,KAAK;KACN,CAAC;AACJ,CAAC"}
|
package/package.json
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
"name": "@proto-kit/module",
|
|
3
3
|
"license": "MIT",
|
|
4
4
|
"private": false,
|
|
5
|
-
"version": "0.1.1-develop.
|
|
5
|
+
"version": "0.1.1-develop.1689+67e6fdf4",
|
|
6
6
|
"type": "module",
|
|
7
7
|
"scripts": {
|
|
8
8
|
"build": "tsc -p tsconfig.json",
|
|
@@ -28,8 +28,8 @@
|
|
|
28
28
|
"peerDependencies": {
|
|
29
29
|
"@proto-kit/common": "*",
|
|
30
30
|
"@proto-kit/protocol": "*",
|
|
31
|
-
"o1js": "^
|
|
31
|
+
"o1js": "^2.10.0",
|
|
32
32
|
"tsyringe": "^4.10.0"
|
|
33
33
|
},
|
|
34
|
-
"gitHead": "
|
|
34
|
+
"gitHead": "67e6fdf49caf9744de439fcc564874f2420b8b97"
|
|
35
35
|
}
|
|
@@ -5,6 +5,7 @@ import {
|
|
|
5
5
|
Provable,
|
|
6
6
|
DynamicProof,
|
|
7
7
|
FlexibleProvablePure,
|
|
8
|
+
FlexibleProvable,
|
|
8
9
|
} from "o1js";
|
|
9
10
|
import {
|
|
10
11
|
ArgumentTypes,
|
|
@@ -29,7 +30,7 @@ const errors = {
|
|
|
29
30
|
};
|
|
30
31
|
|
|
31
32
|
type ArgumentType =
|
|
32
|
-
|
|
|
33
|
+
| FlexibleProvable<any>
|
|
33
34
|
| typeof Proof<unknown, unknown>
|
|
34
35
|
| typeof DynamicProof<unknown, unknown>;
|
|
35
36
|
|
|
@@ -122,7 +123,7 @@ export class MethodParameterEncoder {
|
|
|
122
123
|
);
|
|
123
124
|
}
|
|
124
125
|
// as any, since we shouldn't be using this workaround in the first place
|
|
125
|
-
return (type as
|
|
126
|
+
return (type as FlexibleProvable<unknown>).sizeInFields();
|
|
126
127
|
}
|
|
127
128
|
|
|
128
129
|
public constructor(private readonly types: ArgTypeArray) {}
|
|
@@ -178,8 +179,9 @@ export class MethodParameterEncoder {
|
|
|
178
179
|
}
|
|
179
180
|
}
|
|
180
181
|
|
|
181
|
-
return (type as
|
|
182
|
-
structFields
|
|
182
|
+
return (type as FlexibleProvable<unknown>).fromFields(
|
|
183
|
+
structFields,
|
|
184
|
+
[]
|
|
183
185
|
) as any;
|
|
184
186
|
})
|
|
185
187
|
);
|
package/src/runtime/Runtime.ts
CHANGED
|
@@ -222,10 +222,23 @@ export class RuntimeZkProgrammable<
|
|
|
222
222
|
|
|
223
223
|
return splitRuntimeMethods().map((bucket, index) => {
|
|
224
224
|
const name = `RuntimeProgram-${index}`;
|
|
225
|
+
const wrappedBucket = Object.fromEntries(
|
|
226
|
+
Object.entries(bucket).map(([methodName, methodDef]) => [
|
|
227
|
+
methodName,
|
|
228
|
+
{
|
|
229
|
+
privateInputs: methodDef.privateInputs,
|
|
230
|
+
method: async (...args: any[]) => {
|
|
231
|
+
const publicOutput = await methodDef.method(...args);
|
|
232
|
+
return { publicOutput };
|
|
233
|
+
},
|
|
234
|
+
},
|
|
235
|
+
])
|
|
236
|
+
);
|
|
237
|
+
|
|
225
238
|
const program = ZkProgram({
|
|
226
239
|
name,
|
|
227
240
|
publicOutput: MethodPublicOutput,
|
|
228
|
-
methods:
|
|
241
|
+
methods: wrappedBucket,
|
|
229
242
|
});
|
|
230
243
|
|
|
231
244
|
const SelfProof = ZkProgram.Proof(program);
|
|
@@ -25,8 +25,10 @@ const TestProgram = ZkProgram({
|
|
|
25
25
|
privateInputs: [],
|
|
26
26
|
method: async (input: PublicKey) => {
|
|
27
27
|
return {
|
|
28
|
-
|
|
29
|
-
|
|
28
|
+
publicOutput: {
|
|
29
|
+
a: Field(input.x),
|
|
30
|
+
b: Bool(input.isOdd),
|
|
31
|
+
},
|
|
30
32
|
};
|
|
31
33
|
},
|
|
32
34
|
},
|
|
@@ -117,5 +119,5 @@ describe("MethodParameterEncoder", () => {
|
|
|
117
119
|
expect(decoded1.publicOutput.b.equals(output.b).toBoolean()).toStrictEqual(
|
|
118
120
|
true
|
|
119
121
|
);
|
|
120
|
-
},
|
|
122
|
+
}, 60_000);
|
|
121
123
|
});
|