Investigate why prover sometimes exists with code 132 on CI

[sveitser]

Runs:

• https://github.com/EspressoSystems/espresso-sequencer/actions/runs/4446540543/jobs/7806979509?pr=253
• https://github.com/EspressoSystems/espresso-sequencer/actions/runs/4419297013/jobs/7747540914

Both are on Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz.

Note that this CPU has avx2. So lack of avx2 shouldn't be the issue.

[sveitser]

Comparing the CPU flags to a successful run https://github.com/EspressoSystems/espresso-sequencer/actions/runs/4428738035/jobs/7768247461

CPU is Intel(R) Xeon(R) Platinum 8370C CPU @ 2.80GHz

1d0
< 3dnowprefetch
3d1
< adx
8,12d5
< avx512bw
< avx512cd
< avx512dq
< avx512f
< avx512vl
16d8
< clflushopt
29d20
< hle
57d47
< rdseed
60d49
< rtm
62d50
< smap
74d61
< xsavec
76d62
< xsaves

Maybe avx512 is needed?

[sveitser]

All passing builds in recent history use Intel Platinum CPUs

The builds failing with 132 that I can find are all on Intel(R) Xeon(R) CPU E5-2673 v3 @ 2.40GHz.

Also I don't actually don't have avx512 listed on my CPU (AMD Ryzen 5950x).

The instruction that I have and that the Intel Xeon Platinum CPUs have but not the E5-2673 v3 are

adx
xsaves
3dnowprefetch
smap
clflushopt
rdseed
xsavec

[sveitser]

Intel ADX (Multi-Precision Add-Carry Instruction Extensions) sounds relevant: https://en.wikipedia.org/wiki/Intel_ADX.

It has ADCX and ADOX.

Both are used for example in https://github.com/iden3/ffiasm/blob/master/benchmark/fr.asm and ffiasm is being using in the zkevm-prover and is mentioned in 0xPolygonHermez/zkevm-prover#235 (comment) as a reason why the prover can't run on ARM.