From f9d9c3f5aa018d41cb83e5cc1d4cc5bc17dffab5 Mon Sep 17 00:00:00 2001 From: Coby Date: Mon, 8 Jan 2024 20:34:58 -0500 Subject: [PATCH] cant use toFields --- src/lib/PackingPlant.ts | 26 ++++++++++++++------------ 1 file changed, 14 insertions(+), 12 deletions(-) diff --git a/src/lib/PackingPlant.ts b/src/lib/PackingPlant.ts index 04269f1..91f1a31 100644 --- a/src/lib/PackingPlant.ts +++ b/src/lib/PackingPlant.ts @@ -92,12 +92,13 @@ export function PackingPlant = InferProvable>( return unpacked; } - /** - * @returns array of single Field element which constitute the packed object - */ - toFields(): Array { - 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 { + // return [this.packed]; + // } assertEquals(other: Packed_) { this.packed.assertEquals(other.packed); @@ -223,12 +224,13 @@ export function MultiPackingPlant< return uints_; } - /** - * @returns array of Field elements which constitute the multi-packed object - */ - toFields(): Array { - 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 { + // return this.packed; + // } assertEquals(other: Packed_) { for (let x = 0; x < n; x++) {