search

0xPolygonHermez / zkevm-prover

zkEVM prover in C++
Other
226 stars 151 forks source link

Get errors when generating the final proof #842

Closed Federico2014 closed 5 months ago

Federico2014 commented 6 months ago

For v6.0. 2, when generating the proof for the l2 bridge initializing transactions, we get the following errors: 

Failed assert in template/function Num2Bits line 38. Followed trace of components: main.sv.LessThan64Bits_4673_296528[0].Num2Bits_31_579
zkProver: src/starkpil/recursivefinal/final.verifier.cpp:160642: void CircomFinal::Num2Bits_0_run(uint, CircomFinal::Circom_CalcWit*): Assertion `Fr_isTrue(&expaux[0])' failed.

The complete log is as:


20240517_044919_060434 b668064 bf31640 aggregatorClientThread() got: gen_batch_proof_request { input { public_inputs { old_state_root: "w\360(A\254=\2105\301\367}C\003\331\374\371\234\ty\360\375yz\006?\313w\364\246\324\014K" old_acc_input_hash: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000" chain_id: 202305 fork_id: 9 batch_l2_data: "\371\001\003\200\200\204\001\311\303\200\224\344?r\'p\215\337>\261Z\252\243\275\177\243[\354\373\0376\200\270\344\370\021\277\367\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\244\r_VtZ\021\215\t\006\243Ni\256\310\300\333\034\270\372\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\300\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\005\312\032\261\340\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\\\241\253\036\033\377" l1_info_root: "\2552(\266v\367\323\315B\204\245D?\027\361\226+6\344\221\263\n@\262@XI\345\227\272_\265" timestamp_limit: 1715872809 sequencer_addr: "0xc0369fEc9d12fA5BD8c3fe7a7F460211592f71DA" forced_blockhash_l1: "\000\000\000\000\002\313\300D\332\201\316\307Hj\367\005\035\274\215\253\024\372?p\nn\177W\234\2600e" aggregator_addr: "0xC0369FEC9D12FA5BD8C3FE7A7F460211592F71DA" } } }
20240517_044919_060754 b668064 bf31640 Prover::submitRequest() started type=1
20240517_044919_060804 b668064 bf31640 Prover::submitRequest() returns UUID: a7452fe7-1444-4370-82a2-af8c306000ee
20240517_044919_060875 b668064 b74a640 proverThread() starting to process request with UUID: a7452fe7-1444-4370-82a2-af8c306000ee
20240517_044919_060955 b668064 bf31640 aggregatorClientThread() sent: gen_batch_proof_response { id: "a7452fe7-1444-4370-82a2-af8c306000ee" result: RESULT_OK }
20240517_044919_061012 b668064 b74a640 --> PROVER_BATCH_PROOF starting...
20240517_044919_061323 b668064 b74a640 MEMORY INFO , MemTotal: 1010460.667969 MB, MemFree: 465399.144531 MB, MemAvailable: 837297.703125 MB, Buffers: 3269.480469 MB, Cached: 355328.789062 MB, SwapCached: 0.000000 MB, SwapTotal: 0.000000 MB, SwapFree: 0.000000 MB, VM: 511970.605469 MB, RSS: 39.252162 MB
20240517_044919_061420 b668064 b74a640 PROCESS INFO, Pid: 2840279, User time: 326.570000 s, Kernel time: 200.240000 s, Total time: 526.810000 s, Num threads: 137, Virtual mem: 511970 MB
20240517_044919_061447 b668064 b74a640 Prover::genBatchProof() timestamp: 20240517_044919_060733
20240517_044919_061458 b668064 b74a640 Prover::genBatchProof() UUID: a7452fe7-1444-4370-82a2-af8c306000ee
20240517_044919_061470 b668064 b74a640 Prover::genBatchProof() input file: runtime/output/20240517_044919_060733_a7452fe7-1444-4370-82a2-af8c306000ee.0.gen_batch_proof_input.json
20240517_044919_061587 b668064 b74a640 --> EXECUTOR_EXECUTE_INITIALIZATION starting...
20240517_044920_708113 b668064 b74a640 <-- EXECUTOR_EXECUTE_INITIALIZATION done: 1.646504 s
20240517_044920_708177 b668064 b74a640 --> EXECUTOR_EXECUTE_BATCH_PROOF starting...
20240517_044920_708208 b668064 b74a640 --> MAIN_EXECUTOR_EXECUTE starting...
20240517_044923_651546 b668064 b74a640 main_exec_generated() done lastStep=41286 (0.492167%)
20240517_044923_654558 b668064 b74a640 <-- MAIN_EXECUTOR_EXECUTE done: 2.946347 s
20240517_044923_654908 b668064 1fe0640 --> PADDING_PG_SM_EXECUTE_THREAD starting...
20240517_044923_655096 b668064 27e1640 --> STORAGE_SM_EXECUTE_THREAD starting...
20240517_044923_655247 b668064 17df640 --> ARITH_SM_EXECUTE_THREAD starting...
20240517_044923_655357 b668064 0fde640 --> BINARY_SM_EXECUTE_THREAD starting...
20240517_044923_655582 b668064 aff4640 --> MEMORY_SM_EXECUTE_THREAD starting...
20240517_044923_655737 b668064 aff4640 --> MEMORY_EXECUTOR_REORDER starting...
20240517_044923_655758 b668064 b7f5640 --> MEM_ALIGN_SM_EXECUTE_THREAD starting...
20240517_044923_655792 b668064 a7f3640 --> PADDING_KK_SM_EXECUTE_THREAD starting...
20240517_044923_655892 b668064 9ff2640 --> PADDING_SHA256_SM_EXECUTE_THREAD starting...
20240517_044923_669369 b668064 aff4640 <-- MEMORY_EXECUTOR_REORDER done: 0.013607 s
20240517_044923_692224 b668064 17df640 ArithExecutor successfully processed 903 arith actions (0.344467%)
20240517_044923_692537 b668064 17df640 <-- ARITH_SM_EXECUTE_THREAD done: 0.037404 s
20240517_044923_905340 b668064 aff4640 MemoryExecutor successfully processed 17885 memory accesses (0.213206%)
20240517_044923_905421 b668064 aff4640 <-- MEMORY_SM_EXECUTE_THREAD done: 0.249900 s
20240517_044923_959217 b668064 b7f5640 MemAlignExecutor successfully processed 20 memory align actions (0.007629%)
20240517_044923_959295 b668064 b7f5640 <-- MEM_ALIGN_SM_EXECUTE_THREAD done: 0.303820 s
20240517_044924_087432 b668064 a7f3640 PaddingKKExecutor successfully processed 6 Keccak hashes p=8388608 pDone=1360 (0.016212%)
20240517_044924_087506 b668064 a7f3640 <-- PADDING_KK_SM_EXECUTE_THREAD done: 0.431752 s
20240517_044924_087512 b668064 a7f3640 --> PADDING_KK_BIT_SM_EXECUTE_THREAD starting...
20240517_044924_095421 b668064 1fe0640 PaddingPGExecutor successfully processed 4 Poseidon hashes p=8388608 pDone=25872 (0.308418%)
20240517_044924_095486 b668064 1fe0640 <-- PADDING_PG_SM_EXECUTE_THREAD done: 0.440643 s
20240517_044924_096641 b668064 9ff2640 PaddingSha256Executor successfully processed 0 Sha256 hashes p=8388608 pDone=0 (0.000000%)
20240517_044924_096731 b668064 9ff2640 <-- PADDING_SHA256_SM_EXECUTE_THREAD done: 0.440928 s
20240517_044924_096738 b668064 9ff2640 --> PADDING_SHA256_BIT_SM_EXECUTE_THREAD starting...
20240517_044924_160028 b668064 9ff2640 PaddingKKBitExecutor successfully processed 1862 Keccak actions p=1430016 pDone=1430016 (17.047119%)
20240517_044924_160097 b668064 9ff2640 <-- PADDING_SHA256_BIT_SM_EXECUTE_THREAD done: 0.063358 s
20240517_044924_160103 b668064 9ff2640 --> BITS2FIELDSHA256_SM_EXECUTE_THREAD starting...
20240517_044924_213926 b668064 a7f3640 PaddingKKBitExecutor successfully processed 2376 Keccak actions p=4735368 pDone=4735368 (56.449986%)
20240517_044924_214000 b668064 a7f3640 <-- PADDING_KK_BIT_SM_EXECUTE_THREAD done: 0.126486 s
20240517_044924_214006 b668064 a7f3640 --> BITS2FIELD_SM_EXECUTE_THREAD starting...
20240517_044924_227373 b668064 9ff2640 Bits2FieldSha256Executor successfully processed 1862 Sha256 hashes (99.847412%)
20240517_044924_227441 b668064 9ff2640 <-- BITS2FIELDSHA256_SM_EXECUTE_THREAD done: 0.067337 s
20240517_044924_227447 b668064 9ff2640 --> SHA256_F_SM_EXECUTE_THREAD starting...
20240517_044924_433117 b668064 a7f3640 Bits2FieldExecutor successfully processed 2376 Keccak hashes (99.962282%)
20240517_044924_433185 b668064 a7f3640 <-- BITS2FIELD_SM_EXECUTE_THREAD done: 0.219178 s
20240517_044924_433191 b668064 a7f3640 --> KECCAK_F_SM_EXECUTE_THREAD starting...
20240517_044924_517808 b668064 a7f3640 KeccakFExecutor successfully processed 54 Keccak-F actions (99.962282%)
20240517_044924_518313 b668064 a7f3640 <-- KECCAK_F_SM_EXECUTE_THREAD done: 0.085118 s
20240517_044924_717315 b668064 9ff2640 Sha256FExecutor successfully processed 266 Sha256-F actions (99.847412%)
20240517_044924_717390 b668064 9ff2640 <-- SHA256_F_SM_EXECUTE_THREAD done: 0.489941 s
20240517_044925_285938 b668064 0fde640 BinaryExecutor successfully processed 2133 binary actions (0.406837%)
20240517_044925_286008 b668064 0fde640 <-- BINARY_SM_EXECUTE_THREAD done: 1.630706 s
20240517_044926_453974 b668064 27e1640 StorageExecutor successfully processed 94 SMT actions (0.066078%)
20240517_044926_454059 b668064 27e1640 <-- STORAGE_SM_EXECUTE_THREAD done: 2.799306 s
20240517_044926_454357 b668064 27e1640 --> CLIMB_KEY_SM_EXECUTE_THREAD starting...
20240517_044926_455299 b668064 1fe0640 --> POSEIDON_G_SM_EXECUTE_THREAD starting...
20240517_044926_594623 b668064 27e1640 ClimbKeyExecutor successfully processed 631 climbkey actions (0.030088%)
20240517_044926_594698 b668064 27e1640 <-- CLIMB_KEY_SM_EXECUTE_THREAD done: 0.140361 s
20240517_044926_923079 b668064 1fe0640 PoseidonGExecutor successfully processed 1500 Poseidon hashes p=8388608 pDone=46500 (0.554323%)
20240517_044926_923156 b668064 1fe0640 <-- POSEIDON_G_SM_EXECUTE_THREAD done: 0.468774 s
20240517_044926_924157 b668064 b74a640 <-- EXECUTOR_EXECUTE_BATCH_PROOF done: 6.215974 s
20240517_044926_924202 b668064 b74a640 Prover::genBatchProof() called executor.execute() oldStateRoot=77f02841ac3d8835c1f77d4303d9fcf99c0979f0fd797a063fcb77f4a6d40c4b newStateRoot=0x32d98654fa7ca0ea225b0d1c65c93d3aa626951c9ce1dc94a2995bc64428ea5e pols.B[0]=77f02841ac3d8835c1f77d4303d9fcf99c0979f0fd797a063fcb77f4a6d40c4b pols.SR[lastN]=32d98654fa7ca0ea225b0d1c65c93d3aa626951c9ce1dc94a2995bc64428ea5e lastN=8388607
20240517_044926_924211 b668064 b74a640 Prover::genBatchProof() called executor.execute() oldAccInputHash=0 newAccInputHash=0xba452b38a2a0b2208ab268618afc42f3de19980c02a9023f6de136ba9c3dfecf pols.C[0]=0000000000000000000000000000000000000000000000000000000000000000 pols.D[lastN]=ba452b38a2a0b2208ab268618afc42f3de19980c02a9023f6de136ba9c3dfecf lastN=8388607
20240517_044926_924220 b668064 b74a640 --> SAVE_PUBLICS_JSON_BATCH_PROOF starting...
20240517_044926_924225 b668064 b74a640 file2json() loading JSON file config/zkevm/zkevm.verkey.json
20240517_044926_924321 b668064 b74a640 file2json() loading JSON file config/c12a/c12a.verkey.json
20240517_044926_924348 b668064 b74a640 file2json() loading JSON file config/recursive1/recursive1.verkey.json
20240517_044926_924364 b668064 b74a640 file2json() loading JSON file config/recursive2/recursive2.verkey.json
20240517_044926_924427 b668064 b74a640 <-- SAVE_PUBLICS_JSON_BATCH_PROOF done: 0.000206 s
20240517_044926_924434 b668064 b74a640 --> STARK_PROOF_BATCH_PROOF starting...
20240517_044926_924510 b668064 b74a640 --> STARK_INITIALIZATION starting...
20240517_044926_924582 b668064 b74a640 <-- STARK_INITIALIZATION done: 0.000072 s
20240517_044926_924592 b668064 b74a640 --> STARK_STEP_1 starting...
20240517_044926_924597 b668064 b74a640 --> STARK_STEP_1_LDE_AND_MERKLETREE starting...
20240517_044926_924600 b668064 b74a640 --> STARK_STEP_1_LDE starting...
20240517_044945_878676 b668064 b74a640 <-- STARK_STEP_1_LDE done: 18.954044 s
20240517_044945_878745 b668064 b74a640 --> STARK_STEP_1_MERKLETREE starting...
20240517_045017_447563 b668064 b74a640 <-- STARK_STEP_1_MERKLETREE done: 31.568788 s
20240517_045017_447649 b668064 b74a640 MerkleTree rootGL 0: [ 16433968637388312541 7640240275534168161 14160499217280259705 6985989893923805456 ]
20240517_045017_447658 b668064 b74a640 <-- STARK_STEP_1_LDE_AND_MERKLETREE done: 50.523060 s
20240517_045017_447664 b668064 b74a640 <-- STARK_STEP_1 done: 50.523071 s
20240517_045017_447671 b668064 b74a640 --> STARK_STEP_2 starting...
20240517_045017_447698 b668064 b74a640 --> STARK_STEP_2_CALCULATE_EXPS_AVX starting...
20240517_045021_139858 b668064 b74a640 <-- STARK_STEP_2_CALCULATE_EXPS_AVX done: 3.692134 s
20240517_045021_139946 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2_TRANSPOSE starting...
20240517_045022_008183 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2_TRANSPOSE done: 0.868205 s
20240517_045022_008265 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2 starting...
20240517_045025_016579 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2 done: 3.008259 s
20240517_045025_016730 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2_TRANSPOSE_2 starting...
20240517_045026_054952 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2_TRANSPOSE_2 done: 1.038197 s
20240517_045026_055060 b668064 b74a640 --> STARK_STEP_2_LDE_AND_MERKLETREE starting...
20240517_045026_055067 b668064 b74a640 --> STARK_STEP_2_LDE starting...
20240517_045030_480865 b668064 b74a640 <-- STARK_STEP_2_LDE done: 4.425772 s
20240517_045030_480930 b668064 b74a640 --> STARK_STEP_2_MERKLETREE starting...
20240517_045038_106697 b668064 b74a640 <-- STARK_STEP_2_MERKLETREE done: 7.625740 s
20240517_045038_106790 b668064 b74a640 MerkleTree rootGL 1: [ 14113751077704415795 10800607645661988642 6182118948059637493 9988944882213822157 ]
20240517_045038_106801 b668064 b74a640 <-- STARK_STEP_2_LDE_AND_MERKLETREE done: 12.051738 s
20240517_045038_106808 b668064 b74a640 <-- STARK_STEP_2 done: 20.659137 s
20240517_045038_106815 b668064 b74a640 --> STARK_STEP_3 starting...
20240517_045038_106823 b668064 b74a640 --> STARK_STEP_3_CALCULATE_EXPS_AVX starting...
20240517_045041_101792 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_EXPS_AVX done: 2.994942 s
20240517_045041_101873 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z_TRANSPOSE starting...
20240517_045042_484090 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z_TRANSPOSE done: 1.382188 s
20240517_045042_484273 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z starting...
20240517_045045_636075 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z done: 3.151763 s
20240517_045045_636969 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z_TRANSPOSE_2 starting...
20240517_045046_287352 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z_TRANSPOSE_2 done: 0.650358 s
20240517_045046_287457 b668064 b74a640 --> STARK_STEP_3_CALCULATE_EXPS_2_AVX starting...
20240517_045050_426935 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_EXPS_2_AVX done: 4.139449 s
20240517_045050_427030 b668064 b74a640 --> STARK_STEP_3_LDE_AND_MERKLETREE starting...
20240517_045050_427037 b668064 b74a640 --> STARK_STEP_3_LDE starting...
20240517_045059_405103 b668064 b74a640 <-- STARK_STEP_3_LDE done: 8.978034 s
20240517_045059_405184 b668064 b74a640 --> STARK_STEP_3_MERKLETREE starting...
20240517_045117_309295 b668064 b74a640 <-- STARK_STEP_3_MERKLETREE done: 17.904082 s
20240517_045117_309450 b668064 b74a640 MerkleTree rootGL 2: [ 5217992778596088846 11229430072083272066 13547850891061206045 15277053101863003760 ]
20240517_045117_309529 b668064 b74a640 <-- STARK_STEP_3_LDE_AND_MERKLETREE done: 26.882498 s
20240517_045117_309590 b668064 b74a640 <-- STARK_STEP_3 done: 39.202775 s
20240517_045117_309637 b668064 b74a640 --> STARK_STEP_4 starting...
20240517_045117_309687 b668064 b74a640 --> STARK_STEP_4_INIT starting...
20240517_045117_309902 b668064 b74a640 <-- STARK_STEP_4_INIT done: 0.000212 s
20240517_045117_309947 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_AVX starting...
20240517_045132_042147 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_AVX done: 14.732170 s
20240517_045132_042319 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_INTT starting...
20240517_045132_397368 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_INTT done: 0.355019 s
20240517_045132_397561 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_MUL starting...
20240517_045132_416725 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_MUL done: 0.019136 s
20240517_045132_416896 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_NTT starting...
20240517_045133_018247 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_NTT done: 0.601321 s
20240517_045133_018402 b668064 b74a640 --> STARK_STEP_4_MERKLETREE starting...
20240517_045134_058593 b668064 b74a640 MerkleTree rootGL 3: [ 17140345197382733052 8460574872279460431 2135460378364933394 3705790632388914653 ]
20240517_045134_058770 b668064 b74a640 <-- STARK_STEP_4_MERKLETREE done: 1.040362 s
20240517_045134_058801 b668064 b74a640 <-- STARK_STEP_4 done: 16.749161 s
20240517_045134_058827 b668064 b74a640 --> STARK_STEP_5 starting...
20240517_045134_058866 b668064 b74a640 --> STARK_STEP_5_LEv_LpEv starting...
20240517_045135_109609 b668064 b74a640 <-- STARK_STEP_5_LEv_LpEv done: 1.050713 s
20240517_045135_109769 b668064 b74a640 --> STARK_STEP_5_EVMAP starting...
20240517_045138_081536 b668064 b74a640 <-- STARK_STEP_5_EVMAP done: 2.971743 s
20240517_045138_081623 b668064 b74a640 --> STARK_STEP_5_XDIVXSUB starting...
20240517_045138_573716 b668064 b74a640 <-- STARK_STEP_5_XDIVXSUB done: 0.492064 s
20240517_045138_573880 b668064 b74a640 --> STARK_STEP_5_CALCULATE_EXPS_AVX starting...
20240517_045145_706020 b668064 b74a640 <-- STARK_STEP_5_CALCULATE_EXPS_AVX done: 7.132107 s
20240517_045145_706095 b668064 b74a640 <-- STARK_STEP_5 done: 11.647265 s
20240517_045145_706107 b668064 b74a640 --> STARK_STEP_FRI starting...
20240517_045146_286825 b668064 b74a640 rootGL[1]: 609903203837059944 14890935511084975672 7091587670026585962 3535834525267009711
20240517_045146_505488 b668064 b74a640 rootGL[2]: 6556235713854389801 2025289960851504393 14184754474079426901 13296463291158237410
20240517_045146_509845 b668064 b74a640 rootGL[3]: 15252025734157011785 5793530741596228771 1895977558044230096 12094900594014096746
20240517_045146_510282 b668064 b74a640 rootGL[4]: 1787538545087490710 16992334596212095940 10544463398364696566 10771751249751254662
20240517_045146_722520 b668064 b74a640 <-- STARK_STEP_FRI done: 1.016397 s
20240517_045146_972703 b668064 b74a640 <-- STARK_PROOF_BATCH_PROOF done: 140.048207 s
20240517_045146_973056 b668064 b74a640 --> STARK_GEN_AND_CALC_WITNESS_C12A starting...
20240517_045146_973068 b668064 b74a640 --> STARK_JSON_GENERATION_BATCH_PROOF starting...
20240517_045147_636921 b668064 b74a640 <-- STARK_JSON_GENERATION_BATCH_PROOF done: 0.663810 s
20240517_045147_637052 b668064 b74a640 --> CIRCOM_LOAD_CIRCUIT_BATCH_PROOF_ZKEVM starting...
20240517_045147_758136 b668064 b74a640 <-- CIRCOM_LOAD_CIRCUIT_BATCH_PROOF_ZKEVM done: 0.121027 s
20240517_045147_758239 b668064 b74a640 --> CIRCOM_LOAD_JSON_BATCH_PROOF starting...
20240517_045151_610479 b668064 b74a640 <-- CIRCOM_LOAD_JSON_BATCH_PROOF done: 3.852206 s
20240517_045151_610581 b668064 b74a640 --> STARK_WITNESS_AND_COMMITED_POLS_BATCH_PROOF starting...
20240517_045152_394430 b668064 b74a640 <-- STARK_WITNESS_AND_COMMITED_POLS_BATCH_PROOF done: 0.783810 s
20240517_045152_430377 b668064 b74a640 <-- STARK_GEN_AND_CALC_WITNESS_C12A done: 5.457315 s
20240517_045152_430450 b668064 b74a640 --> STARK_C12_A_PROOF_BATCH_PROOF starting...
20240517_045152_430768 b668064 b74a640 --> STARK_INITIALIZATION starting...
20240517_045152_430907 b668064 b74a640 <-- STARK_INITIALIZATION done: 0.000139 s
20240517_045152_430932 b668064 b74a640 --> STARK_STEP_1 starting...
20240517_045152_430940 b668064 b74a640 --> STARK_STEP_1_LDE_AND_MERKLETREE starting...
20240517_045152_430947 b668064 b74a640 --> STARK_STEP_1_LDE starting...
20240517_045152_643367 b668064 b74a640 <-- STARK_STEP_1_LDE done: 0.212395 s
20240517_045152_643438 b668064 b74a640 --> STARK_STEP_1_MERKLETREE starting...
20240517_045153_159874 b668064 b74a640 <-- STARK_STEP_1_MERKLETREE done: 0.516424 s
20240517_045153_159930 b668064 b74a640 MerkleTree rootGL 0: [ 11531185297795700848 297896640579281136 13665325783247546202 3024695120403718808 ]
20240517_045153_159939 b668064 b74a640 <-- STARK_STEP_1_LDE_AND_MERKLETREE done: 0.728999 s
20240517_045153_159946 b668064 b74a640 <-- STARK_STEP_1 done: 0.729014 s
20240517_045153_159953 b668064 b74a640 --> STARK_STEP_2 starting...
20240517_045153_159962 b668064 b74a640 --> STARK_STEP_2_CALCULATE_EXPS starting...
20240517_045153_160958 b668064 b74a640 <-- STARK_STEP_2_CALCULATE_EXPS done: 0.000993 s
20240517_045153_160982 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2_TRANSPOSE starting...
20240517_045153_160991 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2_TRANSPOSE done: 0.000010 s
20240517_045153_160999 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2 starting...
20240517_045153_161011 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2 done: 0.000012 s
20240517_045153_161020 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2_TRANSPOSE_2 starting...
20240517_045153_161029 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2_TRANSPOSE_2 done: 0.000008 s
20240517_045153_161036 b668064 b74a640 --> STARK_STEP_2_LDE_AND_MERKLETREE starting...
20240517_045153_161043 b668064 b74a640 --> STARK_STEP_2_LDE starting...
20240517_045153_199308 b668064 b74a640 <-- STARK_STEP_2_LDE done: 0.038257 s
20240517_045153_199339 b668064 b74a640 --> STARK_STEP_2_MERKLETREE starting...
20240517_045153_353569 b668064 b74a640 <-- STARK_STEP_2_MERKLETREE done: 0.154224 s
20240517_045153_353605 b668064 b74a640 MerkleTree rootGL 1: [ 10074982884687544941 4177217016749721471 4797356481048217516 6983283665462696061 ]
20240517_045153_353613 b668064 b74a640 <-- STARK_STEP_2_LDE_AND_MERKLETREE done: 0.192576 s
20240517_045153_353619 b668064 b74a640 <-- STARK_STEP_2 done: 0.193666 s
20240517_045153_353625 b668064 b74a640 --> STARK_STEP_3 starting...
20240517_045153_353634 b668064 b74a640 --> STARK_STEP_3_CALCULATE_EXPS starting...
20240517_045153_380107 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_EXPS done: 0.026465 s
20240517_045153_380143 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z_TRANSPOSE starting...
20240517_045153_381931 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z_TRANSPOSE done: 0.001787 s
20240517_045153_381955 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z starting...
20240517_045153_627143 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z done: 0.245141 s
20240517_045153_627242 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z_TRANSPOSE_2 starting...
20240517_045153_628681 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z_TRANSPOSE_2 done: 0.001439 s
20240517_045153_628716 b668064 b74a640 --> STARK_STEP_3_CALCULATE_EXPS_2 starting...
20240517_045153_737695 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_EXPS_2 done: 0.108971 s
20240517_045153_737741 b668064 b74a640 --> STARK_STEP_3_LDE_AND_MERKLETREE starting...
20240517_045153_737748 b668064 b74a640 --> STARK_STEP_3_LDE starting...
20240517_045154_246854 b668064 b74a640 <-- STARK_STEP_3_LDE done: 0.509079 s
20240517_045154_246909 b668064 b74a640 --> STARK_STEP_3_MERKLETREE starting...
20240517_045155_358254 b668064 b74a640 <-- STARK_STEP_3_MERKLETREE done: 1.111320 s
20240517_045155_358319 b668064 b74a640 MerkleTree rootGL 2: [ 1529680857025163147 11674044170045191066 4346197160239261240 13312372877825923958 ]
20240517_045155_358327 b668064 b74a640 <-- STARK_STEP_3_LDE_AND_MERKLETREE done: 1.620586 s
20240517_045155_358349 b668064 b74a640 <-- STARK_STEP_3 done: 2.004724 s
20240517_045155_358355 b668064 b74a640 --> STARK_STEP_4 starting...
20240517_045155_358360 b668064 b74a640 --> STARK_STEP_4_INIT starting...
20240517_045155_358419 b668064 b74a640 <-- STARK_STEP_4_INIT done: 0.000056 s
20240517_045155_358427 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS starting...
20240517_045156_217125 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS done: 0.858671 s
20240517_045156_217201 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_INTT starting...
20240517_045156_362306 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_INTT done: 0.145086 s
20240517_045156_362373 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_MUL starting...
20240517_045156_367021 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_MUL done: 0.004642 s
20240517_045156_367131 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_NTT starting...
20240517_045156_660237 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_NTT done: 0.293083 s
20240517_045156_660577 b668064 b74a640 --> STARK_STEP_4_MERKLETREE starting...
20240517_045157_022957 b668064 b74a640 MerkleTree rootGL 3: [ 11397674249210869553 15742475830843456716 11349708126184724479 14178532480940093903 ]
20240517_045157_023323 b668064 b74a640 <-- STARK_STEP_4_MERKLETREE done: 0.362738 s
20240517_045157_023421 b668064 b74a640 <-- STARK_STEP_4 done: 1.665065 s
20240517_045157_023495 b668064 b74a640 --> STARK_STEP_5 starting...
20240517_045157_023569 b668064 b74a640 --> STARK_STEP_5_LEv_LpEv starting...
20240517_045157_139711 b668064 b74a640 <-- STARK_STEP_5_LEv_LpEv done: 0.116133 s
20240517_045157_139950 b668064 b74a640 --> STARK_STEP_5_EVMAP starting...
20240517_045157_202295 b668064 b74a640 <-- STARK_STEP_5_EVMAP done: 0.062320 s
20240517_045157_202645 b668064 b74a640 --> STARK_STEP_5_XDIVXSUB starting...
20240517_045157_373922 b668064 b74a640 <-- STARK_STEP_5_XDIVXSUB done: 0.171253 s
20240517_045157_373992 b668064 b74a640 --> STARK_STEP_5_CALCULATE_EXPS starting...
20240517_045157_763733 b668064 b74a640 <-- STARK_STEP_5_CALCULATE_EXPS done: 0.389719 s
20240517_045157_763805 b668064 b74a640 <-- STARK_STEP_5 done: 0.740309 s
20240517_045157_763813 b668064 b74a640 --> STARK_STEP_FRI starting...
20240517_045157_924029 b668064 b74a640 rootGL[1]: 5766757247562966679 13297667601077741041 12952219836271882548 11222945297921260409
20240517_045157_995770 b668064 b74a640 rootGL[2]: 13465141163043669315 8629472260247359597 8481272063919923679 15757254235357595523
20240517_045158_000060 b668064 b74a640 rootGL[3]: 4869580529565666749 13170935783465580028 2184590821292321986 5838962679525890155
20240517_045158_000599 b668064 b74a640 rootGL[4]: 5596989779319391129 29152711621608282 1619026364446769995 14658661150751934028
20240517_045158_033118 b668064 b74a640 <-- STARK_STEP_FRI done: 0.269296 s
20240517_045158_078054 b668064 b74a640 <-- STARK_C12_A_PROOF_BATCH_PROOF done: 5.647596 s
20240517_045158_078252 b668064 b74a640 --> STARK_JSON_GENERATION_BATCH_PROOF_C12A starting...
20240517_045158_191605 b668064 b74a640 <-- STARK_JSON_GENERATION_BATCH_PROOF_C12A done: 0.113326 s
20240517_045158_191840 b668064 b74a640 --> CIRCOM_LOAD_CIRCUIT_BATCH_PROOF_RECURSIVE1 starting...
20240517_045158_197148 b668064 b74a640 <-- CIRCOM_LOAD_CIRCUIT_BATCH_PROOF_RECURSIVE1 done: 0.005302 s
20240517_045158_197358 b668064 b74a640 --> CIRCOM_LOAD_JSON_BATCH_PROOF starting...
20240517_045158_839071 b668064 b74a640 <-- CIRCOM_LOAD_JSON_BATCH_PROOF done: 0.641685 s
20240517_045158_839190 b668064 b74a640 --> STARK_WITNESS_AND_COMMITED_POLS_BATCH_PROOF starting...
20240517_045158_952547 b668064 b74a640 <-- STARK_WITNESS_AND_COMMITED_POLS_BATCH_PROOF done: 0.113307 s
20240517_045158_958413 b668064 b74a640 --> STARK_RECURSIVE_1_PROOF_BATCH_PROOF starting...
20240517_045158_958689 b668064 b74a640 --> STARK_INITIALIZATION starting...
20240517_045158_989433 b668064 b74a640 <-- STARK_INITIALIZATION done: 0.030735 s
20240517_045158_989477 b668064 b74a640 --> STARK_STEP_1 starting...
20240517_045158_989492 b668064 b74a640 --> STARK_STEP_1_LDE_AND_MERKLETREE starting...
20240517_045158_989536 b668064 b74a640 --> STARK_STEP_1_LDE starting...
20240517_045159_073384 b668064 b74a640 <-- STARK_STEP_1_LDE done: 0.083820 s
20240517_045159_073461 b668064 b74a640 --> STARK_STEP_1_MERKLETREE starting...
20240517_045159_206099 b668064 b74a640 <-- STARK_STEP_1_MERKLETREE done: 0.132624 s
20240517_045159_206153 b668064 b74a640 MerkleTree rootGL 0: [ 6054954511882142506 13512841370115454011 16443714202249309402 7179081874177118392 ]
20240517_045159_206164 b668064 b74a640 <-- STARK_STEP_1_LDE_AND_MERKLETREE done: 0.216675 s
20240517_045159_206170 b668064 b74a640 <-- STARK_STEP_1 done: 0.216692 s
20240517_045159_206175 b668064 b74a640 --> STARK_STEP_2 starting...
20240517_045159_206181 b668064 b74a640 --> STARK_STEP_2_CALCULATE_EXPS starting...
20240517_045159_206211 b668064 b74a640 <-- STARK_STEP_2_CALCULATE_EXPS done: 0.000030 s
20240517_045159_206217 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2_TRANSPOSE starting...
20240517_045159_206223 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2_TRANSPOSE done: 0.000006 s
20240517_045159_206229 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2 starting...
20240517_045159_206238 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2 done: 0.000009 s
20240517_045159_206243 b668064 b74a640 --> STARK_STEP_2_CALCULATEH1H2_TRANSPOSE_2 starting...
20240517_045159_206249 b668064 b74a640 <-- STARK_STEP_2_CALCULATEH1H2_TRANSPOSE_2 done: 0.000006 s
20240517_045159_206254 b668064 b74a640 --> STARK_STEP_2_LDE_AND_MERKLETREE starting...
20240517_045159_206259 b668064 b74a640 --> STARK_STEP_2_LDE starting...
20240517_045159_213060 b668064 b74a640 <-- STARK_STEP_2_LDE done: 0.006795 s
20240517_045159_213089 b668064 b74a640 --> STARK_STEP_2_MERKLETREE starting...
20240517_045159_260254 b668064 b74a640 <-- STARK_STEP_2_MERKLETREE done: 0.047160 s
20240517_045159_260286 b668064 b74a640 MerkleTree rootGL 1: [ 4869072528223352863 6275850450145071959 8159689720148436485 8979985763136073723 ]
20240517_045159_260292 b668064 b74a640 <-- STARK_STEP_2_LDE_AND_MERKLETREE done: 0.054037 s
20240517_045159_260298 b668064 b74a640 <-- STARK_STEP_2 done: 0.054123 s
20240517_045159_260304 b668064 b74a640 --> STARK_STEP_3 starting...
20240517_045159_260312 b668064 b74a640 --> STARK_STEP_3_CALCULATE_EXPS starting...
20240517_045159_264161 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_EXPS done: 0.003843 s
20240517_045159_264184 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z_TRANSPOSE starting...
20240517_045159_264576 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z_TRANSPOSE done: 0.000390 s
20240517_045159_264597 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z starting...
20240517_045159_291320 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z done: 0.026719 s
20240517_045159_291431 b668064 b74a640 --> STARK_STEP_3_CALCULATE_Z_TRANSPOSE_2 starting...
20240517_045159_291694 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_Z_TRANSPOSE_2 done: 0.000262 s
20240517_045159_291733 b668064 b74a640 --> STARK_STEP_3_CALCULATE_EXPS_2 starting...
20240517_045159_305254 b668064 b74a640 <-- STARK_STEP_3_CALCULATE_EXPS_2 done: 0.013518 s
20240517_045159_305299 b668064 b74a640 --> STARK_STEP_3_LDE_AND_MERKLETREE starting...
20240517_045159_305319 b668064 b74a640 --> STARK_STEP_3_LDE starting...
20240517_045159_401453 b668064 b74a640 <-- STARK_STEP_3_LDE done: 0.096109 s
20240517_045159_401613 b668064 b74a640 --> STARK_STEP_3_MERKLETREE starting...
20240517_045159_616788 b668064 b74a640 <-- STARK_STEP_3_MERKLETREE done: 0.215168 s
20240517_045159_616879 b668064 b74a640 MerkleTree rootGL 2: [ 13581679726198328102 5042581758684953009 7020178199523619554 642590017202586515 ]
20240517_045159_616906 b668064 b74a640 <-- STARK_STEP_3_LDE_AND_MERKLETREE done: 0.311607 s
20240517_045159_616930 b668064 b74a640 <-- STARK_STEP_3 done: 0.356626 s
20240517_045159_616951 b668064 b74a640 --> STARK_STEP_4 starting...
20240517_045159_616974 b668064 b74a640 --> STARK_STEP_4_INIT starting...
20240517_045159_617140 b668064 b74a640 <-- STARK_STEP_4_INIT done: 0.000163 s
20240517_045159_617171 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS starting...
20240517_045159_849174 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS done: 0.231992 s
20240517_045159_849274 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_INTT starting...
20240517_045159_877437 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_INTT done: 0.028159 s
20240517_045159_877500 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_MUL starting...
20240517_045159_878589 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_MUL done: 0.001086 s
20240517_045159_878626 b668064 b74a640 --> STARK_STEP_4_CALCULATE_EXPS_2NS_NTT starting...
20240517_045159_997684 b668064 b74a640 <-- STARK_STEP_4_CALCULATE_EXPS_2NS_NTT done: 0.119028 s
20240517_045159_997835 b668064 b74a640 --> STARK_STEP_4_MERKLETREE starting...
20240517_045200_140156 b668064 b74a640 MerkleTree rootGL 3: [ 5865968798680388144 12162222530314688523 1188797919179019402 3734853805630347928 ]
20240517_045200_140224 b668064 b74a640 <-- STARK_STEP_4_MERKLETREE done: 0.142386 s
20240517_045200_140255 b668064 b74a640 <-- STARK_STEP_4 done: 0.523303 s
20240517_045200_140278 b668064 b74a640 --> STARK_STEP_5 starting...
20240517_045200_140299 b668064 b74a640 --> STARK_STEP_5_LEv_LpEv starting...
20240517_045200_151201 b668064 b74a640 <-- STARK_STEP_5_LEv_LpEv done: 0.010900 s
20240517_045200_151238 b668064 b74a640 --> STARK_STEP_5_EVMAP starting...
20240517_045200_159221 b668064 b74a640 <-- STARK_STEP_5_EVMAP done: 0.007980 s
20240517_045200_159261 b668064 b74a640 --> STARK_STEP_5_XDIVXSUB starting...
20240517_045200_245239 b668064 b74a640 <-- STARK_STEP_5_XDIVXSUB done: 0.085974 s
20240517_045200_245289 b668064 b74a640 --> STARK_STEP_5_CALCULATE_EXPS starting...
20240517_045200_348825 b668064 b74a640 <-- STARK_STEP_5_CALCULATE_EXPS done: 0.103512 s
20240517_045200_348967 b668064 b74a640 <-- STARK_STEP_5 done: 0.208687 s
20240517_045200_349008 b668064 b74a640 --> STARK_STEP_FRI starting...
20240517_045200_397833 b668064 b74a640 rootGL[1]: 17247304547164787513 11568280382338717231 13267685724471566498 180327978634801893
20240517_045200_409289 b668064 b74a640 rootGL[2]: 14653659526239192892 17008556736360678778 9432901613648057191 3326277046422374208
20240517_045200_410262 b668064 b74a640 rootGL[3]: 6332220385364409475 8654288889936665316 5965095494129327002 13519083297389661447
20240517_045200_410570 b668064 b74a640 rootGL[4]: 4959212377461297187 13564947966446108322 17263050471978334660 7156606281335859314
20240517_045200_434184 b668064 b74a640 <-- STARK_STEP_FRI done: 0.085172 s
20240517_045200_438602 b668064 b74a640 <-- STARK_RECURSIVE_1_PROOF_BATCH_PROOF done: 1.480191 s
20240517_045200_438641 b668064 b74a640 --> SAVE_PROOF starting...
20240517_045200_536838 b668064 b74a640 <-- SAVE_PROOF done: 0.098193 s
20240517_045200_639154 b668064 b74a640 <-- PROVER_BATCH_PROOF done: 161.578161 s
20240517_045200_639346 b668064 b74a640 proverThread() done processing request with UUID: a7452fe7-1444-4370-82a2-af8c306000ee
20240517_045204_137378 b668064 bf31640 aggregatorClientThread() getProof() response sent; result=completed
20240517_045204_337856 b668064 bf31640 aggregatorClientThread() got genFinalProof() request
20240517_045204_355107 b668064 bf31640 Prover::submitRequest() started type=3
20240517_045204_355140 b668064 bf31640 Prover::submitRequest() returns UUID: fe30acc1-15f7-41af-ab45-b8c8b22c7d31
20240517_045204_355202 b668064 b74a640 proverThread() starting to process request with UUID: fe30acc1-15f7-41af-ab45-b8c8b22c7d31
20240517_045204_355272 b668064 b74a640 --> PROVER_FINAL_PROOF starting...
20240517_045204_355305 b668064 bf31640 aggregatorClientThread() sent: gen_final_proof_response { id: "fe30acc1-15f7-41af-ab45-b8c8b22c7d31" result: RESULT_OK }
20240517_045204_359618 b668064 b74a640 MEMORY INFO , MemTotal: 1010460.667969 MB, MemFree: 159932.210938 MB, MemAvailable: 497861.503906 MB, Buffers: 3215.496094 MB, Cached: 322555.683594 MB, SwapCached: 0.000000 MB, SwapTotal: 0.000000 MB, SwapFree: 0.000000 MB, VM: 540844.320312 MB, RSS: 122.085268 MB
20240517_045204_359681 b668064 b74a640 PROCESS INFO, Pid: 2840279, User time: 14966.490000 s, Kernel time: 2688.490000 s, Total time: 17654.980000 s, Num threads: 391, Virtual mem: 540844 MB
20240517_045204_372218 b668064 b74a640 --> CIRCOM_LOAD_CIRCUIT_BATCH_PROOF_F starting...
20240517_045204_374752 b668064 b74a640 <-- CIRCOM_LOAD_CIRCUIT_BATCH_PROOF_F done: 0.002529 s
20240517_045204_374767 b668064 b74a640 --> CIRCOM_LOAD_JSON_BATCH_PROOF starting...
20240517_045204_721951 b668064 b74a640 <-- CIRCOM_LOAD_JSON_BATCH_PROOF done: 0.347177 s
20240517_045204_721982 b668064 b74a640 --> STARK_WITNESS_AND_COMMITED_POLS_BATCH_PROOF starting...
20240517_045204_751817 b668064 b74a640 <-- STARK_WITNESS_AND_COMMITED_POLS_BATCH_PROOF done: 0.029821 s
20240517_045204_751881 b668064 b74a640 --> STARK_RECURSIVE_F_PROOF_BATCH_PROOF starting...
20240517_045204_764039 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_1 starting...
20240517_045204_764106 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_1_LDE_AND_MERKLETREE starting...
20240517_045204_764110 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_1_LDE starting...
20240517_045205_845267 b668064 b74a640 MerkleTree root 0: [ 12611075369801806780910655242319093984753137481321342196628549002212516548684 ]
20240517_045205_845328 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_1_LDE done: 1.081212 s
20240517_045205_845336 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_1_LDE_AND_MERKLETREE done: 1.081230 s
20240517_045205_845342 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_1 done: 1.081308 s
20240517_045205_845348 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_2 starting...
20240517_045205_845517 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_2_CALCULATE_EXPS starting...
20240517_045205_845981 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_2_CALCULATE_EXPS done: 0.000462 s
20240517_045205_845993 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_2_CALCULATEH1H2 starting...
20240517_045205_846047 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_2_CALCULATEH1H2 done: 0.000054 s
20240517_045205_846057 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_2_LDE_AND_MERKLETREE starting...
20240517_045206_209224 b668064 b74a640 MerkleTree root 1: [ 4113523701376663593841587749709741346084910210579257421918650059346532579514 ]
20240517_045206_209262 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_2_LDE_AND_MERKLETREE done: 0.363202 s
20240517_045206_209270 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_2 done: 0.363922 s
20240517_045206_209277 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_3 starting...
20240517_045206_209454 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_3_PREV_CALCULATE_EXPS starting...
20240517_045206_211907 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_3_PREV_CALCULATE_EXPS done: 0.002451 s
20240517_045206_211929 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_3_CALCULATE_Z starting...
20240517_045206_244578 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_3_CALCULATE_Z done: 0.032641 s
20240517_045206_244620 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_3_CALCULATE_EXPS starting...
20240517_045206_253123 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_3_CALCULATE_EXPS done: 0.008496 s
20240517_045206_253150 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_3_LDE_AND_MERKLETREE starting...
20240517_045208_167793 b668064 b74a640 MerkleTree root 2: [ 7220457847184135296192909227864637488379303934163100603932793093020183856503 ]
20240517_045208_167858 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_3_LDE_AND_MERKLETREE done: 1.914706 s
20240517_045208_167867 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_3 done: 1.958590 s
20240517_045208_167873 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_4 starting...
20240517_045208_167883 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_4_CALCULATE_EXPS starting...
20240517_045208_168065 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_4_CALCULATE_EXPS done: 0.000180 s
20240517_045208_168081 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_4_CALCULATE_EXPS_2NS starting...
20240517_045208_798136 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_4_CALCULATE_EXPS_2NS done: 0.630032 s
20240517_045208_798277 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_4_MERKLETREE starting...
20240517_045210_671504 b668064 b74a640 MerkleTree root 3: [ 16384956362290532165630777013128634533808284675198650216311723070126772967389 ]
20240517_045210_671667 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_4_MERKLETREE done: 1.873385 s
20240517_045210_671700 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_4 done: 2.503827 s
20240517_045210_671730 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_5 starting...
20240517_045210_671756 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_5_LEv_LpEv starting...
20240517_045210_683022 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_5_LEv_LpEv done: 0.011262 s
20240517_045210_980246 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_5_CALCULATE_EXPS starting...
20240517_045211_083707 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_5_CALCULATE_EXPS done: 0.103449 s
20240517_045211_083768 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_5 done: 0.412038 s
20240517_045211_083776 b668064 b74a640 --> STARK_RECURSIVE_F_STEP_FRI starting...
20240517_045211_084348 b668064 b74a640 --> STARK_FRI_PROVE starting...
20240517_045211_084954 b668064 b74a640 --> STARK_FRI_PROVE_STEPS starting...
20240517_045211_438733 b668064 b74a640 root[1]: 13023780006202825868683771086688782337368690929212101302000296571512662012408
20240517_045211_499655 b668064 b74a640 root[2]: 377226947550289154667059753315930705361274840764112982256864511317996702363
20240517_045211_505170 b668064 b74a640 root[3]: 1205504552806747519620608583746659938568730054979181788133069445580853842947
20240517_045211_506391 b668064 b74a640 root[4]: 10093753584527448176163283915556723608743105988957227424850342070710095738160
20240517_045211_507153 b668064 b74a640 root[5]: 7026735186687239401734216927190279040848363675139791195714747350975625761414
20240517_045211_508708 b668064 b74a640 <-- STARK_FRI_PROVE_STEPS done: 0.423751 s
20240517_045211_508729 b668064 b74a640 --> STARK_FRI_QUERIES starting...
20240517_045211_508737 b668064 b74a640 fields[0]: 4646051013408113164450592434769306891937809943976611383441079296952483494963
20240517_045211_517239 b668064 b74a640 <-- STARK_FRI_QUERIES done: 0.008505 s
20240517_045211_517260 b668064 b74a640 <-- STARK_FRI_PROVE done: 0.432914 s
20240517_045211_549552 b668064 b74a640 <-- STARK_RECURSIVE_F_STEP_FRI done: 0.465771 s
20240517_045211_558809 b668064 b74a640 <-- STARK_RECURSIVE_F_PROOF_BATCH_PROOF done: 6.806925 s
20240517_045211_631672 b668064 b74a640 --> CIRCOM_LOAD_CIRCUIT_FINAL starting...
20240517_045211_699104 b668064 b74a640 <-- CIRCOM_LOAD_CIRCUIT_FINAL done: 0.067413 s
20240517_045211_699191 b668064 b74a640 --> CIRCOM_FINAL_LOAD_JSON starting...
Failed assert in template/function Num2Bits line 38. Followed trace of components: main.sv.LessThan64Bits_4673_296528[0].Num2Bits_31_579
zkProver: src/starkpil/recursivefinal/final.verifier.cpp:160642: void CircomFinal::Num2Bits_0_run(uint, CircomFinal::Circom_CalcWit*): Assertion `Fr_isTrue(&expaux[0])' failed.```
Federico2014 commented 6 months ago

The error happens when used the config files generated by proverjs. When use the downloaded config file from:[ https://storage.googleapis.com/zkevm/zkproverc/v6.0.0-rc.1-fork.9.tgz, it is ok now.