Lautaro Emanuel

The full code that is causing the issue: ```typescript const Words64 = Provable.Array(UInt32, 64); export class UInt2048 extends Struct({ words: Words64 }) { static zero() { return new UInt2048({ words:...

> So how does your zkprogram / contract look like? We are performing a single multiplication: ```typescript export class TestContract extends SmartContract { @method mul(a: UInt2048, b: UInt2048): UInt2048 {...

I ended up dumping the JSON to a file and it's over 29 MB. Here is the zipped version: [analysis.zip](https://github.com/o1-labs/o1js/files/14089318/analysis.zip)

So I went ahead and replaced all usages of `UIntX` for `Field`, but in practice I'm treating it as if it were a `UInt64`, such that multiplying two `Field`s in...

> Just a minor point, "should help with memory usage" isn't the correct way to think about this 😅 You're writing a circuit, not a normal program -- reducing the...