Skip to content

Latest commit

 

History

History
548 lines (523 loc) · 41.9 KB

fib_e2e-2fe942b15a175eee1737f1fdc0c34d2291b8a18e.md

File metadata and controls

548 lines (523 loc) · 41.9 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total 420.32 279.25
fib_e2e 44.24 6.74
leaf 54.16 8.13
internal.0 57.81 16.50
internal.1 32.82 16.58
internal.2 16.62 16.62
root 39.82 39.82
halo2_outer 132.75 132.75
halo2_wrapper 42.11 42.11
fib_e2e
metric avg sum max min
total_proof_time_ms 6,320.14 44,241 6,736 6,116
main_cells_used 58,671,368.86 410,699,582 59,809,571 51,983,972
total_cycles 1,714,305.29 12,000,137 1,747,603 1,515,024
execute_time_ms 363 2,541 374 319
trace_gen_time_ms 870.71 6,095 970 773
stark_prove_excluding_trace_time_ms 5,086.43 35,605 5,460 4,876
main_trace_commit_time_ms 710 4,970 896 613
generate_perm_trace_time_ms 154.71 1,083 192 128
perm_trace_commit_time_ms 1,865.57 13,059 2,015 1,704
quotient_extended_view_time_ms 475 3,325 527 398
quotient_poly_compute_time_ms 318.29 2,228 348 284
quotient_poly_commit_time_ms 557 3,899 635 531
pcs_opening_time_ms 1,002.57 7,018 1,031 971
leaf
metric avg sum max min
total_proof_time_ms 7,736.71 54,157 8,131 7,582
main_cells_used 62,493,222.14 437,452,555 70,519,309 60,545,749
total_cycles 1,636,184 11,453,288 1,826,924 1,589,482
execute_time_ms 257.86 1,805 281 244
trace_gen_time_ms 1,245.86 8,721 1,324 1,216
stark_prove_excluding_trace_time_ms 6,233 43,631 6,526 6,107
main_trace_commit_time_ms 1,134 7,938 1,206 1,113
generate_perm_trace_time_ms 128 896 131 126
perm_trace_commit_time_ms 1,130 7,910 1,173 1,097
quotient_extended_view_time_ms 804.43 5,631 849 776
quotient_poly_compute_time_ms 794.14 5,559 844 768
quotient_poly_commit_time_ms 1,005.86 7,041 1,038 981
pcs_opening_time_ms 1,231.71 8,622 1,284 1,191
internal.0
metric avg sum max min
total_proof_time_ms 14,452 57,808 16,497 8,979
main_cells_used 123,802,160.50 495,208,642 141,143,318 71,801,216
total_cycles 3,214,366.75 12,857,467 3,673,612 1,837,539
execute_time_ms 589 2,356 721 342
trace_gen_time_ms 2,374.75 9,499 2,671 1,573
stark_prove_excluding_trace_time_ms 11,488.25 45,953 13,105 7,064
main_trace_commit_time_ms 2,160 8,640 2,497 1,424
generate_perm_trace_time_ms 246.50 986 280 151
perm_trace_commit_time_ms 2,250.25 9,001 2,593 1,268
quotient_extended_view_time_ms 1,442 5,768 1,624 920
quotient_poly_compute_time_ms 1,425 5,700 1,624 879
quotient_poly_commit_time_ms 1,761 7,044 2,012 1,073
pcs_opening_time_ms 2,197.50 8,790 2,520 1,342
internal.1
metric avg sum max min
total_proof_time_ms 16,408.50 32,817 16,583 16,234
main_cells_used 144,913,533.50 289,827,067 145,781,446 144,045,621
total_cycles 3,770,474.50 7,540,949 3,801,042 3,739,907
execute_time_ms 688 1,376 762 614
trace_gen_time_ms 2,752 5,504 2,829 2,675
stark_prove_excluding_trace_time_ms 12,968.50 25,937 13,146 12,791
main_trace_commit_time_ms 2,378.50 4,757 2,538 2,219
generate_perm_trace_time_ms 277.50 555 279 276
perm_trace_commit_time_ms 2,586 5,172 2,607 2,565
quotient_extended_view_time_ms 1,620 3,240 1,621 1,619
quotient_poly_compute_time_ms 1,605 3,210 1,612 1,598
quotient_poly_commit_time_ms 2,026.50 4,053 2,041 2,012
pcs_opening_time_ms 2,468 4,936 2,490 2,446
internal.2
metric avg sum max min
total_proof_time_ms 16,623 16,623 16,623 16,623
main_cells_used 145,782,896 145,782,896 145,782,896 145,782,896
total_cycles 3,801,187 3,801,187 3,801,187 3,801,187
execute_time_ms 778 778 778 778
trace_gen_time_ms 2,743 2,743 2,743 2,743
stark_prove_excluding_trace_time_ms 13,102 13,102 13,102 13,102
main_trace_commit_time_ms 2,555 2,555 2,555 2,555
generate_perm_trace_time_ms 287 287 287 287
perm_trace_commit_time_ms 2,574 2,574 2,574 2,574
quotient_extended_view_time_ms 1,612 1,612 1,612 1,612
quotient_poly_compute_time_ms 1,594 1,594 1,594 1,594
quotient_poly_commit_time_ms 1,989 1,989 1,989 1,989
pcs_opening_time_ms 2,485 2,485 2,485 2,485
root
metric avg sum max min
total_proof_time_ms 39,820 39,820 39,820 39,820
main_cells_used 74,154,794 74,154,794 74,154,794 74,154,794
total_cycles 1,901,428 1,901,428 1,901,428 1,901,428
execute_time_ms 382 382 382 382
trace_gen_time_ms 1,582 1,582 1,582 1,582
stark_prove_excluding_trace_time_ms 37,856 37,856 37,856 37,856
main_trace_commit_time_ms 11,353 11,353 11,353 11,353
generate_perm_trace_time_ms 152 152 152 152
perm_trace_commit_time_ms 12,536 12,536 12,536 12,536
quotient_extended_view_time_ms 837 837 837 837
quotient_poly_compute_time_ms 893 893 893 893
quotient_poly_commit_time_ms 8,230 8,230 8,230 8,230
pcs_opening_time_ms 3,848 3,848 3,848 3,848
halo2_outer
metric avg sum max min
total_proof_time_ms 132,748 132,748 132,748 132,748
main_cells_used 88,687,652 88,687,652 88,687,652 88,687,652
halo2_wrapper
metric avg sum max min
total_proof_time_ms 42,109 42,109 42,109 42,109
Detailed Metrics

| | execute_time_ms | | --- | | | 374 |

group total_proof_time_ms num_segments main_cells_used
fib_e2e 7
halo2_outer 132,748 88,687,652
halo2_wrapper 42,109
group air_name idx rows prep_cols perm_cols main_cols cells
internal.0 AccessAdapterAir<2> 0 524,288 16 11 14,155,776
internal.0 AccessAdapterAir<2> 1 524,288 16 11 14,155,776
internal.0 AccessAdapterAir<2> 2 524,288 16 11 14,155,776
internal.0 AccessAdapterAir<2> 3 262,144 16 11 7,077,888
internal.0 AccessAdapterAir<4> 0 262,144 16 13 7,602,176
internal.0 AccessAdapterAir<4> 1 262,144 16 13 7,602,176
internal.0 AccessAdapterAir<4> 2 262,144 16 13 7,602,176
internal.0 AccessAdapterAir<4> 3 131,072 16 13 3,801,088
internal.0 AccessAdapterAir<8> 0 512 16 17 16,896
internal.0 AccessAdapterAir<8> 1 512 16 17 16,896
internal.0 AccessAdapterAir<8> 2 512 16 17 16,896
internal.0 AccessAdapterAir<8> 3 256 16 17 8,448
internal.0 FriReducedOpeningAir 0 524,288 36 26 32,505,856
internal.0 FriReducedOpeningAir 1 524,288 36 26 32,505,856
internal.0 FriReducedOpeningAir 2 524,288 36 26 32,505,856
internal.0 FriReducedOpeningAir 3 262,144 36 26 16,252,928
internal.0 NativePoseidon2Air, 1> 0 65,536 356 399 49,479,680
internal.0 NativePoseidon2Air, 1> 1 65,536 356 399 49,479,680
internal.0 NativePoseidon2Air, 1> 2 65,536 356 399 49,479,680
internal.0 NativePoseidon2Air, 1> 3 32,768 356 399 24,739,840
internal.0 PhantomAir 0 65,536 8 6 917,504
internal.0 PhantomAir 1 65,536 8 6 917,504
internal.0 PhantomAir 2 65,536 8 6 917,504
internal.0 PhantomAir 3 32,768 8 6 458,752
internal.0 ProgramAir 0 262,144 8 10 4,718,592
internal.0 ProgramAir 1 262,144 8 10 4,718,592
internal.0 ProgramAir 2 262,144 8 10 4,718,592
internal.0 ProgramAir 3 262,144 8 10 4,718,592
internal.0 VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
internal.0 VariableRangeCheckerAir 1 262,144 2 8 1 2,359,296
internal.0 VariableRangeCheckerAir 2 262,144 2 8 1 2,359,296
internal.0 VariableRangeCheckerAir 3 262,144 2 8 1 2,359,296
internal.0 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0 1,048,576 28 23 53,477,376
internal.0 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 1 1,048,576 28 23 53,477,376
internal.0 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 2 1,048,576 28 23 53,477,376
internal.0 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 3 524,288 28 23 26,738,688
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0 131,072 12 10 2,883,584
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 1 131,072 12 10 2,883,584
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 2 131,072 12 10 2,883,584
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 3 65,536 12 10 1,441,792
internal.0 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 0 64 16 23 2,496
internal.0 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 1 64 16 23 2,496
internal.0 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 2 64 16 23 2,496
internal.0 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 3 64 16 23 2,496
internal.0 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0 2,097,152 20 30 104,857,600
internal.0 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 1 2,097,152 20 30 104,857,600
internal.0 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 2 2,097,152 20 30 104,857,600
internal.0 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 3 1,048,576 20 30 52,428,800
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0 1,048,576 36 25 63,963,136
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 1 1,048,576 36 25 63,963,136
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 2 1,048,576 36 25 63,963,136
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 3 524,288 36 25 31,981,568
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 0 131,072 36 34 9,175,040
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 1 131,072 36 34 9,175,040
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 2 131,072 36 34 9,175,040
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 3 65,536 36 34 4,587,520
internal.0 VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0 131,072 20 40 7,864,320
internal.0 VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 1 131,072 20 40 7,864,320
internal.0 VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 2 131,072 20 40 7,864,320
internal.0 VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 3 65,536 20 40 3,932,160
internal.0 VmConnectorAir 0 2 1 8 4 24
internal.0 VmConnectorAir 1 2 1 8 4 24
internal.0 VmConnectorAir 2 2 1 8 4 24
internal.0 VmConnectorAir 3 2 1 8 4 24
internal.0 VolatileBoundaryAir 0 1,048,576 8 11 19,922,944
internal.0 VolatileBoundaryAir 1 1,048,576 8 11 19,922,944
internal.0 VolatileBoundaryAir 2 1,048,576 8 11 19,922,944
internal.0 VolatileBoundaryAir 3 524,288 8 11 9,961,472
internal.1 AccessAdapterAir<2> 4 524,288 16 11 14,155,776
internal.1 AccessAdapterAir<2> 5 524,288 16 11 14,155,776
internal.1 AccessAdapterAir<4> 4 262,144 16 13 7,602,176
internal.1 AccessAdapterAir<4> 5 262,144 16 13 7,602,176
internal.1 AccessAdapterAir<8> 4 512 16 17 16,896
internal.1 AccessAdapterAir<8> 5 512 16 17 16,896
internal.1 FriReducedOpeningAir 4 524,288 36 26 32,505,856
internal.1 FriReducedOpeningAir 5 524,288 36 26 32,505,856
internal.1 NativePoseidon2Air, 1> 4 65,536 356 399 49,479,680
internal.1 NativePoseidon2Air, 1> 5 65,536 356 399 49,479,680
internal.1 PhantomAir 4 65,536 8 6 917,504
internal.1 PhantomAir 5 65,536 8 6 917,504
internal.1 ProgramAir 4 262,144 8 10 4,718,592
internal.1 ProgramAir 5 262,144 8 10 4,718,592
internal.1 VariableRangeCheckerAir 4 262,144 2 8 1 2,359,296
internal.1 VariableRangeCheckerAir 5 262,144 2 8 1 2,359,296
internal.1 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 4 1,048,576 28 23 53,477,376
internal.1 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 5 1,048,576 28 23 53,477,376
internal.1 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 4 131,072 12 10 2,883,584
internal.1 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 5 131,072 12 10 2,883,584
internal.1 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 4 64 16 23 2,496
internal.1 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 5 64 16 23 2,496
internal.1 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 4 2,097,152 20 30 104,857,600
internal.1 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 5 2,097,152 20 30 104,857,600
internal.1 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 4 1,048,576 36 25 63,963,136
internal.1 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 5 1,048,576 36 25 63,963,136
internal.1 VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 4 131,072 36 34 9,175,040
internal.1 VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 5 131,072 36 34 9,175,040
internal.1 VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 4 131,072 20 40 7,864,320
internal.1 VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 5 131,072 20 40 7,864,320
internal.1 VmConnectorAir 4 2 1 8 4 24
internal.1 VmConnectorAir 5 2 1 8 4 24
internal.1 VolatileBoundaryAir 4 1,048,576 8 11 19,922,944
internal.1 VolatileBoundaryAir 5 1,048,576 8 11 19,922,944
internal.2 AccessAdapterAir<2> 6 524,288 16 11 14,155,776
internal.2 AccessAdapterAir<4> 6 262,144 16 13 7,602,176
internal.2 AccessAdapterAir<8> 6 512 16 17 16,896
internal.2 FriReducedOpeningAir 6 524,288 36 26 32,505,856
internal.2 NativePoseidon2Air, 1> 6 65,536 356 399 49,479,680
internal.2 PhantomAir 6 65,536 8 6 917,504
internal.2 ProgramAir 6 262,144 8 10 4,718,592
internal.2 VariableRangeCheckerAir 6 262,144 2 8 1 2,359,296
internal.2 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 6 1,048,576 28 23 53,477,376
internal.2 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 6 131,072 12 10 2,883,584
internal.2 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 6 64 16 23 2,496
internal.2 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 6 2,097,152 20 30 104,857,600
internal.2 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 6 1,048,576 36 25 63,963,136
internal.2 VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 6 131,072 36 34 9,175,040
internal.2 VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 6 131,072 20 40 7,864,320
internal.2 VmConnectorAir 6 2 1 8 4 24
internal.2 VolatileBoundaryAir 6 1,048,576 8 11 19,922,944
leaf AccessAdapterAir<2> 0 262,144 16 11 7,077,888
leaf AccessAdapterAir<2> 1 131,072 16 11 3,538,944
leaf AccessAdapterAir<2> 2 131,072 16 11 3,538,944
leaf AccessAdapterAir<2> 3 131,072 16 11 3,538,944
leaf AccessAdapterAir<2> 4 131,072 16 11 3,538,944
leaf AccessAdapterAir<2> 5 131,072 16 11 3,538,944
leaf AccessAdapterAir<2> 6 262,144 16 11 7,077,888
leaf AccessAdapterAir<4> 0 131,072 16 13 3,801,088
leaf AccessAdapterAir<4> 1 65,536 16 13 1,900,544
leaf AccessAdapterAir<4> 2 65,536 16 13 1,900,544
leaf AccessAdapterAir<4> 3 65,536 16 13 1,900,544
leaf AccessAdapterAir<4> 4 65,536 16 13 1,900,544
leaf AccessAdapterAir<4> 5 65,536 16 13 1,900,544
leaf AccessAdapterAir<4> 6 131,072 16 13 3,801,088
leaf AccessAdapterAir<8> 0 256 16 17 8,448
leaf AccessAdapterAir<8> 1 256 16 17 8,448
leaf AccessAdapterAir<8> 2 256 16 17 8,448
leaf AccessAdapterAir<8> 3 256 16 17 8,448
leaf AccessAdapterAir<8> 4 256 16 17 8,448
leaf AccessAdapterAir<8> 5 256 16 17 8,448
leaf AccessAdapterAir<8> 6 512 16 17 16,896
leaf FriReducedOpeningAir 0 131,072 36 26 8,126,464
leaf FriReducedOpeningAir 1 131,072 36 26 8,126,464
leaf FriReducedOpeningAir 2 131,072 36 26 8,126,464
leaf FriReducedOpeningAir 3 131,072 36 26 8,126,464
leaf FriReducedOpeningAir 4 131,072 36 26 8,126,464
leaf FriReducedOpeningAir 5 131,072 36 26 8,126,464
leaf FriReducedOpeningAir 6 131,072 36 26 8,126,464
leaf NativePoseidon2Air, 1> 0 32,768 356 399 24,739,840
leaf NativePoseidon2Air, 1> 1 32,768 356 399 24,739,840
leaf NativePoseidon2Air, 1> 2 32,768 356 399 24,739,840
leaf NativePoseidon2Air, 1> 3 32,768 356 399 24,739,840
leaf NativePoseidon2Air, 1> 4 32,768 356 399 24,739,840
leaf NativePoseidon2Air, 1> 5 32,768 356 399 24,739,840
leaf NativePoseidon2Air, 1> 6 32,768 356 399 24,739,840
leaf PhantomAir 0 32,768 8 6 458,752
leaf PhantomAir 1 32,768 8 6 458,752
leaf PhantomAir 2 32,768 8 6 458,752
leaf PhantomAir 3 32,768 8 6 458,752
leaf PhantomAir 4 32,768 8 6 458,752
leaf PhantomAir 5 32,768 8 6 458,752
leaf PhantomAir 6 32,768 8 6 458,752
leaf ProgramAir 0 131,072 8 10 2,359,296
leaf ProgramAir 1 131,072 8 10 2,359,296
leaf ProgramAir 2 131,072 8 10 2,359,296
leaf ProgramAir 3 131,072 8 10 2,359,296
leaf ProgramAir 4 131,072 8 10 2,359,296
leaf ProgramAir 5 131,072 8 10 2,359,296
leaf ProgramAir 6 131,072 8 10 2,359,296
leaf VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
leaf VariableRangeCheckerAir 1 262,144 2 8 1 2,359,296
leaf VariableRangeCheckerAir 2 262,144 2 8 1 2,359,296
leaf VariableRangeCheckerAir 3 262,144 2 8 1 2,359,296
leaf VariableRangeCheckerAir 4 262,144 2 8 1 2,359,296
leaf VariableRangeCheckerAir 5 262,144 2 8 1 2,359,296
leaf VariableRangeCheckerAir 6 262,144 2 8 1 2,359,296
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0 524,288 28 23 26,738,688
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 1 524,288 28 23 26,738,688
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 2 524,288 28 23 26,738,688
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 3 524,288 28 23 26,738,688
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 4 524,288 28 23 26,738,688
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 5 524,288 28 23 26,738,688
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 6 524,288 28 23 26,738,688
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0 65,536 12 10 1,441,792
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 1 65,536 12 10 1,441,792
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 2 65,536 12 10 1,441,792
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 3 65,536 12 10 1,441,792
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 4 65,536 12 10 1,441,792
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 5 65,536 12 10 1,441,792
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 6 65,536 12 10 1,441,792
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 0 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 1 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 2 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 3 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 4 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 5 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 6 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0 1,048,576 20 30 52,428,800
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 1 1,048,576 20 30 52,428,800
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 2 1,048,576 20 30 52,428,800
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 3 1,048,576 20 30 52,428,800
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 4 1,048,576 20 30 52,428,800
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 5 1,048,576 20 30 52,428,800
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 6 1,048,576 20 30 52,428,800
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0 524,288 36 25 31,981,568
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 1 524,288 36 25 31,981,568
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 2 524,288 36 25 31,981,568
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 3 524,288 36 25 31,981,568
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 4 524,288 36 25 31,981,568
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 5 524,288 36 25 31,981,568
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 6 524,288 36 25 31,981,568
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 0 65,536 36 34 4,587,520
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 1 32,768 36 34 2,293,760
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 2 32,768 36 34 2,293,760
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 3 32,768 36 34 2,293,760
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 4 32,768 36 34 2,293,760
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 5 32,768 36 34 2,293,760
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 6 32,768 36 34 2,293,760
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0 65,536 20 40 3,932,160
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 1 32,768 20 40 1,966,080
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 2 32,768 20 40 1,966,080
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 3 32,768 20 40 1,966,080
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 4 32,768 20 40 1,966,080
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 5 32,768 20 40 1,966,080
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 6 65,536 20 40 3,932,160
leaf VmConnectorAir 0 2 1 8 4 24
leaf VmConnectorAir 1 2 1 8 4 24
leaf VmConnectorAir 2 2 1 8 4 24
leaf VmConnectorAir 3 2 1 8 4 24
leaf VmConnectorAir 4 2 1 8 4 24
leaf VmConnectorAir 5 2 1 8 4 24
leaf VmConnectorAir 6 2 1 8 4 24
leaf VolatileBoundaryAir 0 524,288 8 11 9,961,472
leaf VolatileBoundaryAir 1 524,288 8 11 9,961,472
leaf VolatileBoundaryAir 2 524,288 8 11 9,961,472
leaf VolatileBoundaryAir 3 524,288 8 11 9,961,472
leaf VolatileBoundaryAir 4 524,288 8 11 9,961,472
leaf VolatileBoundaryAir 5 524,288 8 11 9,961,472
leaf VolatileBoundaryAir 6 524,288 8 11 9,961,472
root AccessAdapterAir<2> 0 262,144 16 11 7,077,888
root AccessAdapterAir<4> 0 131,072 16 13 3,801,088
root AccessAdapterAir<8> 0 256 16 17 8,448
root FriReducedOpeningAir 0 262,144 36 26 16,252,928
root NativePoseidon2Air, 1> 0 32,768 356 399 24,739,840
root PhantomAir 0 32,768 8 6 458,752
root ProgramAir 0 262,144 8 10 4,718,592
root VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
root VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0 524,288 28 23 26,738,688
root VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0 65,536 12 10 1,441,792
root VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 0 64 16 23 2,496
root VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0 1,048,576 20 30 52,428,800
root VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0 524,288 36 25 31,981,568
root VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 0 65,536 36 34 4,587,520
root VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0 65,536 20 40 3,932,160
root VmConnectorAir 0 2 1 8 4 24
root VolatileBoundaryAir 0 524,288 8 11 9,961,472
group air_name segment rows prep_cols perm_cols main_cols cells
fib_e2e AccessAdapterAir<8> 0 64 24 17 2,624
fib_e2e AccessAdapterAir<8> 1 16 24 17 656
fib_e2e AccessAdapterAir<8> 2 16 24 17 656
fib_e2e AccessAdapterAir<8> 3 16 24 17 656
fib_e2e AccessAdapterAir<8> 4 16 24 17 656
fib_e2e AccessAdapterAir<8> 5 16 24 17 656
fib_e2e AccessAdapterAir<8> 6 32 24 17 1,312
fib_e2e BitwiseOperationLookupAir<8> 0 65,536 3 8 2 655,360
fib_e2e BitwiseOperationLookupAir<8> 1 65,536 3 8 2 655,360
fib_e2e BitwiseOperationLookupAir<8> 2 65,536 3 8 2 655,360
fib_e2e BitwiseOperationLookupAir<8> 3 65,536 3 8 2 655,360
fib_e2e BitwiseOperationLookupAir<8> 4 65,536 3 8 2 655,360
fib_e2e BitwiseOperationLookupAir<8> 5 65,536 3 8 2 655,360
fib_e2e BitwiseOperationLookupAir<8> 6 65,536 3 8 2 655,360
fib_e2e MemoryMerkleAir<8> 0 256 20 32 13,312
fib_e2e MemoryMerkleAir<8> 1 128 20 32 6,656
fib_e2e MemoryMerkleAir<8> 2 128 20 32 6,656
fib_e2e MemoryMerkleAir<8> 3 128 20 32 6,656
fib_e2e MemoryMerkleAir<8> 4 128 20 32 6,656
fib_e2e MemoryMerkleAir<8> 5 128 20 32 6,656
fib_e2e MemoryMerkleAir<8> 6 256 20 32 13,312
fib_e2e PersistentBoundaryAir<8> 0 64 12 20 2,048
fib_e2e PersistentBoundaryAir<8> 1 16 12 20 512
fib_e2e PersistentBoundaryAir<8> 2 16 12 20 512
fib_e2e PersistentBoundaryAir<8> 3 16 12 20 512
fib_e2e PersistentBoundaryAir<8> 4 16 12 20 512
fib_e2e PersistentBoundaryAir<8> 5 16 12 20 512
fib_e2e PersistentBoundaryAir<8> 6 32 12 20 1,024
fib_e2e PhantomAir 0 2 12 6 36
fib_e2e PhantomAir 1 1 12 6 18
fib_e2e PhantomAir 2 1 12 6 18
fib_e2e PhantomAir 3 1 12 6 18
fib_e2e PhantomAir 4 1 12 6 18
fib_e2e PhantomAir 5 1 12 6 18
fib_e2e PhantomAir 6 1 12 6 18
fib_e2e Poseidon2PeripheryAir, 1> 0 256 8 300 78,848
fib_e2e Poseidon2PeripheryAir, 1> 1 128 8 300 39,424
fib_e2e Poseidon2PeripheryAir, 1> 2 128 8 300 39,424
fib_e2e Poseidon2PeripheryAir, 1> 3 128 8 300 39,424
fib_e2e Poseidon2PeripheryAir, 1> 4 128 8 300 39,424
fib_e2e Poseidon2PeripheryAir, 1> 5 128 8 300 39,424
fib_e2e Poseidon2PeripheryAir, 1> 6 256 8 300 78,848
fib_e2e ProgramAir 0 4,096 8 10 73,728
fib_e2e ProgramAir 1 4,096 8 10 73,728
fib_e2e ProgramAir 2 4,096 8 10 73,728
fib_e2e ProgramAir 3 4,096 8 10 73,728
fib_e2e ProgramAir 4 4,096 8 10 73,728
fib_e2e ProgramAir 5 4,096 8 10 73,728
fib_e2e ProgramAir 6 4,096 8 10 73,728
fib_e2e RangeTupleCheckerAir<2> 0 524,288 2 8 1 4,718,592
fib_e2e RangeTupleCheckerAir<2> 1 524,288 2 8 1 4,718,592
fib_e2e RangeTupleCheckerAir<2> 2 524,288 2 8 1 4,718,592
fib_e2e RangeTupleCheckerAir<2> 3 524,288 2 8 1 4,718,592
fib_e2e RangeTupleCheckerAir<2> 4 524,288 2 8 1 4,718,592
fib_e2e RangeTupleCheckerAir<2> 5 524,288 2 8 1 4,718,592
fib_e2e RangeTupleCheckerAir<2> 6 524,288 2 8 1 4,718,592
fib_e2e VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
fib_e2e VariableRangeCheckerAir 1 262,144 2 8 1 2,359,296
fib_e2e VariableRangeCheckerAir 2 262,144 2 8 1 2,359,296
fib_e2e VariableRangeCheckerAir 3 262,144 2 8 1 2,359,296
fib_e2e VariableRangeCheckerAir 4 262,144 2 8 1 2,359,296
fib_e2e VariableRangeCheckerAir 5 262,144 2 8 1 2,359,296
fib_e2e VariableRangeCheckerAir 6 262,144 2 8 1 2,359,296
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0 1,048,576 80 36 121,634,816
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 1 1,048,576 80 36 121,634,816
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 2 1,048,576 80 36 121,634,816
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 3 1,048,576 80 36 121,634,816
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 4 1,048,576 80 36 121,634,816
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 5 1,048,576 80 36 121,634,816
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 6 1,048,576 80 36 121,634,816
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0 524,288 40 37 40,370,176
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 1 524,288 40 37 40,370,176
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 2 524,288 40 37 40,370,176
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 3 524,288 40 37 40,370,176
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 4 524,288 40 37 40,370,176
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 5 524,288 40 37 40,370,176
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 6 524,288 40 37 40,370,176
fib_e2e VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0 2 52 53 210
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0 262,144 48 26 19,398,656
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 1 262,144 48 26 19,398,656
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 2 262,144 48 26 19,398,656
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 3 262,144 48 26 19,398,656
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 4 262,144 48 26 19,398,656
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 5 262,144 48 26 19,398,656
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 6 262,144 48 26 19,398,656
fib_e2e VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0 8 56 32 704
fib_e2e VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0 131,072 44 18 8,126,464
fib_e2e VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 1 131,072 44 18 8,126,464
fib_e2e VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 2 131,072 44 18 8,126,464
fib_e2e VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 3 131,072 44 18 8,126,464
fib_e2e VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 4 131,072 44 18 8,126,464
fib_e2e VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 5 131,072 44 18 8,126,464
fib_e2e VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 6 131,072 44 18 8,126,464
fib_e2e VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0 4 36 26 248
fib_e2e VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0 16 36 28 1,024
fib_e2e VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 6 1 36 28 64
fib_e2e VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0 32 72 40 3,584
fib_e2e VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 6 8 72 40 896
fib_e2e VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0 16 28 21 784
fib_e2e VmConnectorAir 0 2 1 12 4 32
fib_e2e VmConnectorAir 1 2 1 12 4 32
fib_e2e VmConnectorAir 2 2 1 12 4 32
fib_e2e VmConnectorAir 3 2 1 12 4 32
fib_e2e VmConnectorAir 4 2 1 12 4 32
fib_e2e VmConnectorAir 5 2 1 12 4 32
fib_e2e VmConnectorAir 6 2 1 12 4 32
group idx trace_gen_time_ms total_proof_time_ms total_cycles total_cells stark_prove_excluding_trace_time_ms quotient_poly_compute_time_ms quotient_poly_commit_time_ms quotient_extended_view_time_ms perm_trace_commit_time_ms pcs_opening_time_ms main_trace_commit_time_ms main_cells_used generate_perm_trace_time_ms execute_time_ms
internal.0 0 2,624 15,949 3,673,612 373,902,296 12,751 1,624 1,959 1,610 2,593 2,457 2,225 141,143,318 279 574
internal.0 1 2,671 16,497 3,672,854 373,902,296 13,105 1,607 2,000 1,624 2,575 2,520 2,497 141,129,014 276 721
internal.0 2 2,631 16,383 3,673,462 373,902,296 13,033 1,590 2,012 1,614 2,565 2,471 2,494 141,135,094 280 719
internal.0 3 1,573 8,979 1,837,539 190,491,352 7,064 879 1,073 920 1,268 1,342 1,424 71,801,216 151 342
internal.1 4 2,829 16,234 3,801,042 373,902,296 12,791 1,612 2,041 1,621 2,565 2,446 2,219 145,781,446 279 614
internal.1 5 2,675 16,583 3,739,907 373,902,296 13,146 1,598 2,012 1,619 2,607 2,490 2,538 144,045,621 276 762
internal.2 6 2,743 16,623 3,801,187 373,902,296 13,102 1,594 1,989 1,612 2,574 2,485 2,555 145,782,896 287 778
leaf 0 1,324 8,131 1,826,924 180,005,592 6,526 844 1,034 849 1,173 1,284 1,206 70,519,309 131 281
leaf 1 1,232 7,610 1,589,897 170,306,264 6,134 791 986 786 1,097 1,218 1,123 60,549,899 127 244
leaf 2 1,222 7,582 1,589,864 170,306,264 6,107 768 993 792 1,111 1,191 1,120 60,549,569 128 253
leaf 3 1,242 7,686 1,590,092 170,306,264 6,194 768 1,024 794 1,128 1,226 1,120 60,551,849 128 250
leaf 4 1,225 7,612 1,590,140 170,306,264 6,133 778 985 776 1,127 1,217 1,120 60,552,329 126 254
leaf 5 1,216 7,604 1,589,482 170,306,264 6,133 778 981 792 1,129 1,208 1,113 60,545,749 128 255
leaf 6 1,260 7,932 1,676,889 177,720,280 6,404 832 1,038 842 1,145 1,278 1,136 64,183,851 128 268
root 0 1,582 39,820 1,901,428 190,491,352 37,856 893 8,230 837 12,536 3,848 11,353 74,154,794 152 382
group segment trace_gen_time_ms total_proof_time_ms total_cycles total_cells stark_prove_excluding_trace_time_ms quotient_poly_compute_time_ms quotient_poly_commit_time_ms quotient_extended_view_time_ms perm_trace_commit_time_ms pcs_opening_time_ms main_trace_commit_time_ms main_cells_used generate_perm_trace_time_ms execute_time_ms
fib_e2e 0 904 6,736 1,747,603 197,440,542 5,460 297 635 510 1,897 1,031 896 59,809,571 192 372
fib_e2e 1 970 6,510 1,747,502 197,384,386 5,170 340 531 527 2,015 973 648 59,780,906 133 370
fib_e2e 2 858 6,118 1,747,502 197,384,386 4,886 284 546 410 1,838 981 680 59,780,897 144 374
fib_e2e 3 875 6,121 1,747,502 197,384,386 4,876 293 559 398 1,704 1,030 718 59,781,216 170 370
fib_e2e 4 858 6,174 1,747,502 197,384,386 4,949 334 537 452 1,727 1,028 690 59,781,515 177 367
fib_e2e 5 857 6,466 1,747,502 197,384,386 5,240 348 544 514 1,974 1,004 725 59,781,505 128 369
fib_e2e 6 773 6,116 1,515,024 197,432,594 5,024 332 547 514 1,904 971 613 51,983,972 139 319

Commit: https://github.com/openvm-org/openvm/commit/2fe942b15a175eee1737f1fdc0c34d2291b8a18e

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow