o1js-pack 0.5.4 → 0.7.0
Sign up to get free protection for your applications and to get access to all the features.
- package/.github/workflows/ci.yml +1 -1
- package/CHANGELOG.md +9 -0
- package/build/src/lib/PackingPlant.d.ts +70 -34
- package/build/src/lib/PackingPlant.js +1 -1
- package/build/src/lib/PackingPlant.js.map +1 -1
- package/build/src/lib/packed-types/PackedBool.d.ts +50 -32
- package/build/src/lib/packed-types/PackedBool.test.js +11 -7
- package/build/src/lib/packed-types/PackedBool.test.js.map +1 -1
- package/build/src/lib/packed-types/PackedString.d.ts +98 -66
- package/build/src/lib/packed-types/PackedString.js.map +1 -1
- package/build/src/lib/packed-types/PackedString.test.js +12 -8
- package/build/src/lib/packed-types/PackedString.test.js.map +1 -1
- package/build/src/lib/packed-types/PackedUInt32.d.ts +49 -31
- package/build/src/lib/packed-types/PackedUInt32.test.js +12 -8
- package/build/src/lib/packed-types/PackedUInt32.test.js.map +1 -1
- package/examples/smart_contract/election/contract.ts +8 -8
- package/examples/zk_program/age_gate/circuit.ts +6 -7
- package/package.json +11 -8
- package/tests/provable/end_to_end.test.ts +1 -1
- package/tests/provable/example_packed_string_circuit.ts +3 -10
- package/tests/provable/example_packed_uint_circuit.ts +4 -4
- package/tsconfig.json +2 -1
- package/examples/smart_contract/tokenState/README.md +0 -7
- package/examples/smart_contract/tokenState/contract.ts +0 -62
- package/examples/smart_contract/tokenState/run.ts +0 -71
package/.github/workflows/ci.yml
CHANGED
package/CHANGELOG.md
CHANGED
@@ -5,13 +5,15 @@ export declare function PackingPlant<A, T extends InferProvable<A> = InferProvab
|
|
5
5
|
*/
|
6
6
|
toFields(): Array<Field>;
|
7
7
|
assertEquals(other: any): void;
|
8
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
8
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
9
9
|
}) & {
|
10
10
|
type: import("o1js/dist/node/bindings/lib/generic").GenericProvableExtendedPure<{
|
11
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
11
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
12
|
+
}, {
|
13
|
+
packed: bigint;
|
12
14
|
}, {
|
13
15
|
packed: string;
|
14
|
-
}, import("o1js/dist/node/lib/field").Field>;
|
16
|
+
}, import("o1js/dist/node/lib/provable/field").Field>;
|
15
17
|
l: number;
|
16
18
|
bitSize: bigint;
|
17
19
|
extractField(input: T): Field;
|
@@ -37,36 +39,52 @@ export declare function PackingPlant<A, T extends InferProvable<A> = InferProvab
|
|
37
39
|
unpackToBigints(f: Field): Array<bigint>;
|
38
40
|
_isStruct: true;
|
39
41
|
toFields: (value: {
|
40
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
41
|
-
}) => import("o1js/dist/node/lib/field").Field[];
|
42
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
43
|
+
}) => import("o1js/dist/node/lib/provable/field").Field[];
|
42
44
|
toAuxiliary: (value?: {
|
43
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
45
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
44
46
|
} | undefined) => any[];
|
45
|
-
|
46
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
47
|
-
};
|
48
|
-
sizeInFields(): number;
|
47
|
+
sizeInFields: () => number;
|
49
48
|
check: (value: {
|
50
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
49
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
51
50
|
}) => void;
|
51
|
+
toValue: (x: {
|
52
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
53
|
+
}) => {
|
54
|
+
packed: bigint;
|
55
|
+
};
|
56
|
+
fromValue: ((x: {
|
57
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
58
|
+
} | {
|
59
|
+
packed: bigint;
|
60
|
+
}) => {
|
61
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
62
|
+
}) & ((value: {
|
63
|
+
packed: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
|
64
|
+
}) => {
|
65
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
66
|
+
});
|
67
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
68
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
69
|
+
};
|
52
70
|
toInput: (x: {
|
53
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
71
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
54
72
|
}) => {
|
55
|
-
fields?:
|
56
|
-
packed?: [
|
73
|
+
fields?: Field[] | undefined;
|
74
|
+
packed?: [Field, number][] | undefined;
|
57
75
|
};
|
58
76
|
toJSON: (x: {
|
59
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
77
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
60
78
|
}) => {
|
61
79
|
packed: string;
|
62
80
|
};
|
63
81
|
fromJSON: (x: {
|
64
82
|
packed: string;
|
65
83
|
}) => {
|
66
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
84
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
67
85
|
};
|
68
86
|
empty: () => {
|
69
|
-
packed: import("o1js/dist/node/lib/field").Field;
|
87
|
+
packed: import("o1js/dist/node/lib/provable/field").Field;
|
70
88
|
};
|
71
89
|
};
|
72
90
|
export declare function MultiPackingPlant<A, T extends InferProvable<A> = InferProvable<A>>(elementType: A, l: number, bitSize: bigint): (abstract new (packed: Array<Field>) => {
|
@@ -75,13 +93,15 @@ export declare function MultiPackingPlant<A, T extends InferProvable<A> = InferP
|
|
75
93
|
*/
|
76
94
|
toFields(): Array<Field>;
|
77
95
|
assertEquals(other: any): void;
|
78
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
96
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
79
97
|
}) & {
|
80
98
|
type: import("o1js/dist/node/bindings/lib/generic").GenericProvableExtendedPure<{
|
81
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
99
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
100
|
+
}, {
|
101
|
+
packed: bigint[];
|
82
102
|
}, {
|
83
103
|
packed: string[];
|
84
|
-
}, import("o1js/dist/node/lib/field").Field>;
|
104
|
+
}, import("o1js/dist/node/lib/provable/field").Field>;
|
85
105
|
l: number;
|
86
106
|
n: number;
|
87
107
|
bitSize: bigint;
|
@@ -112,35 +132,51 @@ export declare function MultiPackingPlant<A, T extends InferProvable<A> = InferP
|
|
112
132
|
unpackToBigints(fields: Array<Field>): Array<bigint>;
|
113
133
|
_isStruct: true;
|
114
134
|
toFields: (value: {
|
115
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
116
|
-
}) => import("o1js/dist/node/lib/field").Field[];
|
135
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
136
|
+
}) => import("o1js/dist/node/lib/provable/field").Field[];
|
117
137
|
toAuxiliary: (value?: {
|
118
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
138
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
119
139
|
} | undefined) => any[];
|
120
|
-
|
121
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
122
|
-
};
|
123
|
-
sizeInFields(): number;
|
140
|
+
sizeInFields: () => number;
|
124
141
|
check: (value: {
|
125
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
142
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
126
143
|
}) => void;
|
144
|
+
toValue: (x: {
|
145
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
146
|
+
}) => {
|
147
|
+
packed: bigint[];
|
148
|
+
};
|
149
|
+
fromValue: ((x: {
|
150
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
151
|
+
} | {
|
152
|
+
packed: bigint[];
|
153
|
+
}) => {
|
154
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
155
|
+
}) & ((value: {
|
156
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
|
157
|
+
}) => {
|
158
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
159
|
+
});
|
160
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
|
161
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
162
|
+
};
|
127
163
|
toInput: (x: {
|
128
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
164
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
129
165
|
}) => {
|
130
|
-
fields?:
|
131
|
-
packed?: [
|
166
|
+
fields?: Field[] | undefined;
|
167
|
+
packed?: [Field, number][] | undefined;
|
132
168
|
};
|
133
169
|
toJSON: (x: {
|
134
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
170
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
135
171
|
}) => {
|
136
172
|
packed: string[];
|
137
173
|
};
|
138
174
|
fromJSON: (x: {
|
139
175
|
packed: string[];
|
140
176
|
}) => {
|
141
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
177
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
142
178
|
};
|
143
179
|
empty: () => {
|
144
|
-
packed: import("o1js/dist/node/lib/field").Field[];
|
180
|
+
packed: import("o1js/dist/node/lib/provable/field").Field[];
|
145
181
|
};
|
146
182
|
};
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"PackingPlant.js","sourceRoot":"","sources":["../../../src/lib/PackingPlant.ts"],"names":[],"mappings":"AAAA,OAAO,
|
1
|
+
{"version":3,"file":"PackingPlant.js","sourceRoot":"","sources":["../../../src/lib/PackingPlant.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAiB,QAAQ,EAAE,MAAM,MAAM,CAAC;AAExE,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,MAAM,UAAU,YAAY,CAC1B,WAAc,EACd,CAAS,EACT,OAAe;IAEf,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,kBAAkB,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,qGAAqG,CACtG,CAAC;IACJ,CAAC;IACD,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,KAAK;KACd,CAAC;QAKA,YAAY,MAAa;YACvB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACpB,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAQ;YAC1B,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;YACJ,CAAC;QACH,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,CAAQ;YAC7B,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,IAAI,OAAO,CAAC;YACZ,IAAI,CAAC,EAAE,CAAC;gBACN,OAAO,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAC9C,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBACzD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,iGAAiG;QACjG;;WAEG;QACH,QAAQ;YACN,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;;IAhFM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,SAAC,GAAW,CAAC,CAAC;IACd,eAAO,GAAW,OAAO,CAAC;IAgFnC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAG/B,WAAc,EAAE,CAAS,EAAE,OAAe;IAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;KACjC,CAAC;QAMA,YAAY,MAAoB;YAC9B,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACpB,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAoB;YACtC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,gBAAgB;YACrB,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,MAAoB;YAChC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC7B,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;YACJ,CAAC;QACH,CAAC;QAED;;;;;;;WAOG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAClC,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,eAAe,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClD,IAAI,CAAC,CAAC,EAAE,CAAC;oBACP,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;gBAC7C,CAAC;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACtB,IAAI,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;oBACpD,IAAI,CAAC,KAAK,EAAE,CAAC;wBACX,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;oBAC7C,CAAC;oBACD,KAAK,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,MAAoB;YACzC,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,kEAAkE;YAClG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;oBACd,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC;YACtE,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChC,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,CAAC;YACrD,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;oBAC1C,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;oBACvD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,iGAAiG;QACjG;;WAEG;QACH,QAAQ;YACN,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;;IApHM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1D,SAAC,GAAW,CAAC,CAAC;IACd,SAAC,GAAW,CAAC,CAAC;IACd,eAAO,GAAW,OAAO,CAAC;IAmHnC,OAAO,OAAO,CAAC;AACjB,CAAC"}
|
@@ -1,14 +1,14 @@
|
|
1
1
|
import { Field, Bool } from 'o1js';
|
2
2
|
export declare function PackedBoolFactory(l?: number): {
|
3
|
-
new (packed:
|
3
|
+
new (packed: Field): {
|
4
4
|
toBooleans(): Array<boolean>;
|
5
|
-
toFields():
|
5
|
+
toFields(): Array<Field>;
|
6
6
|
assertEquals(other: {
|
7
|
-
toFields():
|
7
|
+
toFields(): Array<Field>;
|
8
8
|
assertEquals(other: any): void;
|
9
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
9
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
10
10
|
}): void;
|
11
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
11
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
12
12
|
};
|
13
13
|
extractField(input: Bool): Field;
|
14
14
|
sizeInBits(): bigint;
|
@@ -25,13 +25,13 @@ export declare function PackedBoolFactory(l?: number): {
|
|
25
25
|
*/
|
26
26
|
fromBools(bools: Array<Bool>): {
|
27
27
|
toBooleans(): Array<boolean>;
|
28
|
-
toFields():
|
28
|
+
toFields(): Array<Field>;
|
29
29
|
assertEquals(other: {
|
30
|
-
toFields():
|
30
|
+
toFields(): Array<Field>;
|
31
31
|
assertEquals(other: any): void;
|
32
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
32
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
33
33
|
}): void;
|
34
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
34
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
35
35
|
};
|
36
36
|
/**
|
37
37
|
*
|
@@ -40,55 +40,73 @@ export declare function PackedBoolFactory(l?: number): {
|
|
40
40
|
*/
|
41
41
|
fromBooleans(booleans: Array<boolean>): {
|
42
42
|
toBooleans(): Array<boolean>;
|
43
|
-
toFields():
|
43
|
+
toFields(): Array<Field>;
|
44
44
|
assertEquals(other: {
|
45
|
-
toFields():
|
45
|
+
toFields(): Array<Field>;
|
46
46
|
assertEquals(other: any): void;
|
47
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
47
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
48
48
|
}): void;
|
49
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
49
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
50
50
|
};
|
51
51
|
type: import("o1js/dist/node/bindings/lib/generic.js").GenericProvableExtendedPure<{
|
52
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
52
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
53
|
+
}, {
|
54
|
+
packed: bigint;
|
53
55
|
}, {
|
54
56
|
packed: string;
|
55
|
-
}, import("o1js/dist/node/lib/field.js").Field>;
|
57
|
+
}, import("o1js/dist/node/lib/provable/field.js").Field>;
|
56
58
|
l: number;
|
57
59
|
bitSize: bigint;
|
58
|
-
checkPack(unpacked: import("o1js/dist/node/lib/bool.js").Bool[]): void;
|
59
|
-
pack(unpacked: import("o1js/dist/node/lib/bool.js").Bool[]):
|
60
|
-
unpackToBigints(f:
|
60
|
+
checkPack(unpacked: import("o1js/dist/node/lib/provable/bool.js").Bool[]): void;
|
61
|
+
pack(unpacked: import("o1js/dist/node/lib/provable/bool.js").Bool[]): Field;
|
62
|
+
unpackToBigints(f: Field): Array<bigint>;
|
61
63
|
_isStruct: true;
|
62
64
|
toFields: (value: {
|
63
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
64
|
-
}) => import("o1js/dist/node/lib/field.js").Field[];
|
65
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
66
|
+
}) => import("o1js/dist/node/lib/provable/field.js").Field[];
|
65
67
|
toAuxiliary: (value?: {
|
66
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
68
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
67
69
|
} | undefined) => any[];
|
68
|
-
|
69
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
70
|
-
};
|
71
|
-
sizeInFields(): number;
|
70
|
+
sizeInFields: () => number;
|
72
71
|
check: (value: {
|
73
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
72
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
74
73
|
}) => void;
|
74
|
+
toValue: (x: {
|
75
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
76
|
+
}) => {
|
77
|
+
packed: bigint;
|
78
|
+
};
|
79
|
+
fromValue: ((x: {
|
80
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
81
|
+
} | {
|
82
|
+
packed: bigint;
|
83
|
+
}) => {
|
84
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
85
|
+
}) & ((value: {
|
86
|
+
packed: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field;
|
87
|
+
}) => {
|
88
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
89
|
+
});
|
90
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
|
91
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
92
|
+
};
|
75
93
|
toInput: (x: {
|
76
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
94
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
77
95
|
}) => {
|
78
|
-
fields?:
|
79
|
-
packed?: [
|
96
|
+
fields?: Field[] | undefined;
|
97
|
+
packed?: [Field, number][] | undefined;
|
80
98
|
};
|
81
99
|
toJSON: (x: {
|
82
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
100
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
83
101
|
}) => {
|
84
102
|
packed: string;
|
85
103
|
};
|
86
104
|
fromJSON: (x: {
|
87
105
|
packed: string;
|
88
106
|
}) => {
|
89
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
107
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
90
108
|
};
|
91
109
|
empty: () => {
|
92
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
110
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
93
111
|
};
|
94
112
|
};
|
@@ -63,13 +63,17 @@ describe('PackedBool', () => {
|
|
63
63
|
packedBool.assertEquals(outsidePackedBool);
|
64
64
|
});
|
65
65
|
}).not.toThrow();
|
66
|
-
|
67
|
-
|
68
|
-
|
69
|
-
|
70
|
-
|
71
|
-
|
72
|
-
|
66
|
+
// TODO: This test should not be in the "provable" block since it's not in the runAndCheck
|
67
|
+
// It seems like failures in the runAndCheck can't be tested for with #toThrow
|
68
|
+
try {
|
69
|
+
const fakePacked = outsidePackedBool.packed.add(32);
|
70
|
+
const packedBool = new PackedBool(fakePacked);
|
71
|
+
packedBool.assertEquals(outsidePackedBool);
|
72
|
+
fail('Expected to throw Field.assertEquals error');
|
73
|
+
}
|
74
|
+
catch (e) {
|
75
|
+
expect(e.message).toContain('Field.assertEquals');
|
76
|
+
}
|
73
77
|
});
|
74
78
|
});
|
75
79
|
});
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"PackedBool.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedBool.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,MAAM,QAAQ,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,UAAW,SAAQ,iBAAiB,EAAE;KAAG;IAC/C,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAE3C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,GAAI,SAAQ,iBAAiB,CAAC,CAAC,CAAC;aAAG;YACzC,MAAM,aAAc,SAAQ,iBAAiB,CAAC,GAAG,CAAC;aAAG;YAErD,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAE5C,MAAM,CAAC,GAAG,EAAE;gBACV,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAEtC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,aAAa,CAClE,QAAQ,CACT,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,MAAM,iBAAiB,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAE5D,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAE5D,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAC5D,UAAU,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC7C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;
|
1
|
+
{"version":3,"file":"PackedBool.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedBool.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,MAAM,QAAQ,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,UAAW,SAAQ,iBAAiB,EAAE;KAAG;IAC/C,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAE3C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,GAAI,SAAQ,iBAAiB,CAAC,CAAC,CAAC;aAAG;YACzC,MAAM,aAAc,SAAQ,iBAAiB,CAAC,GAAG,CAAC;aAAG;YAErD,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAE5C,MAAM,CAAC,GAAG,EAAE;gBACV,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAEtC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,aAAa,CAClE,QAAQ,CACT,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,MAAM,iBAAiB,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAE5D,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAE5D,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAC5D,UAAU,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC7C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YAEjB,0FAA0F;YAC1F,oFAAoF;YACpF,IAAI,CAAC;gBACH,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpD,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;gBAC9C,UAAU,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC3C,IAAI,CAAC,4CAA4C,CAAC,CAAC;YACrD,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YACpD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|