Skip to content

Latest commit

 

History

History
542 lines (517 loc) · 41.4 KB

fib_e2e-765f1a740f97c87f0787edf4e2c7ccb1dfc2ba87.md

File metadata and controls

542 lines (517 loc) · 41.4 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total 455.70 316.94
fib_e2e 41.24 6.33
leaf 55.94 8.36
internal.0 56.76 16.20
internal.1 31.91 16.20
internal.2 16.26 16.26
root 39.22 39.22
halo2_outer 168.55 168.55
halo2_wrapper 45.82 45.82
fib_e2e
metric avg sum max min
total_proof_time_ms 5,891.43 41,240 6,325 5,703
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 351.29 2,459 363 309
trace_gen_time_ms 842.43 5,897 958 739
stark_prove_excluding_trace_time_ms 4,697.71 32,884 5,004 4,582
main_trace_commit_time_ms 627 4,389 850 566
generate_perm_trace_time_ms 131.14 918 190 114
perm_trace_commit_time_ms 1,766 12,362 1,847 1,650
quotient_poly_compute_time_ms 770.43 5,393 813 708
quotient_poly_commit_time_ms 402.86 2,820 510 364
pcs_opening_time_ms 997.71 6,984 1,028 977
leaf
metric avg sum max min
total_proof_time_ms 7,992 55,944 8,362 7,859
main_cells_used 65,922,561.29 461,457,929 75,314,515 63,647,335
total_cycles 1,637,119.71 11,459,838 1,827,952 1,590,660
execute_time_ms 252.14 1,765 303 235
trace_gen_time_ms 1,343.43 9,404 1,460 1,303
stark_prove_excluding_trace_time_ms 6,396.43 44,775 6,599 6,313
main_trace_commit_time_ms 1,167.29 8,171 1,175 1,160
generate_perm_trace_time_ms 132.71 929 137 129
perm_trace_commit_time_ms 1,275 8,925 1,292 1,259
quotient_poly_compute_time_ms 1,491.71 10,442 1,644 1,432
quotient_poly_commit_time_ms 1,044.43 7,311 1,065 1,020
pcs_opening_time_ms 1,282.86 8,980 1,303 1,259
internal.0
metric avg sum max min
total_proof_time_ms 14,188.75 56,755 16,205 8,851
main_cells_used 134,187,522.25 536,750,089 153,009,050 77,733,503
total_cycles 3,235,766.50 12,943,066 3,697,999 1,849,453
execute_time_ms 553.50 2,214 655 293
trace_gen_time_ms 2,641 10,564 3,086 1,816
stark_prove_excluding_trace_time_ms 10,994.25 43,977 12,468 6,742
main_trace_commit_time_ms 2,055.50 8,222 2,313 1,322
generate_perm_trace_time_ms 230.50 922 265 135
perm_trace_commit_time_ms 2,227.25 8,909 2,555 1,302
quotient_poly_compute_time_ms 2,550.25 10,201 2,868 1,638
quotient_poly_commit_time_ms 1,758.25 7,033 2,013 1,032
pcs_opening_time_ms 2,169.75 8,679 2,471 1,312
internal.1
metric avg sum max min
total_proof_time_ms 15,952.50 31,905 16,197 15,708
main_cells_used 156,773,686.50 313,547,373 157,644,044 155,903,329
total_cycles 3,795,060 7,590,120 3,825,872 3,764,248
execute_time_ms 654.50 1,309 659 650
trace_gen_time_ms 2,897.50 5,795 3,178 2,617
stark_prove_excluding_trace_time_ms 12,400.50 24,801 12,441 12,360
main_trace_commit_time_ms 2,292 4,584 2,303 2,281
generate_perm_trace_time_ms 263.50 527 265 262
perm_trace_commit_time_ms 2,545 5,090 2,563 2,527
quotient_poly_compute_time_ms 2,889 5,778 2,893 2,885
quotient_poly_commit_time_ms 1,977 3,954 2,000 1,954
pcs_opening_time_ms 2,431 4,862 2,471 2,391
internal.2
metric avg sum max min
total_proof_time_ms 16,260 16,260 16,260 16,260
main_cells_used 157,639,044 157,639,044 157,639,044 157,639,044
total_cycles 3,825,372 3,825,372 3,825,372 3,825,372
execute_time_ms 690 690 690 690
trace_gen_time_ms 3,179 3,179 3,179 3,179
stark_prove_excluding_trace_time_ms 12,391 12,391 12,391 12,391
main_trace_commit_time_ms 2,301 2,301 2,301 2,301
generate_perm_trace_time_ms 268 268 268 268
perm_trace_commit_time_ms 2,565 2,565 2,565 2,565
quotient_poly_compute_time_ms 2,861 2,861 2,861 2,861
quotient_poly_commit_time_ms 1,994 1,994 1,994 1,994
pcs_opening_time_ms 2,398 2,398 2,398 2,398
root
metric avg sum max min
total_proof_time_ms 39,219 39,219 39,219 39,219
main_cells_used 80,068,453 80,068,453 80,068,453 80,068,453
total_cycles 1,913,155 1,913,155 1,913,155 1,913,155
execute_time_ms 383 383 383 383
trace_gen_time_ms 1,715 1,715 1,715 1,715
stark_prove_excluding_trace_time_ms 37,121 37,121 37,121 37,121
main_trace_commit_time_ms 11,321 11,321 11,321 11,321
generate_perm_trace_time_ms 139 139 139 139
perm_trace_commit_time_ms 12,350 12,350 12,350 12,350
quotient_poly_compute_time_ms 1,560 1,560 1,560 1,560
quotient_poly_commit_time_ms 7,948 7,948 7,948 7,948
pcs_opening_time_ms 3,799 3,799 3,799 3,799
halo2_outer
metric avg sum max min
total_proof_time_ms 168,552 168,552 168,552 168,552
main_cells_used 109,468,641 109,468,641 109,468,641 109,468,641
halo2_wrapper
metric avg sum max min
total_proof_time_ms 45,823 45,823 45,823 45,823
Detailed Metrics

| | execute_time_ms | | --- | | | 316 |

group total_proof_time_ms num_segments main_cells_used
fib_e2e 7
halo2_outer 168,552 109,468,641
halo2_wrapper 45,823
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 262,144 76 64 36,700,160
internal.0 FriReducedOpeningAir 1 262,144 76 64 36,700,160
internal.0 FriReducedOpeningAir 2 262,144 76 64 36,700,160
internal.0 FriReducedOpeningAir 3 131,072 76 64 18,350,080
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 262,144 76 64 36,700,160
internal.1 FriReducedOpeningAir 5 262,144 76 64 36,700,160
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 262,144 76 64 36,700,160
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 262,144 16 11 7,077,888
leaf AccessAdapterAir<2> 2 262,144 16 11 7,077,888
leaf AccessAdapterAir<2> 3 262,144 16 11 7,077,888
leaf AccessAdapterAir<2> 4 262,144 16 11 7,077,888
leaf AccessAdapterAir<2> 5 262,144 16 11 7,077,888
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 131,072 16 13 3,801,088
leaf AccessAdapterAir<4> 2 131,072 16 13 3,801,088
leaf AccessAdapterAir<4> 3 131,072 16 13 3,801,088
leaf AccessAdapterAir<4> 4 131,072 16 13 3,801,088
leaf AccessAdapterAir<4> 5 131,072 16 13 3,801,088
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 76 64 18,350,080
leaf FriReducedOpeningAir 1 131,072 76 64 18,350,080
leaf FriReducedOpeningAir 2 131,072 76 64 18,350,080
leaf FriReducedOpeningAir 3 131,072 76 64 18,350,080
leaf FriReducedOpeningAir 4 131,072 76 64 18,350,080
leaf FriReducedOpeningAir 5 131,072 76 64 18,350,080
leaf FriReducedOpeningAir 6 131,072 76 64 18,350,080
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 32,768 20 40 1,966,080
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 131,072 76 64 18,350,080
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 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,584 15,572 3,697,999 378,096,600 12,373 2,858 2,013 2,508 2,445 2,283 153,009,050 263 615
internal.0 1 3,078 16,127 3,697,622 378,096,600 12,394 2,837 1,985 2,555 2,451 2,304 153,001,918 259 655
internal.0 2 3,086 16,205 3,697,992 378,096,600 12,468 2,868 2,003 2,544 2,471 2,313 153,005,618 265 651
internal.0 3 1,816 8,851 1,849,453 192,588,504 6,742 1,638 1,032 1,302 1,312 1,322 77,733,503 135 293
internal.1 4 2,617 15,708 3,825,872 378,096,600 12,441 2,893 2,000 2,527 2,471 2,281 157,644,044 265 650
internal.1 5 3,178 16,197 3,764,248 378,096,600 12,360 2,885 1,954 2,563 2,391 2,303 155,903,329 262 659
internal.2 6 3,179 16,260 3,825,372 378,096,600 12,391 2,861 1,994 2,565 2,398 2,301 157,639,044 268 690
leaf 0 1,460 8,362 1,827,952 190,229,208 6,599 1,644 1,061 1,288 1,303 1,169 75,314,515 132 303
leaf 1 1,322 7,875 1,590,660 185,969,368 6,318 1,461 1,020 1,265 1,281 1,160 63,647,335 129 235
leaf 2 1,331 8,029 1,590,916 185,969,368 6,460 1,581 1,040 1,271 1,259 1,175 63,649,895 133 238
leaf 3 1,304 7,859 1,590,756 185,969,368 6,313 1,433 1,020 1,284 1,279 1,162 63,648,295 133 242
leaf 4 1,303 7,905 1,590,736 185,969,368 6,358 1,432 1,051 1,292 1,275 1,168 63,648,095 137 244
leaf 5 1,320 7,917 1,590,801 185,969,368 6,358 1,446 1,054 1,266 1,284 1,173 63,648,745 132 239
leaf 6 1,364 7,997 1,678,017 185,977,816 6,369 1,445 1,065 1,259 1,299 1,164 67,901,049 133 264
root 0 1,715 39,219 1,913,155 192,588,504 37,121 1,560 7,948 12,350 3,799 11,321 80,068,453 139 383
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 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 958 6,325 1,747,603 197,440,542 5,004 803 510 1,650 998 850 59,809,571 190 363
fib_e2e 1 825 5,831 1,747,502 197,384,386 4,649 788 388 1,746 1,014 592 59,780,906 119 357
fib_e2e 2 853 5,792 1,747,502 197,384,386 4,582 813 385 1,705 977 582 59,780,897 118 357
fib_e2e 3 844 5,939 1,747,502 197,384,386 4,738 757 374 1,847 997 631 59,781,216 130 357
fib_e2e 4 831 5,778 1,747,502 197,384,386 4,591 759 379 1,780 986 566 59,781,515 120 356
fib_e2e 5 847 5,872 1,747,502 197,384,386 4,665 765 420 1,788 984 590 59,781,505 114 360
fib_e2e 6 739 5,703 1,515,024 197,432,594 4,655 708 364 1,846 1,028 578 51,983,972 127 309

Commit: https://github.com/openvm-org/openvm/commit/765f1a740f97c87f0787edf4e2c7ccb1dfc2ba87

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow