Skip to content

Latest commit

 

History

History
542 lines (517 loc) · 41.6 KB

fib_e2e-0116faed50787885e3c4cf7de167b5d138b7b3bb.md

File metadata and controls

542 lines (517 loc) · 41.6 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total 589.36 383.31
fib_e2e 41.81 6.28
leaf 88.67 13.08
internal.0 95.26 27.37
internal.1 54.48 27.44
internal.2 27.61 27.61
root 67.58 67.58
halo2_outer 172.16 172.16
halo2_wrapper 41.78 41.78
fib_e2e
metric avg sum max min
total_proof_time_ms 5,973.57 41,815 6,282 5,699
main_cells_used 58,688,632.86 410,820,430 59,826,835 52,001,236
total_cycles 1,714,305.29 12,000,137 1,747,603 1,515,024
execute_time_ms 338 2,366 354 306
trace_gen_time_ms 882.43 6,177 988 766
stark_prove_excluding_trace_time_ms 4,753.14 33,272 4,999 4,578
main_trace_commit_time_ms 641.71 4,492 785 583
generate_perm_trace_time_ms 149.86 1,049 199 119
perm_trace_commit_time_ms 1,691.71 11,842 1,844 1,547
quotient_poly_compute_time_ms 816.14 5,713 847 796
quotient_poly_commit_time_ms 415.86 2,911 532 363
pcs_opening_time_ms 1,035.29 7,247 1,077 971
leaf
metric avg sum max min
total_proof_time_ms 12,666.57 88,666 13,078 12,476
main_cells_used 94,443,408.43 661,103,859 109,804,439 90,778,395
total_cycles 2,639,810.14 18,478,671 3,056,011 2,540,158
execute_time_ms 462.29 3,236 512 407
trace_gen_time_ms 1,595.71 11,170 1,863 1,530
stark_prove_excluding_trace_time_ms 10,608.57 74,260 10,810 10,503
main_trace_commit_time_ms 2,104.43 14,731 2,171 2,023
generate_perm_trace_time_ms 220.43 1,543 241 208
perm_trace_commit_time_ms 1,970.29 13,792 2,093 1,916
quotient_poly_compute_time_ms 2,283.86 15,987 2,321 2,227
quotient_poly_commit_time_ms 1,767.71 12,374 1,833 1,732
pcs_opening_time_ms 2,259.43 15,816 2,360 2,229
internal.0
metric avg sum max min
total_proof_time_ms 23,814.75 95,259 27,368 14,058
main_cells_used 197,072,356.25 788,289,425 224,920,272 113,541,384
total_cycles 5,729,045.75 22,916,183 6,547,035 3,276,045
execute_time_ms 1,036.75 4,147 1,241 522
trace_gen_time_ms 3,516.25 14,065 4,147 1,923
stark_prove_excluding_trace_time_ms 19,261.75 77,047 21,980 11,613
main_trace_commit_time_ms 3,605.75 14,423 4,216 2,110
generate_perm_trace_time_ms 431.75 1,727 446 398
perm_trace_commit_time_ms 3,772 15,088 4,212 2,730
quotient_poly_compute_time_ms 4,108.50 16,434 4,743 2,300
quotient_poly_commit_time_ms 3,127.75 12,511 3,567 1,830
pcs_opening_time_ms 4,213.50 16,854 4,882 2,242
internal.1
metric avg sum max min
total_proof_time_ms 27,240 54,480 27,441 27,039
main_cells_used 231,038,618.50 462,077,237 232,283,144 229,794,093
total_cycles 6,714,007 13,428,014 6,768,509 6,659,505
execute_time_ms 1,226.50 2,453 1,263 1,190
trace_gen_time_ms 4,120 8,240 4,181 4,059
stark_prove_excluding_trace_time_ms 21,893.50 43,787 21,997 21,790
main_trace_commit_time_ms 4,117 8,234 4,227 4,007
generate_perm_trace_time_ms 445 890 446 444
perm_trace_commit_time_ms 4,105.50 8,211 4,152 4,059
quotient_poly_compute_time_ms 4,740 9,480 4,744 4,736
quotient_poly_commit_time_ms 3,606.50 7,213 3,636 3,577
pcs_opening_time_ms 4,877 9,754 4,892 4,862
internal.2
metric avg sum max min
total_proof_time_ms 27,614 27,614 27,614 27,614
main_cells_used 232,321,184 232,321,184 232,321,184 232,321,184
total_cycles 6,772,313 6,772,313 6,772,313 6,772,313
execute_time_ms 1,304 1,304 1,304 1,304
trace_gen_time_ms 4,231 4,231 4,231 4,231
stark_prove_excluding_trace_time_ms 22,079 22,079 22,079 22,079
main_trace_commit_time_ms 4,211 4,211 4,211 4,211
generate_perm_trace_time_ms 431 431 431 431
perm_trace_commit_time_ms 4,191 4,191 4,191 4,191
quotient_poly_compute_time_ms 4,727 4,727 4,727 4,727
quotient_poly_commit_time_ms 3,583 3,583 3,583 3,583
pcs_opening_time_ms 4,933 4,933 4,933 4,933
root
metric avg sum max min
total_proof_time_ms 67,582 67,582 67,582 67,582
main_cells_used 117,287,401 117,287,401 117,287,401 117,287,401
total_cycles 3,388,633 3,388,633 3,388,633 3,388,633
execute_time_ms 654 654 654 654
trace_gen_time_ms 2,638 2,638 2,638 2,638
stark_prove_excluding_trace_time_ms 64,290 64,290 64,290 64,290
main_trace_commit_time_ms 19,637 19,637 19,637 19,637
generate_perm_trace_time_ms 224 224 224 224
perm_trace_commit_time_ms 20,531 20,531 20,531 20,531
quotient_poly_compute_time_ms 2,133 2,133 2,133 2,133
quotient_poly_commit_time_ms 14,463 14,463 14,463 14,463
pcs_opening_time_ms 7,300 7,300 7,300 7,300
halo2_outer
metric avg sum max min
total_proof_time_ms 172,156 172,156 172,156 172,156
main_cells_used 112,035,734 112,035,734 112,035,734 112,035,734
halo2_wrapper
metric avg sum max min
total_proof_time_ms 41,784 41,784 41,784 41,784
Detailed Metrics

| | execute_time_ms | | --- | | | 546 |

group total_proof_time_ms num_segments main_cells_used
fib_e2e 7
halo2_outer 172,156 112,035,734
halo2_wrapper 41,784
group air_name idx rows prep_cols perm_cols main_cols cells
internal.0 AccessAdapterAir<2> 0 1,048,576 16 11 28,311,552
internal.0 AccessAdapterAir<2> 1 1,048,576 16 11 28,311,552
internal.0 AccessAdapterAir<2> 2 1,048,576 16 11 28,311,552
internal.0 AccessAdapterAir<2> 3 524,288 16 11 14,155,776
internal.0 AccessAdapterAir<4> 0 524,288 16 13 15,204,352
internal.0 AccessAdapterAir<4> 1 524,288 16 13 15,204,352
internal.0 AccessAdapterAir<4> 2 524,288 16 13 15,204,352
internal.0 AccessAdapterAir<4> 3 262,144 16 13 7,602,176
internal.0 AccessAdapterAir<8> 0 131,072 16 17 4,325,376
internal.0 AccessAdapterAir<8> 1 131,072 16 17 4,325,376
internal.0 AccessAdapterAir<8> 2 131,072 16 17 4,325,376
internal.0 AccessAdapterAir<8> 3 65,536 16 17 2,162,688
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 36 348 25,165,824
internal.0 NativePoseidon2Air, 1> 1 65,536 36 348 25,165,824
internal.0 NativePoseidon2Air, 1> 2 65,536 36 348 25,165,824
internal.0 NativePoseidon2Air, 1> 3 32,768 36 348 12,582,912
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 131,072 8 10 2,359,296
internal.0 ProgramAir 1 131,072 8 10 2,359,296
internal.0 ProgramAir 2 131,072 8 10 2,359,296
internal.0 ProgramAir 3 131,072 8 10 2,359,296
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 2,097,152 28 23 106,954,752
internal.0 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 1 2,097,152 28 23 106,954,752
internal.0 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 2 2,097,152 28 23 106,954,752
internal.0 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 3 1,048,576 28 23 53,477,376
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0 262,144 12 10 5,767,168
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 1 262,144 12 10 5,767,168
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 2 262,144 12 10 5,767,168
internal.0 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 3 131,072 12 10 2,883,584
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 4,194,304 20 30 209,715,200
internal.0 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 1 4,194,304 20 30 209,715,200
internal.0 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 2 4,194,304 20 30 209,715,200
internal.0 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 3 2,097,152 20 30 104,857,600
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0 2,097,152 36 25 127,926,272
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 1 2,097,152 36 25 127,926,272
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 2 2,097,152 36 25 127,926,272
internal.0 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 3 1,048,576 36 25 63,963,136
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 1,048,576 16 11 28,311,552
internal.1 AccessAdapterAir<2> 5 1,048,576 16 11 28,311,552
internal.1 AccessAdapterAir<4> 4 524,288 16 13 15,204,352
internal.1 AccessAdapterAir<4> 5 524,288 16 13 15,204,352
internal.1 AccessAdapterAir<8> 4 131,072 16 17 4,325,376
internal.1 AccessAdapterAir<8> 5 131,072 16 17 4,325,376
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 36 348 25,165,824
internal.1 NativePoseidon2Air, 1> 5 65,536 36 348 25,165,824
internal.1 PhantomAir 4 65,536 8 6 917,504
internal.1 PhantomAir 5 65,536 8 6 917,504
internal.1 ProgramAir 4 131,072 8 10 2,359,296
internal.1 ProgramAir 5 131,072 8 10 2,359,296
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 2,097,152 28 23 106,954,752
internal.1 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 5 2,097,152 28 23 106,954,752
internal.1 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 4 262,144 12 10 5,767,168
internal.1 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 5 262,144 12 10 5,767,168
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 4,194,304 20 30 209,715,200
internal.1 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 5 4,194,304 20 30 209,715,200
internal.1 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 4 2,097,152 36 25 127,926,272
internal.1 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 5 2,097,152 36 25 127,926,272
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 1,048,576 16 11 28,311,552
internal.2 AccessAdapterAir<4> 6 524,288 16 13 15,204,352
internal.2 AccessAdapterAir<8> 6 131,072 16 17 4,325,376
internal.2 FriReducedOpeningAir 6 262,144 76 64 36,700,160
internal.2 NativePoseidon2Air, 1> 6 65,536 36 348 25,165,824
internal.2 PhantomAir 6 65,536 8 6 917,504
internal.2 ProgramAir 6 131,072 8 10 2,359,296
internal.2 VariableRangeCheckerAir 6 262,144 2 8 1 2,359,296
internal.2 VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 6 2,097,152 28 23 106,954,752
internal.2 VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 6 262,144 12 10 5,767,168
internal.2 VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 6 64 16 23 2,496
internal.2 VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 6 4,194,304 20 30 209,715,200
internal.2 VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 6 2,097,152 36 25 127,926,272
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 524,288 16 11 14,155,776
leaf AccessAdapterAir<2> 1 524,288 16 11 14,155,776
leaf AccessAdapterAir<2> 2 524,288 16 11 14,155,776
leaf AccessAdapterAir<2> 3 524,288 16 11 14,155,776
leaf AccessAdapterAir<2> 4 524,288 16 11 14,155,776
leaf AccessAdapterAir<2> 5 524,288 16 11 14,155,776
leaf AccessAdapterAir<2> 6 524,288 16 11 14,155,776
leaf AccessAdapterAir<4> 0 262,144 16 13 7,602,176
leaf AccessAdapterAir<4> 1 262,144 16 13 7,602,176
leaf AccessAdapterAir<4> 2 262,144 16 13 7,602,176
leaf AccessAdapterAir<4> 3 262,144 16 13 7,602,176
leaf AccessAdapterAir<4> 4 262,144 16 13 7,602,176
leaf AccessAdapterAir<4> 5 262,144 16 13 7,602,176
leaf AccessAdapterAir<4> 6 262,144 16 13 7,602,176
leaf AccessAdapterAir<8> 0 65,536 16 17 2,162,688
leaf AccessAdapterAir<8> 1 65,536 16 17 2,162,688
leaf AccessAdapterAir<8> 2 65,536 16 17 2,162,688
leaf AccessAdapterAir<8> 3 65,536 16 17 2,162,688
leaf AccessAdapterAir<8> 4 65,536 16 17 2,162,688
leaf AccessAdapterAir<8> 5 65,536 16 17 2,162,688
leaf AccessAdapterAir<8> 6 65,536 16 17 2,162,688
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 36 348 12,582,912
leaf NativePoseidon2Air, 1> 1 32,768 36 348 12,582,912
leaf NativePoseidon2Air, 1> 2 32,768 36 348 12,582,912
leaf NativePoseidon2Air, 1> 3 32,768 36 348 12,582,912
leaf NativePoseidon2Air, 1> 4 32,768 36 348 12,582,912
leaf NativePoseidon2Air, 1> 5 32,768 36 348 12,582,912
leaf NativePoseidon2Air, 1> 6 32,768 36 348 12,582,912
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 1,048,576 28 23 53,477,376
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 1,048,576 28 23 53,477,376
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0 131,072 12 10 2,883,584
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 131,072 12 10 2,883,584
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 2,097,152 20 30 104,857,600
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 1 2,097,152 20 30 104,857,600
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 2 2,097,152 20 30 104,857,600
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 3 2,097,152 20 30 104,857,600
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 4 2,097,152 20 30 104,857,600
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 5 2,097,152 20 30 104,857,600
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 6 2,097,152 20 30 104,857,600
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0 1,048,576 36 25 63,963,136
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 1 1,048,576 36 25 63,963,136
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 2 1,048,576 36 25 63,963,136
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 3 1,048,576 36 25 63,963,136
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 4 1,048,576 36 25 63,963,136
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 5 1,048,576 36 25 63,963,136
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 6 1,048,576 36 25 63,963,136
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 32,768 20 40 1,966,080
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 524,288 16 11 14,155,776
root AccessAdapterAir<4> 0 262,144 16 13 7,602,176
root AccessAdapterAir<8> 0 65,536 16 17 2,162,688
root FriReducedOpeningAir 0 131,072 76 64 18,350,080
root NativePoseidon2Air, 1> 0 32,768 36 348 12,582,912
root PhantomAir 0 32,768 8 6 458,752
root ProgramAir 0 131,072 8 10 2,359,296
root VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
root VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0 1,048,576 28 23 53,477,376
root VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0 131,072 12 10 2,883,584
root VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 0 64 16 23 2,496
root VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0 2,097,152 20 30 104,857,600
root VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0 1,048,576 36 25 63,963,136
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 256 8 300 78,848
fib_e2e Poseidon2PeripheryAir, 1> 2 256 8 300 78,848
fib_e2e Poseidon2PeripheryAir, 1> 3 256 8 300 78,848
fib_e2e Poseidon2PeripheryAir, 1> 4 256 8 300 78,848
fib_e2e Poseidon2PeripheryAir, 1> 5 256 8 300 78,848
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 3,930 26,740 6,547,027 602,671,576 21,660 4,743 3,564 4,130 4,862 3,914 224,917,087 445 1,150
internal.0 1 4,065 27,093 6,546,076 602,671,576 21,794 4,722 3,550 4,016 4,882 4,183 224,910,682 438 1,234
internal.0 2 4,147 27,368 6,547,035 602,671,576 21,980 4,669 3,567 4,212 4,868 4,216 224,920,272 446 1,241
internal.0 3 1,923 14,058 3,276,045 303,696,344 11,613 2,300 1,830 2,730 2,242 2,110 113,541,384 398 522
internal.1 4 4,059 27,039 6,768,509 602,671,576 21,790 4,744 3,577 4,152 4,862 4,007 232,283,144 446 1,190
internal.1 5 4,181 27,441 6,659,505 602,671,576 21,997 4,736 3,636 4,059 4,892 4,227 229,794,093 444 1,263
internal.2 6 4,231 27,614 6,772,313 602,671,576 22,079 4,727 3,583 4,191 4,933 4,211 232,321,184 431 1,304
leaf 0 1,863 13,078 3,056,011 301,730,264 10,703 2,227 1,830 2,022 2,360 2,023 109,804,439 239 512
leaf 1 1,536 12,476 2,540,481 271,256,024 10,533 2,282 1,733 1,916 2,238 2,149 90,781,625 212 407
leaf 2 1,552 12,559 2,540,158 271,256,024 10,546 2,320 1,732 1,945 2,248 2,088 90,778,395 210 461
leaf 3 1,530 12,558 2,541,252 271,256,024 10,582 2,321 1,741 1,921 2,249 2,125 90,789,335 222 446
leaf 4 1,553 12,517 2,541,282 271,256,024 10,503 2,281 1,745 1,947 2,232 2,084 90,789,635 211 461
leaf 5 1,541 12,586 2,541,273 271,256,024 10,583 2,314 1,760 1,948 2,260 2,091 90,789,545 208 462
leaf 6 1,595 12,892 2,718,214 299,436,504 10,810 2,242 1,833 2,093 2,229 2,171 97,370,885 241 487
root 0 2,638 67,582 3,388,633 303,696,344 64,290 2,133 14,463 20,531 7,300 19,637 117,287,401 224 654
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 941 6,282 1,747,603 197,440,542 4,999 804 532 1,637 1,040 785 59,826,835 199 342
fib_e2e 1 897 5,952 1,747,502 197,423,810 4,749 806 431 1,790 971 611 59,798,170 137 306
fib_e2e 2 988 5,964 1,747,502 197,423,810 4,622 796 384 1,664 1,010 624 59,798,161 141 354
fib_e2e 3 863 6,104 1,747,502 197,423,810 4,888 827 411 1,844 1,040 626 59,798,480 137 353
fib_e2e 4 860 5,790 1,747,502 197,423,810 4,578 825 377 1,591 1,042 611 59,798,779 128 352
fib_e2e 5 862 6,024 1,747,502 197,423,810 4,809 847 413 1,769 1,077 583 59,798,769 119 353
fib_e2e 6 766 5,699 1,515,024 197,432,594 4,627 808 363 1,547 1,067 652 52,001,236 188 306

Commit: https://github.com/openvm-org/openvm/commit/0116faed50787885e3c4cf7de167b5d138b7b3bb

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow