Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: working wasm fibonacci rust program proof #811

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

feat: working wasm fibonacci rust program proof #811

wants to merge 3 commits into from

Conversation

jonathanpwang
Copy link
Contributor

tricky to debug: in Memory it uses usize somewhere but on wasm usize = u32 and it actually has an overflow. I fixed it by using explicit u64 but we should go through and carefully adjust everything @zlangley

todo:

  • add rayon bindgen

@github-actions GitHub Actions
Copy link

group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
verify_fibair
2
 (+40 [+0.0%])
8,172,412
 (-70 [-0.0%])
198,689
 (-24.0 [-1.5%])
1,570.0
Detailed Metrics
air_name cells constraints main_cols quotient_deg rows
FibonacciAir
32
5
2
1
16
stark_prove_excluding_trace_time_ms total_cells
(+1.0 [+11.1%])
10.0
32
group collect_metrics execute_time_ms total_cells_used total_cycles
verify_fibair true (+1.0 [+0.0%])
3,032.0
 (+40 [+0.0%])
8,172,412
 (-70 [-0.0%])
198,689
group chip_name collect_metrics rows_used
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true
31,888
verify_fibair <JalNativeAdapterAir,JalCoreAir> true (-72 [-1.4%])
5,098
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true (+2 [+0.0%])
66,940
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true
85,882
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true
2,186
verify_fibair FriMatOpeningAir true
336
verify_fibair Memory AccessAdapter<2> true (+40 [+0.2%])
16,504
verify_fibair Memory AccessAdapter<4> true (+20 [+0.2%])
8,252
verify_fibair Memory AccessAdapter<8> true
1,875
verify_fibair Memory Boundary true
44,588
verify_fibair PhantomAir true
5,212
verify_fibair Poseidon2VmAir true
1,357
verify_fibair ProgramChip true
17,624
group collect_metrics dsl_ir opcode frequency
verify_fibair true JAL
1
verify_fibair true STOREW
2
verify_fibair true AddE FE4ADD
492
verify_fibair true AddEFFI LOADW
70
verify_fibair true AddEFFI STOREW
210
verify_fibair true AddEI ADD
2,584
verify_fibair true AddFI ADD (+2 [+0.2%])
1,287
verify_fibair true AddV ADD
939
verify_fibair true AddVI ADD
16,803
verify_fibair true Alloc ADD
6,029
verify_fibair true Alloc LOADW
6,029
verify_fibair true Alloc MUL
4,066
verify_fibair true AssertEqE BNE
172
verify_fibair true AssertEqEI BNE
4
verify_fibair true AssertEqF BNE
2,059
verify_fibair true AssertEqV BNE
1,510
verify_fibair true AssertEqVI BNE
20
verify_fibair true CT-VerifierProgram PHANTOM
2
verify_fibair true CT-compute-reduced-opening PHANTOM
168
verify_fibair true CT-exp-reverse-bits-len PHANTOM
168
verify_fibair true CT-poseidon2-hash PHANTOM
168
verify_fibair true CT-poseidon2-hash-ext PHANTOM
336
verify_fibair true CT-poseidon2-hash-setup PHANTOM
504
verify_fibair true CT-single-mat-reduced-opening PHANTOM
252
verify_fibair true CT-stage-c-build-rounds PHANTOM
2
verify_fibair true CT-stage-d-1-verify-shape-and-sample-challenges PHANTOM
2
verify_fibair true CT-stage-d-2-fri-fold PHANTOM
2
verify_fibair true CT-stage-d-3-verify-challenges PHANTOM
2
verify_fibair true CT-stage-d-verify-pcs PHANTOM
2
verify_fibair true CT-stage-e-verify-constraints PHANTOM
2
verify_fibair true CT-verify-batch PHANTOM
168
verify_fibair true CT-verify-batch-ext PHANTOM
336
verify_fibair true CT-verify-batch-reduce-fast PHANTOM
504
verify_fibair true CT-verify-batch-reduce-fast-setup PHANTOM
504
verify_fibair true CT-verify-query PHANTOM
84
verify_fibair true DivE BBE4DIV
296
verify_fibair true DivEIN BBE4DIV
1
verify_fibair true DivEIN STOREW
4
verify_fibair true DivFIN DIV
3
verify_fibair true For ADD
17,108
verify_fibair true For BNE
21,209
verify_fibair true For JAL
4,101
verify_fibair true For LOADW
294
verify_fibair true For STOREW
3,807
verify_fibair true FriMatOpening FRI_FOLD
126
verify_fibair true HintBitsF PHANTOM
43
verify_fibair true HintInputVec PHANTOM
1,963
verify_fibair true IfEq BNE
321
verify_fibair true IfEqI BNE
5,175
verify_fibair true IfEqI JAL (-72 [-6.8%])
994
verify_fibair true IfNe BEQ
1,163
verify_fibair true IfNe JAL
2
verify_fibair true IfNeI BEQ
255
verify_fibair true ImmE STOREW
848
verify_fibair true ImmF STOREW
3,002
verify_fibair true ImmV STOREW
5,462
verify_fibair true LoadE LOADW
2,052
verify_fibair true LoadE LOADW2
4,536
verify_fibair true LoadF LOADW
5,596
verify_fibair true LoadF LOADW2
972
verify_fibair true LoadV LOADW
4,004
verify_fibair true LoadV LOADW2
9,055
verify_fibair true MulE BBE4MUL
858
verify_fibair true MulEF MUL
680
verify_fibair true MulEI BBE4MUL
33
verify_fibair true MulEI STOREW
132
verify_fibair true MulF MUL
1,096
verify_fibair true MulFI MUL
1
verify_fibair true MulV MUL
1,333
verify_fibair true MulVI MUL
1,348
verify_fibair true Poseidon2CompressBabyBear COMP_POS2
1,092
verify_fibair true Poseidon2PermuteBabyBear PERM_POS2
265
verify_fibair true StoreE STOREW
13,456
verify_fibair true StoreE STOREW2
2,032
verify_fibair true StoreF STOREW
2,772
verify_fibair true StoreF STOREW2
1,678
verify_fibair true StoreHintWord ADD
10,355
verify_fibair true StoreHintWord SHINTW
13,651
verify_fibair true StoreV STOREW
650
verify_fibair true StoreV STOREW2
5,175
verify_fibair true SubE FE4SUB
506
verify_fibair true SubEF LOADW
393
verify_fibair true SubEF SUB
131
verify_fibair true SubEI ADD
8
verify_fibair true SubV SUB
1,429
verify_fibair true SubVI SUB
1,572
verify_fibair true SubVIN SUB
168
group air_name collect_metrics dsl_ir opcode cells_used
verify_fibair <JalNativeAdapterAir,JalCoreAir> true JAL
10
verify_fibair Boundary true JAL
11
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true STOREW
82
verify_fibair Boundary true STOREW
22
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true AddE FE4ADD
19,680
verify_fibair AccessAdapter<2> true AddE FE4ADD
10,846
verify_fibair AccessAdapter<4> true AddE FE4ADD
6,409
verify_fibair Boundary true AddE FE4ADD
792
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI LOADW
2,870
verify_fibair AccessAdapter<2> true AddEFFI LOADW
132
verify_fibair AccessAdapter<4> true AddEFFI LOADW
156
verify_fibair Boundary true AddEFFI LOADW
176
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI STOREW
8,610
verify_fibair AccessAdapter<2> true AddEFFI STOREW
132
verify_fibair Boundary true AddEFFI STOREW
528
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddEI ADD
77,520
verify_fibair AccessAdapter<2> true AddEI ADD (+220 [+1.8%])
12,122
verify_fibair AccessAdapter<4> true AddEI ADD (+130 [+1.8%])
7,163
verify_fibair Boundary true AddEI ADD
440
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddFI ADD (+60 [+0.2%])
38,610
verify_fibair Boundary true AddFI ADD
231
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddV ADD
28,170
verify_fibair Boundary true AddV ADD
33
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddVI ADD
504,090
verify_fibair Boundary true AddVI ADD
15,675
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc ADD
180,870
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true Alloc LOADW
247,189
verify_fibair Boundary true Alloc LOADW
1,122
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc MUL
121,980
verify_fibair AccessAdapter<2> true Alloc MUL
33
verify_fibair AccessAdapter<4> true Alloc MUL
39
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqE BNE
3,956
verify_fibair AccessAdapter<2> true AssertEqE BNE
946
verify_fibair AccessAdapter<4> true AssertEqE BNE
559
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqEI BNE
92
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqF BNE
47,357
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqV BNE
34,730
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqVI BNE
460
verify_fibair PhantomAir true CT-VerifierProgram PHANTOM
12
verify_fibair PhantomAir true CT-compute-reduced-opening PHANTOM
1,008
verify_fibair PhantomAir true CT-exp-reverse-bits-len PHANTOM
1,008
verify_fibair PhantomAir true CT-poseidon2-hash PHANTOM
1,008
verify_fibair PhantomAir true CT-poseidon2-hash-ext PHANTOM
2,016
verify_fibair PhantomAir true CT-poseidon2-hash-setup PHANTOM
3,024
verify_fibair PhantomAir true CT-single-mat-reduced-opening PHANTOM
1,512
verify_fibair PhantomAir true CT-stage-c-build-rounds PHANTOM
12
verify_fibair PhantomAir true CT-stage-d-1-verify-shape-and-sample-challenges PHANTOM
12
verify_fibair PhantomAir true CT-stage-d-2-fri-fold PHANTOM
12
verify_fibair PhantomAir true CT-stage-d-3-verify-challenges PHANTOM
12
verify_fibair PhantomAir true CT-stage-d-verify-pcs PHANTOM
12
verify_fibair PhantomAir true CT-stage-e-verify-constraints PHANTOM
12
verify_fibair PhantomAir true CT-verify-batch PHANTOM
1,008
verify_fibair PhantomAir true CT-verify-batch-ext PHANTOM
2,016
verify_fibair PhantomAir true CT-verify-batch-reduce-fast PHANTOM
3,024
verify_fibair PhantomAir true CT-verify-batch-reduce-fast-setup PHANTOM
3,024
verify_fibair PhantomAir true CT-verify-query PHANTOM
504
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivE BBE4DIV
11,840
verify_fibair AccessAdapter<2> true DivE BBE4DIV
2,882
verify_fibair AccessAdapter<4> true DivE BBE4DIV
1,703
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivEIN BBE4DIV
40
verify_fibair AccessAdapter<2> true DivEIN BBE4DIV
22
verify_fibair AccessAdapter<4> true DivEIN BBE4DIV
13
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true DivEIN STOREW
164
verify_fibair AccessAdapter<2> true DivEIN STOREW
11
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true DivFIN DIV
90
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true For ADD
513,240
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true For BNE
487,807
verify_fibair <JalNativeAdapterAir,JalCoreAir> true For JAL
41,010
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For LOADW
12,054
verify_fibair Boundary true For LOADW
462
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For STOREW
156,087
verify_fibair Boundary true For STOREW
462
verify_fibair AccessAdapter<2> true FriMatOpening FRI_FOLD
2,024
verify_fibair AccessAdapter<4> true FriMatOpening FRI_FOLD
1,196
verify_fibair FriMatOpeningAir true FriMatOpening FRI_FOLD
21,504
verify_fibair PhantomAir true HintBitsF PHANTOM
258
verify_fibair PhantomAir true HintInputVec PHANTOM
11,778
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEq BNE
7,383
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEqI BNE
119,025
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfEqI JAL (-720 [-6.8%])
9,940
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNe BEQ
26,749
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfNe JAL
20
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNeI BEQ
5,865
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmE STOREW
34,768
verify_fibair AccessAdapter<2> true ImmE STOREW
924
verify_fibair AccessAdapter<4> true ImmE STOREW
546
verify_fibair Boundary true ImmE STOREW
44
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmF STOREW
123,082
verify_fibair Boundary true ImmF STOREW
1,496
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmV STOREW
223,942
verify_fibair Boundary true ImmV STOREW
16,258
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW
84,132
verify_fibair AccessAdapter<2> true LoadE LOADW
7,656
verify_fibair AccessAdapter<4> true LoadE LOADW
4,524
verify_fibair Boundary true LoadE LOADW
220
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW2
185,976
verify_fibair AccessAdapter<2> true LoadE LOADW2
12,056
verify_fibair AccessAdapter<4> true LoadE LOADW2
7,124
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW
229,436
verify_fibair AccessAdapter<2> true LoadF LOADW
11,088
verify_fibair AccessAdapter<4> true LoadF LOADW
6,552
verify_fibair AccessAdapter<8> true LoadF LOADW
4,284
verify_fibair Boundary true LoadF LOADW
341
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW2
39,852
verify_fibair AccessAdapter<2> true LoadF LOADW2
396
verify_fibair AccessAdapter<4> true LoadF LOADW2
234
verify_fibair AccessAdapter<8> true LoadF LOADW2
204
verify_fibair Boundary true LoadF LOADW2
583
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW
164,164
verify_fibair Boundary true LoadV LOADW
15,092
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW2
371,255
verify_fibair Boundary true LoadV LOADW2
957
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulE BBE4MUL
34,320
verify_fibair AccessAdapter<2> true MulE BBE4MUL (+220 [+1.6%])
14,102
verify_fibair AccessAdapter<4> true MulE BBE4MUL (+130 [+1.6%])
8,333
verify_fibair Boundary true MulE BBE4MUL
572
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulEF MUL
20,400
verify_fibair AccessAdapter<2> true MulEF MUL
3,718
verify_fibair AccessAdapter<4> true MulEF MUL
2,197
verify_fibair Boundary true MulEF MUL
44
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulEI BBE4MUL
1,320
verify_fibair AccessAdapter<2> true MulEI BBE4MUL
1,892
verify_fibair AccessAdapter<4> true MulEI BBE4MUL
1,118
verify_fibair Boundary true MulEI BBE4MUL
924
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true MulEI STOREW
5,412
verify_fibair AccessAdapter<2> true MulEI STOREW
682
verify_fibair AccessAdapter<4> true MulEI STOREW
390
verify_fibair Boundary true MulEI STOREW
33
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulF MUL
32,880
verify_fibair Boundary true MulF MUL
11
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulFI MUL
30
verify_fibair Boundary true MulFI MUL
11
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulV MUL
39,990
verify_fibair Boundary true MulV MUL
14,641
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulVI MUL
40,440
verify_fibair Boundary true MulVI MUL
33
verify_fibair AccessAdapter<2> true Poseidon2CompressBabyBear COMP_POS2
48,048
verify_fibair AccessAdapter<4> true Poseidon2CompressBabyBear COMP_POS2
28,392
verify_fibair AccessAdapter<8> true Poseidon2CompressBabyBear COMP_POS2
18,564
verify_fibair Poseidon2VmAir true Poseidon2CompressBabyBear COMP_POS2
610,428
verify_fibair AccessAdapter<2> true Poseidon2PermuteBabyBear PERM_POS2
22,770
verify_fibair AccessAdapter<4> true Poseidon2PermuteBabyBear PERM_POS2
13,455
verify_fibair AccessAdapter<8> true Poseidon2PermuteBabyBear PERM_POS2
8,806
verify_fibair Poseidon2VmAir true Poseidon2PermuteBabyBear PERM_POS2
148,135
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW
551,696
verify_fibair AccessAdapter<2> true StoreE STOREW
3,696
verify_fibair AccessAdapter<4> true StoreE STOREW
2,184
verify_fibair Boundary true StoreE STOREW
148,016
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW2
83,312
verify_fibair AccessAdapter<2> true StoreE STOREW2
3,696
verify_fibair AccessAdapter<4> true StoreE STOREW2
2,184
verify_fibair Boundary true StoreE STOREW2
7,568
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW
113,652
verify_fibair Boundary true StoreF STOREW
30,492
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW2
68,798
verify_fibair AccessAdapter<2> true StoreF STOREW2
132
verify_fibair AccessAdapter<4> true StoreF STOREW2
78
verify_fibair AccessAdapter<8> true StoreF STOREW2
17
verify_fibair Boundary true StoreF STOREW2
15,070
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true StoreHintWord ADD
310,650
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreHintWord SHINTW
559,691
verify_fibair Boundary true StoreHintWord SHINTW
150,161
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW
26,650
verify_fibair Boundary true StoreV STOREW
7,150
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW2
212,175
verify_fibair Boundary true StoreV STOREW2
45,210
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true SubE FE4SUB
20,240
verify_fibair AccessAdapter<2> true SubE FE4SUB
18,656
verify_fibair AccessAdapter<4> true SubE FE4SUB
11,024
verify_fibair Boundary true SubE FE4SUB
220
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true SubEF LOADW
16,113
verify_fibair AccessAdapter<2> true SubEF LOADW
1,419
verify_fibair Boundary true SubEF LOADW
99
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEF SUB
3,930
verify_fibair AccessAdapter<2> true SubEF SUB
1,419
verify_fibair AccessAdapter<4> true SubEF SUB
1,677
verify_fibair Boundary true SubEF SUB
33
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEI ADD
240
verify_fibair AccessAdapter<2> true SubEI ADD
44
verify_fibair AccessAdapter<4> true SubEI ADD
26
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubV SUB
42,870
verify_fibair Boundary true SubV SUB
44
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVI SUB
47,160
verify_fibair Boundary true SubVI SUB
15,191
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVIN SUB
5,040
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms fri.log_blowup keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms verify_program_compile_ms
verify_fibair (-1.0 [-5.9%])
16.0
 (+7.0 [+2.2%])
319.0
 (+5.0 [+1.9%])
271.0
2
 (-1.0 [-2.1%])
47.0
1
 (+40 [+0.0%])
8,172,412
 (-70 [-0.0%])
198,689
 (-24.0 [-1.5%])
1,570.0
 (-1.0 [-4.5%])
21.0
group air_name constraints interactions quotient_deg
verify_fibair ProgramAir
4
1
1
verify_fibair VmConnectorAir
8
3
4
verify_fibair VolatileBoundaryAir
16
4
4
verify_fibair AccessAdapterAir<2>
12
5
4
verify_fibair AccessAdapterAir<4>
12
5
4
verify_fibair AccessAdapterAir<8>
12
5
4
verify_fibair AccessAdapterAir<16>
12
5
4
verify_fibair AccessAdapterAir<32>
12
5
4
verify_fibair AccessAdapterAir<64>
12
5
4
verify_fibair PhantomAir
4
3
4
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
31
19
4
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
23
11
2
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
6
7
4
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir>
23
15
4
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
23
15
4
verify_fibair FriMatOpeningAir
59
35
4
verify_fibair Poseidon2VmAir
517
32
4
verify_fibair VariableRangeCheckerAir
4
1
1
group air_name segment cells main_cols perm_cols prep_cols rows
verify_fibair ProgramAir 0
589,824
10
8
32,768
verify_fibair VmConnectorAir 0
24
4
8
1
2
verify_fibair VolatileBoundaryAir 0
1,245,184
11
8
65,536
verify_fibair AccessAdapterAir<2> 0
884,736
11
16
32,768
verify_fibair AccessAdapterAir<4> 0
475,136
13
16
16,384
verify_fibair AccessAdapterAir<8> 0
135,168
17
16
4,096
verify_fibair PhantomAir 0
114,688
6
8
8,192
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1> 0
8,519,680
41
24
131,072
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
1,671,168
23
28
32,768
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
180,224
10
12
8,192
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
6,553,600
30
20
131,072
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
245,760
40
20
4,096
verify_fibair FriMatOpeningAir 0
71,680
64
76
512
verify_fibair Poseidon2VmAir 0
1,218,560
559
36
2,048
verify_fibair VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
verify_fibair 0 (-31.0 [-2.4%])
1,251.0
23,085,080
Flamegraphs




Commit: 8ad792f
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
base64_json_program
2
8,960,061
217,349
 (-45.0 [-1.7%])
2,604.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
base64_json_program true (-20.0 [-0.3%])
5,740.0
8,960,061
217,349
group chip_name collect_metrics rows_used
base64_json_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true
89,113
base64_json_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true
575
base64_json_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true
16,188
base64_json_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true
27,336
base64_json_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true
16,738
base64_json_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true
5,001
base64_json_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true
1,563
base64_json_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> true
2,940
base64_json_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true
1,236
base64_json_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true
55,121
base64_json_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true
86
base64_json_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true
116
base64_json_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true
1,331
base64_json_program BitwiseOperationLookupAir<8> true
65,536
base64_json_program Memory AccessAdapter<8> true
2,591
base64_json_program Memory Boundary true
5,182
base64_json_program Memory Merkle true
5,524
base64_json_program PhantomAir true
5
base64_json_program ProgramChip true
19,500
base64_json_program RangeTupleCheckerAir<2> true
524,288
group collect_metrics dsl_ir opcode frequency
base64_json_program true ADD
69,777
base64_json_program true AND
10,124
base64_json_program true AUIPC
1,331
base64_json_program true BEQ
15,568
base64_json_program true BGE
704
base64_json_program true BGEU
6,863
base64_json_program true BLT
3,353
base64_json_program true BLTU
5,818
base64_json_program true BNE
11,768
base64_json_program true HINT_STOREW
1,563
base64_json_program true JAL
3,683
base64_json_program true JALR
2,940
base64_json_program true LOADB
1,236
base64_json_program true LOADBU
23,858
base64_json_program true LOADHU
3
base64_json_program true LOADW
13,465
base64_json_program true LUI
1,318
base64_json_program true MUL
116
base64_json_program true MULHU
86
base64_json_program true OR
7,608
base64_json_program true PHANTOM
5
base64_json_program true SLL
7,118
base64_json_program true SLT
5
base64_json_program true SLTU
570
base64_json_program true SRA
8
base64_json_program true SRL
9,062
base64_json_program true STOREB
5,133
base64_json_program true STOREH
10
base64_json_program true STOREW
12,652
base64_json_program true SUB
1,416
base64_json_program true XOR
188
group air_name collect_metrics dsl_ir opcode cells_used
base64_json_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true ADD
2,511,972
base64_json_program AccessAdapter<8> true ADD
85
base64_json_program Boundary true ADD
200
base64_json_program Merkle true ADD
128
base64_json_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true AND
364,464
base64_json_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true AUIPC
27,951
base64_json_program AccessAdapter<8> true AUIPC
51
base64_json_program Boundary true AUIPC
120
base64_json_program Merkle true AUIPC
3,520
base64_json_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BEQ
404,768
base64_json_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGE
22,528
base64_json_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGEU
219,616
base64_json_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLT
107,296
base64_json_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLTU
186,176
base64_json_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BNE
305,968
base64_json_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true HINT_STOREW
40,638
base64_json_program AccessAdapter<8> true HINT_STOREW
13,294
base64_json_program Boundary true HINT_STOREW
31,280
base64_json_program Merkle true HINT_STOREW
49,984
base64_json_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true JAL
66,294
base64_json_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR
82,320
base64_json_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADB
43,260
base64_json_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU
954,320
base64_json_program AccessAdapter<8> true LOADBU
2,873
base64_json_program Boundary true LOADBU
6,760
base64_json_program Merkle true LOADBU
12,480
base64_json_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADHU
120
base64_json_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADW
538,600
base64_json_program AccessAdapter<8> true LOADW
1,921
base64_json_program Boundary true LOADW
4,520
base64_json_program Merkle true LOADW
12,096
base64_json_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true LUI
23,724
base64_json_program AccessAdapter<8> true LUI
17
base64_json_program Boundary true LUI
40
base64_json_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true MUL
3,596
base64_json_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true MULHU
3,354
base64_json_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true OR
273,888
base64_json_program PhantomAir true PHANTOM
30
base64_json_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SLL
377,254
base64_json_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLT
185
base64_json_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLTU
21,090
base64_json_program AccessAdapter<8> true SLTU
17
base64_json_program Boundary true SLTU
40
base64_json_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRA
424
base64_json_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRL
480,286
base64_json_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREB
205,320
base64_json_program AccessAdapter<8> true STOREB
10,489
base64_json_program Boundary true STOREB
24,680
base64_json_program Merkle true STOREB
39,744
base64_json_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREH
400
base64_json_program AccessAdapter<8> true STOREH
17
base64_json_program Boundary true STOREH
40
base64_json_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW
506,080
base64_json_program AccessAdapter<8> true STOREW
15,283
base64_json_program Boundary true STOREW
35,960
base64_json_program Merkle true STOREW
58,752
base64_json_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB
50,976
base64_json_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR
6,768
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms fri.log_blowup keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
base64_json_program
14.0
 (-20.0 [-3.3%])
591.0
 (-1.0 [-0.2%])
434.0
2
 (-5.0 [-2.4%])
206.0
1
8,960,061
217,349
 (-45.0 [-1.7%])
2,604.0
group air_name constraints interactions quotient_deg
base64_json_program ProgramAir
4
1
1
base64_json_program VmConnectorAir
9
3
2
base64_json_program PersistentBoundaryAir<8>
6
3
2
base64_json_program MemoryMerkleAir<8>
40
4
2
base64_json_program AccessAdapterAir<2>
14
5
2
base64_json_program AccessAdapterAir<4>
14
5
2
base64_json_program AccessAdapterAir<8>
14
5
2
base64_json_program AccessAdapterAir<16>
14
5
2
base64_json_program AccessAdapterAir<32>
14
5
2
base64_json_program AccessAdapterAir<64>
14
5
2
base64_json_program PhantomAir
5
3
2
base64_json_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>
43
19
2
base64_json_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>
39
17
2
base64_json_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>
90
23
2
base64_json_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>
38
17
2
base64_json_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>
33
18
2
base64_json_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>
25
11
2
base64_json_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>
41
13
2
base64_json_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>
22
10
2
base64_json_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>
20
16
2
base64_json_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>
15
11
2
base64_json_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>
26
19
2
base64_json_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>
38
24
2
base64_json_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>
88
25
2
base64_json_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir>
17
15
2
base64_json_program KeccakVmAir
4,571
321
2
base64_json_program Poseidon2VmAir
525
32
2
base64_json_program BitwiseOperationLookupAir<8>
4
2
2
base64_json_program RangeTupleCheckerAir<2>
4
1
1
base64_json_program VariableRangeCheckerAir
4
1
1
group air_name segment cells main_cols perm_cols prep_cols rows
base64_json_program ProgramAir 0
589,824
10
8
32,768
base64_json_program VmConnectorAir 0
32
4
12
1
2
base64_json_program PersistentBoundaryAir<8> 0
262,144
20
12
8,192
base64_json_program MemoryMerkleAir<8> 0
425,984
32
20
8,192
base64_json_program AccessAdapterAir<8> 0
335,872
17
24
8,192
base64_json_program PhantomAir 0
144
6
12
8
base64_json_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
15,204,352
36
80
131,072
base64_json_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
78,848
37
40
1,024
base64_json_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
1,720,320
53
52
16,384
base64_json_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
7,340,032
40
72
65,536
base64_json_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0
227,328
35
76
2,048
base64_json_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
2,424,832
26
48
32,768
base64_json_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
2,883,584
32
56
32,768
base64_json_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
507,904
18
44
8,192
base64_json_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
262,144
28
36
4,096
base64_json_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
100,352
21
28
2,048
base64_json_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0
14,208
31
80
128
base64_json_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0
17,792
39
100
128
base64_json_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
126,976
26
36
2,048
base64_json_program KeccakVmAir 0
4,452
3,164
1,288
1
base64_json_program Poseidon2VmAir 0
10,272,768
559
68
16,384
base64_json_program BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
base64_json_program RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
base64_json_program VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
base64_json_program 0 (-25.0 [-1.2%])
2,013.0
49,353,492
Flamegraphs




Commit: 8ad792f
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
fibonacci_program
2
51,311,675
1,500,219
 (-15.0 [-0.2%])
7,244.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
fibonacci_program true (+288.0 [+0.8%])
38,001.0
51,311,675
1,500,219
group chip_name collect_metrics rows_used
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true
900,085
fibonacci_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true
300,004
fibonacci_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true
4
fibonacci_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true
200,012
fibonacci_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true
11
fibonacci_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true
100,012
fibonacci_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true
3
fibonacci_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> true
17
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true
57
fibonacci_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true
11
fibonacci_program BitwiseOperationLookupAir<8> true
65,536
fibonacci_program Memory AccessAdapter<8> true
27
fibonacci_program Memory Boundary true
54
fibonacci_program Memory Merkle true
306
fibonacci_program PhantomAir true
3
fibonacci_program ProgramChip true
6,521
fibonacci_program RangeTupleCheckerAir<2> true
524,288
group collect_metrics dsl_ir opcode frequency
fibonacci_program true ADD
900,068
fibonacci_program true AND
5
fibonacci_program true AUIPC
11
fibonacci_program true BEQ
100,005
fibonacci_program true BGEU
3
fibonacci_program true BLT
1
fibonacci_program true BLTU
7
fibonacci_program true BNE
100,007
fibonacci_program true HINT_STOREW
3
fibonacci_program true JAL
100,002
fibonacci_program true JALR
17
fibonacci_program true LOADBU
6
fibonacci_program true LOADW
22
fibonacci_program true LUI
10
fibonacci_program true OR
4
fibonacci_program true PHANTOM
3
fibonacci_program true SLL
3
fibonacci_program true SLTU
300,004
fibonacci_program true SRL
1
fibonacci_program true STOREB
1
fibonacci_program true STOREW
28
fibonacci_program true SUB
4
fibonacci_program true XOR
4
group air_name collect_metrics dsl_ir opcode cells_used
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true ADD
32,402,448
fibonacci_program AccessAdapter<8> true ADD
51
fibonacci_program Boundary true ADD
120
fibonacci_program Merkle true ADD
64
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true AND
180
fibonacci_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true AUIPC
231
fibonacci_program AccessAdapter<8> true AUIPC
34
fibonacci_program Boundary true AUIPC
80
fibonacci_program Merkle true AUIPC
3,456
fibonacci_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BEQ
2,600,130
fibonacci_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGEU
96
fibonacci_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLT
32
fibonacci_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLTU
224
fibonacci_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BNE
2,600,182
fibonacci_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true HINT_STOREW
78
fibonacci_program AccessAdapter<8> true HINT_STOREW
17
fibonacci_program Boundary true HINT_STOREW
40
fibonacci_program Merkle true HINT_STOREW
64
fibonacci_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true JAL
1,800,036
fibonacci_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR
476
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU
240
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADW
880
fibonacci_program AccessAdapter<8> true LOADW
34
fibonacci_program Boundary true LOADW
80
fibonacci_program Merkle true LOADW
2,304
fibonacci_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true LUI
180
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true OR
144
fibonacci_program PhantomAir true PHANTOM
18
fibonacci_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SLL
159
fibonacci_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLTU
11,100,148
fibonacci_program AccessAdapter<8> true SLTU
34
fibonacci_program Boundary true SLTU
80
fibonacci_program Merkle true SLTU
64
fibonacci_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRL
53
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREB
40
fibonacci_program AccessAdapter<8> true STOREB
17
fibonacci_program Boundary true STOREB
40
fibonacci_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW
1,120
fibonacci_program AccessAdapter<8> true STOREW
272
fibonacci_program Boundary true STOREW
640
fibonacci_program Merkle true STOREW
3,776
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB
144
fibonacci_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR
144
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms fri.log_blowup keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
fibonacci_program
5.0
 (-29.0 [-1.7%])
1,703.0
 (-17.0 [-1.2%])
1,455.0
2
 (-9.0 [-4.3%])
200.0
1
51,311,675
1,500,219
 (-15.0 [-0.2%])
7,244.0
group air_name constraints interactions quotient_deg
fibonacci_program ProgramAir
4
1
1
fibonacci_program VmConnectorAir
9
3
2
fibonacci_program PersistentBoundaryAir<8>
6
3
2
fibonacci_program MemoryMerkleAir<8>
40
4
2
fibonacci_program AccessAdapterAir<2>
14
5
2
fibonacci_program AccessAdapterAir<4>
14
5
2
fibonacci_program AccessAdapterAir<8>
14
5
2
fibonacci_program AccessAdapterAir<16>
14
5
2
fibonacci_program AccessAdapterAir<32>
14
5
2
fibonacci_program AccessAdapterAir<64>
14
5
2
fibonacci_program PhantomAir
5
3
2
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>
43
19
2
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>
39
17
2
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>
90
23
2
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>
38
17
2
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>
33
18
2
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>
25
11
2
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>
41
13
2
fibonacci_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>
22
10
2
fibonacci_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>
20
16
2
fibonacci_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>
15
11
2
fibonacci_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>
26
19
2
fibonacci_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>
38
24
2
fibonacci_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>
88
25
2
fibonacci_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir>
17
15
2
fibonacci_program Poseidon2VmAir
525
32
2
fibonacci_program BitwiseOperationLookupAir<8>
4
2
2
fibonacci_program RangeTupleCheckerAir<2>
4
1
1
fibonacci_program VariableRangeCheckerAir
4
1
1
group air_name segment cells main_cols perm_cols prep_cols rows
fibonacci_program ProgramAir 0
147,456
10
8
8,192
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 PhantomAir 0
72
6
12
4
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
121,634,816
36
80
1,048,576
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
40,370,176
37
40
524,288
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
420
53
52
4
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
7,168
40
72
64
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
19,398,656
26
48
262,144
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
1,408
32
56
16
fibonacci_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
8,126,464
18
44
131,072
fibonacci_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
2,048
28
36
32
fibonacci_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
784
21
28
16
fibonacci_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
248
26
36
4
fibonacci_program Poseidon2VmAir 0
321,024
559
68
512
fibonacci_program BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
fibonacci_program RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
fibonacci_program VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
fibonacci_program 0 (+14.0 [+0.3%])
5,541.0
196,595,668
Flamegraphs




Commit: 8ad792f
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
revm_100_transfers
2
89,667,190
2,315,638
 (-250.0 [-1.6%])
15,272.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
revm_100_transfers true (-487.0 [-0.8%])
61,365.0
89,667,190
2,315,638
group chip_name collect_metrics rows_used
revm_100_transfers <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true
810,491
revm_100_transfers <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true
29,897
revm_100_transfers <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true
120,007
revm_100_transfers <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true
145,012
revm_100_transfers <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true
73,637
revm_100_transfers <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true
46,270
revm_100_transfers <Rv32JalrAdapterAir,Rv32JalrCoreAir> true
36,986
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true
15,137
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true
955,542
revm_100_transfers <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true
23,081
revm_100_transfers <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true
41,130
revm_100_transfers <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true
17,169
revm_100_transfers BitwiseOperationLookupAir<8> true
65,536
revm_100_transfers Memory AccessAdapter<8> true
19,762
revm_100_transfers Memory Boundary true
39,524
revm_100_transfers Memory Merkle true
49,166
revm_100_transfers PhantomAir true
1,279
revm_100_transfers ProgramChip true
246,717
revm_100_transfers RangeTupleCheckerAir<2> true
524,288
group collect_metrics dsl_ir opcode frequency
revm_100_transfers true ADD
522,270
revm_100_transfers true AND
88,758
revm_100_transfers true AUIPC
17,169
revm_100_transfers true BEQ
49,849
revm_100_transfers true BGE
41
revm_100_transfers true BGEU
5,681
revm_100_transfers true BLT
3,140
revm_100_transfers true BLTU
64,775
revm_100_transfers true BNE
95,163
revm_100_transfers true JAL
11,800
revm_100_transfers true JALR
36,986
revm_100_transfers true LOADB
15,137
revm_100_transfers true LOADBU
189,602
revm_100_transfers true LOADW
381,701
revm_100_transfers true LUI
34,470
revm_100_transfers true MUL
41,130
revm_100_transfers true MULHU
23,081
revm_100_transfers true OR
106,182
revm_100_transfers true PHANTOM
1,279
revm_100_transfers true SLL
98,856
revm_100_transfers true SLT
100
revm_100_transfers true SLTU
29,797
revm_100_transfers true SRA
40
revm_100_transfers true SRL
21,111
revm_100_transfers true STOREB
28,966
revm_100_transfers true STOREH
300
revm_100_transfers true STOREW
354,973
revm_100_transfers true SUB
30,337
revm_100_transfers true XOR
62,944
group air_name collect_metrics dsl_ir opcode cells_used
revm_100_transfers <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true ADD
18,801,720
revm_100_transfers AccessAdapter<8> true ADD
51
revm_100_transfers Boundary true ADD
120
revm_100_transfers Merkle true ADD
64
revm_100_transfers <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true AND
3,195,288
revm_100_transfers <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true AUIPC
360,549
revm_100_transfers AccessAdapter<8> true AUIPC
51
revm_100_transfers Boundary true AUIPC
120
revm_100_transfers Merkle true AUIPC
3,520
revm_100_transfers <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BEQ
1,296,074
revm_100_transfers <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGE
1,312
revm_100_transfers <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGEU
181,792
revm_100_transfers <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLT
100,480
revm_100_transfers <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLTU
2,072,800
revm_100_transfers <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BNE
2,474,238
revm_100_transfers <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true JAL
212,400
revm_100_transfers <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR
1,035,608
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADB
529,795
revm_100_transfers AccessAdapter<8> true LOADB
68
revm_100_transfers Boundary true LOADB
160
revm_100_transfers Merkle true LOADB
960
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU
7,584,080
revm_100_transfers AccessAdapter<8> true LOADBU
136
revm_100_transfers Boundary true LOADBU
320
revm_100_transfers Merkle true LOADBU
1,024
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADW
15,268,040
revm_100_transfers AccessAdapter<8> true LOADW
9,367
revm_100_transfers Boundary true LOADW
22,040
revm_100_transfers Merkle true LOADW
48,000
revm_100_transfers <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true LUI
620,460
revm_100_transfers AccessAdapter<8> true LUI
17
revm_100_transfers Boundary true LUI
40
revm_100_transfers <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true MUL
1,275,030
revm_100_transfers AccessAdapter<8> true MUL
34
revm_100_transfers Boundary true MUL
80
revm_100_transfers Merkle true MUL
64
revm_100_transfers <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true MULHU
900,159
revm_100_transfers AccessAdapter<8> true MULHU
17
revm_100_transfers Boundary true MULHU
40
revm_100_transfers <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true OR
3,822,552
revm_100_transfers PhantomAir true PHANTOM
7,674
revm_100_transfers <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SLL
5,239,368
revm_100_transfers <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLT
3,700
revm_100_transfers <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLTU
1,102,489
revm_100_transfers <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRA
2,120
revm_100_transfers <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRL
1,118,883
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREB
1,158,640
revm_100_transfers AccessAdapter<8> true STOREB
39,576
revm_100_transfers Boundary true STOREB
93,120
revm_100_transfers Merkle true STOREB
344,320
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREH
12,000
revm_100_transfers <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW
14,198,920
revm_100_transfers AccessAdapter<8> true STOREW
286,637
revm_100_transfers Boundary true STOREW
674,440
revm_100_transfers Merkle true STOREW
1,175,296
revm_100_transfers <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB
1,092,132
revm_100_transfers <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR
2,265,984
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms fri.log_blowup keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
revm_100_transfers (-9.0 [-8.0%])
103.0
 (-49.0 [-0.8%])
5,872.0
 (-22.0 [-0.5%])
4,668.0
2
213.0
1
89,667,190
2,315,638
 (-250.0 [-1.6%])
15,272.0
group air_name constraints interactions quotient_deg
revm_100_transfers ProgramAir
4
1
1
revm_100_transfers VmConnectorAir
9
3
2
revm_100_transfers PersistentBoundaryAir<8>
6
3
2
revm_100_transfers MemoryMerkleAir<8>
40
4
2
revm_100_transfers AccessAdapterAir<2>
14
5
2
revm_100_transfers AccessAdapterAir<4>
14
5
2
revm_100_transfers AccessAdapterAir<8>
14
5
2
revm_100_transfers AccessAdapterAir<16>
14
5
2
revm_100_transfers AccessAdapterAir<32>
14
5
2
revm_100_transfers AccessAdapterAir<64>
14
5
2
revm_100_transfers PhantomAir
5
3
2
revm_100_transfers VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>
43
19
2
revm_100_transfers VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>
39
17
2
revm_100_transfers VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>
90
23
2
revm_100_transfers VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>
38
17
2
revm_100_transfers VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>
33
18
2
revm_100_transfers VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>
25
11
2
revm_100_transfers VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>
41
13
2
revm_100_transfers VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>
22
10
2
revm_100_transfers VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>
20
16
2
revm_100_transfers VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>
15
11
2
revm_100_transfers VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>
26
19
2
revm_100_transfers VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>
38
24
2
revm_100_transfers VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>
88
25
2
revm_100_transfers VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir>
17
15
2
revm_100_transfers KeccakVmAir
4,571
321
2
revm_100_transfers Poseidon2VmAir
525
32
2
revm_100_transfers BitwiseOperationLookupAir<8>
4
2
2
revm_100_transfers RangeTupleCheckerAir<2>
4
1
1
revm_100_transfers VariableRangeCheckerAir
4
1
1
group air_name segment cells main_cols perm_cols prep_cols rows
revm_100_transfers ProgramAir 0
4,718,592
10
8
262,144
revm_100_transfers VmConnectorAir 0
32
4
12
1
2
revm_100_transfers PersistentBoundaryAir<8> 0
2,097,152
20
12
65,536
revm_100_transfers MemoryMerkleAir<8> 0
3,407,872
32
20
65,536
revm_100_transfers AccessAdapterAir<8> 0
2,686,976
17
24
65,536
revm_100_transfers PhantomAir 0
36,864
6
12
2,048
revm_100_transfers VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
121,634,816
36
80
1,048,576
revm_100_transfers VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
2,523,136
37
40
32,768
revm_100_transfers VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
13,762,560
53
52
131,072
revm_100_transfers VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
117,440,512
40
72
1,048,576
revm_100_transfers VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0
1,818,624
35
76
16,384
revm_100_transfers VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
19,398,656
26
48
262,144
revm_100_transfers VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
11,534,336
32
56
131,072
revm_100_transfers VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
4,063,232
18
44
65,536
revm_100_transfers VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
4,194,304
28
36
65,536
revm_100_transfers VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
1,605,632
21
28
32,768
revm_100_transfers VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0
7,274,496
31
80
65,536
revm_100_transfers VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0
4,554,752
39
100
32,768
revm_100_transfers KeccakVmAir 0
4,452
3,164
1,288
1
revm_100_transfers Poseidon2VmAir 0
82,182,144
559
68
131,072
revm_100_transfers BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
revm_100_transfers RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
revm_100_transfers VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
revm_100_transfers 0 (-201.0 [-2.1%])
9,400.0
411,492,740
Flamegraphs




Commit: 8ad792f
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

group fri.log_blowup total_cells_used total_cycles total_proof_time_ms
regex_program
2
160,101,576
4,190,890
 (-600.0 [-2.2%])
27,219.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
regex_program true (+301.0 [+0.3%])
110,597.0
160,101,576
4,190,890
group chip_name collect_metrics rows_used
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true
1,150,469
regex_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true
38,005
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true
218,625
regex_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true
282,074
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true
198,078
regex_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true
106,071
regex_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true
12,767
regex_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> true
130,443
regex_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true
687
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true
1,961,380
regex_program <Rv32MultAdapterAir,DivRemCoreAir<4, 8>> true
114
regex_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true
244
regex_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true
52,087
regex_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true
39,556
regex_program BitwiseOperationLookupAir<8> true
65,536
regex_program KeccakVmAir true
24
regex_program Memory AccessAdapter<2> true
21
regex_program Memory AccessAdapter<4> true
11
regex_program Memory AccessAdapter<8> true
34,637
regex_program Memory Boundary true
69,274
regex_program Memory Merkle true
70,510
regex_program PhantomAir true
289
regex_program ProgramChip true
89,593
regex_program RangeTupleCheckerAir<2> true
524,288
group collect_metrics dsl_ir opcode frequency
regex_program true ADD
1,007,997
regex_program true AND
66,789
regex_program true AUIPC
39,556
regex_program true BEQ
178,501
regex_program true BGE
294
regex_program true BGEU
121,597
regex_program true BLT
5,141
regex_program true BLTU
71,046
regex_program true BNE
103,573
regex_program true DIVU
114
regex_program true HINT_STOREW
12,767
regex_program true JAL
61,575
regex_program true JALR
130,443
regex_program true KECCAK256
1
regex_program true LOADB
679
regex_program true LOADBU
27,294
regex_program true LOADH
8
regex_program true LOADHU
95
regex_program true LOADW
1,142,834
regex_program true LUI
44,496
regex_program true MUL
52,087
regex_program true MULHU
244
regex_program true OR
23,536
regex_program true PHANTOM
289
regex_program true SLL
213,542
regex_program true SLT
5
regex_program true SLTU
38,000
regex_program true SRA
1
regex_program true SRL
5,082
regex_program true STOREB
12,721
regex_program true STOREH
10,074
regex_program true STOREW
768,362
regex_program true SUB
42,583
regex_program true XOR
9,564
group air_name collect_metrics dsl_ir opcode cells_used
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true ADD
36,287,892
regex_program AccessAdapter<8> true ADD
102
regex_program Boundary true ADD
240
regex_program Merkle true ADD
128
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true AND
2,404,404
regex_program <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true AUIPC
830,676
regex_program AccessAdapter<8> true AUIPC
34
regex_program Boundary true AUIPC
80
regex_program Merkle true AUIPC
3,456
regex_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BEQ
4,641,026
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGE
9,408
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGEU
3,891,104
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLT
164,512
regex_program <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLTU
2,273,472
regex_program <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BNE
2,692,898
regex_program <Rv32MultAdapterAir,DivRemCoreAir<4, 8>> true DIVU
6,498
regex_program <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true HINT_STOREW
331,942
regex_program AccessAdapter<8> true HINT_STOREW
108,511
regex_program Boundary true HINT_STOREW
255,320
regex_program Merkle true HINT_STOREW
408,640
regex_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true JAL
1,108,350
regex_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR
3,652,404
regex_program AccessAdapter<2> true KECCAK256
231
regex_program AccessAdapter<4> true KECCAK256
143
regex_program KeccakVmAir true KECCAK256
75,936
regex_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADB
23,765
regex_program AccessAdapter<8> true LOADB
17
regex_program Boundary true LOADB
40
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU
1,091,760
regex_program AccessAdapter<8> true LOADBU
153
regex_program Boundary true LOADBU
360
regex_program Merkle true LOADBU
1,920
regex_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADH
280
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADHU
3,800
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADW
45,713,360
regex_program AccessAdapter<8> true LOADW
3,026
regex_program Boundary true LOADW
7,120
regex_program Merkle true LOADW
26,240
regex_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true LUI
800,928
regex_program AccessAdapter<8> true LUI
17
regex_program Boundary true LUI
40
regex_program Merkle true LUI
64
regex_program <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true MUL
1,614,697
regex_program <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true MULHU
9,516
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true OR
847,296
regex_program PhantomAir true PHANTOM
1,734
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SLL
11,317,726
regex_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLT
185
regex_program <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLTU
1,406,000
regex_program AccessAdapter<8> true SLTU
17
regex_program Boundary true SLTU
40
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRA
53
regex_program <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRL
269,346
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREB
508,840
regex_program AccessAdapter<8> true STOREB
2,159
regex_program Boundary true STOREB
5,080
regex_program Merkle true STOREB
12,352
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREH
402,960
regex_program AccessAdapter<8> true STOREH
85,255
regex_program Boundary true STOREH
200,600
regex_program Merkle true STOREH
321,280
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW
30,734,480
regex_program AccessAdapter<8> true STOREW
389,538
regex_program Boundary true STOREW
916,560
regex_program Merkle true STOREW
1,482,176
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB
1,532,988
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR
344,304
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms fri.log_blowup keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
regex_program (-1.0 [-2.2%])
45.0
 (-148.0 [-1.6%])
9,013.0
 (-147.0 [-2.2%])
6,497.0
2
 (-2.0 [-0.9%])
209.0
1
160,101,576
4,190,890
 (-600.0 [-2.2%])
27,219.0
group air_name constraints interactions quotient_deg
regex_program ProgramAir
4
1
1
regex_program VmConnectorAir
9
3
2
regex_program PersistentBoundaryAir<8>
6
3
2
regex_program MemoryMerkleAir<8>
40
4
2
regex_program AccessAdapterAir<2>
14
5
2
regex_program AccessAdapterAir<4>
14
5
2
regex_program AccessAdapterAir<8>
14
5
2
regex_program AccessAdapterAir<16>
14
5
2
regex_program AccessAdapterAir<32>
14
5
2
regex_program AccessAdapterAir<64>
14
5
2
regex_program PhantomAir
5
3
2
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>
43
19
2
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>
39
17
2
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>
90
23
2
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>
38
17
2
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>
33
18
2
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>
25
11
2
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>
41
13
2
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>
22
10
2
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>
20
16
2
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>
15
11
2
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>
26
19
2
regex_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>
38
24
2
regex_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>
88
25
2
regex_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir>
17
15
2
regex_program KeccakVmAir
4,571
321
2
regex_program Poseidon2VmAir
525
32
2
regex_program BitwiseOperationLookupAir<8>
4
2
2
regex_program RangeTupleCheckerAir<2>
4
1
1
regex_program VariableRangeCheckerAir
4
1
1
group air_name segment cells main_cols perm_cols prep_cols rows
regex_program ProgramAir 0
2,359,296
10
8
131,072
regex_program VmConnectorAir 0
32
4
12
1
2
regex_program PersistentBoundaryAir<8> 0
4,194,304
20
12
131,072
regex_program MemoryMerkleAir<8> 0
6,815,744
32
20
131,072
regex_program AccessAdapterAir<2> 0
2,240
11
24
64
regex_program AccessAdapterAir<4> 0
1,184
13
24
32
regex_program AccessAdapterAir<8> 0
5,373,952
17
24
131,072
regex_program PhantomAir 0
9,216
6
12
512
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
243,269,632
36
80
2,097,152
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
5,046,272
37
40
65,536
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
27,525,120
53
52
262,144
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
234,881,024
40
72
2,097,152
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0
113,664
35
76
1,024
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
38,797,312
26
48
524,288
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
23,068,672
32
56
262,144
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
8,126,464
18
44
131,072
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
8,388,608
28
36
131,072
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
3,211,264
21
28
65,536
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0
7,274,496
31
80
65,536
regex_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0
35,584
39
100
256
regex_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 0
20,608
57
104
128
regex_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
1,015,808
26
36
16,384
regex_program KeccakVmAir 0
142,464
3,164
1,288
32
regex_program Poseidon2VmAir 0
164,364,288
559
68
262,144
regex_program BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
regex_program RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
regex_program VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
regex_program 0 (-452.0 [-2.4%])
18,206.0
790,590,848
Flamegraphs




Commit: 8ad792f
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@yi-sun yi-sun mentioned this pull request Dec 13, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jonathanpwang