Step 15 Setup Command Failed

[DhruvPareek]

Running the Step 15 command node --max-old-space-size=614400 ./node_modules/.bin/snarkjs fflonk setup TwitterVerifier.r1cs powersOfTau28_hez_final_25.ptau TwiteerVerifier.zkey on a circuit with roughly 7.5 million constraints (I'm recreating the ZKEmail proof of twitter circuit). I've replaced powersOfTau28_hez_final_25.ptau with powersOfTau28_hez_final_23.ptau and powersOfTau28_hez_final_24.ptau and I get the following error:

If instead I run the command: node --max-old-space-size=614400 ./node_modules/.bin/snarkjs plonk setup TwitterVerifier.r1cs powersOfTau28_hez_final_24.ptau TwiteerVerifier.zkey, I get the following error:

I'm running this on an AWS EC2 instance with 32vCPUs and 64GB of RAM. I don't understand why the fflonk command fails despite the circuit size being within the constraints of the ptau file. I also don't understand what the plonk command's error means, although it seems like it should be a memory issue?

[Arvolear]

Hey, the issue with fflonk is that this proving system requires PTAU file size to accommodate for circuit gates * 9 constraints. 7.5 mln * 9 = 67.5 mln so you need at least PTAU 27.

From the fflonk paper.

The issue with plonk is that you ran out of memory. 7.5 mln constraints may indeed eat more than 64 GB of RAM... Yet don't take this for granted.