Skip to content

Latest commit

 

History

History
162 lines (143 loc) · 14.3 KB

fibonacci-2fe942b15a175eee1737f1fdc0c34d2291b8a18e.md

File metadata and controls

162 lines (143 loc) · 14.3 KB
Summary Proof Time (s) Parallel Proof Time (s)
Total (-0 [-1.4%]) 13.85 (-0 [-1.4%]) 13.85
fibonacci_program (-0 [-0.3%]) 6.02 (-0 [-0.3%]) 6.02
leaf (-0 [-2.2%]) 7.83 (-0 [-2.2%]) 7.83
fibonacci_program
metric avg sum max min
total_proof_time_ms (-19 [-0.3%]) 6,017 (-19 [-0.3%]) 6,017 (-19 [-0.3%]) 6,017 (-19 [-0.3%]) 6,017
main_cells_used 51,487,838 51,487,838 51,487,838 51,487,838
total_cycles 1,500,137 1,500,137 1,500,137 1,500,137
execute_time_ms (+1 [+0.3%]) 316 (+1 [+0.3%]) 316 (+1 [+0.3%]) 316 (+1 [+0.3%]) 316
trace_gen_time_ms (+21 [+2.6%]) 842 (+21 [+2.6%]) 842 (+21 [+2.6%]) 842 (+21 [+2.6%]) 842
stark_prove_excluding_trace_time_ms (-41 [-0.8%]) 4,859 (-41 [-0.8%]) 4,859 (-41 [-0.8%]) 4,859 (-41 [-0.8%]) 4,859
main_trace_commit_time_ms (+11 [+1.4%]) 809 (+11 [+1.4%]) 809 (+11 [+1.4%]) 809 (+11 [+1.4%]) 809
generate_perm_trace_time_ms 171 171 171 171
perm_trace_commit_time_ms (-2 [-0.1%]) 1,592 (-2 [-0.1%]) 1,592 (-2 [-0.1%]) 1,592 (-2 [-0.1%]) 1,592
quotient_extended_view_time_ms 427 427 427 427
quotient_poly_compute_time_ms (-495 [-62.4%]) 298 (-495 [-62.4%]) 298 (-495 [-62.4%]) 298 (-495 [-62.4%]) 298
quotient_poly_commit_time_ms (-13 [-2.5%]) 506 (-13 [-2.5%]) 506 (-13 [-2.5%]) 506 (-13 [-2.5%]) 506
pcs_opening_time_ms (+29 [+2.8%]) 1,052 (+29 [+2.8%]) 1,052 (+29 [+2.8%]) 1,052 (+29 [+2.8%]) 1,052
leaf
metric avg sum max min
total_proof_time_ms (-179 [-2.2%]) 7,834 (-179 [-2.2%]) 7,834 (-179 [-2.2%]) 7,834 (-179 [-2.2%]) 7,834
main_cells_used 70,691,651 70,691,651 70,691,651 70,691,651
total_cycles 1,832,635 1,832,635 1,832,635 1,832,635
execute_time_ms (-32 [-8.5%]) 343 (-32 [-8.5%]) 343 (-32 [-8.5%]) 343 (-32 [-8.5%]) 343
trace_gen_time_ms (-15 [-1.2%]) 1,279 (-15 [-1.2%]) 1,279 (-15 [-1.2%]) 1,279 (-15 [-1.2%]) 1,279
stark_prove_excluding_trace_time_ms (-132 [-2.1%]) 6,212 (-132 [-2.1%]) 6,212 (-132 [-2.1%]) 6,212 (-132 [-2.1%]) 6,212
main_trace_commit_time_ms (-76 [-6.9%]) 1,029 (-76 [-6.9%]) 1,029 (-76 [-6.9%]) 1,029 (-76 [-6.9%]) 1,029
generate_perm_trace_time_ms (-11 [-7.8%]) 130 (-11 [-7.8%]) 130 (-11 [-7.8%]) 130 (-11 [-7.8%]) 130
perm_trace_commit_time_ms (-49 [-4.2%]) 1,128 (-49 [-4.2%]) 1,128 (-49 [-4.2%]) 1,128 (-49 [-4.2%]) 1,128
quotient_extended_view_time_ms 805 805 805 805
quotient_poly_compute_time_ms (-844 [-52.9%]) 752 (-844 [-52.9%]) 752 (-844 [-52.9%]) 752 (-844 [-52.9%]) 752
quotient_poly_commit_time_ms (+45 [+4.4%]) 1,077 (+45 [+4.4%]) 1,077 (+45 [+4.4%]) 1,077 (+45 [+4.4%]) 1,077
pcs_opening_time_ms (-4 [-0.3%]) 1,286 (-4 [-0.3%]) 1,286 (-4 [-0.3%]) 1,286 (-4 [-0.3%]) 1,286
Detailed Metrics
group num_segments keygen_time_ms commit_exe_time_ms
fibonacci_program 1 375 5
group air_name quotient_deg interactions constraints
fibonacci_program AccessAdapterAir<16> 2 5 14
fibonacci_program AccessAdapterAir<2> 2 5 14
fibonacci_program AccessAdapterAir<32> 2 5 14
fibonacci_program AccessAdapterAir<4> 2 5 14
fibonacci_program AccessAdapterAir<64> 2 5 14
fibonacci_program AccessAdapterAir<8> 2 5 14
fibonacci_program BitwiseOperationLookupAir<8> 2 2 4
fibonacci_program MemoryMerkleAir<8> 2 4 40
fibonacci_program PersistentBoundaryAir<8> 2 3 6
fibonacci_program PhantomAir 2 3 5
fibonacci_program Poseidon2PeripheryAir, 1> 2 1 286
fibonacci_program ProgramAir 1 1 4
fibonacci_program RangeTupleCheckerAir<2> 1 1 4
fibonacci_program VariableRangeCheckerAir 1 1 4
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 2 19 43
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 2 17 39
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 2 23 90
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 2 11 25
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 2 13 41
fibonacci_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 2 10 22
fibonacci_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 2 15 17
fibonacci_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 2 16 20
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 2 18 33
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 2 17 38
fibonacci_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 2 25 88
fibonacci_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 2 24 38
fibonacci_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 2 19 26
fibonacci_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 2 11 15
fibonacci_program VmConnectorAir 2 3 9
leaf AccessAdapterAir<2> 4 5 12
leaf AccessAdapterAir<4> 4 5 12
leaf AccessAdapterAir<8> 4 5 12
leaf FriReducedOpeningAir 4 31 53
leaf NativePoseidon2Air, 1> 4 176 590
leaf PhantomAir 4 3 4
leaf ProgramAir 1 1 4
leaf VariableRangeCheckerAir 1 1 4
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 2 11 23
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 4 7 6
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 4 11 23
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 4 15 23
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 4 15 20
leaf VmAirWrapper<NativeLoadStoreAdapterAir<4>, NativeLoadStoreCoreAir<4> 4 15 20
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 4 15 23
leaf VmConnectorAir 4 3 8
leaf VolatileBoundaryAir 4 4 16
group air_name idx rows prep_cols perm_cols main_cols cells
leaf AccessAdapterAir<2> 0 262,144 16 11 7,077,888
leaf AccessAdapterAir<4> 0 131,072 16 13 3,801,088
leaf AccessAdapterAir<8> 0 512 16 17 16,896
leaf FriReducedOpeningAir 0 131,072 36 26 8,126,464
leaf NativePoseidon2Air, 1> 0 32,768 356 399 24,739,840
leaf PhantomAir 0 32,768 8 6 458,752
leaf ProgramAir 0 131,072 8 10 2,359,296
leaf VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0 524,288 28 23 26,738,688
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0 65,536 12 10 1,441,792
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 0 64 16 23 2,496
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0 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<4>, NativeLoadStoreCoreAir<4> 0 65,536 36 34 4,587,520
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0 65,536 20 40 3,932,160
leaf VmConnectorAir 0 2 1 8 4 24
leaf VolatileBoundaryAir 0 524,288 8 11 9,961,472
group air_name segment rows prep_cols perm_cols main_cols cells
fibonacci_program AccessAdapterAir<8> 0 64 24 17 2,624
fibonacci_program BitwiseOperationLookupAir<8> 0 65,536 3 8 2 655,360
fibonacci_program MemoryMerkleAir<8> 0 256 20 32 13,312
fibonacci_program PersistentBoundaryAir<8> 0 64 12 20 2,048
fibonacci_program PhantomAir 0 2 12 6 36
fibonacci_program Poseidon2PeripheryAir, 1> 0 256 8 300 78,848
fibonacci_program ProgramAir 0 4,096 8 10 73,728
fibonacci_program RangeTupleCheckerAir<2> 0 524,288 2 8 1 4,718,592
fibonacci_program VariableRangeCheckerAir 0 262,144 2 8 1 2,359,296
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0 1,048,576 80 36 121,634,816
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0 524,288 40 37 40,370,176
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0 2 52 53 210
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0 262,144 48 26 19,398,656
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0 8 56 32 704
fibonacci_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0 131,072 44 18 8,126,464
fibonacci_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0 4 36 26 248
fibonacci_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0 16 36 28 1,024
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0 32 72 40 3,584
fibonacci_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0 16 28 21 784
fibonacci_program VmConnectorAir 0 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
leaf 0 1,279 7,834 1,832,635 180,014,040 6,212 752 1,077 805 1,128 1,286 1,029 70,691,651 130 343
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
fibonacci_program 0 842 6,017 1,500,137 197,440,542 4,859 298 506 427 1,592 1,052 809 51,487,838 171 316

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

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow