Skip to content

Commit

Permalink
cant use toFields
Browse files Browse the repository at this point in the history
  • Loading branch information
45930 committed Jan 9, 2024
1 parent 047a534 commit f9d9c3f
Showing 1 changed file with 14 additions and 12 deletions.
26 changes: 14 additions & 12 deletions src/lib/PackingPlant.ts
Original file line number Diff line number Diff line change
Expand Up @@ -92,12 +92,13 @@ export function PackingPlant<A, T extends InferProvable<A> = InferProvable<A>>(
return unpacked;
}

/**
* @returns array of single Field element which constitute the packed object
*/
toFields(): Array<Field> {
return [this.packed];
}
// NOTE: adding to fields here breaks the proof generation. Probably not overriding it correctly
// /**
// * @returns array of single Field element which constitute the packed object
// */
// toFields(): Array<Field> {
// return [this.packed];
// }

assertEquals(other: Packed_) {
this.packed.assertEquals(other.packed);
Expand Down Expand Up @@ -223,12 +224,13 @@ export function MultiPackingPlant<
return uints_;
}

/**
* @returns array of Field elements which constitute the multi-packed object
*/
toFields(): Array<Field> {
return this.packed;
}
// NOTE: adding to fields here breaks the proof generation. Probably not overriding it correctly
// /**
// * @returns array of Field elements which constitute the multi-packed object
// */
// toFields(): Array<Field> {
// return this.packed;
// }

assertEquals(other: Packed_) {
for (let x = 0; x < n; x++) {
Expand Down

0 comments on commit f9d9c3f

Please sign in to comment.