o1js-pack 0.3.1 → 0.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.github/workflows/ci.yml +1 -1
- package/build/src/lib/PackingPlant.d.ts +66 -18
- package/build/src/lib/PackingPlant.js +145 -28
- package/build/src/lib/PackingPlant.js.map +1 -1
- package/build/src/lib/packed-types/PackedBool.d.ts +34 -21
- package/build/src/lib/packed-types/PackedBool.js +35 -34
- package/build/src/lib/packed-types/PackedBool.js.map +1 -1
- package/build/src/lib/packed-types/PackedBool.test.js +5 -5
- package/build/src/lib/packed-types/PackedBool.test.js.map +1 -1
- package/build/src/lib/packed-types/PackedString.d.ts +35 -21
- package/build/src/lib/packed-types/PackedString.js +38 -61
- package/build/src/lib/packed-types/PackedString.js.map +1 -1
- package/build/src/lib/packed-types/PackedString.test.js +6 -6
- package/build/src/lib/packed-types/PackedString.test.js.map +1 -1
- package/build/src/lib/packed-types/PackedUInt32.d.ts +33 -20
- package/build/src/lib/packed-types/PackedUInt32.js +33 -32
- package/build/src/lib/packed-types/PackedUInt32.js.map +1 -1
- package/build/src/lib/packed-types/PackedUInt32.test.js +4 -4
- package/build/src/lib/packed-types/PackedUInt32.test.js.map +1 -1
- package/package.json +1 -1
- package/tests/provable/end_to_end.test.ts +67 -0
- package/tests/provable/example_packed_string_circuit.ts +52 -0
- package/tests/provable/example_packed_uint_circuit.ts +45 -0
|
@@ -1,44 +1,53 @@
|
|
|
1
1
|
import { Field, Character } from 'o1js';
|
|
2
|
-
export declare function PackedStringFactory(l
|
|
3
|
-
new (packed: import("o1js/dist/node/lib/field.js").Field[]
|
|
2
|
+
export declare function PackedStringFactory(l?: number): {
|
|
3
|
+
new (packed: import("o1js/dist/node/lib/field.js").Field[]): {
|
|
4
4
|
toString(): string;
|
|
5
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
6
|
-
aux: Character[];
|
|
7
5
|
bitSize: bigint;
|
|
8
6
|
assertEquals(other: {
|
|
9
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
10
|
-
aux: Character[];
|
|
11
7
|
bitSize: bigint;
|
|
12
8
|
assertEquals(other: any): void;
|
|
9
|
+
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
13
10
|
}): void;
|
|
11
|
+
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
14
12
|
};
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
13
|
+
extractField(input: Character): Field;
|
|
14
|
+
sizeInBits(): bigint;
|
|
15
|
+
elementsPerField(): number;
|
|
16
|
+
/**
|
|
17
|
+
*
|
|
18
|
+
* @param fields Array of Fields, containing packed Characters
|
|
19
|
+
* @returns Array of Character
|
|
20
|
+
*/
|
|
21
|
+
unpack(fields: Field[]): Character[];
|
|
22
|
+
/**
|
|
23
|
+
*
|
|
24
|
+
* @param characters Array of Character to be packed
|
|
25
|
+
* @returns Instance of the implementing class
|
|
26
|
+
*/
|
|
27
|
+
fromCharacters(characters: Array<Character>): {
|
|
20
28
|
toString(): string;
|
|
21
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
22
|
-
aux: Character[];
|
|
23
29
|
bitSize: bigint;
|
|
24
30
|
assertEquals(other: {
|
|
25
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
26
|
-
aux: Character[];
|
|
27
31
|
bitSize: bigint;
|
|
28
32
|
assertEquals(other: any): void;
|
|
33
|
+
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
29
34
|
}): void;
|
|
35
|
+
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
30
36
|
};
|
|
31
|
-
|
|
37
|
+
/**
|
|
38
|
+
*
|
|
39
|
+
* @param str string to be packed
|
|
40
|
+
* @returns Instance of the implementing class
|
|
41
|
+
*/
|
|
42
|
+
fromString(str: string): {
|
|
32
43
|
toString(): string;
|
|
33
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
34
|
-
aux: Character[];
|
|
35
44
|
bitSize: bigint;
|
|
36
45
|
assertEquals(other: {
|
|
37
|
-
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
38
|
-
aux: Character[];
|
|
39
46
|
bitSize: bigint;
|
|
40
47
|
assertEquals(other: any): void;
|
|
48
|
+
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
41
49
|
}): void;
|
|
50
|
+
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
42
51
|
};
|
|
43
52
|
type: import("o1js/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
|
|
44
53
|
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
@@ -47,11 +56,16 @@ export declare function PackedStringFactory(l: number): {
|
|
|
47
56
|
}>;
|
|
48
57
|
l: number;
|
|
49
58
|
n: number;
|
|
50
|
-
|
|
59
|
+
checkPack(unpacked: Character[]): void;
|
|
60
|
+
pack(unpacked: Character[]): import("o1js/dist/node/lib/field.js").Field[];
|
|
61
|
+
unpackToBigints(fields: import("o1js/dist/node/lib/field.js").Field[]): bigint[];
|
|
51
62
|
_isStruct: true;
|
|
52
63
|
toFields: (value: {
|
|
53
64
|
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
54
65
|
}) => import("o1js/dist/node/lib/field.js").Field[];
|
|
66
|
+
toAuxiliary: (value?: {
|
|
67
|
+
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
68
|
+
} | undefined) => any[];
|
|
55
69
|
fromFields: (fields: import("o1js/dist/node/lib/field.js").Field[]) => {
|
|
56
70
|
packed: import("o1js/dist/node/lib/field.js").Field[];
|
|
57
71
|
};
|
|
@@ -1,75 +1,52 @@
|
|
|
1
1
|
import { Field, Provable, Character } from 'o1js';
|
|
2
2
|
import { MultiPackingPlant } from '../PackingPlant.js';
|
|
3
3
|
const SIZE_IN_BITS = 16n;
|
|
4
|
+
const L = 15; // Default to one-field worth of characters
|
|
4
5
|
const CHARS_PER_FIELD = 15;
|
|
5
|
-
export function PackedStringFactory(l) {
|
|
6
|
+
export function PackedStringFactory(l = L) {
|
|
6
7
|
class PackedString_ extends MultiPackingPlant(Character, l, SIZE_IN_BITS) {
|
|
7
|
-
static
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
}
|
|
26
|
-
for (let i = 0; i < packedNs.length; i++) {
|
|
27
|
-
let packedN = packedNs[i];
|
|
28
|
-
for (let j = 0; j < CHARS_PER_FIELD; j++) {
|
|
29
|
-
const k = i * CHARS_PER_FIELD + j;
|
|
30
|
-
uints_[k] = packedN & ((1n << SIZE_IN_BITS) - 1n);
|
|
31
|
-
packedN >>= SIZE_IN_BITS;
|
|
32
|
-
}
|
|
33
|
-
}
|
|
34
|
-
return uints_.map((x) => Character.fromString(String.fromCharCode(Number(x))));
|
|
8
|
+
static extractField(input) {
|
|
9
|
+
return input.value;
|
|
10
|
+
}
|
|
11
|
+
static sizeInBits() {
|
|
12
|
+
return SIZE_IN_BITS;
|
|
13
|
+
}
|
|
14
|
+
static elementsPerField() {
|
|
15
|
+
return CHARS_PER_FIELD;
|
|
16
|
+
}
|
|
17
|
+
/**
|
|
18
|
+
*
|
|
19
|
+
* @param fields Array of Fields, containing packed Characters
|
|
20
|
+
* @returns Array of Character
|
|
21
|
+
*/
|
|
22
|
+
static unpack(fields) {
|
|
23
|
+
const unpacked = Provable.witness(Provable.Array(Character, l), () => {
|
|
24
|
+
let unpacked = this.unpackToBigints(fields);
|
|
25
|
+
return unpacked.map((x) => Character.fromString(String.fromCharCode(Number(x))));
|
|
35
26
|
});
|
|
36
|
-
return
|
|
27
|
+
return unpacked;
|
|
37
28
|
}
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
// f = initialChar.value is the same as f = 0; f += char.value * c^0;
|
|
47
|
-
// If f is initialized as 0, then it is a "constant" field and can't be added to a "variable" field in a proof
|
|
48
|
-
let f = initialChar.value;
|
|
49
|
-
const n = Math.min(mutableAux.length + 1, CHARS_PER_FIELD);
|
|
50
|
-
for (let i = 1; i < n; i++) {
|
|
51
|
-
const char = mutableAux.shift();
|
|
52
|
-
if (!char) {
|
|
53
|
-
throw new Error('Unexpected Array Length');
|
|
54
|
-
}
|
|
55
|
-
const value = char.value || Field(0);
|
|
56
|
-
const c = Field((2n ** SIZE_IN_BITS) ** BigInt(i));
|
|
57
|
-
f = f.add(value.mul(c));
|
|
58
|
-
}
|
|
59
|
-
fields.push(f);
|
|
60
|
-
}
|
|
61
|
-
return fields;
|
|
29
|
+
/**
|
|
30
|
+
*
|
|
31
|
+
* @param characters Array of Character to be packed
|
|
32
|
+
* @returns Instance of the implementing class
|
|
33
|
+
*/
|
|
34
|
+
static fromCharacters(characters) {
|
|
35
|
+
const packed = this.pack(characters);
|
|
36
|
+
return new PackedString_(packed);
|
|
62
37
|
}
|
|
38
|
+
/**
|
|
39
|
+
*
|
|
40
|
+
* @param str string to be packed
|
|
41
|
+
* @returns Instance of the implementing class
|
|
42
|
+
*/
|
|
63
43
|
static fromString(str) {
|
|
64
|
-
let characters =
|
|
44
|
+
let characters = new Array(l);
|
|
45
|
+
characters.fill(new Character(Field(0)), 0, l);
|
|
65
46
|
for (let i = 0; i < str.length; i++) {
|
|
66
|
-
characters
|
|
47
|
+
characters[i] = Character.fromString(str[i]);
|
|
67
48
|
}
|
|
68
|
-
return this.
|
|
69
|
-
}
|
|
70
|
-
static fromAuxiliary(aux) {
|
|
71
|
-
const packed = this.pack(aux);
|
|
72
|
-
return new PackedString_(packed, aux);
|
|
49
|
+
return this.fromCharacters(characters);
|
|
73
50
|
}
|
|
74
51
|
toString() {
|
|
75
52
|
const nullChar = String.fromCharCode(0);
|
|
@@ -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,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,MAAM,YAAY,GAAG,GAAG,CAAC;AACzB,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,MAAM,UAAU,mBAAmB,CAAC,
|
|
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,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,MAAM,YAAY,GAAG,GAAG,CAAC;AACzB,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,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,YAAY,CAAC;QACvE,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,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBACnE,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,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,cAAc,CAAC,UAA4B;YAChD,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,CAAC,CAAC,CAAC;YAChD,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACnC,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAC9C;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"}
|
|
@@ -16,8 +16,8 @@ describe('PackedString', () => {
|
|
|
16
16
|
const myEthAddress = EthAddressString.fromString(vitalik_dot_eth);
|
|
17
17
|
expect(myEthAddress.toString()).toBe(vitalik_dot_eth);
|
|
18
18
|
});
|
|
19
|
-
it('#
|
|
20
|
-
const myEthAddress = EthAddressString.
|
|
19
|
+
it('#fromCharacters', () => {
|
|
20
|
+
const myEthAddress = EthAddressString.fromCharacters(characters);
|
|
21
21
|
expect(myEthAddress.toString()).toBe(vitalik_dot_eth);
|
|
22
22
|
});
|
|
23
23
|
it('#pack and #unPack', () => {
|
|
@@ -54,7 +54,7 @@ describe('PackedString', () => {
|
|
|
54
54
|
class String10 extends PackedStringFactory(10) {
|
|
55
55
|
}
|
|
56
56
|
expect(() => {
|
|
57
|
-
|
|
57
|
+
String10.fromString('abcdefghijk');
|
|
58
58
|
}).toThrow();
|
|
59
59
|
});
|
|
60
60
|
it('Exceeds maximum size string', () => {
|
|
@@ -74,7 +74,7 @@ describe('PackedString', () => {
|
|
|
74
74
|
it('Initializes a string', () => {
|
|
75
75
|
expect(() => {
|
|
76
76
|
Provable.runAndCheck(() => {
|
|
77
|
-
const myEthAddress = new EthAddressString(outsideEthAddress.packed
|
|
77
|
+
const myEthAddress = new EthAddressString(outsideEthAddress.packed);
|
|
78
78
|
EthAddressString.check({ packed: myEthAddress.packed });
|
|
79
79
|
});
|
|
80
80
|
}).not.toThrow();
|
|
@@ -82,7 +82,7 @@ describe('PackedString', () => {
|
|
|
82
82
|
it('#assertEquals', () => {
|
|
83
83
|
expect(() => {
|
|
84
84
|
Provable.runAndCheck(() => {
|
|
85
|
-
const myEthAddress = new EthAddressString(outsideEthAddress.packed
|
|
85
|
+
const myEthAddress = new EthAddressString(outsideEthAddress.packed);
|
|
86
86
|
myEthAddress.assertEquals(outsideEthAddress);
|
|
87
87
|
});
|
|
88
88
|
}).not.toThrow();
|
|
@@ -90,7 +90,7 @@ describe('PackedString', () => {
|
|
|
90
90
|
Provable.runAndCheck(() => {
|
|
91
91
|
const fakePacked = [...outsideEthAddress.packed];
|
|
92
92
|
fakePacked[0] = fakePacked[0].add(1);
|
|
93
|
-
const myEthAddress = new EthAddressString(fakePacked
|
|
93
|
+
const myEthAddress = new EthAddressString(fakePacked);
|
|
94
94
|
myEthAddress.assertEquals(outsideEthAddress);
|
|
95
95
|
});
|
|
96
96
|
}).toThrow();
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"PackedString.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAS,QAAQ,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAErD,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,mBAAmB,CAAC,EAAE,CAAC;SAAG;QACzD,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;gBAC/C,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC3D;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,
|
|
1
|
+
{"version":3,"file":"PackedString.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAS,QAAQ,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAErD,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,mBAAmB,CAAC,EAAE,CAAC;SAAG;QACzD,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;gBAC/C,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC3D;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,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAEjD,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,eAAe,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1D,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,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAC5C,MAAM,KAAM,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAE9C,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,mBAAmB,CAAC,GAAG,CAAC;aAAG;YACnD,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,mBAAmB,CAAC,EAAE,CAAC;SAAG;QAEzD,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,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBACjD,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrC,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,UAAU,CAAC,CAAC;oBAEtD,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,44 +1,52 @@
|
|
|
1
1
|
import { Field, UInt32 } from 'o1js';
|
|
2
|
-
export declare function PackedUInt32Factory(l
|
|
3
|
-
new (packed: import("o1js/dist/node/lib/field.js").Field
|
|
2
|
+
export declare function PackedUInt32Factory(l?: number): {
|
|
3
|
+
new (packed: import("o1js/dist/node/lib/field.js").Field): {
|
|
4
4
|
toBigInts(): Array<bigint>;
|
|
5
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
6
|
-
aux: UInt32[];
|
|
7
5
|
bitSize: bigint;
|
|
8
6
|
assertEquals(other: {
|
|
9
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
10
|
-
aux: UInt32[];
|
|
11
7
|
bitSize: bigint;
|
|
12
8
|
assertEquals(other: any): void;
|
|
9
|
+
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
13
10
|
}): void;
|
|
11
|
+
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
14
12
|
};
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
13
|
+
extractField(input: UInt32): Field;
|
|
14
|
+
sizeInBits(): bigint;
|
|
15
|
+
/**
|
|
16
|
+
*
|
|
17
|
+
* @param f Field, packed with the information, as returned by #pack
|
|
18
|
+
* @returns Array of UInt32
|
|
19
|
+
*/
|
|
20
|
+
unpack(f: Field): UInt32[];
|
|
21
|
+
/**
|
|
22
|
+
*
|
|
23
|
+
* @param uint32s Array of UInt32s to be packed
|
|
24
|
+
* @returns Instance of the implementing class
|
|
25
|
+
*/
|
|
26
|
+
fromUInt32s(uint32s: Array<UInt32>): {
|
|
20
27
|
toBigInts(): Array<bigint>;
|
|
21
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
22
|
-
aux: UInt32[];
|
|
23
28
|
bitSize: bigint;
|
|
24
29
|
assertEquals(other: {
|
|
25
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
26
|
-
aux: UInt32[];
|
|
27
30
|
bitSize: bigint;
|
|
28
31
|
assertEquals(other: any): void;
|
|
32
|
+
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
29
33
|
}): void;
|
|
34
|
+
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
30
35
|
};
|
|
36
|
+
/**
|
|
37
|
+
*
|
|
38
|
+
* @param bigints Array of bigints to be packed
|
|
39
|
+
* @returns Instance of the implementing class
|
|
40
|
+
*/
|
|
31
41
|
fromBigInts(bigints: Array<bigint>): {
|
|
32
42
|
toBigInts(): Array<bigint>;
|
|
33
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
34
|
-
aux: UInt32[];
|
|
35
43
|
bitSize: bigint;
|
|
36
44
|
assertEquals(other: {
|
|
37
|
-
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
38
|
-
aux: UInt32[];
|
|
39
45
|
bitSize: bigint;
|
|
40
46
|
assertEquals(other: any): void;
|
|
47
|
+
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
41
48
|
}): void;
|
|
49
|
+
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
42
50
|
};
|
|
43
51
|
type: import("o1js/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
|
|
44
52
|
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
@@ -46,11 +54,16 @@ export declare function PackedUInt32Factory(l: number): {
|
|
|
46
54
|
packed: string;
|
|
47
55
|
}>;
|
|
48
56
|
l: number;
|
|
49
|
-
|
|
57
|
+
checkPack(unpacked: UInt32[]): void;
|
|
58
|
+
pack(unpacked: UInt32[]): import("o1js/dist/node/lib/field.js").Field;
|
|
59
|
+
unpackToBigints(f: import("o1js/dist/node/lib/field.js").Field): bigint[];
|
|
50
60
|
_isStruct: true;
|
|
51
61
|
toFields: (value: {
|
|
52
62
|
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
53
63
|
}) => import("o1js/dist/node/lib/field.js").Field[];
|
|
64
|
+
toAuxiliary: (value?: {
|
|
65
|
+
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
66
|
+
} | undefined) => any[];
|
|
54
67
|
fromFields: (fields: import("o1js/dist/node/lib/field.js").Field[]) => {
|
|
55
68
|
packed: import("o1js/dist/node/lib/field.js").Field;
|
|
56
69
|
};
|
|
@@ -1,43 +1,44 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { Provable, UInt32 } from 'o1js';
|
|
2
2
|
import { PackingPlant } from '../PackingPlant.js';
|
|
3
|
+
const L = 7; // 7 32-bit uints fit in one Field
|
|
3
4
|
const SIZE_IN_BITS = 32n;
|
|
4
|
-
export function PackedUInt32Factory(l) {
|
|
5
|
+
export function PackedUInt32Factory(l = L) {
|
|
5
6
|
class PackedUInt32_ extends PackingPlant(UInt32, l, SIZE_IN_BITS) {
|
|
6
|
-
static
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
if (value && value.packed) {
|
|
12
|
-
packedN = value.packed.toBigInt();
|
|
13
|
-
}
|
|
14
|
-
else {
|
|
15
|
-
throw new Error('No Packed Value Provided');
|
|
16
|
-
}
|
|
17
|
-
for (let i = 0; i < l; i++) {
|
|
18
|
-
uints_[i] = packedN & ((1n << SIZE_IN_BITS) - 1n);
|
|
19
|
-
packedN >>= SIZE_IN_BITS;
|
|
20
|
-
}
|
|
21
|
-
return uints_.map((x) => UInt32.from(x));
|
|
22
|
-
});
|
|
23
|
-
return auxiliary;
|
|
7
|
+
static extractField(input) {
|
|
8
|
+
return input.value;
|
|
9
|
+
}
|
|
10
|
+
static sizeInBits() {
|
|
11
|
+
return SIZE_IN_BITS;
|
|
24
12
|
}
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
13
|
+
/**
|
|
14
|
+
*
|
|
15
|
+
* @param f Field, packed with the information, as returned by #pack
|
|
16
|
+
* @returns Array of UInt32
|
|
17
|
+
*/
|
|
18
|
+
static unpack(f) {
|
|
19
|
+
const unpacked = Provable.witness(Provable.Array(UInt32, l), () => {
|
|
20
|
+
const unpacked = this.unpackToBigints(f);
|
|
21
|
+
return unpacked.map((x) => UInt32.from(x));
|
|
22
|
+
});
|
|
23
|
+
return unpacked;
|
|
33
24
|
}
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
25
|
+
/**
|
|
26
|
+
*
|
|
27
|
+
* @param uint32s Array of UInt32s to be packed
|
|
28
|
+
* @returns Instance of the implementing class
|
|
29
|
+
*/
|
|
30
|
+
static fromUInt32s(uint32s) {
|
|
31
|
+
const packed = PackedUInt32_.pack(uint32s);
|
|
32
|
+
return new PackedUInt32_(packed);
|
|
37
33
|
}
|
|
34
|
+
/**
|
|
35
|
+
*
|
|
36
|
+
* @param bigints Array of bigints to be packed
|
|
37
|
+
* @returns Instance of the implementing class
|
|
38
|
+
*/
|
|
38
39
|
static fromBigInts(bigints) {
|
|
39
40
|
const uint32s = bigints.map((x) => UInt32.from(x));
|
|
40
|
-
return
|
|
41
|
+
return PackedUInt32_.fromUInt32s(uint32s);
|
|
41
42
|
}
|
|
42
43
|
toBigInts() {
|
|
43
44
|
return PackedUInt32_.unpack(this.packed).map((x) => x.toBigint());
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"PackedUInt32.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedUInt32.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"PackedUInt32.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedUInt32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,kCAAkC;AAC/C,MAAM,YAAY,GAAG,GAAG,CAAC;AAEzB,MAAM,UAAU,mBAAmB,CAAC,IAAY,CAAC;IAC/C,MAAM,aAAc,SAAQ,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,YAAY,CAAC;QAC/D,MAAM,CAAC,YAAY,CAAC,KAAa;YAC/B,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,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,WAAW,CAAC,OAAsB;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3C,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,WAAW,CAAC,OAAsB;YACvC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,OAAO,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC5C,CAAC;QAED,SAAS;YACP,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACpE,CAAC;KACF;IACD,OAAO,aAAa,CAAC;AACvB,CAAC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { Provable, UInt32 } from 'o1js';
|
|
2
2
|
import { PackedUInt32Factory } from './PackedUInt32';
|
|
3
3
|
describe('PackedUInt32', () => {
|
|
4
|
-
class PackedUInt32 extends PackedUInt32Factory(
|
|
4
|
+
class PackedUInt32 extends PackedUInt32Factory() {
|
|
5
5
|
}
|
|
6
6
|
describe('Outside of the circuit', () => {
|
|
7
7
|
const bigints = [10n, 2n ** 32n - 1n, 0n, 10n, 2n ** 32n - 100n, 42n, 0n];
|
|
@@ -59,7 +59,7 @@ describe('PackedUInt32', () => {
|
|
|
59
59
|
it('Initializes', () => {
|
|
60
60
|
expect(() => {
|
|
61
61
|
Provable.runAndCheck(() => {
|
|
62
|
-
const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed
|
|
62
|
+
const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed);
|
|
63
63
|
PackedUInt32.check({ packed: packedUInt32.packed });
|
|
64
64
|
});
|
|
65
65
|
}).not.toThrow();
|
|
@@ -67,14 +67,14 @@ describe('PackedUInt32', () => {
|
|
|
67
67
|
it('#assertEquals', () => {
|
|
68
68
|
expect(() => {
|
|
69
69
|
Provable.runAndCheck(() => {
|
|
70
|
-
const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed
|
|
70
|
+
const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed);
|
|
71
71
|
packedUInt32.assertEquals(outsidePackedUInt);
|
|
72
72
|
});
|
|
73
73
|
}).not.toThrow();
|
|
74
74
|
expect(() => {
|
|
75
75
|
Provable.runAndCheck(() => {
|
|
76
76
|
const fakePacked = outsidePackedUInt.packed.add(32);
|
|
77
|
-
const packedUInt32 = new PackedUInt32(fakePacked
|
|
77
|
+
const packedUInt32 = new PackedUInt32(fakePacked);
|
|
78
78
|
packedUInt32.assertEquals(outsidePackedUInt);
|
|
79
79
|
});
|
|
80
80
|
}).toThrow();
|
|
@@ -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,
|
|
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,GAAG,EAAE;YACvB,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;YACjB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACpD,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;oBAClD,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/package.json
CHANGED
|
@@ -0,0 +1,67 @@
|
|
|
1
|
+
import { Votes, VotesProgram, VotesProof } from './example_packed_uint_circuit';
|
|
2
|
+
import {
|
|
3
|
+
TextInput,
|
|
4
|
+
TextInputProgram,
|
|
5
|
+
TextInputProof,
|
|
6
|
+
} from './example_packed_string_circuit';
|
|
7
|
+
import { Character, Poseidon } from 'o1js';
|
|
8
|
+
|
|
9
|
+
describe('End to End Votes Test', () => {
|
|
10
|
+
const init = [0n, 0n];
|
|
11
|
+
const initVotes = Votes.fromBigInts(init);
|
|
12
|
+
let initProof: VotesProof;
|
|
13
|
+
|
|
14
|
+
beforeAll(async () => {
|
|
15
|
+
await VotesProgram.compile();
|
|
16
|
+
initProof = await VotesProgram.init(initVotes);
|
|
17
|
+
initProof.verify();
|
|
18
|
+
});
|
|
19
|
+
|
|
20
|
+
describe('Incrementing votes', () => {
|
|
21
|
+
it('Increments the 0th index', async () => {
|
|
22
|
+
const unpackedVotes = [1n, 0n];
|
|
23
|
+
const proofVotes = Votes.fromBigInts(unpackedVotes);
|
|
24
|
+
const proof = await VotesProgram.incrementIndex0(proofVotes, initProof);
|
|
25
|
+
proof.verify();
|
|
26
|
+
proofVotes.packed.assertEquals(proof.publicInput.packed);
|
|
27
|
+
});
|
|
28
|
+
|
|
29
|
+
// Temporarily skipping, the proof does not verify, but the behavior does not match #toThrow
|
|
30
|
+
it.skip('throws when verifying an invalid proof', async () => {
|
|
31
|
+
const unpackedVotes = [1n, 0n];
|
|
32
|
+
const proofVotes = Votes.fromBigInts(unpackedVotes);
|
|
33
|
+
const proof = await VotesProgram.incrementIndex1(proofVotes, initProof);
|
|
34
|
+
expect(() => {
|
|
35
|
+
proof.verify();
|
|
36
|
+
}).toThrow();
|
|
37
|
+
});
|
|
38
|
+
});
|
|
39
|
+
});
|
|
40
|
+
|
|
41
|
+
describe('End to End Text Input Test', () => {
|
|
42
|
+
const init = 'Mina Protocol';
|
|
43
|
+
const initTextInput = TextInput.fromString(init);
|
|
44
|
+
let initProof: TextInputProof;
|
|
45
|
+
|
|
46
|
+
beforeAll(async () => {
|
|
47
|
+
await TextInputProgram.compile();
|
|
48
|
+
initProof = await TextInputProgram.init(initTextInput);
|
|
49
|
+
initProof.verify();
|
|
50
|
+
});
|
|
51
|
+
|
|
52
|
+
describe('Adding Input', () => {
|
|
53
|
+
it('adds input', async () => {
|
|
54
|
+
let unpackedTextInput = 'Zina Protocol';
|
|
55
|
+
let proofTextInput = TextInput.fromString(unpackedTextInput);
|
|
56
|
+
const p1 = await TextInputProgram.changeFirstLetter(
|
|
57
|
+
proofTextInput,
|
|
58
|
+
initProof,
|
|
59
|
+
TextInput.unpack(new TextInput(initProof.publicInput.packed).packed),
|
|
60
|
+
Character.fromString('Z')
|
|
61
|
+
);
|
|
62
|
+
Poseidon.hash(proofTextInput.packed).assertEquals(
|
|
63
|
+
Poseidon.hash(p1.publicInput.packed)
|
|
64
|
+
);
|
|
65
|
+
});
|
|
66
|
+
});
|
|
67
|
+
});
|