o1js-pack 0.4.0 → 0.4.2

package/build/src/lib/packed-types/PackedString.test.js

@@ -1,9 +1,9 @@
 import { Character, Provable } from 'o1js';
-import { PackedStringFactory } from './PackedString';
+import { PackedStringFactory, MultiPackedStringFactory } from './PackedString';
 describe('PackedString', () => {
     describe('Outside of the Circuit', () => {
         const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
-        class EthAddressString extends PackedStringFactory(42) {
+        class EthAddressString extends MultiPackedStringFactory(3) {
         }
         let characters = [];
         beforeEach(() => {
@@ -21,20 +21,21 @@ describe('PackedString', () => {
             expect(myEthAddress.toString()).toBe(vitalik_dot_eth);
         });
         it('#pack and #unPack', () => {
-            const packed = EthAddressString.pack(characters);
-            const unpacked = EthAddressString.unpack(packed);
+            const unpacked = EthAddressString.unpack(EthAddressString.fromCharacters(characters).packed);
+            const packed = EthAddressString.pack(unpacked);
             expect(packed.length).toBe(Math.ceil(vitalik_dot_eth.length / 15));
-            expect(unpacked.length).toBe(vitalik_dot_eth.length);
-            expect(unpacked.toString()).toBe(characters.toString());
+            expect(unpacked.length).toBe(EthAddressString.l);
+            expect(unpacked.length).toBe(45);
+            expect(unpacked.slice(0, characters.length).toString()).toBe(characters.toString());
         });
     });
     describe('Provable Properties', () => {
         it('#sizeInFields', () => {
             class one extends PackedStringFactory(15) {
             }
-            class two extends PackedStringFactory(16) {
+            class two extends MultiPackedStringFactory(2) {
             }
-            class three extends PackedStringFactory(40) {
+            class three extends MultiPackedStringFactory(3) {
             }
             expect(one.sizeInFields()).toBe(1);
             expect(two.sizeInFields()).toBe(2);
@@ -59,7 +60,7 @@ describe('PackedString', () => {
         });
         it('Exceeds maximum size string', () => {
             const tooLong = 'too long!'.repeat(20);
-            class MaxString extends PackedStringFactory(120) {
+            class MaxString extends MultiPackedStringFactory(8) {
             }
             expect(() => {
                 MaxString.fromString(tooLong);
@@ -68,7 +69,7 @@ describe('PackedString', () => {
     });
     describe('In the circuit', () => {
         const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
-        class EthAddressString extends PackedStringFactory(42) {
+        class EthAddressString extends MultiPackedStringFactory(3) {
         }
         const outsideEthAddress = EthAddressString.fromString(vitalik_dot_eth);
         it('Initializes a string', () => {

package/build/src/lib/packed-types/PackedString.test.js.map

@@ -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,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"}
+{"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,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;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,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;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,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"}

package/build/src/lib/packed-types/PackedUInt32.d.ts

@@ -2,9 +2,7 @@ import { Field, UInt32 } from 'o1js';
 export declare function PackedUInt32Factory(l?: number): {
     new (packed: import("o1js/dist/node/lib/field.js").Field): {
         toBigInts(): Array<bigint>;
-        bitSize: bigint;
         assertEquals(other: {
-            bitSize: bigint;
             assertEquals(other: any): void;
             packed: import("o1js/dist/node/lib/field.js").Field;
         }): void;
@@ -25,9 +23,7 @@ export declare function PackedUInt32Factory(l?: number): {
      */
     fromUInt32s(uint32s: Array<UInt32>): {
         toBigInts(): Array<bigint>;
-        bitSize: bigint;
         assertEquals(other: {
-            bitSize: bigint;
             assertEquals(other: any): void;
             packed: import("o1js/dist/node/lib/field.js").Field;
         }): void;
@@ -40,9 +36,7 @@ export declare function PackedUInt32Factory(l?: number): {
      */
     fromBigInts(bigints: Array<bigint>): {
         toBigInts(): Array<bigint>;
-        bitSize: bigint;
         assertEquals(other: {
-            bitSize: bigint;
             assertEquals(other: any): void;
             packed: import("o1js/dist/node/lib/field.js").Field;
         }): void;
@@ -54,6 +48,7 @@ export declare function PackedUInt32Factory(l?: number): {
         packed: string;
     }>;
     l: number;
+    bitSize: bigint;
     checkPack(unpacked: UInt32[]): void;
     pack(unpacked: UInt32[]): import("o1js/dist/node/lib/field.js").Field;
     unpackToBigints(f: import("o1js/dist/node/lib/field.js").Field): bigint[];

package/build/src/lib/packed-types/PackedUInt32.js

@@ -20,6 +20,7 @@ export function PackedUInt32Factory(l = L) {
                 const unpacked = this.unpackToBigints(f);
                 return unpacked.map((x) => UInt32.from(x));
             });
+            f.assertEquals(PackedUInt32_.pack(unpacked));
             return unpacked;
         }
         /**

package/build/src/lib/packed-types/PackedUInt32.js.map

@@ -1 +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"}
+{"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,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7C,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"}

package/examples/smart_contract/election/README.md

@@ -0,0 +1,3 @@
+## Election Smart Contract
+
+An election has multiple ballots, and a ballot has multiple options. We want to build an app that can track the state of the election, but there are more than 8 pieces of state. We'll have to use packing to store all of the results on chain.

package/examples/smart_contract/election/contract.ts

@@ -0,0 +1,79 @@
+import { SmartContract, state, State, method, UInt32 } from 'o1js';
+import { PackedUInt32Factory } from '../../../src/index.js';
+
+export class Ballot extends PackedUInt32Factory() {}
+
+export class Election extends SmartContract {
+  @state(Ballot) ballot1 = State<Ballot>();
+  @state(Ballot) ballot2 = State<Ballot>();
+  @state(Ballot) ballot3 = State<Ballot>();
+  @state(Ballot) ballot4 = State<Ballot>();
+
+  init() {
+    super.init();
+    this.ballot1.set(Ballot.fromBigInts([0n, 0n, 0n, 0n, 0n, 0n, 0n]));
+    this.ballot2.set(Ballot.fromBigInts([0n, 0n, 0n, 0n, 0n, 0n, 0n]));
+    this.ballot3.set(Ballot.fromBigInts([0n, 0n, 0n, 0n, 0n, 0n, 0n]));
+    this.ballot4.set(Ballot.fromBigInts([0n, 0n, 0n, 0n, 0n, 0n, 0n]));
+  }
+
+  @method
+  castBallot1(vote: Ballot) {
+    const unpackedVote = Ballot.unpack(vote.packed);
+    const ballot1 = this.ballot1.getAndAssertEquals();
+    const unpackedBallot1 = Ballot.unpack(ballot1.packed);
+
+    let voteSum = UInt32.from(0);
+    for (let i = 0; i < Ballot.l; i++) {
+      voteSum = voteSum.add(unpackedVote[i]);
+      unpackedBallot1[i] = unpackedBallot1[i].add(unpackedVote[i]);
+    }
+    voteSum.value.assertEquals(1); // vote must be exactly one vote for one choice
+    this.ballot1.set(Ballot.fromUInt32s(unpackedBallot1));
+  }
+
+  @method
+  castBallot2(vote: Ballot) {
+    const unpackedVote = Ballot.unpack(vote.packed);
+    const ballot2 = this.ballot2.getAndAssertEquals();
+    const unpackedBallot2 = Ballot.unpack(ballot2.packed);
+
+    let voteSum = UInt32.from(0);
+    for (let i = 0; i < Ballot.l; i++) {
+      voteSum = voteSum.add(unpackedVote[i]);
+      unpackedBallot2[i] = unpackedBallot2[i].add(unpackedVote[i]);
+    }
+    voteSum.value.assertEquals(1); // vote must be exactly one vote for one choice
+    this.ballot2.set(Ballot.fromUInt32s(unpackedBallot2));
+  }
+
+  @method
+  castBallot3(vote: Ballot) {
+    const unpackedVote = Ballot.unpack(vote.packed);
+    const ballot3 = this.ballot3.getAndAssertEquals();
+    const unpackedBallot3 = Ballot.unpack(ballot3.packed);
+
+    let voteSum = UInt32.from(0);
+    for (let i = 0; i < Ballot.l; i++) {
+      voteSum = voteSum.add(unpackedVote[i]);
+      unpackedBallot3[i] = unpackedBallot3[i].add(unpackedVote[i]);
+    }
+    voteSum.value.assertEquals(1); // vote must be exactly one vote for one choice
+    this.ballot3.set(Ballot.fromUInt32s(unpackedBallot3));
+  }
+
+  @method
+  castBallot4(vote: Ballot) {
+    const unpackedVote = Ballot.unpack(vote.packed);
+    const ballot4 = this.ballot4.getAndAssertEquals();
+    const unpackedBallot4 = Ballot.unpack(ballot4.packed);
+
+    let voteSum = UInt32.from(0);
+    for (let i = 0; i < Ballot.l; i++) {
+      voteSum = voteSum.add(unpackedVote[i]);
+      unpackedBallot4[i] = unpackedBallot4[i].add(unpackedVote[i]);
+    }
+    voteSum.value.assertEquals(1); // vote must be exactly one vote for one choice
+    this.ballot4.set(Ballot.fromUInt32s(unpackedBallot4));
+  }
+}

package/examples/smart_contract/election/run.ts

@@ -0,0 +1,98 @@
+import { AccountUpdate, Mina, PrivateKey } from 'o1js';
+import { Ballot, Election } from './contract.js';
+
+let Local = Mina.LocalBlockchain({ proofsEnabled: true });
+Mina.setActiveInstance(Local);
+
+// a test account that pays all the fees, and puts additional funds into the zkapp
+let { privateKey: senderKey, publicKey: sender } = Local.testAccounts[0];
+
+// the zkapp account
+let zkappKey = PrivateKey.random();
+let zkappAddress = zkappKey.toPublicKey();
+
+// a special account that is allowed to pull out half of the zkapp balance, once
+let privilegedKey = PrivateKey.random();
+let privilegedAddress = privilegedKey.toPublicKey();
+
+let initialBalance = 10_000_000_000;
+let zkapp = new Election(zkappAddress);
+
+console.time('compile');
+await Election.compile();
+console.timeEnd('compile');
+
+console.time('deploy');
+let tx = await Mina.transaction(sender, () => {
+  let senderUpdate = AccountUpdate.fundNewAccount(sender);
+  senderUpdate.send({ to: zkappAddress, amount: initialBalance });
+  zkapp.deploy({ zkappKey });
+});
+await tx.prove();
+await tx.sign([senderKey]).send();
+console.timeEnd('deploy');
+
+console.log(
+  'initial state: ',
+  zkapp.ballot1.get().toBigInts(),
+  zkapp.ballot2.get().toBigInts(),
+  zkapp.ballot3.get().toBigInts(),
+  zkapp.ballot4.get().toBigInts()
+);
+
+console.time('vote on ballot 1');
+tx = await Mina.transaction(sender, () => {
+  const myVote = Ballot.fromBigInts([0n, 0n, 1n, 0n, 0n, 0n, 0n]);
+  zkapp.castBallot1(myVote);
+});
+await tx.prove();
+await tx.sign([senderKey]).send();
+console.timeEnd('vote on ballot 1');
+
+console.time('vote on ballot 3');
+tx = await Mina.transaction(sender, () => {
+  const myVote = Ballot.fromBigInts([0n, 0n, 0n, 0n, 0n, 0n, 1n]);
+  zkapp.castBallot3(myVote);
+});
+await tx.prove();
+await tx.sign([senderKey]).send();
+console.timeEnd('vote on ballot 3');
+
+console.log(
+  'final state: ',
+  zkapp.ballot1.get().toBigInts(),
+  zkapp.ballot2.get().toBigInts(),
+  zkapp.ballot3.get().toBigInts(),
+  zkapp.ballot4.get().toBigInts()
+);
+
+// compile: 28.710s
+// deploy: 1.848s
+// initial state:  [
+//   0n, 0n, 0n, 0n,
+//   0n, 0n, 0n
+// ] [
+//   0n, 0n, 0n, 0n,
+//   0n, 0n, 0n
+// ] [
+//   0n, 0n, 0n, 0n,
+//   0n, 0n, 0n
+// ] [
+//   0n, 0n, 0n, 0n,
+//   0n, 0n, 0n
+// ]
+// vote on ballot 1: 24.752s
+// vote on ballot 3: 23.132s
+// final state:  [
+//   0n, 0n, 1n, 0n,
+//   0n, 0n, 0n
+// ] [
+//   0n, 0n, 0n, 0n,
+//   0n, 0n, 0n
+// ] [
+//   0n, 0n, 0n, 0n,
+//   0n, 0n, 1n
+// ] [
+//   0n, 0n, 0n, 0n,
+//   0n, 0n, 0n
+// ]

package/examples/zk_program/age_gate/README.md

@@ -0,0 +1,7 @@
+## Age Gate
+
+This example Zk Program stores a counter of accepted, a counter of rejected, and a method to check an input age.
+
+If the age is above a required limit, the accepted counter is incremented, else the rejected counter is incremented.
+
+The 2 counters are stored in a single packed UInt, and the data type for age is a packed string.

package/examples/zk_program/age_gate/circuit.ts

@@ -0,0 +1,75 @@
+import {
+  Field,
+  Experimental,
+  UInt32,
+  Provable,
+  Poseidon,
+  SelfProof,
+  Character,
+  Bool,
+  Empty,
+} from 'o1js';
+import {
+  PackedUInt32Factory,
+  PackedStringFactory,
+} from '../../../src/index.js';
+
+export class PackedCounters extends PackedUInt32Factory(2) {}
+
+export class PackedString extends PackedStringFactory(8) {}
+
+const isOlderThan = (reference: PackedString, toVerify: PackedString): Bool => {
+  let ref = Field(0);
+  let ver = Field(0);
+
+  const referenceDate = PackedString.unpack(reference.packed);
+  const dateToVerify = PackedString.unpack(toVerify.packed);
+
+  for (let i = 0; i < PackedString.l; i++) {
+    const exp = PackedString.l - i;
+    ref = ref.add(referenceDate[i].value.mul(10 ** exp));
+    ver = ver.add(dateToVerify[i].value.mul(10 ** exp));
+  }
+
+  return ver.greaterThan(ref);
+};
+
+export const AgeGateCircuit = Experimental.ZkProgram({
+  publicOutput: PackedCounters,
+
+  methods: {
+    init: {
+      privateInputs: [],
+      method() {
+        return PackedCounters.fromBigInts([0n, 0n]);
+      },
+    },
+    verifyAge: {
+      privateInputs: [SelfProof, PackedString],
+      method(
+        oldProof: SelfProof<Empty, PackedCounters>,
+        dateToVerify: PackedString
+      ) {
+        oldProof.verify();
+        const counters = PackedCounters.unpack(oldProof.publicOutput.packed);
+        const referenceDate = PackedString.fromString('20000101'); // hard-coded - date to verify must be older than new years in the year 2000
+        const isOlder = isOlderThan(referenceDate, dateToVerify);
+        const deltaCounter0 = Provable.if(
+          isOlder,
+          UInt32.from(1),
+          UInt32.from(0)
+        );
+        const deltaCounter1 = Provable.if(
+          isOlder,
+          UInt32.from(0),
+          UInt32.from(1)
+        );
+        counters[0] = counters[0].add(deltaCounter0);
+        counters[1] = counters[1].add(deltaCounter1);
+        return PackedCounters.fromUInt32s(counters);
+      },
+    },
+  },
+});
+
+export const AgeGateCircuitProof = Experimental.ZkProgram.Proof(AgeGateCircuit);

package/examples/zk_program/age_gate/non-packed-circuit.ts

@@ -0,0 +1,68 @@
+import {
+  Field,
+  Experimental,
+  UInt32,
+  Provable,
+  Poseidon,
+  SelfProof,
+  Character,
+  Bool,
+  Empty,
+  CircuitString,
+} from 'o1js';
+
+const isOlderThan = (
+  reference: CircuitString,
+  toVerify: CircuitString
+): Bool => {
+  let ref = Field(0);
+  let ver = Field(0);
+
+  for (let i = 0; i < 8; i++) {
+    const exp = 8 - i;
+    ref = ref.add(reference.values[i].value.mul(10 ** exp));
+    ver = ver.add(toVerify.values[i].value.mul(10 ** exp));
+  }
+
+  return ver.greaterThan(ref);
+};
+
+export const AgeGateCircuit = Experimental.ZkProgram({
+  publicOutput: Provable.Array(UInt32, 2),
+
+  methods: {
+    init: {
+      privateInputs: [],
+      method() {
+        return [UInt32.from(0), UInt32.from(0)];
+      },
+    },
+    verifyAge: {
+      privateInputs: [SelfProof, CircuitString],
+      method(
+        oldProof: SelfProof<Empty, Array<UInt32>>,
+        dateToVerify: CircuitString
+      ) {
+        oldProof.verify();
+        const counters = oldProof.publicOutput;
+        const referenceDate = CircuitString.fromString('20000101'); // hard-coded - date to verify must be older than new years in the year 2000
+        const isOlder = isOlderThan(referenceDate, dateToVerify);
+        const deltaCounter0 = Provable.if(
+          isOlder,
+          UInt32.from(1),
+          UInt32.from(0)
+        );
+        const deltaCounter1 = Provable.if(
+          isOlder,
+          UInt32.from(0),
+          UInt32.from(1)
+        );
+        counters[0] = counters[0].add(deltaCounter0);
+        counters[1] = counters[1].add(deltaCounter1);
+        return counters;
+      },
+    },
+  },
+});
+
+export const AgeGateCircuitProof = Experimental.ZkProgram.Proof(AgeGateCircuit);

package/examples/zk_program/age_gate/non-packed-run.ts

@@ -0,0 +1,36 @@
+import { AgeGateCircuit } from './non-packed-circuit.js';
+import { CircuitString } from 'o1js';
+
+console.time('Compiling...');
+await AgeGateCircuit.compile();
+console.timeEnd('Compiling...');
+
+console.time('Running...');
+let old_proof = await AgeGateCircuit.init();
+old_proof = await AgeGateCircuit.verifyAge(
+  old_proof,
+  CircuitString.fromString('20210927')
+);
+old_proof = await AgeGateCircuit.verifyAge(
+  old_proof,
+  CircuitString.fromString('19011225')
+);
+old_proof = await AgeGateCircuit.verifyAge(
+  old_proof,
+  CircuitString.fromString('20071031')
+);
+console.timeEnd('Running...');
+
+// Now we expect old_proof to have a counter of [2, 1] - 2 dates were older than 2000-01-01, 1 date was younger
+const counters = old_proof.publicOutput;
+console.log(counters.toString());
+
+const circuitAnalysis = AgeGateCircuit.analyzeMethods();
+console.log('Number of gates in method 0: ', circuitAnalysis[0].rows);
+console.log('Number of gates in method 1: ', circuitAnalysis[1].rows);
+
+// Compiling...: 1:00.331 (m:ss.mmm)
+// Running...: 3:31.711 (m:ss.mmm)
+// 2,1
+// Number of gates in method 0:  0
+// Number of gates in method 1:  651

package/examples/zk_program/age_gate/run.ts

@@ -0,0 +1,35 @@
+import { AgeGateCircuit, PackedCounters, PackedString } from './circuit.js';
+
+console.time('Compiling...');
+await AgeGateCircuit.compile();
+console.timeEnd('Compiling...');
+
+console.time('Running...');
+let old_proof = await AgeGateCircuit.init();
+old_proof = await AgeGateCircuit.verifyAge(
+  old_proof,
+  PackedString.fromString('20210927')
+);
+old_proof = await AgeGateCircuit.verifyAge(
+  old_proof,
+  PackedString.fromString('19011225')
+);
+old_proof = await AgeGateCircuit.verifyAge(
+  old_proof,
+  PackedString.fromString('20071031')
+);
+console.timeEnd('Running...');
+
+// Now we expect old_proof to have a counter of [2, 1] - 2 dates were older than 2000-01-01, 1 date was younger
+const counters = PackedCounters.unpack(old_proof.publicOutput.packed);
+console.log(counters.toString());
+
+const circuitAnalysis = AgeGateCircuit.analyzeMethods();
+console.log('Number of gates in method 0: ', circuitAnalysis[0].rows);
+console.log('Number of gates in method 1: ', circuitAnalysis[1].rows);
+
+// Compiling...: 59.405s
+// Running...: 3:31.839 (m:ss.mmm)
+// 2,1
+// Number of gates in method 0:  0
+// Number of gates in method 1:  551

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "o1js-pack",
-  "version": "0.4.0",
+  "version": "0.4.2",
   "description": "",
   "author": "45930",
   "license": "Apache-2.0",

package/tests/provable/end_to_end.test.ts

@@ -56,12 +56,10 @@ describe('End to End Text Input Test', () => {
       const p1 = await TextInputProgram.changeFirstLetter(
         proofTextInput,
         initProof,
-        TextInput.unpack(new TextInput(initProof.publicInput.packed).packed),
+        TextInput.unpack(initProof.publicInput.packed),
         Character.fromString('Z')
       );
-      Poseidon.hash(proofTextInput.packed).assertEquals(
-        Poseidon.hash(p1.publicInput.packed)
-      );
+      proofTextInput.assertEquals(p1.publicInput);
     });
   });
 });

package/tests/provable/example_packed_string_circuit.ts

@@ -6,10 +6,9 @@ import {
   Provable,
   Field,
 } from 'o1js';
-import { PackedStringFactory } from '../../src/lib/packed-types/PackedString';
+import { MultiPackedStringFactory } from '../../src/lib/packed-types/PackedString';
 
-const MAX_LENGTH = 32;
-export class TextInput extends PackedStringFactory(MAX_LENGTH) {}
+export class TextInput extends MultiPackedStringFactory(3) {}
 
 export const TextInputProgram = Experimental.ZkProgram({
   publicInput: TextInput,
@@ -23,11 +22,7 @@ export const TextInputProgram = Experimental.ZkProgram({
       },
     },
     changeFirstLetter: {
-      privateInputs: [
-        SelfProof,
-        Provable.Array(Character, MAX_LENGTH),
-        Character,
-      ],
+      privateInputs: [SelfProof, Provable.Array(Character, 45), Character],
       method(
         newState: TextInput,
         oldProof: SelfProof<TextInput, TextInput>,

package/tests/provable/example_packed_uint_circuit.ts

@@ -18,24 +18,18 @@ export const VotesProgram = Experimental.ZkProgram({
       privateInputs: [SelfProof],
       method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
         oldProof.verify();
-        const expectedUnpacked = Votes.unpack(oldProof.publicInput.packed);
-        oldProof.publicInput.packed.assertEquals(
-          Votes.fromUInt32s(expectedUnpacked).packed
-        );
-        expectedUnpacked[0] = expectedUnpacked[0].add(1);
-        newState.assertEquals(Votes.fromUInt32s(expectedUnpacked));
+        const unpacked = Votes.unpack(oldProof.publicInput.packed);
+        unpacked[0] = unpacked[0].add(1);
+        newState.assertEquals(Votes.fromUInt32s(unpacked));
       },
     },
     incrementIndex1: {
       privateInputs: [SelfProof],
       method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
         oldProof.verify();
-        const expectedUnpacked = Votes.unpack(oldProof.publicInput.packed);
-        oldProof.publicInput.packed.assertEquals(
-          Votes.fromUInt32s(expectedUnpacked).packed
-        );
-        expectedUnpacked[1] = expectedUnpacked[1].add(1);
-        newState.assertEquals(Votes.fromUInt32s(expectedUnpacked));
+        const unpacked = Votes.unpack(oldProof.publicInput.packed);
+        unpacked[1] = unpacked[1].add(1);
+        newState.assertEquals(Votes.fromUInt32s(unpacked));
       },
     },
   },