o1js-pack 0.6.0 → 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 +4 -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/package.json +11 -8
- package/tsconfig.json +2 -1
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"}
|
@@ -1,14 +1,14 @@
|
|
1
1
|
import { Field, Character } from 'o1js';
|
2
2
|
export declare function PackedStringFactory(l?: number): {
|
3
|
-
new (packed:
|
3
|
+
new (packed: Field): {
|
4
4
|
toString(): string;
|
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: Character): Field;
|
14
14
|
sizeInBits(): bigint;
|
@@ -25,13 +25,13 @@ export declare function PackedStringFactory(l?: number): {
|
|
25
25
|
*/
|
26
26
|
fromCharacters(input: Array<Character>): {
|
27
27
|
toString(): string;
|
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,60 +40,74 @@ export declare function PackedStringFactory(l?: number): {
|
|
40
40
|
*/
|
41
41
|
fromString(str: string): {
|
42
42
|
toString(): string;
|
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
60
|
checkPack(unpacked: Character[]): void;
|
59
|
-
pack(unpacked: Character[]):
|
60
|
-
unpackToBigints(f:
|
61
|
-
*
|
62
|
-
* @param fields Array of Fields, containing packed Characters
|
63
|
-
* @returns Array of Character
|
64
|
-
*/
|
61
|
+
pack(unpacked: Character[]): Field;
|
62
|
+
unpackToBigints(f: Field): Array<bigint>;
|
65
63
|
_isStruct: true;
|
66
64
|
toFields: (value: {
|
67
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
68
|
-
}) => 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[];
|
69
67
|
toAuxiliary: (value?: {
|
70
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
68
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
71
69
|
} | undefined) => any[];
|
72
|
-
|
73
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
74
|
-
};
|
75
|
-
sizeInFields(): number;
|
70
|
+
sizeInFields: () => number;
|
76
71
|
check: (value: {
|
77
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
72
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
78
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
|
+
};
|
79
93
|
toInput: (x: {
|
80
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
94
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
81
95
|
}) => {
|
82
|
-
fields?:
|
83
|
-
packed?: [
|
96
|
+
fields?: Field[] | undefined;
|
97
|
+
packed?: [Field, number][] | undefined;
|
84
98
|
};
|
85
99
|
toJSON: (x: {
|
86
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
100
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
87
101
|
}) => {
|
88
102
|
packed: string;
|
89
103
|
};
|
90
104
|
fromJSON: (x: {
|
91
105
|
packed: string;
|
92
106
|
}) => {
|
93
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
107
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
94
108
|
};
|
95
109
|
empty: () => {
|
96
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
110
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field;
|
97
111
|
};
|
98
112
|
};
|
99
113
|
/**
|
@@ -102,15 +116,15 @@ export declare function PackedStringFactory(l?: number): {
|
|
102
116
|
* @returns MultiPackedString_ class with length of n * CHARS_PER_FIELD
|
103
117
|
*/
|
104
118
|
export declare function MultiPackedStringFactory(n?: number): {
|
105
|
-
new (packed:
|
119
|
+
new (packed: Array<Field>): {
|
106
120
|
toString(): string;
|
107
|
-
toFields():
|
121
|
+
toFields(): Array<Field>;
|
108
122
|
assertEquals(other: {
|
109
|
-
toFields():
|
123
|
+
toFields(): Array<Field>;
|
110
124
|
assertEquals(other: any): void;
|
111
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
125
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
112
126
|
}): void;
|
113
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
127
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
114
128
|
};
|
115
129
|
extractField(input: Character): Field;
|
116
130
|
sizeInBits(): bigint;
|
@@ -128,13 +142,13 @@ export declare function MultiPackedStringFactory(n?: number): {
|
|
128
142
|
*/
|
129
143
|
fromCharacters(input: Array<Character>): {
|
130
144
|
toString(): string;
|
131
|
-
toFields():
|
145
|
+
toFields(): Array<Field>;
|
132
146
|
assertEquals(other: {
|
133
|
-
toFields():
|
147
|
+
toFields(): Array<Field>;
|
134
148
|
assertEquals(other: any): void;
|
135
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
149
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
136
150
|
}): void;
|
137
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
151
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
138
152
|
};
|
139
153
|
/**
|
140
154
|
*
|
@@ -143,56 +157,74 @@ export declare function MultiPackedStringFactory(n?: number): {
|
|
143
157
|
*/
|
144
158
|
fromString(str: string): {
|
145
159
|
toString(): string;
|
146
|
-
toFields():
|
160
|
+
toFields(): Array<Field>;
|
147
161
|
assertEquals(other: {
|
148
|
-
toFields():
|
162
|
+
toFields(): Array<Field>;
|
149
163
|
assertEquals(other: any): void;
|
150
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
164
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
151
165
|
}): void;
|
152
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
166
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
153
167
|
};
|
154
168
|
type: import("o1js/dist/node/bindings/lib/generic.js").GenericProvableExtendedPure<{
|
155
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
169
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
170
|
+
}, {
|
171
|
+
packed: bigint[];
|
156
172
|
}, {
|
157
173
|
packed: string[];
|
158
|
-
}, import("o1js/dist/node/lib/field.js").Field>;
|
174
|
+
}, import("o1js/dist/node/lib/provable/field.js").Field>;
|
159
175
|
l: number;
|
160
176
|
n: number;
|
161
177
|
bitSize: bigint;
|
162
178
|
checkPack(unpacked: Character[]): void;
|
163
|
-
pack(unpacked: Character[]):
|
164
|
-
unpackToBigints(fields:
|
179
|
+
pack(unpacked: Character[]): Array<Field>;
|
180
|
+
unpackToBigints(fields: Array<Field>): Array<bigint>;
|
165
181
|
_isStruct: true;
|
166
182
|
toFields: (value: {
|
167
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
168
|
-
}) => import("o1js/dist/node/lib/field.js").Field[];
|
183
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
184
|
+
}) => import("o1js/dist/node/lib/provable/field.js").Field[];
|
169
185
|
toAuxiliary: (value?: {
|
170
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
186
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
171
187
|
} | undefined) => any[];
|
172
|
-
|
173
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
174
|
-
};
|
175
|
-
sizeInFields(): number;
|
188
|
+
sizeInFields: () => number;
|
176
189
|
check: (value: {
|
177
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
190
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
178
191
|
}) => void;
|
192
|
+
toValue: (x: {
|
193
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
194
|
+
}) => {
|
195
|
+
packed: bigint[];
|
196
|
+
};
|
197
|
+
fromValue: ((x: {
|
198
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
199
|
+
} | {
|
200
|
+
packed: bigint[];
|
201
|
+
}) => {
|
202
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
203
|
+
}) & ((value: {
|
204
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[] | bigint[];
|
205
|
+
}) => {
|
206
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
207
|
+
});
|
208
|
+
fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
|
209
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
210
|
+
};
|
179
211
|
toInput: (x: {
|
180
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
212
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
181
213
|
}) => {
|
182
|
-
fields?:
|
183
|
-
packed?: [
|
214
|
+
fields?: Field[] | undefined;
|
215
|
+
packed?: [Field, number][] | undefined;
|
184
216
|
};
|
185
217
|
toJSON: (x: {
|
186
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
218
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
187
219
|
}) => {
|
188
220
|
packed: string[];
|
189
221
|
};
|
190
222
|
fromJSON: (x: {
|
191
223
|
packed: string[];
|
192
224
|
}) => {
|
193
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
225
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
194
226
|
};
|
195
227
|
empty: () => {
|
196
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
228
|
+
packed: import("o1js/dist/node/lib/provable/field.js").Field[];
|
197
229
|
};
|
198
230
|
};
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"PackedString.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAErE,MAAM,YAAY,GAAG,EAAE,CAAC;AACxB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,2CAA2C;AACzD,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,MAAM,UAAU,mBAAmB,CAAC,IAAY,CAAC;IAC/C,MAAM,aAAc,SAAQ,YAAY,CAAC,SAAS,EAAE,CAAC,EAAE,YAAY,CAAC;QAClE,MAAM,CAAC,YAAY,CAAC,KAAgB;YAClC,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,CAAC;QAED,MAAM,CAAC,UAAU;YACf,OAAO,YAAY,CAAC;QACtB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7C,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,cAAc,CAAC,KAAuB;YAC3C,IAAI,UAAU,GAAqB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;
|
1
|
+
{"version":3,"file":"PackedString.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAErE,MAAM,YAAY,GAAG,EAAE,CAAC;AACxB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,2CAA2C;AACzD,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,MAAM,UAAU,mBAAmB,CAAC,IAAY,CAAC;IAC/C,MAAM,aAAc,SAAQ,YAAY,CAAC,SAAS,EAAE,CAAC,EAAE,YAAY,CAAC;QAClE,MAAM,CAAC,YAAY,CAAC,KAAgB;YAClC,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,CAAC;QAED,MAAM,CAAC,UAAU;YACf,OAAO,YAAY,CAAC;QACtB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7C,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,cAAc,CAAC,KAAuB;YAC3C,IAAI,UAAU,GAAqB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrC,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,UAAU,CAAC,GAAW;YAC3B,IAAI,UAAU,GAAqB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;QAED,QAAQ;YACN,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACxC,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;iBACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,QAAQ,CAAC;iBACxC,IAAI,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;KACF;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,CAAC,GAAG,CAAC;IAC5C,MAAM,kBAAmB,SAAQ,iBAAiB,CAChD,SAAS,EACT,CAAC,GAAG,eAAe,EACnB,YAAY,CACb;QACC,MAAM,CAAC,YAAY,CAAC,KAAgB;YAClC,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,CAAC;QAED,MAAM,CAAC,UAAU;YACf,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,MAAM,CAAC,gBAAgB;YACrB,OAAO,eAAe,CAAC;QACzB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,MAAM,CAAC,MAAe;YAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAC/B,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EACjC,GAAG,EAAE;gBACH,IAAI,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;gBAC5C,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;YACJ,CAAC,CACF,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,YAAY,CAChC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CACjD,CAAC;YACF,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,cAAc,CAAC,KAAuB;YAC3C,IAAI,UAAU,GAAqB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrC,OAAO,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACxC,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,UAAU,CAAC,GAAW;YAC3B,IAAI,UAAU,GAAqB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;QAED,QAAQ;YACN,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACxC,OAAO,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;iBAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,QAAQ,CAAC;iBACxC,IAAI,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;KACF;IACD,OAAO,kBAAkB,CAAC;AAC5B,CAAC"}
|
@@ -106,14 +106,18 @@ describe('PackedString', () => {
|
|
106
106
|
myEthAddress.assertEquals(outsideEthAddress);
|
107
107
|
});
|
108
108
|
}).not.toThrow();
|
109
|
-
|
110
|
-
|
111
|
-
|
112
|
-
|
113
|
-
|
114
|
-
|
115
|
-
|
116
|
-
|
109
|
+
// TODO: This test should not be in the "provable" block since it's not in the runAndCheck
|
110
|
+
// It seems like failures in the runAndCheck can't be tested for with #toThrow
|
111
|
+
try {
|
112
|
+
const fakePacked = [...outsideEthAddress.packed];
|
113
|
+
fakePacked[0] = fakePacked[0].add(1);
|
114
|
+
const myEthAddress = new EthAddressString(fakePacked);
|
115
|
+
myEthAddress.assertEquals(outsideEthAddress);
|
116
|
+
fail('Expected to throw Field.assertEquals error');
|
117
|
+
}
|
118
|
+
catch (e) {
|
119
|
+
expect(e.message).toContain('Field.assertEquals');
|
120
|
+
}
|
117
121
|
});
|
118
122
|
});
|
119
123
|
});
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"PackedString.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAE/E,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,wBAAwB,CAAC,CAAC,CAAC;SAAG;QAC7D,IAAI,UAAU,GAAqB,EAAE,CAAC;QAEtC,UAAU,CAAC,GAAG,EAAE;YACd,UAAU,GAAG,EAAE,CAAC;YAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;
|
1
|
+
{"version":3,"file":"PackedString.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAE/E,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,wBAAwB,CAAC,CAAC,CAAC;SAAG;QAC7D,IAAI,UAAU,GAAqB,EAAE,CAAC;QAEtC,UAAU,CAAC,GAAG,EAAE;YACd,UAAU,GAAG,EAAE,CAAC;YAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,YAAY,GAAG,gBAAgB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;YAClE,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,YAAY,GAAG,gBAAgB,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;YACjE,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CACtC,gBAAgB,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,MAAM,CACnD,CAAC;YACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAE/C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;YACnE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAC1D,UAAU,CAAC,QAAQ,EAAE,CACtB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;YACnB,MAAM,MAAO,SAAQ,mBAAmB,EAAE;aAAG;YAC7C,MAAM,MAAO,SAAQ,wBAAwB,CAAC,CAAC,CAAC;aAAG;YACnD,MAAM,UAAU,GAAG,YAAY,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAC1D,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAC9C,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzE,MAAM,CACJ,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CACjE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAEf,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,eAAe,GACnB,6EAA6E,CAAC;YAChF,MAAM,eAAe,GAAG,wBAAwB,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAC5D,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAChD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAC5D,eAAe,GAAG,GAAG,GAAG,eAAe,CACxC,CAAC;YACF,MAAM,CACJ,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;iBAC5D,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;iBACZ,IAAI,CAAC,EAAE,CAAC;iBACR,QAAQ,EAAE,CACd,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnB,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,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAC5C,MAAM,GAAI,SAAQ,wBAAwB,CAAC,CAAC,CAAC;aAAG;YAChD,MAAM,KAAM,SAAQ,wBAAwB,CAAC,CAAC,CAAC;aAAG;YAElD,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,QAAS,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAEjD,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAE1C,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAS,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAEjD,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;YACrC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACvC,MAAM,SAAU,SAAQ,wBAAwB,CAAC,CAAC,CAAC;aAAG;YACtD,MAAM,CAAC,GAAG,EAAE;gBACV,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,wBAAwB,CAAC,CAAC,CAAC;SAAG;QAE7D,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QAEvE,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAEpE,gBAAgB,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC1D,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAEpE,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YAEjB,0FAA0F;YAC1F,oFAAoF;YACpF,IAAI,CAAC;gBACH,MAAM,UAAU,GAAG,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBACjD,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACrC,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,UAAU,CAAC,CAAC;gBACtD,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC7C,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"}
|
@@ -1,14 +1,14 @@
|
|
1
1
|
import { Field, UInt32 } from 'o1js';
|
2
2
|
export declare function PackedUInt32Factory(l?: number): {
|
3
|
-
new (packed:
|
3
|
+
new (packed: Field): {
|
4
4
|
toBigInts(): Array<bigint>;
|
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: UInt32): Field;
|
14
14
|
sizeInBits(): bigint;
|
@@ -25,13 +25,13 @@ export declare function PackedUInt32Factory(l?: number): {
|
|
25
25
|
*/
|
26
26
|
fromUInt32s(uint32s: Array<UInt32>): {
|
27
27
|
toBigInts(): Array<bigint>;
|
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 PackedUInt32Factory(l?: number): {
|
|
40
40
|
*/
|
41
41
|
fromBigInts(bigints: Array<bigint>): {
|
42
42
|
toBigInts(): Array<bigint>;
|
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
60
|
checkPack(unpacked: UInt32[]): void;
|
59
|
-
pack(unpacked: UInt32[]):
|
60
|
-
unpackToBigints(f:
|
61
|
+
pack(unpacked: UInt32[]): 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
|
};
|
@@ -64,20 +64,24 @@ describe('PackedUInt32', () => {
|
|
64
64
|
});
|
65
65
|
}).not.toThrow();
|
66
66
|
});
|
67
|
-
it('#assertEquals', () => {
|
67
|
+
it('#assertEquals', async () => {
|
68
68
|
expect(() => {
|
69
69
|
Provable.runAndCheck(() => {
|
70
70
|
const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed);
|
71
71
|
packedUInt32.assertEquals(outsidePackedUInt);
|
72
72
|
});
|
73
73
|
}).not.toThrow();
|
74
|
-
|
75
|
-
|
76
|
-
|
77
|
-
|
78
|
-
|
79
|
-
|
80
|
-
|
74
|
+
// TODO: This test should not be in the "provable" block since it's not in the runAndCheck
|
75
|
+
// It seems like failures in the runAndCheck can't be tested for with #toThrow
|
76
|
+
try {
|
77
|
+
const fakePacked = outsidePackedUInt.packed.add(32);
|
78
|
+
const packedUInt32 = new PackedUInt32(fakePacked);
|
79
|
+
packedUInt32.assertEquals(outsidePackedUInt);
|
80
|
+
fail('Expected to throw Field.assertEquals error');
|
81
|
+
}
|
82
|
+
catch (e) {
|
83
|
+
expect(e.message).toContain('Field.assertEquals');
|
84
|
+
}
|
81
85
|
});
|
82
86
|
});
|
83
87
|
});
|
@@ -1 +1 @@
|
|
1
|
-
{"version":3,"file":"PackedUInt32.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedUInt32.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAErD,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,MAAM,YAAa,SAAQ,mBAAmB,EAAE;KAAG;IACnD,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAEjD,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,cAAc,GAAG,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACzD,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAE7C,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,mBAAmB,CAAC,CAAC,CAAC;aAAG;YAC3C,MAAM,KAAM,SAAQ,mBAAmB,CAAC,CAAC,CAAC;aAAG;YAE7C,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAG;gBACd,GAAG;gBACH,EAAE,IAAI,GAAG,GAAG,EAAE;gBACd,EAAE;gBACF,GAAG;gBACH,EAAE,IAAI,GAAG,GAAG,IAAI;gBAChB,GAAG;gBACH,EAAE;gBACF,EAAE;aACH,CAAC;YAEF,MAAM,CAAC,GAAG,EAAE;gBACV,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;YAEtB,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAE/C,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CACjE,QAAQ,CACT,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1E,MAAM,iBAAiB,GAAG,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAE5D,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAEhE,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;gBACtD,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,eAAe,EAAE,
|
1
|
+
{"version":3,"file":"PackedUInt32.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedUInt32.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAErD,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,MAAM,YAAa,SAAQ,mBAAmB,EAAE;KAAG;IACnD,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAEjD,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,cAAc,GAAG,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACzD,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAE7C,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,mBAAmB,CAAC,CAAC,CAAC;aAAG;YAC3C,MAAM,KAAM,SAAQ,mBAAmB,CAAC,CAAC,CAAC;aAAG;YAE7C,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAG;gBACd,GAAG;gBACH,EAAE,IAAI,GAAG,GAAG,EAAE;gBACd,EAAE;gBACF,GAAG;gBACH,EAAE,IAAI,GAAG,GAAG,IAAI;gBAChB,GAAG;gBACH,EAAE;gBACF,EAAE;aACH,CAAC;YAEF,MAAM,CAAC,GAAG,EAAE;gBACV,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;YAEtB,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAE/C,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CACjE,QAAQ,CACT,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,GAAG,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1E,MAAM,iBAAiB,GAAG,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAE5D,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAEhE,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;gBACtD,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,eAAe,EAAE,KAAK,IAAI,EAAE;YAC7B,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAChE,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC/C,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,YAAY,GAAG,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;gBAClD,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC7C,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"}
|
package/package.json
CHANGED
@@ -1,6 +1,6 @@
|
|
1
1
|
{
|
2
2
|
"name": "o1js-pack",
|
3
|
-
"version": "0.
|
3
|
+
"version": "0.7.0",
|
4
4
|
"description": "",
|
5
5
|
"author": "45930",
|
6
6
|
"license": "Apache-2.0",
|
@@ -16,11 +16,11 @@
|
|
16
16
|
"scripts": {
|
17
17
|
"build": "tsc",
|
18
18
|
"buildw": "tsc --watch",
|
19
|
-
"coverage": "node --experimental-vm-modules
|
19
|
+
"coverage": "node --experimental-vm-modules node_modules/jest/bin/jest.js --coverage",
|
20
20
|
"format": "prettier --write --ignore-unknown **/*",
|
21
21
|
"prepare": "husky install",
|
22
|
-
"test": "node --experimental-vm-modules
|
23
|
-
"testw": "node --experimental-vm-modules
|
22
|
+
"test": "node --experimental-vm-modules node_modules/jest/bin/jest.js",
|
23
|
+
"testw": "node --experimental-vm-modules node_modules/jest/bin/jest.js --watch",
|
24
24
|
"lint": "npx eslint src/* --fix"
|
25
25
|
},
|
26
26
|
"lint-staged": {
|
@@ -38,13 +38,16 @@
|
|
38
38
|
"eslint": "^8.7.0",
|
39
39
|
"eslint-plugin-o1js": "^0.4.0",
|
40
40
|
"husky": "^7.0.1",
|
41
|
-
"jest": "^
|
41
|
+
"jest": "^29.7.0",
|
42
42
|
"lint-staged": "^11.0.1",
|
43
43
|
"prettier": "^2.3.2",
|
44
|
-
"ts-jest": "^
|
45
|
-
"typescript": "^
|
44
|
+
"ts-jest": "^29.1.5",
|
45
|
+
"typescript": "^5.5.2"
|
46
46
|
},
|
47
47
|
"peerDependencies": {
|
48
|
-
"o1js": "^0.
|
48
|
+
"o1js": "^1.0.0"
|
49
|
+
},
|
50
|
+
"volta": {
|
51
|
+
"node": "20.15.0"
|
49
52
|
}
|
50
53
|
}
|