Skip to content

Latest commit

 

History

History
345 lines (318 loc) · 40.8 KB

fibonacci-7605ae031300275cec28ec547fdc9042840136c9.md

File metadata and controls

345 lines (318 loc) · 40.8 KB
group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
fibonacci_program
2
51,615,800
3,000,274
 (+10.0 [+0.2%])
5,539.0
leaf
2
 (-15,570 [-0.0%])
144,219,523
 (-2,960 [-0.0%])
7,037,574
 (+230.0 [+1.6%])
14,663.0
Detailed Metrics
commit_exe_time_ms fri.log_blowup keygen_time_ms
(-1.0 [-25.0%])
3.0
2
 (-83.0 [-16.6%])
418.0
air_name constraints interactions quotient_deg
ProgramAir
4
1
1
VmConnectorAir
9
3
4
PersistentBoundaryAir<8>
6
3
2
MemoryMerkleAir<8>
40
4
2
AccessAdapterAir<2>
14
5
4
AccessAdapterAir<4>
14
5
4
AccessAdapterAir<8>
14
5
4
AccessAdapterAir<16>
14
5
2
AccessAdapterAir<32>
14
5
2
AccessAdapterAir<64>
14
5
2
VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir>
17
15
2
VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>
88
25
2
VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>
38
24
2
VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>
26
19
2
RangeTupleCheckerAir<2>
4
1
1
VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>
15
11
2
VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>
20
16
2
VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>
22
10
2
VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>
41
13
2
VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>
25
11
2
VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>
33
18
2
VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>
38
17
2
VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>
90
23
2
VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>
39
17
2
VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>
43
19
2
BitwiseOperationLookupAir<8>
4
2
2
PhantomAir
5
3
4
Poseidon2VmAir
525
32
4
VariableRangeCheckerAir
4
1
1
VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir>
23
11
4
VolatileBoundaryAir
16
4
4
FriReducedOpeningAir
59
35
4
VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
23
15
4
VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir>
23
15
4
VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
6
7
4
VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
23
11
2
VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1>
31
19
4
group segment stark_prove_excluding_trace_time_ms total_cells total_cells_used total_cycles trace_gen_time_ms
fibonacci_program 0 (+10.0 [+0.2%])
5,539.0
197,696,030
51,615,800
3,000,274
 (+4.0 [+1.5%])
266.0
group chip_name segment rows_used
fibonacci_program ProgramChip 0
3,335
fibonacci_program VmConnectorAir 0
2
fibonacci_program Boundary 0
38
fibonacci_program Merkle 0
284
fibonacci_program AccessAdapter<8> 0
38
fibonacci_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> 0
3
fibonacci_program RangeTupleCheckerAir<2> 0
524,288
fibonacci_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> 0
9
fibonacci_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> 0
13
fibonacci_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> 0
100,010
fibonacci_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> 0
5
fibonacci_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> 0
200,009
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> 0
28
fibonacci_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> 0
2
fibonacci_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> 0
300,002
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> 0
900,054
fibonacci_program BitwiseOperationLookupAir<8> 0
65,536
fibonacci_program PhantomAir 0
2
fibonacci_program Poseidon2VmAir 0
322
fibonacci_program VariableRangeCheckerAir 0
262,144
group dsl_ir opcode segment frequency
fibonacci_program ADD 0
900,045
fibonacci_program AND 0
2
fibonacci_program AUIPC 0
9
fibonacci_program BEQ 0
100,004
fibonacci_program BGEU 0
3
fibonacci_program BLTU 0
2
fibonacci_program BNE 0
100,005
fibonacci_program HINT_STOREW 0
3
fibonacci_program JAL 0
100,001
fibonacci_program JALR 0
13
fibonacci_program LOADW 0
13
fibonacci_program LUI 0
9
fibonacci_program OR 0
1
fibonacci_program PHANTOM 0
2
fibonacci_program SLL 0
2
fibonacci_program SLTU 0
300,002
fibonacci_program STOREW 0
15
fibonacci_program SUB 0
4
fibonacci_program XOR 0
2
group air_name dsl_ir opcode segment cells_used
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> ADD 0
32,401,620
fibonacci_program AccessAdapter<8> ADD 0
68
fibonacci_program Boundary ADD 0
160
fibonacci_program Merkle ADD 0
320
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> AND 0
72
fibonacci_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> AUIPC 0
189
fibonacci_program AccessAdapter<8> AUIPC 0
34
fibonacci_program Boundary AUIPC 0
80
fibonacci_program Merkle AUIPC 0
3,456
fibonacci_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> BEQ 0
2,600,104
fibonacci_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BGEU 0
96
fibonacci_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> BLTU 0
64
fibonacci_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> BNE 0
2,600,130
fibonacci_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> HINT_STOREW 0
78
fibonacci_program AccessAdapter<8> HINT_STOREW 0
17
fibonacci_program Boundary HINT_STOREW 0
40
fibonacci_program Merkle HINT_STOREW 0
128
fibonacci_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> JAL 0
1,800,018
fibonacci_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> JALR 0
364
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> LOADW 0
520
fibonacci_program AccessAdapter<8> LOADW 0
34
fibonacci_program Boundary LOADW 0
80
fibonacci_program Merkle LOADW 0
2,304
fibonacci_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> LUI 0
162
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> OR 0
36
fibonacci_program PhantomAir PHANTOM 0
12
fibonacci_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> SLL 0
106
fibonacci_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> SLTU 0
11,100,074
fibonacci_program AccessAdapter<8> SLTU 0
34
fibonacci_program Boundary SLTU 0
80
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> STOREW 0
600
fibonacci_program AccessAdapter<8> STOREW 0
136
fibonacci_program Boundary STOREW 0
320
fibonacci_program Merkle STOREW 0
2,816
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> SUB 0
144
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> XOR 0
72
group execute_time_ms fri.log_blowup num_segments total_cells_used total_cycles total_proof_time_ms
fibonacci_program (+4.0 [+0.2%])
1,725.0
2
1
51,615,800
3,000,274
 (+10.0 [+0.2%])
5,539.0
leaf
2
 (-15,570 [-0.0%])
144,219,523
 (-2,960 [-0.0%])
7,037,574
 (+230.0 [+1.6%])
14,663.0
group air_name segment cells main_cols perm_cols prep_cols rows
fibonacci_program ProgramAir 0
73,728
10
8
4,096
fibonacci_program VmConnectorAir 0
32
4
12
1
2
fibonacci_program PersistentBoundaryAir<8> 0
2,048
20
12
64
fibonacci_program MemoryMerkleAir<8> 0
26,624
32
20
512
fibonacci_program AccessAdapterAir<8> 0
2,624
17
24
64
fibonacci_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
248
26
36
4
fibonacci_program RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
fibonacci_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
784
21
28
16
fibonacci_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
1,024
28
36
16
fibonacci_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
8,126,464
18
44
131,072
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
704
32
56
8
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
19,398,656
26
48
262,144
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
3,584
40
72
32
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
210
53
52
2
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
40,370,176
37
40
524,288
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
121,634,816
36
80
1,048,576
fibonacci_program BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
fibonacci_program PhantomAir 0
36
6
12
2
fibonacci_program Poseidon2VmAir 0
321,024
559
68
512
fibonacci_program VariableRangeCheckerAir 0
2,359,296
1
8
2
262,144
group idx execute_time_ms stark_prove_excluding_trace_time_ms total_cells total_cells_used total_cycles
leaf 0 (+76.0 [+1.7%])
4,480.0
 (+230.0 [+1.6%])
14,663.0
399,935,960
 (-15,570 [-0.0%])
144,219,523
 (-1,480 [-0.0%])
3,518,787
group chip_name idx rows_used
leaf ProgramChip 0
108,928
leaf VmConnectorAir 0
2
leaf <NativeAdapterAir<2, 0>,PublicValuesCoreAir> 0
36
leaf Boundary 0
424,581
leaf AccessAdapter<2> 0 (-44 [-0.0%])
404,800
leaf AccessAdapter<4> 0 (-22 [-0.0%])
202,652
leaf AccessAdapter<8> 0
58,714
leaf Poseidon2VmAir 0
28,074
leaf FriReducedOpeningAir 0
144,732
leaf <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> 0
35,074
leaf <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> 0
1,355,464
leaf <JalNativeAdapterAir,JalCoreAir> 0 (-1,480 [-2.0%])
72,946
leaf <BranchNativeAdapterAir,BranchEqualCoreAir<1>> 0
676,191
leaf <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> 0
1,134,653
leaf PhantomAir 0
211,015
leaf VariableRangeCheckerAir 0
262,144
group dsl_ir idx opcode frequency
leaf 0 ADD
1,153,076
leaf 0 BBE4DIV
6,268
leaf 0 BBE4MUL
11,820
leaf 0 BEQ
18,557
leaf 0 BNE
657,634
leaf 0 COMP_POS2
17,189
leaf 0 DIV
128
leaf 0 FE4ADD
13,429
leaf 0 FE4SUB
3,557
leaf 0 FRI_REDUCED_OPENING
5,334
leaf 0 JAL (-1,480 [-2.0%])
72,946
leaf 0 LOADW
155,907
leaf 0 LOADW2
360,784
leaf 0 MUL
143,987
leaf 0 PERM_POS2
10,885
leaf 0 PHANTOM
211,015
leaf 0 PUBLISH
36
leaf 0 SHINTW
245,582
leaf 0 STOREW
192,376
leaf 0 STOREW2
180,004
leaf 0 SUB
58,273
group air_name dsl_ir idx opcode cells_used
leaf <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> 0 ADD
34,592,280
leaf AccessAdapter<2> 0 ADD (-242 [-0.1%])
204,270
leaf AccessAdapter<4> 0 ADD (-143 [-0.1%])
120,705
leaf Boundary 0 ADD
146,135
leaf <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> 0 BBE4DIV
250,720
leaf AccessAdapter<2> 0 BBE4DIV
121,044
leaf AccessAdapter<4> 0 BBE4DIV
71,526
leaf Boundary 0 BBE4DIV
704
leaf <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> 0 BBE4MUL
472,800
leaf AccessAdapter<2> 0 BBE4MUL (-242 [-0.1%])
303,886
leaf AccessAdapter<4> 0 BBE4MUL (-143 [-0.1%])
179,569
leaf Boundary 0 BBE4MUL
139,304
leaf <BranchNativeAdapterAir,BranchEqualCoreAir<1>> 0 BEQ
426,811
leaf <BranchNativeAdapterAir,BranchEqualCoreAir<1>> 0 BNE
15,125,582
leaf AccessAdapter<2> 0 BNE
1,386
leaf AccessAdapter<4> 0 BNE
819
leaf AccessAdapter<2> 0 COMP_POS2
694,452
leaf AccessAdapter<4> 0 COMP_POS2
410,358
leaf AccessAdapter<8> 0 COMP_POS2
268,311
leaf Boundary 0 COMP_POS2
88
leaf Poseidon2VmAir 0 COMP_POS2
9,608,651
leaf <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> 0 DIV
3,840
leaf <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> 0 FE4ADD
537,160
leaf AccessAdapter<2> 0 FE4ADD
246,554
leaf AccessAdapter<4> 0 FE4ADD
145,691
leaf Boundary 0 FE4ADD
114,532
leaf <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> 0 FE4SUB
142,280
leaf AccessAdapter<2> 0 FE4SUB
125,488
leaf AccessAdapter<4> 0 FE4SUB
74,152
leaf Boundary 0 FE4SUB
26,092
leaf AccessAdapter<2> 0 FRI_REDUCED_OPENING
151,580
leaf AccessAdapter<4> 0 FRI_REDUCED_OPENING
89,570
leaf FriReducedOpeningAir 0 FRI_REDUCED_OPENING
9,262,848
leaf <JalNativeAdapterAir,JalCoreAir> 0 JAL (-14,800 [-2.0%])
729,460
leaf AccessAdapter<2> 0 JAL
418
leaf AccessAdapter<4> 0 JAL
494
leaf Boundary 0 JAL
11
leaf <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> 0 LOADW
6,392,187
leaf AccessAdapter<2> 0 LOADW
285,538
leaf AccessAdapter<4> 0 LOADW
134,381
leaf AccessAdapter<8> 0 LOADW
20,893
leaf Boundary 0 LOADW
21,681
leaf <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> 0 LOADW2
14,792,144
leaf AccessAdapter<2> 0 LOADW2
57,200
leaf AccessAdapter<4> 0 LOADW2
33,800
leaf AccessAdapter<8> 0 LOADW2
493
leaf Boundary 0 LOADW2
1,397
leaf <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> 0 MUL
4,319,610
leaf AccessAdapter<2> 0 MUL
23,881
leaf AccessAdapter<4> 0 MUL
14,131
leaf Boundary 0 MUL
32,824
leaf AccessAdapter<2> 0 PERM_POS2
583,396
leaf AccessAdapter<4> 0 PERM_POS2
346,372
leaf AccessAdapter<8> 0 PERM_POS2
230,758
leaf Poseidon2VmAir 0 PERM_POS2
6,084,715
leaf PhantomAir 0 PHANTOM
1,266,090
leaf <NativeAdapterAir<2, 0>,PublicValuesCoreAir> 0 PUBLISH
828
leaf <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> 0 SHINTW
10,068,862
leaf AccessAdapter<2> 0 SHINTW
22
leaf AccessAdapter<4> 0 SHINTW
26
leaf AccessAdapter<8> 0 SHINTW
17
leaf Boundary 0 SHINTW
2,696,870
leaf <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> 0 STOREW
7,887,416
leaf AccessAdapter<2> 0 STOREW
69,905
leaf AccessAdapter<4> 0 STOREW
40,391
leaf AccessAdapter<8> 0 STOREW
1,768
leaf Boundary 0 STOREW
735,889
leaf <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> 0 STOREW2
7,380,164
leaf AccessAdapter<2> 0 STOREW2
497,530
leaf AccessAdapter<4> 0 STOREW2
295,633
leaf AccessAdapter<8> 0 STOREW2
138,856
leaf Boundary 0 STOREW2
739,684
leaf <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> 0 SUB
1,748,190
leaf AccessAdapter<2> 0 SUB
59,235
leaf AccessAdapter<4> 0 SUB
70,005
leaf Boundary 0 SUB
15,180
group idx segment total_cycles trace_gen_time_ms
leaf 0 0 (-1,480 [-0.0%])
3,518,787
 (+42.0 [+4.5%])
977.0
group air_name idx cells main_cols perm_cols prep_cols rows
leaf ProgramAir 0
2,359,296
10
8
131,072
leaf VmConnectorAir 0
24
4
8
1
2
leaf VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir> 0
2,496
23
16
64
leaf VolatileBoundaryAir 0
9,961,472
11
8
524,288
leaf AccessAdapterAir<2> 0
14,155,776
11
16
524,288
leaf AccessAdapterAir<4> 0
7,602,176
13
16
262,144
leaf AccessAdapterAir<8> 0
2,162,688
17
16
65,536
leaf Poseidon2VmAir 0
19,496,960
559
36
32,768
leaf FriReducedOpeningAir 0
36,700,160
64
76
262,144
leaf VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
3,932,160
40
20
65,536
leaf VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
104,857,600
30
20
2,097,152
leaf VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
2,883,584
10
12
131,072
leaf VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
53,477,376
23
28
1,048,576
leaf VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0
136,314,880
41
24
2,097,152
leaf PhantomAir 0
3,670,016
6
8
262,144
leaf VariableRangeCheckerAir 0
2,359,296
1
8
2
262,144
Flamegraphs

Commit: https://github.com/openvm-org/openvm/commit/7605ae031300275cec28ec547fdc9042840136c9

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow