Skip to content

Latest commit

 

History

History
207 lines (186 loc) · 23.2 KB

verify_fibair-3a825d3285237d31fe66e920e7dac844382ce3c7.md

File metadata and controls

207 lines (186 loc) · 23.2 KB
group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
verify_fibair
2
 (-980 [-0.0%])
48,126,547
 (-182 [-0.0%])
397,142
 (-34.0 [-1.1%])
3,147.0
Detailed Metrics
air_name cells constraints interactions main_cols quotient_deg rows
FibonacciAir
32
5
2
1
16
ProgramAir
4
1
1
VmConnectorAir
8
3
4
PersistentBoundaryAir<8>
5
3
4
MemoryMerkleAir<8>
38
4
4
AccessAdapterAir<2>
12
5
4
AccessAdapterAir<4>
12
5
4
AccessAdapterAir<8>
12
5
4
Poseidon2VmAir
517
32
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
PhantomAir
4
3
4
VariableRangeCheckerAir
4
1
1
commit_exe_time_ms fri.log_blowup keygen_time_ms stark_prove_excluding_trace_time_ms total_cells verify_program_compile_ms
8.0
2
 (-17.0 [-4.6%])
353.0
 (-1.0 [-9.1%])
10.0
32
16.0
group segment stark_prove_excluding_trace_time_ms total_cells total_cells_used total_cycles trace_gen_time_ms
verify_fibair 0 (-34.0 [-1.1%])
3,147.0
107,769,880
 (-980 [-0.0%])
48,126,547
 (-182 [-0.0%])
397,142
 (-66.0 [-6.5%])
948.0
group chip_name segment rows_used
verify_fibair ProgramChip 0
16,317
verify_fibair VmConnectorAir 0
2
verify_fibair Boundary 0
22,770
verify_fibair Merkle 0
43,900
verify_fibair AccessAdapter<2> 0 (-4 [-0.0%])
58,156
verify_fibair AccessAdapter<4> 0 (-2 [-0.0%])
35,778
verify_fibair AccessAdapter<8> 0
23,300
verify_fibair Poseidon2VmAir 0
66,670
verify_fibair FriReducedOpeningAir 0
336
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> 0
2,186
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> 0
68,144
verify_fibair <JalNativeAdapterAir,JalCoreAir> 0 (-91 [-1.8%])
5,093
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> 0
30,558
verify_fibair <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> 0
85,891
verify_fibair PhantomAir 0
5,216
verify_fibair VariableRangeCheckerAir 0
262,144
group dsl_ir opcode segment frequency
verify_fibair ADD 0
54,984
verify_fibair BBE4DIV 0
297
verify_fibair BBE4MUL 0
891
verify_fibair BEQ 0
1,418
verify_fibair BNE 0
29,140
verify_fibair COMP_POS2 0
1,092
verify_fibair DIV 0
3
verify_fibair FE4ADD 0
492
verify_fibair FE4SUB 0
506
verify_fibair FRI_REDUCED_OPENING 0
126
verify_fibair JAL 0 (-91 [-1.8%])
5,093
verify_fibair LOADW 0
18,438
verify_fibair LOADW2 0
14,569
verify_fibair MUL 0
9,857
verify_fibair PERM_POS2 0
265
verify_fibair PHANTOM 0
5,216
verify_fibair SHINTW 0
13,651
verify_fibair STOREW 0
30,347
verify_fibair STOREW2 0
8,886
verify_fibair SUB 0
3,300
group air_name dsl_ir opcode segment cells_used
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> ADD 0
1,649,520
verify_fibair AccessAdapter<2> ADD 0 (-22 [-0.2%])
12,793
verify_fibair AccessAdapter<4> ADD 0 (-13 [-0.2%])
7,722
verify_fibair AccessAdapter<8> ADD 0
731
verify_fibair Boundary ADD 0
1,720
verify_fibair Merkle ADD 0
2,752
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> BBE4DIV 0
11,880
verify_fibair AccessAdapter<2> BBE4DIV 0
2,904
verify_fibair AccessAdapter<4> BBE4DIV 0
1,716
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> BBE4MUL 0
35,640
verify_fibair AccessAdapter<2> BBE4MUL 0 (-22 [-0.1%])
14,982
verify_fibair AccessAdapter<4> BBE4MUL 0 (-13 [-0.1%])
8,853
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> BEQ 0
32,614
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> BNE 0
670,220
verify_fibair AccessAdapter<2> BNE 0
946
verify_fibair AccessAdapter<4> BNE 0
559
verify_fibair AccessAdapter<2> COMP_POS2 0
48,048
verify_fibair AccessAdapter<4> COMP_POS2 0
28,392
verify_fibair AccessAdapter<8> COMP_POS2 0
18,564
verify_fibair Poseidon2VmAir COMP_POS2 0
610,428
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> DIV 0
90
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> FE4ADD 0
19,680
verify_fibair AccessAdapter<2> FE4ADD 0
10,450
verify_fibair AccessAdapter<4> FE4ADD 0
6,175
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> FE4SUB 0
20,240
verify_fibair AccessAdapter<2> FE4SUB 0
18,546
verify_fibair AccessAdapter<4> FE4SUB 0
10,959
verify_fibair AccessAdapter<2> FRI_REDUCED_OPENING 0
2,024
verify_fibair AccessAdapter<4> FRI_REDUCED_OPENING 0
1,196
verify_fibair FriReducedOpeningAir FRI_REDUCED_OPENING 0
21,504
verify_fibair <JalNativeAdapterAir,JalCoreAir> JAL 0 (-910 [-1.8%])
50,930
verify_fibair AccessAdapter<2> JAL 0
11
verify_fibair AccessAdapter<4> JAL 0
13
verify_fibair <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> LOADW 0
755,958
verify_fibair AccessAdapter<2> LOADW 0
29,062
verify_fibair AccessAdapter<4> LOADW 0
20,566
verify_fibair AccessAdapter<8> LOADW 0
16,133
verify_fibair Boundary LOADW 0
27,880
verify_fibair Merkle LOADW 0
44,416
verify_fibair <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> LOADW2 0
597,329
verify_fibair AccessAdapter<2> LOADW2 0
13,288
verify_fibair AccessAdapter<4> LOADW2 0
7,969
verify_fibair AccessAdapter<8> LOADW2 0
1,003
verify_fibair Boundary LOADW2 0
1,880
verify_fibair Merkle LOADW2 0
2,880
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MUL 0
295,710
verify_fibair AccessAdapter<2> MUL 0
11,110
verify_fibair AccessAdapter<4> MUL 0
10,647
verify_fibair AccessAdapter<8> MUL 0
10,982
verify_fibair Boundary MUL 0
25,840
verify_fibair Merkle MUL 0
41,152
verify_fibair AccessAdapter<2> PERM_POS2 0
22,770
verify_fibair AccessAdapter<4> PERM_POS2 0
13,455
verify_fibair AccessAdapter<8> PERM_POS2 0
8,806
verify_fibair Poseidon2VmAir PERM_POS2 0
148,135
verify_fibair PhantomAir PHANTOM 0
31,296
verify_fibair <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> SHINTW 0
559,691
verify_fibair AccessAdapter<2> SHINTW 0
89,463
verify_fibair AccessAdapter<4> SHINTW 0
69,849
verify_fibair AccessAdapter<8> SHINTW 0
69,683
verify_fibair Boundary SHINTW 0
163,960
verify_fibair Merkle SHINTW 0
582,720
verify_fibair <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> STOREW 0
1,244,227
verify_fibair AccessAdapter<2> STOREW 0
108,614
verify_fibair AccessAdapter<4> STOREW 0
70,226
verify_fibair AccessAdapter<8> STOREW 0
55,845
verify_fibair Boundary STOREW 0
131,400
verify_fibair Merkle STOREW 0
558,720
verify_fibair <NativeLoadStoreAdapterAir<1>,NativeLoadStoreCoreAir<1>> STOREW2 0
364,326
verify_fibair AccessAdapter<2> STOREW2 0
38,236
verify_fibair AccessAdapter<4> STOREW2 0
26,481
verify_fibair AccessAdapter<8> STOREW2 0
21,692
verify_fibair Boundary STOREW2 0
51,000
verify_fibair Merkle STOREW2 0
89,344
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SUB 0
99,000
verify_fibair AccessAdapter<2> SUB 0
16,335
verify_fibair AccessAdapter<4> SUB 0
18,525
verify_fibair AccessAdapter<8> SUB 0
21,981
verify_fibair Boundary SUB 0
51,720
verify_fibair Merkle SUB 0
82,752
group execute_time_ms fri.log_blowup num_segments total_cells_used total_cycles total_proof_time_ms
verify_fibair (-2.0 [-0.3%])
629.0
2
1
 (-980 [-0.0%])
48,126,547
 (-182 [-0.0%])
397,142
 (-34.0 [-1.1%])
3,147.0
group air_name segment cells main_cols perm_cols prep_cols rows
verify_fibair ProgramAir 0
294,912
10
8
16,384
verify_fibair VmConnectorAir 0
24
4
8
1
2
verify_fibair PersistentBoundaryAir<8> 0
917,504
20
8
32,768
verify_fibair MemoryMerkleAir<8> 0
2,883,584
32
12
65,536
verify_fibair AccessAdapterAir<2> 0
1,769,472
11
16
65,536
verify_fibair AccessAdapterAir<4> 0
1,900,544
13
16
65,536
verify_fibair AccessAdapterAir<8> 0
1,081,344
17
16
32,768
verify_fibair Poseidon2VmAir 0
77,987,840
559
36
131,072
verify_fibair FriReducedOpeningAir 0
71,680
64
76
512
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
245,760
40
20
4,096
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
6,553,600
30
20
131,072
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
180,224
10
12
8,192
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
1,671,168
23
28
32,768
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> 0
8,519,680
41
24
131,072
verify_fibair PhantomAir 0
114,688
6
8
8,192
verify_fibair VariableRangeCheckerAir 0
2,359,296
1
8
2
262,144
Flamegraphs

Commit: https://github.com/openvm-org/openvm/commit/3a825d3285237d31fe66e920e7dac844382ce3c7

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow