circuit compilation fail by some errors

[coldstar1993]

Background:
My Machine: 36c, 128GB.

My two circuits' size are not small. When I compile them (with node --experimental-wasm-memory64 ), got the errors respectively as blow:

TypeError:The encoded data was not valid for encoding utf-8

Errors: curve point must not be the point at infinity

These error seems NOT from that the circuit size exceeds the upper limit (though, might be close).

Later, I tried to simplify the circuit by reducing some constraints or operations, like lower merkle-tree heights, rid some constraints, etc. Then they could smoothly be compiled.

My question: if my circuit size does not exceed, why I compiled them with wasm-memory64, but still got these errors?
Furthermore, does snarkyJS support wasm64 currently??

[mitschabaude]

the wasm code compiled from kimchi is definitely not using 64-bit memory, so I wouldn't expect the flag --experimental-wasm-memory64 to have an effect

[coldstar1993]

We team are on a L2Rollup product, the circuits' dependency relationship: zkPragramC <- zkPragramB <- RollupContractA， each one is small circuit that is NOT close to the preset upper limit of constraints amount.

I could compile zkPragramC and zkPragramB as sequence smoothly. But after that, the former two circuits' compilation result has already been occupying really much memory(exactly, addressing spaces), and not enough memory(addressing spaces) left for later compilation of RollupContractA, as well as further proving progresses.

What we could do currently is to reduce the merkle-tree height to a really small value, to decrease memory( addressing spaces) occupy to make all circuits compiled and run. But this limit our product really much.

Although our machine memory is 128GB, but due to the wasm code compiled from kimchi is using 32-bit memory, much of machine memory left could not be made usage of for circuits.
So I wonder if snarkyJS will support wasm64 in soon future?

Besides, any practices/suggestions for the cases like ours?

[coldstar1993]

Besides, how about the progress about 'Expose side loaded verification key to snarkyjs' at #673 ?? It would help much!!

[mitschabaude]

Besides, how about the progress about 'Expose side loaded verification key to snarkyjs' at #673 ?? It would help much!!

Unfortunately we haven't planned to do this in the next 2-4 weeks