Skip to content

Latest commit

 

History

History
71 lines (56 loc) · 10.5 KB

verify_fibair-12a642ca2f7b3b271215a8d9d5d1774724921eed.md

File metadata and controls

71 lines (56 loc) · 10.5 KB
group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
verify_fibair
2
 (+51,956 [+0.6%])
8,064,718
 (+30,138 [+15.5%])
224,877
 (-94.0 [-6.5%])
1,356.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
VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir>
22
11
4
VolatileBoundaryAir
16
4
4
AccessAdapterAir<2>
12
5
4
AccessAdapterAir<4>
12
5
4
AccessAdapterAir<8>
12
5
4
NativePoseidon2Air, 1>
302
31
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> (-7 [-22.6%])
24
 (-4 [-21.1%])
15
4
PhantomAir
4
3
4
VariableRangeCheckerAir
4
1
1
main_trace_commit_time_ms pcs_opening_time_ms perm_trace_commit_time_ms quotient_poly_commit_time_ms quotient_poly_compute_time_ms stark_prove_excluding_trace_time_ms total_cells verify_program_compile_ms
5.0
 (-1.0 [-33.3%])
2.0
0.0
1.0
0.0
 (-1.0 [-10.0%])
9.0
32
4.0
group fri.log_blowup generate_perm_trace_time_ms main_trace_commit_time_ms pcs_opening_time_ms perm_trace_commit_time_ms quotient_poly_commit_time_ms quotient_poly_compute_time_ms stark_prove_excluding_trace_time_ms total_cells total_cells_used total_cycles total_proof_time_ms
verify_fibair
2
 (-7.0 [-25.9%])
20.0
 (-23.0 [-9.7%])
213.0
 (-15.0 [-3.2%])
448.0
 (-16.0 [-8.2%])
180.0
 (-20.0 [-7.5%])
247.0
 (-12.0 [-4.7%])
246.0
 (-94.0 [-6.5%])
1,356.0
 (-1,835,008 [-7.9%])
21,469,208
 (+51,956 [+0.6%])
8,064,718
 (+30,138 [+15.5%])
224,877
 (-94.0 [-6.5%])
1,356.0
group segment execute_time_ms total_cells_used total_cycles trace_gen_time_ms
verify_fibair 0 (+21.0 [+10.4%])
222.0
 (+51,956 [+0.6%])
8,064,718
 (+30,138 [+15.5%])
224,877
 (-1.0 [-1.9%])
52.0
group air_name cells main_cols perm_cols prep_cols rows
verify_fibair ProgramAir
147,456
10
8
8,192
verify_fibair VmConnectorAir
24
4
8
1
2
verify_fibair VolatileBoundaryAir
1,245,184
11
8
65,536
verify_fibair AccessAdapterAir<2>
884,736
11
16
32,768
verify_fibair AccessAdapterAir<4>
475,136
13
16
16,384
verify_fibair AccessAdapterAir<8>
135,168
17
16
4,096
verify_fibair NativePoseidon2Air, 1>
786,432
348
36
2,048
verify_fibair FriReducedOpeningAir
71,680
64
76
512
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
245,760
40
20
4,096
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir>
6,553,600
30
20
131,072
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
180,224
10
12
8,192
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
1,671,168
23
28
32,768
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, NativeLoadStoreCoreAir<1> (-1,835,008 [-21.5%])
6,684,672
 (-10 [-24.4%])
31
 (-4 [-16.7%])
20
131,072
verify_fibair PhantomAir
28,672
6
8
2,048
verify_fibair VariableRangeCheckerAir
2,359,296
1
8
2
262,144

Commit: https://github.com/openvm-org/openvm/commit/12a642ca2f7b3b271215a8d9d5d1774724921eed

Max Segment Length: 1048476

Instance Type: 64cpu-linux-arm64

Memory Allocator: mimalloc

Benchmark Workflow