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: update Plonky3 commit #774

Merged
merged 16 commits into from
Nov 6, 2024
Merged

feat: update Plonky3 commit #774

merged 16 commits into from
Nov 6, 2024

Conversation

zlangley
Copy link
Contributor

@zlangley zlangley commented Nov 6, 2024 •
edited
Loading

Resolves INT-1622

@zlangley zlangley added the run-benchmark triggers benchmark workflows on the pr label Nov 6, 2024
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@zlangley zlangley changed the title Plonky3 feat: update Plonky3 commit Nov 6, 2024
@linear Linear
Copy link

linear bot commented Nov 6, 2024

INT-1622 Update plonky3 commit

They have made some changes with audit fixes, and also an initial version of circle stark

@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 6, 2024

group total_cells_used total_cycles total_proof_time_ms
verify_fibair (+20,587 [+0.1%])
16,997,889
 (+448 [+0.1%])
427,491
 (-1,637.0 [-26.2%])
4,614.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
(+4.0 [+100.0%])
8.0
32
group collect_metrics execute_time_ms total_cells_used total_cycles
verify_fibair true (+101.0 [+1.5%])
6,660.0
 (+20,587 [+0.1%])
16,997,889
 (+448 [+0.1%])
427,491
group chip_name collect_metrics rows_used
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true (-89 [-0.1%])
66,572
verify_fibair <JalNativeAdapterAir,JalCoreAir> true (-32 [-0.3%])
10,959
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true (+139 [+0.1%])
138,580
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true (+424 [+0.2%])
191,828
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true
4,886
verify_fibair FriMatOpeningAir true
800
verify_fibair Memory AccessAdapter<2> true (-74 [-0.2%])
35,365
verify_fibair Memory AccessAdapter<4> true (-38 [-0.2%])
17,683
verify_fibair Memory AccessAdapter<8> true (-10 [-0.3%])
3,841
verify_fibair Memory Boundary true (-4 [-0.0%])
97,438
verify_fibair PhantomAir true (-1 [-0.0%])
11,746
verify_fibair Poseidon2VmAir true
2,620
verify_fibair ProgramChip true (+2 [+0.0%])
35,430
group collect_metrics dsl_ir opcode frequency
verify_fibair true JAL
1
verify_fibair true STOREW
2
verify_fibair true AddE FE4ADD
1,130
verify_fibair true AddEFFI LOADW
128
verify_fibair true AddEFFI STOREW
384
verify_fibair true AddEI ADD
5,664
verify_fibair true AddFI ADD (+36 [+1.3%])
2,807
verify_fibair true AddV ADD
1,815
verify_fibair true AddVI ADD (+204 [+0.6%])
35,697
verify_fibair true Alloc ADD (-2 [-0.0%])
13,007
verify_fibair true Alloc LOADW (-2 [-0.0%])
13,007
verify_fibair true Alloc MUL (-1 [-0.0%])
8,976
verify_fibair true AssertEqE BNE
404
verify_fibair true AssertEqEI BNE
4
verify_fibair true AssertEqF BNE
4,901
verify_fibair true AssertEqV BNE
3,540
verify_fibair true AssertEqVI BNE
20
verify_fibair true CT-VerifierProgram PHANTOM
2
verify_fibair true CT-compute-reduced-opening PHANTOM
400
verify_fibair true CT-exp-reverse-bits-len PHANTOM
400
verify_fibair true CT-poseidon2-hash PHANTOM
400
verify_fibair true CT-poseidon2-hash-ext PHANTOM
800
verify_fibair true CT-poseidon2-hash-setup PHANTOM
1,200
verify_fibair true CT-single-mat-reduced-opening PHANTOM
600
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
400
verify_fibair true CT-verify-batch-ext PHANTOM
800
verify_fibair true CT-verify-batch-reduce-fast PHANTOM
1,200
verify_fibair true CT-verify-batch-reduce-fast-setup PHANTOM
1,200
verify_fibair true CT-verify-query PHANTOM
200
verify_fibair true DivE BBE4DIV
702
verify_fibair true DivEIN BBE4DIV
1
verify_fibair true DivEIN STOREW
4
verify_fibair true DivFIN DIV
3
verify_fibair true For ADD (-97 [-0.3%])
33,882
verify_fibair true For BNE (-98 [-0.2%])
42,951
verify_fibair true For JAL (-1 [-0.0%])
9,069
verify_fibair true For LOADW
700
verify_fibair true For STOREW (-1 [-0.0%])
8,369
verify_fibair true FriMatOpening FRI_FOLD
300
verify_fibair true HintBitsF PHANTOM
101
verify_fibair true HintInputVec PHANTOM (-1 [-0.0%])
4,031
verify_fibair true IfEq BNE (+5 [+0.7%])
727
verify_fibair true IfEqI BNE (+4 [+0.0%])
11,293
verify_fibair true IfEqI JAL (-26 [-1.4%])
1,887
verify_fibair true IfNe BEQ
2,129
verify_fibair true IfNe JAL (-5 [-71.4%])
2
verify_fibair true IfNeI BEQ
603
verify_fibair true ImmE STOREW
2,008
verify_fibair true ImmF STOREW
7,004
verify_fibair true ImmV STOREW (+19 [+0.1%])
12,768
verify_fibair true LoadE LOADW
4,836
verify_fibair true LoadE LOADW2
10,800
verify_fibair true LoadF LOADW
13,252
verify_fibair true LoadF LOADW2 (+4 [+0.2%])
2,248
verify_fibair true LoadV LOADW (-2 [-0.0%])
8,798
verify_fibair true LoadV LOADW2 (+400 [+2.1%])
19,851
verify_fibair true MulE BBE4MUL
1,818
verify_fibair true MulEF MUL
1,608
verify_fibair true MulEI BBE4MUL
33
verify_fibair true MulEI STOREW
132
verify_fibair true MulF MUL
2,204
verify_fibair true MulFI MUL
1
verify_fibair true MulV MUL
3,131
verify_fibair true MulVI MUL
2,604
verify_fibair true Poseidon2CompressBabyBear COMP_POS2
2,000
verify_fibair true Poseidon2PermuteBabyBear PERM_POS2 (+7 [+1.1%])
620
verify_fibair true StoreE STOREW (+4 [+0.0%])
32,016
verify_fibair true StoreE STOREW2
4,816
verify_fibair true StoreF STOREW
6,484
verify_fibair true StoreF STOREW2 (+4 [+0.1%])
3,882
verify_fibair true StoreHintWord ADD (-1 [-0.0%])
19,707
verify_fibair true StoreHintWord SHINTW (-2 [-0.0%])
26,869
verify_fibair true StoreV STOREW
1,462
verify_fibair true StoreV STOREW2
11,093
verify_fibair true SubE FE4SUB
1,202
verify_fibair true SubEF LOADW
915
verify_fibair true SubEF SUB
305
verify_fibair true SubEI ADD
8
verify_fibair true SubV SUB
3,101
verify_fibair true SubVI SUB
3,660
verify_fibair true SubVIN SUB
400
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
45,200
verify_fibair AccessAdapter<2> true AddE FE4ADD
24,882
verify_fibair AccessAdapter<4> true AddE FE4ADD
14,703
verify_fibair Boundary true AddE FE4ADD
792
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI LOADW
5,248
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
15,744
verify_fibair AccessAdapter<2> true AddEFFI STOREW
132
verify_fibair Boundary true AddEFFI STOREW
528
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddEI ADD
169,920
verify_fibair AccessAdapter<2> true AddEI ADD (-308 [-1.3%])
24,112
verify_fibair AccessAdapter<4> true AddEI ADD (-182 [-1.3%])
14,248
verify_fibair Boundary true AddEI ADD
440
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddFI ADD (+1,080 [+1.3%])
84,210
verify_fibair Boundary true AddFI ADD
231
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddV ADD
54,450
verify_fibair Boundary true AddV ADD
33
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddVI ADD (+6,120 [+0.6%])
1,070,910
verify_fibair Boundary true AddVI ADD (-33 [-0.1%])
35,453
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc ADD (-60 [-0.0%])
390,210
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true Alloc LOADW (-82 [-0.0%])
533,287
verify_fibair Boundary true Alloc LOADW (-33 [-1.8%])
1,760
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc MUL (-30 [-0.0%])
269,280
verify_fibair AccessAdapter<2> true Alloc MUL (+11 [+50.0%])
33
verify_fibair AccessAdapter<4> true Alloc MUL (+13 [+50.0%])
39
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqE BNE
9,292
verify_fibair AccessAdapter<2> true AssertEqE BNE
2,222
verify_fibair AccessAdapter<4> true AssertEqE BNE
1,313
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqEI BNE
92
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqF BNE
112,723
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqV BNE
81,420
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
2,400
verify_fibair PhantomAir true CT-exp-reverse-bits-len PHANTOM
2,400
verify_fibair PhantomAir true CT-poseidon2-hash PHANTOM
2,400
verify_fibair PhantomAir true CT-poseidon2-hash-ext PHANTOM
4,800
verify_fibair PhantomAir true CT-poseidon2-hash-setup PHANTOM
7,200
verify_fibair PhantomAir true CT-single-mat-reduced-opening PHANTOM
3,600
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
2,400
verify_fibair PhantomAir true CT-verify-batch-ext PHANTOM
4,800
verify_fibair PhantomAir true CT-verify-batch-reduce-fast PHANTOM
7,200
verify_fibair PhantomAir true CT-verify-batch-reduce-fast-setup PHANTOM
7,200
verify_fibair PhantomAir true CT-verify-query PHANTOM
1,200
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivE BBE4DIV
28,080
verify_fibair AccessAdapter<2> true DivE BBE4DIV
6,710
verify_fibair AccessAdapter<4> true DivE BBE4DIV
3,965
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 (-2,910 [-0.3%])
1,016,460
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true For BNE (-2,254 [-0.2%])
987,873
verify_fibair <JalNativeAdapterAir,JalCoreAir> true For JAL (-10 [-0.0%])
90,690
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For LOADW
28,700
verify_fibair Boundary true For LOADW
1,100
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For STOREW (-41 [-0.0%])
343,129
verify_fibair Boundary true For STOREW (-11 [-2.3%])
462
verify_fibair AccessAdapter<2> true FriMatOpening FRI_FOLD
4,576
verify_fibair AccessAdapter<4> true FriMatOpening FRI_FOLD
2,704
verify_fibair FriMatOpeningAir true FriMatOpening FRI_FOLD
51,200
verify_fibair PhantomAir true HintBitsF PHANTOM
606
verify_fibair PhantomAir true HintInputVec PHANTOM (-6 [-0.0%])
24,186
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEq BNE (+115 [+0.7%])
16,721
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEqI BNE (+92 [+0.0%])
259,739
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfEqI JAL (-260 [-1.4%])
18,870
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNe BEQ
48,967
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfNe JAL (-50 [-71.4%])
20
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNeI BEQ
13,869
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmE STOREW
82,328
verify_fibair AccessAdapter<2> true ImmE STOREW
2,200
verify_fibair AccessAdapter<4> true ImmE STOREW
1,300
verify_fibair Boundary true ImmE STOREW
44
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmF STOREW
287,164
verify_fibair Boundary true ImmF STOREW
2,134
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmV STOREW (+779 [+0.1%])
523,488
verify_fibair Boundary true ImmV STOREW
37,312
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW
198,276
verify_fibair AccessAdapter<2> true LoadE LOADW
17,864
verify_fibair AccessAdapter<4> true LoadE LOADW
10,556
verify_fibair Boundary true LoadE LOADW
220
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW2
442,800
verify_fibair AccessAdapter<2> true LoadE LOADW2
28,644
verify_fibair AccessAdapter<4> true LoadE LOADW2
16,926
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW
543,332
verify_fibair AccessAdapter<2> true LoadF LOADW
26,400
verify_fibair AccessAdapter<4> true LoadF LOADW
15,600
verify_fibair AccessAdapter<8> true LoadF LOADW
10,200
verify_fibair Boundary true LoadF LOADW
341
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW2 (+164 [+0.2%])
92,168
verify_fibair AccessAdapter<2> true LoadF LOADW2
715
verify_fibair AccessAdapter<4> true LoadF LOADW2
429
verify_fibair AccessAdapter<8> true LoadF LOADW2
323
verify_fibair Boundary true LoadF LOADW2
1,221
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW (-82 [-0.0%])
360,718
verify_fibair Boundary true LoadV LOADW (-11 [-0.0%])
34,870
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW2 (+16,400 [+2.1%])
813,891
verify_fibair Boundary true LoadV LOADW2 (+22 [+2.4%])
957
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulE BBE4MUL
72,720
verify_fibair AccessAdapter<2> true MulE BBE4MUL (-308 [-1.1%])
28,644
verify_fibair AccessAdapter<4> true MulE BBE4MUL (-182 [-1.1%])
16,926
verify_fibair Boundary true MulE BBE4MUL
572
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulEF MUL
48,240
verify_fibair AccessAdapter<2> true MulEF MUL
8,822
verify_fibair AccessAdapter<4> true MulEF MUL
5,213
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 (+44 [+6.9%])
682
verify_fibair AccessAdapter<4> true MulEI STOREW (+52 [+15.4%])
390
verify_fibair Boundary true MulEI STOREW
33
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulF MUL
66,120
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
93,930
verify_fibair Boundary true MulV MUL (+11 [+0.0%])
34,419
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulVI MUL
78,120
verify_fibair Boundary true MulVI MUL (-11 [-25.0%])
33
verify_fibair AccessAdapter<2> true Poseidon2CompressBabyBear COMP_POS2
88,000
verify_fibair AccessAdapter<4> true Poseidon2CompressBabyBear COMP_POS2
52,000
verify_fibair AccessAdapter<8> true Poseidon2CompressBabyBear COMP_POS2
34,000
verify_fibair Poseidon2VmAir true Poseidon2CompressBabyBear COMP_POS2
836,000
verify_fibair AccessAdapter<2> true Poseidon2PermuteBabyBear PERM_POS2 (-99 [-0.2%])
53,702
verify_fibair AccessAdapter<4> true Poseidon2PermuteBabyBear PERM_POS2 (-65 [-0.2%])
31,733
verify_fibair AccessAdapter<8> true Poseidon2PermuteBabyBear PERM_POS2 (-85 [-0.4%])
20,757
verify_fibair Poseidon2VmAir true Poseidon2PermuteBabyBear PERM_POS2
259,160
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW (+164 [+0.0%])
1,312,656
verify_fibair AccessAdapter<2> true StoreE STOREW
8,800
verify_fibair AccessAdapter<4> true StoreE STOREW
5,200
verify_fibair Boundary true StoreE STOREW (+44 [+0.0%])
352,176
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW2
197,456
verify_fibair AccessAdapter<2> true StoreE STOREW2
8,800
verify_fibair AccessAdapter<4> true StoreE STOREW2
5,200
verify_fibair Boundary true StoreE STOREW2
17,776
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW
265,844
verify_fibair Boundary true StoreF STOREW
71,324
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW2 (+164 [+0.1%])
159,162
verify_fibair AccessAdapter<2> true StoreF STOREW2 (-99 [-42.9%])
132
verify_fibair AccessAdapter<4> true StoreF STOREW2 (-65 [-45.5%])
78
verify_fibair AccessAdapter<8> true StoreF STOREW2 (-85 [-83.3%])
17
verify_fibair Boundary true StoreF STOREW2
35,486
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true StoreHintWord ADD (-30 [-0.0%])
591,210
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreHintWord SHINTW (-82 [-0.0%])
1,101,629
verify_fibair Boundary true StoreHintWord SHINTW (-22 [-0.0%])
295,559
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW
59,942
verify_fibair Boundary true StoreV STOREW
16,082
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW2
454,813
verify_fibair Boundary true StoreV STOREW2
93,258
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true SubE FE4SUB
48,080
verify_fibair AccessAdapter<2> true SubE FE4SUB
44,176
verify_fibair AccessAdapter<4> true SubE FE4SUB
26,104
verify_fibair Boundary true SubE FE4SUB
220
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true SubEF LOADW
37,515
verify_fibair AccessAdapter<2> true SubEF LOADW
3,333
verify_fibair Boundary true SubEF LOADW
99
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEF SUB
9,150
verify_fibair AccessAdapter<2> true SubEF SUB
3,333
verify_fibair AccessAdapter<4> true SubEF SUB
3,939
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
93,030
verify_fibair Boundary true SubV SUB
44
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVI SUB
109,800
verify_fibair Boundary true SubVI SUB
35,607
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVIN SUB
12,000
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>
11
5
4
verify_fibair AccessAdapterAir<4>
11
5
4
verify_fibair AccessAdapterAir<8>
11
5
4
verify_fibair AccessAdapterAir<16>
11
5
4
verify_fibair AccessAdapterAir<32>
11
5
4
verify_fibair AccessAdapterAir<64>
11
5
4
verify_fibair PhantomAir
4
3
4
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
30
19
8
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
21
11
4
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
6
7
8
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir>
22
15
8
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
22
15
8
verify_fibair FriMatOpeningAir
53
35
4
verify_fibair Poseidon2VmAir
374
32
8
verify_fibair VariableRangeCheckerAir
4
1
1
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms verify_program_compile_ms
verify_fibair (-2.0 [-4.5%])
42.0
 (+19.0 [+2.8%])
703.0
 (+16.0 [+2.7%])
610.0
 (+11.0 [+18.3%])
71.0
1
 (+20,587 [+0.1%])
16,997,889
 (+448 [+0.1%])
427,491
 (-1,637.0 [-26.2%])
4,614.0
44.0
group air_name segment cells main_cols perm_cols prep_cols rows
verify_fibair ProgramAir 0
1,179,648
10
8
65,536
verify_fibair VmConnectorAir 0
24
4
8
1
2
verify_fibair VolatileBoundaryAir 0
2,490,368
11
8
131,072
verify_fibair AccessAdapterAir<2> 0
1,507,328
11
12
65,536
verify_fibair AccessAdapterAir<4> 0
819,200
13
12
32,768
verify_fibair AccessAdapterAir<8> 0
237,568
17
12
8,192
verify_fibair PhantomAir 0
229,376
6
8
16,384
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1> 0
15,990,784
41
20
262,144
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
5,636,096
23
20
131,072
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
360,448
10
12
16,384
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
12,058,624
30
16
262,144
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
458,752
40
16
8,192
verify_fibair FriMatOpeningAir 0
118,784
64
52
1,024
verify_fibair Poseidon2VmAir 0
1,826,816
418
28
4,096
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 (-1,656.0 [-29.7%])
3,911.0
44,093,464
Flamegraphs




Commit: a70582d
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 6, 2024

group total_cells_used total_cycles total_proof_time_ms
revm_contract_deployment
76,374,302
1,879,268
 (-3,447.0 [-23.5%])
11,217.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
revm_contract_deployment true (+665.0 [+1.4%])
49,007.0
76,374,302
1,879,268
group chip_name collect_metrics rows_used
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true
860,556
revm_contract_deployment <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true
14,117
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true
264,859
revm_contract_deployment <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true
48,095
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true
29,575
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true
7,275
revm_contract_deployment <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true
3,069
revm_contract_deployment <Rv32JalrAdapterAir,Rv32JalrCoreAir> true
2,096
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true
11,811
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true
633,363
revm_contract_deployment <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true
1,237
revm_contract_deployment <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true
2,117
revm_contract_deployment <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true
961
revm_contract_deployment BitwiseOperationLookupAir<8> true
65,536
revm_contract_deployment Memory AccessAdapter<8> true
11,572
revm_contract_deployment Memory Boundary true
23,144
revm_contract_deployment Memory Merkle true
24,454
revm_contract_deployment PhantomAir true
137
revm_contract_deployment ProgramChip true
256,778
revm_contract_deployment RangeTupleCheckerAir<2> true
524,288
group collect_metrics dsl_ir opcode frequency
revm_contract_deployment true ADD
151,689
revm_contract_deployment true AND
116,881
revm_contract_deployment true AUIPC
961
revm_contract_deployment true BEQ
13,722
revm_contract_deployment true BGE
10,842
revm_contract_deployment true BGEU
11,680
revm_contract_deployment true BLT
151
revm_contract_deployment true BLTU
6,902
revm_contract_deployment true BNE
34,373
revm_contract_deployment true HINT_STOREW
3,069
revm_contract_deployment true JAL
3,297
revm_contract_deployment true JALR
2,096
revm_contract_deployment true LOADB
11,806
revm_contract_deployment true LOADBU
44,462
revm_contract_deployment true LOADH
5
revm_contract_deployment true LOADHU
20
revm_contract_deployment true LOADW
316,638
revm_contract_deployment true LUI
3,978
revm_contract_deployment true MUL
2,117
revm_contract_deployment true MULH
3
revm_contract_deployment true MULHU
1,234
revm_contract_deployment true OR
133,808
revm_contract_deployment true PHANTOM
137
revm_contract_deployment true SLL
133,736
revm_contract_deployment true SLT
2
revm_contract_deployment true SLTU
14,115
revm_contract_deployment true SRA
493
revm_contract_deployment true SRL
130,630
revm_contract_deployment true STOREB
13,828
revm_contract_deployment true STOREH
14
revm_contract_deployment true STOREW
258,401
revm_contract_deployment true SUB
2,246
revm_contract_deployment true XOR
455,932
group air_name collect_metrics dsl_ir opcode cells_used
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true ADD
5,460,804
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true AND
4,207,716
revm_contract_deployment <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true AUIPC
20,181
revm_contract_deployment AccessAdapter<8> true AUIPC
34
revm_contract_deployment Boundary true AUIPC
80
revm_contract_deployment Merkle true AUIPC
3,456
revm_contract_deployment <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BEQ
356,772
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGE
346,944
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGEU
373,760
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLT
4,832
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLTU
220,864
revm_contract_deployment <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BNE
893,698
revm_contract_deployment <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true HINT_STOREW
79,794
revm_contract_deployment AccessAdapter<8> true HINT_STOREW
26,095
revm_contract_deployment Boundary true HINT_STOREW
61,400
revm_contract_deployment Merkle true HINT_STOREW
98,688
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true JAL
59,346
revm_contract_deployment <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR
58,688
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADB
413,210
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU
1,778,480
revm_contract_deployment AccessAdapter<8> true LOADBU
323
revm_contract_deployment Boundary true LOADBU
760
revm_contract_deployment Merkle true LOADBU
4,544
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADH
175
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADHU
800
revm_contract_deployment AccessAdapter<8> true LOADHU
85
revm_contract_deployment Boundary true LOADHU
200
revm_contract_deployment Merkle true LOADHU
512
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADW
12,665,520
revm_contract_deployment AccessAdapter<8> true LOADW
21,182
revm_contract_deployment Boundary true LOADW
49,840
revm_contract_deployment Merkle true LOADW
92,992
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true LUI
71,604
revm_contract_deployment AccessAdapter<8> true LUI
34
revm_contract_deployment Boundary true LUI
80
revm_contract_deployment <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true MUL
65,627
revm_contract_deployment AccessAdapter<8> true MUL
51
revm_contract_deployment Boundary true MUL
120
revm_contract_deployment Merkle true MUL
64
revm_contract_deployment <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true MULH
117
revm_contract_deployment <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true MULHU
48,126
revm_contract_deployment AccessAdapter<8> true MULHU
17
revm_contract_deployment Boundary true MULHU
40
revm_contract_deployment Merkle true MULHU
64
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true OR
4,817,088
revm_contract_deployment PhantomAir true PHANTOM
822
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SLL
7,088,008
revm_contract_deployment <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLT
74
revm_contract_deployment <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLTU
522,255
revm_contract_deployment AccessAdapter<8> true SLTU
34
revm_contract_deployment Boundary true SLTU
80
revm_contract_deployment Merkle true SLTU
64
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRA
26,129
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRL
6,923,390
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREB
553,120
revm_contract_deployment AccessAdapter<8> true STOREB
2,023
revm_contract_deployment Boundary true STOREB
4,760
revm_contract_deployment Merkle true STOREB
19,136
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREH
560
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW
10,336,040
revm_contract_deployment AccessAdapter<8> true STOREW
146,846
revm_contract_deployment Boundary true STOREW
345,520
revm_contract_deployment Merkle true STOREW
562,944
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB
80,856
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR
16,413,552
group air_name constraints interactions quotient_deg
revm_contract_deployment ProgramAir
4
1
1
revm_contract_deployment VmConnectorAir
9
3
2
revm_contract_deployment PersistentBoundaryAir<8>
6
3
2
revm_contract_deployment MemoryMerkleAir<8>
40
4
2
revm_contract_deployment AccessAdapterAir<2>
14
5
2
revm_contract_deployment AccessAdapterAir<4>
14
5
2
revm_contract_deployment AccessAdapterAir<8>
14
5
2
revm_contract_deployment AccessAdapterAir<16>
14
5
2
revm_contract_deployment AccessAdapterAir<32>
14
5
2
revm_contract_deployment AccessAdapterAir<64>
14
5
2
revm_contract_deployment PhantomAir
5
3
2
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>
43
19
2
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>
39
17
2
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>
90
23
2
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>
38
17
2
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>
33
18
2
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>
25
11
2
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>
41
13
2
revm_contract_deployment VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>
22
10
2
revm_contract_deployment VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>
20
16
2
revm_contract_deployment VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>
15
11
2
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>
26
19
2
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>
38
24
2
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>
88
25
2
revm_contract_deployment VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir>
17
15
2
revm_contract_deployment Poseidon2VmAir
525
32
2
revm_contract_deployment BitwiseOperationLookupAir<8>
4
2
2
revm_contract_deployment RangeTupleCheckerAir<2>
4
1
1
revm_contract_deployment VariableRangeCheckerAir
4
1
1
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
revm_contract_deployment (-4.0 [-4.7%])
81.0
 (-51.0 [-1.1%])
4,632.0
 (-33.0 [-0.9%])
3,846.0
 (-1.0 [-0.8%])
118.0
1
76,374,302
1,879,268
 (-3,447.0 [-23.5%])
11,217.0
group air_name segment cells main_cols perm_cols prep_cols rows
revm_contract_deployment ProgramAir 0
4,718,592
10
8
262,144
revm_contract_deployment VmConnectorAir 0
32
4
12
1
2
revm_contract_deployment PersistentBoundaryAir<8> 0
1,048,576
20
12
32,768
revm_contract_deployment MemoryMerkleAir<8> 0
1,703,936
32
20
32,768
revm_contract_deployment AccessAdapterAir<8> 0
1,343,488
17
24
32,768
revm_contract_deployment PhantomAir 0
4,608
6
12
256
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
121,634,816
36
80
1,048,576
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
1,261,568
37
40
16,384
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
55,050,240
53
52
524,288
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
117,440,512
40
72
1,048,576
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0
1,818,624
35
76
16,384
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
4,849,664
26
48
65,536
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
2,883,584
32
56
32,768
revm_contract_deployment VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
507,904
18
44
8,192
revm_contract_deployment VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
262,144
28
36
4,096
revm_contract_deployment VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
50,176
21
28
1,024
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0
454,656
31
80
4,096
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0
284,672
39
100
2,048
revm_contract_deployment VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
253,952
26
36
4,096
revm_contract_deployment Poseidon2VmAir 0
41,091,072
559
68
65,536
revm_contract_deployment BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
revm_contract_deployment RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
revm_contract_deployment VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
revm_contract_deployment 0 (-3,396.0 [-34.0%])
6,585.0
363,216,416
Flamegraphs




Commit: a70582d
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 6, 2024

group total_cells_used total_cycles total_proof_time_ms
verify_fibair (+22,987 [+0.1%])
17,000,289
 (+516 [+0.1%])
427,559
 (-1,669.0 [-26.7%])
4,581.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
(+4.0 [+100.0%])
8.0
32
group collect_metrics execute_time_ms total_cells_used total_cycles
verify_fibair true (+75.0 [+1.1%])
6,618.0
 (+22,987 [+0.1%])
17,000,289
 (+516 [+0.1%])
427,559
group chip_name collect_metrics rows_used
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true (-89 [-0.1%])
66,572
verify_fibair <JalNativeAdapterAir,JalCoreAir> true (+20 [+0.2%])
11,011
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true (+155 [+0.1%])
138,596
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true (+424 [+0.2%])
191,828
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true
4,886
verify_fibair FriMatOpeningAir true
800
verify_fibair Memory AccessAdapter<2> true (+6 [+0.0%])
35,445
verify_fibair Memory AccessAdapter<4> true (+2 [+0.0%])
17,723
verify_fibair Memory AccessAdapter<8> true (-10 [-0.3%])
3,841
verify_fibair Memory Boundary true (-4 [-0.0%])
97,438
verify_fibair PhantomAir true (-1 [-0.0%])
11,746
verify_fibair Poseidon2VmAir true
2,620
verify_fibair ProgramChip true (+2 [+0.0%])
35,430
group collect_metrics dsl_ir opcode frequency
verify_fibair true JAL
1
verify_fibair true STOREW
2
verify_fibair true AddE FE4ADD
1,130
verify_fibair true AddEFFI LOADW
128
verify_fibair true AddEFFI STOREW
384
verify_fibair true AddEI ADD
5,664
verify_fibair true AddFI ADD (+52 [+1.9%])
2,823
verify_fibair true AddV ADD
1,815
verify_fibair true AddVI ADD (+204 [+0.6%])
35,697
verify_fibair true Alloc ADD (-2 [-0.0%])
13,007
verify_fibair true Alloc LOADW (-2 [-0.0%])
13,007
verify_fibair true Alloc MUL (-1 [-0.0%])
8,976
verify_fibair true AssertEqE BNE
404
verify_fibair true AssertEqEI BNE
4
verify_fibair true AssertEqF BNE
4,901
verify_fibair true AssertEqV BNE
3,540
verify_fibair true AssertEqVI BNE
20
verify_fibair true CT-VerifierProgram PHANTOM
2
verify_fibair true CT-compute-reduced-opening PHANTOM
400
verify_fibair true CT-exp-reverse-bits-len PHANTOM
400
verify_fibair true CT-poseidon2-hash PHANTOM
400
verify_fibair true CT-poseidon2-hash-ext PHANTOM
800
verify_fibair true CT-poseidon2-hash-setup PHANTOM
1,200
verify_fibair true CT-single-mat-reduced-opening PHANTOM
600
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
400
verify_fibair true CT-verify-batch-ext PHANTOM
800
verify_fibair true CT-verify-batch-reduce-fast PHANTOM
1,200
verify_fibair true CT-verify-batch-reduce-fast-setup PHANTOM
1,200
verify_fibair true CT-verify-query PHANTOM
200
verify_fibair true DivE BBE4DIV
702
verify_fibair true DivEIN BBE4DIV
1
verify_fibair true DivEIN STOREW
4
verify_fibair true DivFIN DIV
3
verify_fibair true For ADD (-97 [-0.3%])
33,882
verify_fibair true For BNE (-98 [-0.2%])
42,951
verify_fibair true For JAL (-1 [-0.0%])
9,069
verify_fibair true For LOADW
700
verify_fibair true For STOREW (-1 [-0.0%])
8,369
verify_fibair true FriMatOpening FRI_FOLD
300
verify_fibair true HintBitsF PHANTOM
101
verify_fibair true HintInputVec PHANTOM (-1 [-0.0%])
4,031
verify_fibair true IfEq BNE (+5 [+0.7%])
727
verify_fibair true IfEqI BNE (+4 [+0.0%])
11,293
verify_fibair true IfEqI JAL (+26 [+1.4%])
1,939
verify_fibair true IfNe BEQ
2,129
verify_fibair true IfNe JAL (-5 [-71.4%])
2
verify_fibair true IfNeI BEQ
603
verify_fibair true ImmE STOREW
2,008
verify_fibair true ImmF STOREW
7,004
verify_fibair true ImmV STOREW (+19 [+0.1%])
12,768
verify_fibair true LoadE LOADW
4,836
verify_fibair true LoadE LOADW2
10,800
verify_fibair true LoadF LOADW
13,252
verify_fibair true LoadF LOADW2 (+4 [+0.2%])
2,248
verify_fibair true LoadV LOADW (-2 [-0.0%])
8,798
verify_fibair true LoadV LOADW2 (+400 [+2.1%])
19,851
verify_fibair true MulE BBE4MUL
1,818
verify_fibair true MulEF MUL
1,608
verify_fibair true MulEI BBE4MUL
33
verify_fibair true MulEI STOREW
132
verify_fibair true MulF MUL
2,204
verify_fibair true MulFI MUL
1
verify_fibair true MulV MUL
3,131
verify_fibair true MulVI MUL
2,604
verify_fibair true Poseidon2CompressBabyBear COMP_POS2
2,000
verify_fibair true Poseidon2PermuteBabyBear PERM_POS2 (+7 [+1.1%])
620
verify_fibair true StoreE STOREW (+4 [+0.0%])
32,016
verify_fibair true StoreE STOREW2
4,816
verify_fibair true StoreF STOREW
6,484
verify_fibair true StoreF STOREW2 (+4 [+0.1%])
3,882
verify_fibair true StoreHintWord ADD (-1 [-0.0%])
19,707
verify_fibair true StoreHintWord SHINTW (-2 [-0.0%])
26,869
verify_fibair true StoreV STOREW
1,462
verify_fibair true StoreV STOREW2
11,093
verify_fibair true SubE FE4SUB
1,202
verify_fibair true SubEF LOADW
915
verify_fibair true SubEF SUB
305
verify_fibair true SubEI ADD
8
verify_fibair true SubV SUB
3,101
verify_fibair true SubVI SUB
3,660
verify_fibair true SubVIN SUB
400
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
45,200
verify_fibair AccessAdapter<2> true AddE FE4ADD
24,882
verify_fibair AccessAdapter<4> true AddE FE4ADD
14,703
verify_fibair Boundary true AddE FE4ADD
792
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI LOADW
5,248
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
15,744
verify_fibair AccessAdapter<2> true AddEFFI STOREW
132
verify_fibair Boundary true AddEFFI STOREW
528
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddEI ADD
169,920
verify_fibair AccessAdapter<2> true AddEI ADD (+132 [+0.5%])
24,552
verify_fibair AccessAdapter<4> true AddEI ADD (+78 [+0.5%])
14,508
verify_fibair Boundary true AddEI ADD
440
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddFI ADD (+1,560 [+1.9%])
84,690
verify_fibair Boundary true AddFI ADD
231
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddV ADD
54,450
verify_fibair Boundary true AddV ADD
33
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddVI ADD (+6,120 [+0.6%])
1,070,910
verify_fibair Boundary true AddVI ADD (-33 [-0.1%])
35,453
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc ADD (-60 [-0.0%])
390,210
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true Alloc LOADW (-82 [-0.0%])
533,287
verify_fibair Boundary true Alloc LOADW (-33 [-1.8%])
1,760
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc MUL (-30 [-0.0%])
269,280
verify_fibair AccessAdapter<2> true Alloc MUL (+11 [+50.0%])
33
verify_fibair AccessAdapter<4> true Alloc MUL (+13 [+50.0%])
39
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqE BNE
9,292
verify_fibair AccessAdapter<2> true AssertEqE BNE
2,222
verify_fibair AccessAdapter<4> true AssertEqE BNE
1,313
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqEI BNE
92
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqF BNE
112,723
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqV BNE
81,420
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
2,400
verify_fibair PhantomAir true CT-exp-reverse-bits-len PHANTOM
2,400
verify_fibair PhantomAir true CT-poseidon2-hash PHANTOM
2,400
verify_fibair PhantomAir true CT-poseidon2-hash-ext PHANTOM
4,800
verify_fibair PhantomAir true CT-poseidon2-hash-setup PHANTOM
7,200
verify_fibair PhantomAir true CT-single-mat-reduced-opening PHANTOM
3,600
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
2,400
verify_fibair PhantomAir true CT-verify-batch-ext PHANTOM
4,800
verify_fibair PhantomAir true CT-verify-batch-reduce-fast PHANTOM
7,200
verify_fibair PhantomAir true CT-verify-batch-reduce-fast-setup PHANTOM
7,200
verify_fibair PhantomAir true CT-verify-query PHANTOM
1,200
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivE BBE4DIV
28,080
verify_fibair AccessAdapter<2> true DivE BBE4DIV
6,710
verify_fibair AccessAdapter<4> true DivE BBE4DIV
3,965
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 (-2,910 [-0.3%])
1,016,460
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true For BNE (-2,254 [-0.2%])
987,873
verify_fibair <JalNativeAdapterAir,JalCoreAir> true For JAL (-10 [-0.0%])
90,690
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For LOADW
28,700
verify_fibair Boundary true For LOADW
1,100
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For STOREW (-41 [-0.0%])
343,129
verify_fibair Boundary true For STOREW (-11 [-2.3%])
462
verify_fibair AccessAdapter<2> true FriMatOpening FRI_FOLD
4,576
verify_fibair AccessAdapter<4> true FriMatOpening FRI_FOLD
2,704
verify_fibair FriMatOpeningAir true FriMatOpening FRI_FOLD
51,200
verify_fibair PhantomAir true HintBitsF PHANTOM
606
verify_fibair PhantomAir true HintInputVec PHANTOM (-6 [-0.0%])
24,186
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEq BNE (+115 [+0.7%])
16,721
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEqI BNE (+92 [+0.0%])
259,739
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfEqI JAL (+260 [+1.4%])
19,390
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNe BEQ
48,967
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfNe JAL (-50 [-71.4%])
20
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNeI BEQ
13,869
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmE STOREW
82,328
verify_fibair AccessAdapter<2> true ImmE STOREW
2,200
verify_fibair AccessAdapter<4> true ImmE STOREW
1,300
verify_fibair Boundary true ImmE STOREW
44
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmF STOREW
287,164
verify_fibair Boundary true ImmF STOREW
2,134
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmV STOREW (+779 [+0.1%])
523,488
verify_fibair Boundary true ImmV STOREW
37,312
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW
198,276
verify_fibair AccessAdapter<2> true LoadE LOADW
17,864
verify_fibair AccessAdapter<4> true LoadE LOADW
10,556
verify_fibair Boundary true LoadE LOADW
220
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW2
442,800
verify_fibair AccessAdapter<2> true LoadE LOADW2
28,644
verify_fibair AccessAdapter<4> true LoadE LOADW2
16,926
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW
543,332
verify_fibair AccessAdapter<2> true LoadF LOADW
26,400
verify_fibair AccessAdapter<4> true LoadF LOADW
15,600
verify_fibair AccessAdapter<8> true LoadF LOADW
10,200
verify_fibair Boundary true LoadF LOADW
341
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW2 (+164 [+0.2%])
92,168
verify_fibair AccessAdapter<2> true LoadF LOADW2
715
verify_fibair AccessAdapter<4> true LoadF LOADW2
429
verify_fibair AccessAdapter<8> true LoadF LOADW2
323
verify_fibair Boundary true LoadF LOADW2
1,221
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW (-82 [-0.0%])
360,718
verify_fibair Boundary true LoadV LOADW (-11 [-0.0%])
34,870
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW2 (+16,400 [+2.1%])
813,891
verify_fibair Boundary true LoadV LOADW2 (+22 [+2.4%])
957
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulE BBE4MUL
72,720
verify_fibair AccessAdapter<2> true MulE BBE4MUL (+132 [+0.5%])
29,084
verify_fibair AccessAdapter<4> true MulE BBE4MUL (+78 [+0.5%])
17,186
verify_fibair Boundary true MulE BBE4MUL
572
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulEF MUL
48,240
verify_fibair AccessAdapter<2> true MulEF MUL
8,822
verify_fibair AccessAdapter<4> true MulEF MUL
5,213
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 (+44 [+6.9%])
682
verify_fibair AccessAdapter<4> true MulEI STOREW (+52 [+15.4%])
390
verify_fibair Boundary true MulEI STOREW
33
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulF MUL
66,120
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
93,930
verify_fibair Boundary true MulV MUL (+11 [+0.0%])
34,419
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulVI MUL
78,120
verify_fibair Boundary true MulVI MUL (-11 [-25.0%])
33
verify_fibair AccessAdapter<2> true Poseidon2CompressBabyBear COMP_POS2
88,000
verify_fibair AccessAdapter<4> true Poseidon2CompressBabyBear COMP_POS2
52,000
verify_fibair AccessAdapter<8> true Poseidon2CompressBabyBear COMP_POS2
34,000
verify_fibair Poseidon2VmAir true Poseidon2CompressBabyBear COMP_POS2
836,000
verify_fibair AccessAdapter<2> true Poseidon2PermuteBabyBear PERM_POS2 (-99 [-0.2%])
53,702
verify_fibair AccessAdapter<4> true Poseidon2PermuteBabyBear PERM_POS2 (-65 [-0.2%])
31,733
verify_fibair AccessAdapter<8> true Poseidon2PermuteBabyBear PERM_POS2 (-85 [-0.4%])
20,757
verify_fibair Poseidon2VmAir true Poseidon2PermuteBabyBear PERM_POS2
259,160
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW (+164 [+0.0%])
1,312,656
verify_fibair AccessAdapter<2> true StoreE STOREW
8,800
verify_fibair AccessAdapter<4> true StoreE STOREW
5,200
verify_fibair Boundary true StoreE STOREW (+44 [+0.0%])
352,176
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW2
197,456
verify_fibair AccessAdapter<2> true StoreE STOREW2
8,800
verify_fibair AccessAdapter<4> true StoreE STOREW2
5,200
verify_fibair Boundary true StoreE STOREW2
17,776
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW
265,844
verify_fibair Boundary true StoreF STOREW
71,324
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW2 (+164 [+0.1%])
159,162
verify_fibair AccessAdapter<2> true StoreF STOREW2 (-99 [-42.9%])
132
verify_fibair AccessAdapter<4> true StoreF STOREW2 (-65 [-45.5%])
78
verify_fibair AccessAdapter<8> true StoreF STOREW2 (-85 [-83.3%])
17
verify_fibair Boundary true StoreF STOREW2
35,486
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true StoreHintWord ADD (-30 [-0.0%])
591,210
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreHintWord SHINTW (-82 [-0.0%])
1,101,629
verify_fibair Boundary true StoreHintWord SHINTW (-22 [-0.0%])
295,559
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW
59,942
verify_fibair Boundary true StoreV STOREW
16,082
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW2
454,813
verify_fibair Boundary true StoreV STOREW2
93,258
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true SubE FE4SUB
48,080
verify_fibair AccessAdapter<2> true SubE FE4SUB
44,176
verify_fibair AccessAdapter<4> true SubE FE4SUB
26,104
verify_fibair Boundary true SubE FE4SUB
220
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true SubEF LOADW
37,515
verify_fibair AccessAdapter<2> true SubEF LOADW
3,333
verify_fibair Boundary true SubEF LOADW
99
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEF SUB
9,150
verify_fibair AccessAdapter<2> true SubEF SUB
3,333
verify_fibair AccessAdapter<4> true SubEF SUB
3,939
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
93,030
verify_fibair Boundary true SubV SUB
44
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVI SUB
109,800
verify_fibair Boundary true SubVI SUB
35,607
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVIN SUB
12,000
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>
11
5
4
verify_fibair AccessAdapterAir<4>
11
5
4
verify_fibair AccessAdapterAir<8>
11
5
4
verify_fibair AccessAdapterAir<16>
11
5
4
verify_fibair AccessAdapterAir<32>
11
5
4
verify_fibair AccessAdapterAir<64>
11
5
4
verify_fibair PhantomAir
4
3
4
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
30
19
8
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
21
11
4
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
6
7
8
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir>
22
15
8
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
22
15
8
verify_fibair FriMatOpeningAir
53
35
4
verify_fibair Poseidon2VmAir
374
32
8
verify_fibair VariableRangeCheckerAir
4
1
1
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms verify_program_compile_ms
verify_fibair (+4.0 [+9.8%])
45.0
 (-1.0 [-0.1%])
689.0
 (-1.0 [-0.2%])
596.0
 (+6.0 [+9.4%])
70.0
1
 (+22,987 [+0.1%])
17,000,289
 (+516 [+0.1%])
427,559
 (-1,669.0 [-26.7%])
4,581.0
 (+1.0 [+2.3%])
44.0
group air_name segment cells main_cols perm_cols prep_cols rows
verify_fibair ProgramAir 0
1,179,648
10
8
65,536
verify_fibair VmConnectorAir 0
24
4
8
1
2
verify_fibair VolatileBoundaryAir 0
2,490,368
11
8
131,072
verify_fibair AccessAdapterAir<2> 0
1,507,328
11
12
65,536
verify_fibair AccessAdapterAir<4> 0
819,200
13
12
32,768
verify_fibair AccessAdapterAir<8> 0
237,568
17
12
8,192
verify_fibair PhantomAir 0
229,376
6
8
16,384
verify_fibair VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1> 0
15,990,784
41
20
262,144
verify_fibair VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
5,636,096
23
20
131,072
verify_fibair VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
360,448
10
12
16,384
verify_fibair VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
12,058,624
30
16
262,144
verify_fibair VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
458,752
40
16
8,192
verify_fibair FriMatOpeningAir 0
118,784
64
52
1,024
verify_fibair Poseidon2VmAir 0
1,826,816
418
28
4,096
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 (-1,668.0 [-30.0%])
3,892.0
44,093,464
Flamegraphs




Commit: 609b056
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 6, 2024

group total_cells_used total_cycles total_proof_time_ms
revm_contract_deployment
76,374,302
1,879,268
 (-3,344.0 [-23.0%])
11,222.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
revm_contract_deployment true (+457.0 [+0.9%])
48,836.0
76,374,302
1,879,268
group chip_name collect_metrics rows_used
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true
860,556
revm_contract_deployment <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true
14,117
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true
264,859
revm_contract_deployment <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true
48,095
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true
29,575
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true
7,275
revm_contract_deployment <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true
3,069
revm_contract_deployment <Rv32JalrAdapterAir,Rv32JalrCoreAir> true
2,096
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true
11,811
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true
633,363
revm_contract_deployment <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true
1,237
revm_contract_deployment <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true
2,117
revm_contract_deployment <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true
961
revm_contract_deployment BitwiseOperationLookupAir<8> true
65,536
revm_contract_deployment Memory AccessAdapter<8> true
11,572
revm_contract_deployment Memory Boundary true
23,144
revm_contract_deployment Memory Merkle true
24,454
revm_contract_deployment PhantomAir true
137
revm_contract_deployment ProgramChip true
256,778
revm_contract_deployment RangeTupleCheckerAir<2> true
524,288
group collect_metrics dsl_ir opcode frequency
revm_contract_deployment true ADD
151,689
revm_contract_deployment true AND
116,881
revm_contract_deployment true AUIPC
961
revm_contract_deployment true BEQ
13,722
revm_contract_deployment true BGE
10,842
revm_contract_deployment true BGEU
11,680
revm_contract_deployment true BLT
151
revm_contract_deployment true BLTU
6,902
revm_contract_deployment true BNE
34,373
revm_contract_deployment true HINT_STOREW
3,069
revm_contract_deployment true JAL
3,297
revm_contract_deployment true JALR
2,096
revm_contract_deployment true LOADB
11,806
revm_contract_deployment true LOADBU
44,462
revm_contract_deployment true LOADH
5
revm_contract_deployment true LOADHU
20
revm_contract_deployment true LOADW
316,638
revm_contract_deployment true LUI
3,978
revm_contract_deployment true MUL
2,117
revm_contract_deployment true MULH
3
revm_contract_deployment true MULHU
1,234
revm_contract_deployment true OR
133,808
revm_contract_deployment true PHANTOM
137
revm_contract_deployment true SLL
133,736
revm_contract_deployment true SLT
2
revm_contract_deployment true SLTU
14,115
revm_contract_deployment true SRA
493
revm_contract_deployment true SRL
130,630
revm_contract_deployment true STOREB
13,828
revm_contract_deployment true STOREH
14
revm_contract_deployment true STOREW
258,401
revm_contract_deployment true SUB
2,246
revm_contract_deployment true XOR
455,932
group air_name collect_metrics dsl_ir opcode cells_used
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true ADD
5,460,804
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true AND
4,207,716
revm_contract_deployment <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true AUIPC
20,181
revm_contract_deployment AccessAdapter<8> true AUIPC
34
revm_contract_deployment Boundary true AUIPC
80
revm_contract_deployment Merkle true AUIPC
3,456
revm_contract_deployment <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BEQ
356,772
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGE
346,944
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BGEU
373,760
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLT
4,832
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true BLTU
220,864
revm_contract_deployment <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true BNE
893,698
revm_contract_deployment <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true HINT_STOREW
79,794
revm_contract_deployment AccessAdapter<8> true HINT_STOREW
26,095
revm_contract_deployment Boundary true HINT_STOREW
61,400
revm_contract_deployment Merkle true HINT_STOREW
98,688
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true JAL
59,346
revm_contract_deployment <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR
58,688
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADB
413,210
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU
1,778,480
revm_contract_deployment AccessAdapter<8> true LOADBU
323
revm_contract_deployment Boundary true LOADBU
760
revm_contract_deployment Merkle true LOADBU
4,544
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADH
175
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADHU
800
revm_contract_deployment AccessAdapter<8> true LOADHU
85
revm_contract_deployment Boundary true LOADHU
200
revm_contract_deployment Merkle true LOADHU
512
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADW
12,665,520
revm_contract_deployment AccessAdapter<8> true LOADW
21,182
revm_contract_deployment Boundary true LOADW
49,840
revm_contract_deployment Merkle true LOADW
92,992
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true LUI
71,604
revm_contract_deployment AccessAdapter<8> true LUI
34
revm_contract_deployment Boundary true LUI
80
revm_contract_deployment <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true MUL
65,627
revm_contract_deployment AccessAdapter<8> true MUL
51
revm_contract_deployment Boundary true MUL
120
revm_contract_deployment Merkle true MUL
64
revm_contract_deployment <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true MULH
117
revm_contract_deployment <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true MULHU
48,126
revm_contract_deployment AccessAdapter<8> true MULHU
17
revm_contract_deployment Boundary true MULHU
40
revm_contract_deployment Merkle true MULHU
64
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true OR
4,817,088
revm_contract_deployment PhantomAir true PHANTOM
822
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SLL
7,088,008
revm_contract_deployment <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLT
74
revm_contract_deployment <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true SLTU
522,255
revm_contract_deployment AccessAdapter<8> true SLTU
34
revm_contract_deployment Boundary true SLTU
80
revm_contract_deployment Merkle true SLTU
64
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRA
26,129
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SRL
6,923,390
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREB
553,120
revm_contract_deployment AccessAdapter<8> true STOREB
2,023
revm_contract_deployment Boundary true STOREB
4,760
revm_contract_deployment Merkle true STOREB
19,136
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREH
560
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW
10,336,040
revm_contract_deployment AccessAdapter<8> true STOREW
146,846
revm_contract_deployment Boundary true STOREW
345,520
revm_contract_deployment Merkle true STOREW
562,944
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB
80,856
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR
16,413,552
group air_name constraints interactions quotient_deg
revm_contract_deployment ProgramAir
4
1
1
revm_contract_deployment VmConnectorAir
9
3
2
revm_contract_deployment PersistentBoundaryAir<8>
6
3
2
revm_contract_deployment MemoryMerkleAir<8>
40
4
2
revm_contract_deployment AccessAdapterAir<2>
14
5
2
revm_contract_deployment AccessAdapterAir<4>
14
5
2
revm_contract_deployment AccessAdapterAir<8>
14
5
2
revm_contract_deployment AccessAdapterAir<16>
14
5
2
revm_contract_deployment AccessAdapterAir<32>
14
5
2
revm_contract_deployment AccessAdapterAir<64>
14
5
2
revm_contract_deployment PhantomAir
5
3
2
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8>
43
19
2
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8>
39
17
2
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8>
90
23
2
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4>
38
17
2
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8>
33
18
2
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4>
25
11
2
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8>
41
13
2
revm_contract_deployment VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir>
22
10
2
revm_contract_deployment VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir>
20
16
2
revm_contract_deployment VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir>
15
11
2
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8>
26
19
2
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8>
38
24
2
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8>
88
25
2
revm_contract_deployment VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir>
17
15
2
revm_contract_deployment Poseidon2VmAir
525
32
2
revm_contract_deployment BitwiseOperationLookupAir<8>
4
2
2
revm_contract_deployment RangeTupleCheckerAir<2>
4
1
1
revm_contract_deployment VariableRangeCheckerAir
4
1
1
group commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
revm_contract_deployment (-8.0 [-9.5%])
76.0
 (-23.0 [-0.5%])
4,666.0
 (-16.0 [-0.4%])
3,876.0
 (-6.0 [-5.3%])
108.0
1
76,374,302
1,879,268
 (-3,344.0 [-23.0%])
11,222.0
group air_name segment cells main_cols perm_cols prep_cols rows
revm_contract_deployment ProgramAir 0
4,718,592
10
8
262,144
revm_contract_deployment VmConnectorAir 0
32
4
12
1
2
revm_contract_deployment PersistentBoundaryAir<8> 0
1,048,576
20
12
32,768
revm_contract_deployment MemoryMerkleAir<8> 0
1,703,936
32
20
32,768
revm_contract_deployment AccessAdapterAir<8> 0
1,343,488
17
24
32,768
revm_contract_deployment PhantomAir 0
4,608
6
12
256
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
121,634,816
36
80
1,048,576
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
1,261,568
37
40
16,384
revm_contract_deployment VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
55,050,240
53
52
524,288
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
117,440,512
40
72
1,048,576
revm_contract_deployment VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0
1,818,624
35
76
16,384
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
4,849,664
26
48
65,536
revm_contract_deployment VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
2,883,584
32
56
32,768
revm_contract_deployment VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
507,904
18
44
8,192
revm_contract_deployment VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
262,144
28
36
4,096
revm_contract_deployment VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
50,176
21
28
1,024
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0
454,656
31
80
4,096
revm_contract_deployment VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0
284,672
39
100
2,048
revm_contract_deployment VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
253,952
26
36
4,096
revm_contract_deployment Poseidon2VmAir 0
41,091,072
559
68
65,536
revm_contract_deployment BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
revm_contract_deployment RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
revm_contract_deployment VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
revm_contract_deployment 0 (-3,321.0 [-33.6%])
6,556.0
363,216,416
Flamegraphs




Commit: 609b056
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 6, 2024

group total_cells_used total_cycles total_proof_time_ms
fibonacci_program
51,311,800
1,500,219
 (-2,651.0 [-31.5%])
5,769.0
leaf_aggregation (+14,672 [+0.0%])
308,262,615
 (-38 [-0.0%])
7,885,058
 (-32,815.0 [-31.8%])
70,412.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
fibonacci_program true (+618.0 [+1.7%])
37,626.0
51,311,800
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
28
fibonacci_program Memory Boundary true
56
fibonacci_program Memory Merkle true
308
fibonacci_program PhantomAir true
3
fibonacci_program ProgramChip true
6,525
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
34
fibonacci_program Boundary true HINT_STOREW
80
fibonacci_program Merkle true HINT_STOREW
128
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 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 commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
fibonacci_program
3.0
 (-69.0 [-3.9%])
1,719.0
 (-63.0 [-4.1%])
1,472.0
 (-1.0 [-0.8%])
125.0
1
51,311,800
1,500,219
 (-2,651.0 [-31.5%])
5,769.0
leaf_aggregation (+14,672 [+0.0%])
308,262,615
 (-38 [-0.0%])
7,885,058
 (-32,815.0 [-31.8%])
70,412.0
group air_name segment cells constraints interactions main_cols perm_cols prep_cols quotient_deg 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
leaf_aggregation ProgramAir 0
2,359,296
4
1
10
8
1
131,072
leaf_aggregation VmConnectorAir 0
24
8
3
4
8
1
4
2
leaf_aggregation VolatileBoundaryAir 0
19,922,944
16
4
11
8
4
1,048,576
leaf_aggregation AccessAdapterAir<2> 0
24,117,248
11
5
11
12
4
1,048,576
leaf_aggregation AccessAdapterAir<4> 0
13,107,200
11
5
13
12
4
524,288
leaf_aggregation AccessAdapterAir<8> 0
7,602,176
11
5
17
12
4
262,144
leaf_aggregation AccessAdapterAir<16> 0
11
5
4
leaf_aggregation AccessAdapterAir<32> 0
11
5
4
leaf_aggregation AccessAdapterAir<64> 0
11
5
4
leaf_aggregation PhantomAir 0
7,340,032
4
3
6
8
4
524,288
leaf_aggregation VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1> 0
255,852,544
30
19
41
20
8
4,194,304
leaf_aggregation VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
90,177,536
21
11
23
20
4
2,097,152
leaf_aggregation VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
5,767,168
6
7
10
12
8
262,144
leaf_aggregation VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
192,937,984
22
15
30
16
8
4,194,304
leaf_aggregation VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
3,670,016
22
15
40
16
8
65,536
leaf_aggregation FriMatOpeningAir 0
60,817,408
53
35
64
52
4
524,288
leaf_aggregation Poseidon2VmAir 0
29,229,056
374
32
418
28
8
65,536
leaf_aggregation VariableRangeCheckerAir 0
1,179,648
4
1
1
8
2
1
131,072
group segment commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments stark_prove_excluding_trace_time_ms total_cells verify_program_compile_ms
fibonacci_program 0 (-2,582.0 [-38.9%])
4,050.0
196,595,668
leaf_aggregation 0 (-3.0 [-4.2%])
69.0
 (-168.0 [-1.2%])
13,875.0
 (-159.0 [-1.3%])
12,297.0
 (+8.0 [+13.6%])
67.0
1
 (-32,647.0 [-36.6%])
56,537.0
714,080,280
 (+4.0 [+1.5%])
275.0
group collect_metrics segment execute_time_ms total_cells_used total_cycles
leaf_aggregation true 0 (+1,213.0 [+1.0%])
123,353.0
 (+14,672 [+0.0%])
308,262,615
 (-38 [-0.0%])
7,885,058
group chip_name collect_metrics segment rows_used
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true 0 (-72 [-0.0%])
1,527,150
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true 0 (-465 [-0.3%])
166,333
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true 0 (+45 [+0.0%])
3,003,013
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true 0 (+440 [+0.0%])
2,554,932
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true 0
61,127
leaf_aggregation FriMatOpeningAir true 0
344,600
leaf_aggregation Memory AccessAdapter<2> true 0 (-222 [-0.0%])
618,435
leaf_aggregation Memory AccessAdapter<4> true 0 (-112 [-0.0%])
309,818
leaf_aggregation Memory AccessAdapter<8> true 0 (-42 [-0.0%])
89,109
leaf_aggregation Memory Boundary true 0 (-6 [-0.0%])
904,491
leaf_aggregation PhantomAir true 0 (-1 [-0.0%])
496,149
leaf_aggregation Poseidon2VmAir true 0
63,654
leaf_aggregation ProgramChip true 0 (+2 [+0.0%])
122,734
group collect_metrics dsl_ir opcode segment frequency
leaf_aggregation true JAL 0
1
leaf_aggregation true STOREW 0
2
leaf_aggregation true AddE FE4ADD 0
22,785
leaf_aggregation true AddEFFI LOADW 0
234
leaf_aggregation true AddEFFI STOREW 0
702
leaf_aggregation true AddEFI ADD 0
312
leaf_aggregation true AddEI ADD 0
44,372
leaf_aggregation true AddFI ADD 0 (-58 [-0.1%])
98,061
leaf_aggregation true AddV ADD 0
32,526
leaf_aggregation true AddVI ADD 0 (+204 [+0.0%])
801,735
leaf_aggregation true Alloc ADD 0 (-2 [-0.0%])
129,916
leaf_aggregation true Alloc LOADW 0 (-2 [-0.0%])
129,916
leaf_aggregation true Alloc MUL 0 (-1 [-0.0%])
79,082
leaf_aggregation true AssertEqE BNE 0
480
leaf_aggregation true AssertEqEI BNE 0
4
leaf_aggregation true AssertEqF BNE 0
22,501
leaf_aggregation true AssertEqV BNE 0
5,364
leaf_aggregation true AssertEqVI BNE 0
237
leaf_aggregation true CT-VerifierProgram PHANTOM 0
2
leaf_aggregation true CT-compute-reduced-opening PHANTOM 0
1,600
leaf_aggregation true CT-exp-reverse-bits-len PHANTOM 0
16,400
leaf_aggregation true CT-poseidon2-hash PHANTOM 0
8,200
leaf_aggregation true CT-poseidon2-hash-ext PHANTOM 0
4,000
leaf_aggregation true CT-poseidon2-hash-setup PHANTOM 0
359,400
leaf_aggregation true CT-single-mat-reduced-opening PHANTOM 0
25,400
leaf_aggregation true CT-stage-c-build-rounds PHANTOM 0
2
leaf_aggregation true CT-stage-d-1-verify-shape-and-sample-challenges PHANTOM 0
2
leaf_aggregation true CT-stage-d-2-fri-fold PHANTOM 0
2
leaf_aggregation true CT-stage-d-3-verify-challenges PHANTOM 0
2
leaf_aggregation true CT-stage-d-verify-pcs PHANTOM 0
2
leaf_aggregation true CT-stage-e-verify-constraints PHANTOM 0
2
leaf_aggregation true CT-verify-batch PHANTOM 0
1,600
leaf_aggregation true CT-verify-batch-ext PHANTOM 0
4,000
leaf_aggregation true CT-verify-batch-reduce-fast PHANTOM 0
12,200
leaf_aggregation true CT-verify-batch-reduce-fast-setup PHANTOM 0
12,200
leaf_aggregation true CT-verify-query PHANTOM 0
200
leaf_aggregation true DivE BBE4DIV 0
14,740
leaf_aggregation true DivEIN BBE4DIV 0
54
leaf_aggregation true DivEIN STOREW 0
216
leaf_aggregation true DivFIN DIV 0
128
leaf_aggregation true For ADD 0 (-97 [-0.0%])
959,686
leaf_aggregation true For BNE 0 (-98 [-0.0%])
1,060,280
leaf_aggregation true For JAL 0 (-1 [-0.0%])
100,594
leaf_aggregation true For LOADW 0
6,200
leaf_aggregation true For STOREW 0 (-1 [-0.0%])
94,394
leaf_aggregation true FriMatOpening FRI_FOLD 0
12,700
leaf_aggregation true HintBitsF PHANTOM 0
101
leaf_aggregation true HintInputVec PHANTOM 0 (-1 [-0.0%])
50,834
leaf_aggregation true IfEq BNE 0 (+22 [+0.0%])
62,799
leaf_aggregation true IfEqI BNE 0 (+4 [+0.0%])
334,683
leaf_aggregation true IfEqI JAL 0 (-442 [-0.7%])
65,736
leaf_aggregation true IfNe BEQ 0
34,601
leaf_aggregation true IfNe JAL 0 (-22 [-91.7%])
2
leaf_aggregation true IfNeI BEQ 0
6,201
leaf_aggregation true ImmE STOREW 0
4,916
leaf_aggregation true ImmF STOREW 0
98,274
leaf_aggregation true ImmV STOREW 0 (+35 [+0.0%])
74,746
leaf_aggregation true LoadE LOADW 0
37,956
leaf_aggregation true LoadE LOADW2 0
156,480
leaf_aggregation true LoadF LOADW 0
63,045
leaf_aggregation true LoadF LOADW2 0 (+4 [+0.0%])
223,027
leaf_aggregation true LoadV LOADW 0 (-2 [-0.0%])
60,543
leaf_aggregation true LoadV LOADW2 0 (+400 [+0.1%])
457,538
leaf_aggregation true MulE BBE4MUL 0
14,865
leaf_aggregation true MulEF MUL 0
8,432
leaf_aggregation true MulEFI MUL 0
520
leaf_aggregation true MulEI BBE4MUL 0
1,646
leaf_aggregation true MulEI STOREW 0
6,584
leaf_aggregation true MulF MUL 0
184,182
leaf_aggregation true MulFI MUL 0
20
leaf_aggregation true MulV MUL 0
3,131
leaf_aggregation true MulVI MUL 0
44,748
leaf_aggregation true NegE MUL 0
204
leaf_aggregation true Poseidon2CompressBabyBear COMP_POS2 0
37,700
leaf_aggregation true Poseidon2PermuteBabyBear PERM_POS2 0 (+15 [+0.1%])
25,954
leaf_aggregation true StoreE STOREW 0 (+4 [+0.0%])
57,856
leaf_aggregation true StoreE STOREW2 0
81,680
leaf_aggregation true StoreF STOREW 0
81,726
leaf_aggregation true StoreF STOREW2 0 (+4 [+0.0%])
196,353
leaf_aggregation true StoreHintWord ADD 0 (-1 [-0.0%])
483,041
leaf_aggregation true StoreHintWord SHINTW 0 (-2 [-0.0%])
537,006
leaf_aggregation true StoreV STOREW 0
6,614
leaf_aggregation true StoreV STOREW2 0
140,644
leaf_aggregation true SubE FE4SUB 0
7,037
leaf_aggregation true SubEF LOADW 0
38,280
leaf_aggregation true SubEF SUB 0
12,760
leaf_aggregation true SubEFI ADD 0
356
leaf_aggregation true SubEI ADD 0
432
leaf_aggregation true SubV SUB 0
112,020
leaf_aggregation true SubVI SUB 0
5,349
leaf_aggregation true SubVIN SUB 0
2,000
group air_name collect_metrics dsl_ir opcode segment cells_used
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true JAL 0
10
leaf_aggregation Boundary true JAL 0
11
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true STOREW 0
82
leaf_aggregation Boundary true STOREW 0
22
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true AddE FE4ADD 0
911,400
leaf_aggregation AccessAdapter<2> true AddE FE4ADD 0
396,946
leaf_aggregation AccessAdapter<4> true AddE FE4ADD 0
234,559
leaf_aggregation Boundary true AddE FE4ADD 0
114,576
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI LOADW 0
9,594
leaf_aggregation AccessAdapter<2> true AddEFFI LOADW 0
1,100
leaf_aggregation AccessAdapter<4> true AddEFFI LOADW 0
1,300
leaf_aggregation Boundary true AddEFFI LOADW 0
308
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI STOREW 0
28,782
leaf_aggregation AccessAdapter<2> true AddEFFI STOREW 0
1,100
leaf_aggregation Boundary true AddEFFI STOREW 0
924
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddEFI ADD 0
9,360
leaf_aggregation AccessAdapter<2> true AddEFI ADD 0
1,452
leaf_aggregation AccessAdapter<4> true AddEFI ADD 0
858
leaf_aggregation Boundary true AddEFI ADD 0
1,364
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddEI ADD 0
1,331,160
leaf_aggregation AccessAdapter<2> true AddEI ADD 0 (-792 [-0.3%])
249,370
leaf_aggregation AccessAdapter<4> true AddEI ADD 0 (-468 [-0.3%])
147,355
leaf_aggregation Boundary true AddEI ADD 0
135,564
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddFI ADD 0 (-1,740 [-0.1%])
2,941,830
leaf_aggregation Boundary true AddFI ADD 0
253
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddV ADD 0
975,780
leaf_aggregation Boundary true AddV ADD 0
22
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddVI ADD 0 (+6,120 [+0.0%])
24,052,050
leaf_aggregation Boundary true AddVI ADD 0 (-22 [-0.1%])
35,662
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc ADD 0 (-60 [-0.0%])
3,897,480
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true Alloc LOADW 0 (-82 [-0.0%])
5,326,556
leaf_aggregation Boundary true Alloc LOADW 0 (-44 [-2.4%])
1,771
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc MUL 0 (-30 [-0.0%])
2,372,460
leaf_aggregation AccessAdapter<2> true Alloc MUL 0 (+11 [+50.0%])
33
leaf_aggregation AccessAdapter<4> true Alloc MUL 0 (+13 [+50.0%])
39
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqE BNE 0
11,040
leaf_aggregation AccessAdapter<2> true AssertEqE BNE 0
2,640
leaf_aggregation AccessAdapter<4> true AssertEqE BNE 0
1,560
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqEI BNE 0
92
leaf_aggregation AccessAdapter<2> true AssertEqEI BNE 0
22
leaf_aggregation AccessAdapter<4> true AssertEqEI BNE 0
13
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqF BNE 0
517,523
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqV BNE 0
123,372
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqVI BNE 0
5,451
leaf_aggregation PhantomAir true CT-VerifierProgram PHANTOM 0
12
leaf_aggregation PhantomAir true CT-compute-reduced-opening PHANTOM 0
9,600
leaf_aggregation PhantomAir true CT-exp-reverse-bits-len PHANTOM 0
98,400
leaf_aggregation PhantomAir true CT-poseidon2-hash PHANTOM 0
49,200
leaf_aggregation PhantomAir true CT-poseidon2-hash-ext PHANTOM 0
24,000
leaf_aggregation PhantomAir true CT-poseidon2-hash-setup PHANTOM 0
2,156,400
leaf_aggregation PhantomAir true CT-single-mat-reduced-opening PHANTOM 0
152,400
leaf_aggregation PhantomAir true CT-stage-c-build-rounds PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-1-verify-shape-and-sample-challenges PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-2-fri-fold PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-3-verify-challenges PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-verify-pcs PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-e-verify-constraints PHANTOM 0
12
leaf_aggregation PhantomAir true CT-verify-batch PHANTOM 0
9,600
leaf_aggregation PhantomAir true CT-verify-batch-ext PHANTOM 0
24,000
leaf_aggregation PhantomAir true CT-verify-batch-reduce-fast PHANTOM 0
73,200
leaf_aggregation PhantomAir true CT-verify-batch-reduce-fast-setup PHANTOM 0
73,200
leaf_aggregation PhantomAir true CT-verify-query PHANTOM 0
1,200
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivE BBE4DIV 0
589,600
leaf_aggregation AccessAdapter<2> true DivE BBE4DIV 0
280,742
leaf_aggregation AccessAdapter<4> true DivE BBE4DIV 0
165,893
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivEIN BBE4DIV 0
2,160
leaf_aggregation AccessAdapter<2> true DivEIN BBE4DIV 0
2,288
leaf_aggregation AccessAdapter<4> true DivEIN BBE4DIV 0
1,352
leaf_aggregation Boundary true DivEIN BBE4DIV 0
528
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true DivEIN STOREW 0
8,856
leaf_aggregation AccessAdapter<2> true DivEIN STOREW 0
781
leaf_aggregation AccessAdapter<4> true DivEIN STOREW 0
221
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true DivFIN DIV 0
3,840
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true For ADD 0 (-2,910 [-0.0%])
28,790,580
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true For BNE 0 (-2,254 [-0.0%])
24,386,440
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true For JAL 0 (-10 [-0.0%])
1,005,940
leaf_aggregation AccessAdapter<2> true For JAL 0
407
leaf_aggregation AccessAdapter<4> true For JAL 0
481
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For LOADW 0
254,200
leaf_aggregation Boundary true For LOADW 0
1,100
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For STOREW 0 (-41 [-0.0%])
3,870,154
leaf_aggregation Boundary true For STOREW 0 (-33 [-4.1%])
781
leaf_aggregation AccessAdapter<2> true FriMatOpening FRI_FOLD 0
256,212
leaf_aggregation AccessAdapter<4> true FriMatOpening FRI_FOLD 0
151,398
leaf_aggregation FriMatOpeningAir true FriMatOpening FRI_FOLD 0
22,054,400
leaf_aggregation PhantomAir true HintBitsF PHANTOM 0
606
leaf_aggregation PhantomAir true HintInputVec PHANTOM 0 (-6 [-0.0%])
305,004
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEq BNE 0 (+506 [+0.0%])
1,444,377
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEqI BNE 0 (+92 [+0.0%])
7,697,709
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true IfEqI JAL 0 (-4,420 [-0.7%])
657,360
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNe BEQ 0
795,823
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true IfNe JAL 0 (-220 [-91.7%])
20
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNeI BEQ 0
142,623
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmE STOREW 0
201,556
leaf_aggregation AccessAdapter<2> true ImmE STOREW 0
9,922
leaf_aggregation AccessAdapter<4> true ImmE STOREW 0
5,863
leaf_aggregation Boundary true ImmE STOREW 0
13,376
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmF STOREW 0
4,029,234
leaf_aggregation Boundary true ImmF STOREW 0
2,211
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmV STOREW 0 (+1,435 [+0.0%])
3,064,586
leaf_aggregation Boundary true ImmV STOREW 0
37,422
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW 0
1,556,196
leaf_aggregation AccessAdapter<2> true LoadE LOADW 0
221,518
leaf_aggregation AccessAdapter<4> true LoadE LOADW 0
130,897
leaf_aggregation Boundary true LoadE LOADW 0
3,740
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW2 0
6,415,680
leaf_aggregation AccessAdapter<2> true LoadE LOADW2 0
134,244
leaf_aggregation AccessAdapter<4> true LoadE LOADW2 0
79,326
leaf_aggregation Boundary true LoadE LOADW2 0
44
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW 0
2,584,845
leaf_aggregation AccessAdapter<2> true LoadF LOADW 0
123,200
leaf_aggregation AccessAdapter<4> true LoadF LOADW 0
72,800
leaf_aggregation AccessAdapter<8> true LoadF LOADW 0
47,600
leaf_aggregation Boundary true LoadF LOADW 0
286
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW2 0 (+164 [+0.0%])
9,144,107
leaf_aggregation AccessAdapter<2> true LoadF LOADW2 0
1,111
leaf_aggregation AccessAdapter<4> true LoadF LOADW2 0
663
leaf_aggregation AccessAdapter<8> true LoadF LOADW2 0
612
leaf_aggregation Boundary true LoadF LOADW2 0
1,177
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW 0 (-82 [-0.0%])
2,482,263
leaf_aggregation Boundary true LoadV LOADW 0 (-22 [-0.1%])
34,936
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW2 0 (+16,400 [+0.1%])
18,759,058
leaf_aggregation Boundary true LoadV LOADW2 0 (+22 [+2.3%])
968
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulE BBE4MUL 0
594,600
leaf_aggregation AccessAdapter<2> true MulE BBE4MUL 0 (-792 [-0.3%])
290,488
leaf_aggregation AccessAdapter<4> true MulE BBE4MUL 0 (-468 [-0.3%])
171,652
leaf_aggregation Boundary true MulE BBE4MUL 0
135,916
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulEF MUL 0
252,960
leaf_aggregation AccessAdapter<2> true MulEF MUL 0
44,638
leaf_aggregation AccessAdapter<4> true MulEF MUL 0
26,377
leaf_aggregation Boundary true MulEF MUL 0
1,056
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulEFI MUL 0
15,600
leaf_aggregation AccessAdapter<2> true MulEFI MUL 0
2,684
leaf_aggregation AccessAdapter<4> true MulEFI MUL 0
1,586
leaf_aggregation Boundary true MulEFI MUL 0
1,364
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulEI BBE4MUL 0
65,840
leaf_aggregation AccessAdapter<2> true MulEI BBE4MUL 0
74,338
leaf_aggregation AccessAdapter<4> true MulEI BBE4MUL 0
43,927
leaf_aggregation Boundary true MulEI BBE4MUL 0
4,312
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true MulEI STOREW 0
269,944
leaf_aggregation AccessAdapter<2> true MulEI STOREW 0 (+220 [+0.6%])
36,157
leaf_aggregation AccessAdapter<4> true MulEI STOREW 0 (+260 [+1.2%])
21,346
leaf_aggregation Boundary true MulEI STOREW 0
33
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulF MUL 0
5,525,460
leaf_aggregation Boundary true MulF MUL 0
11
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulFI MUL 0
600
leaf_aggregation Boundary true MulFI MUL 0
11
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulV MUL 0
93,930
leaf_aggregation Boundary true MulV MUL 0 (+11 [+0.0%])
34,419
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulVI MUL 0
1,342,440
leaf_aggregation Boundary true MulVI MUL 0
77
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true NegE MUL 0
6,120
leaf_aggregation AccessAdapter<2> true NegE MUL 0
1,562
leaf_aggregation AccessAdapter<4> true NegE MUL 0
923
leaf_aggregation Boundary true NegE MUL 0
792
leaf_aggregation AccessAdapter<2> true Poseidon2CompressBabyBear COMP_POS2 0
1,513,600
leaf_aggregation AccessAdapter<4> true Poseidon2CompressBabyBear COMP_POS2 0
894,400
leaf_aggregation AccessAdapter<8> true Poseidon2CompressBabyBear COMP_POS2 0
584,800
leaf_aggregation Poseidon2VmAir true Poseidon2CompressBabyBear COMP_POS2 0
15,758,600
leaf_aggregation AccessAdapter<2> true Poseidon2PermuteBabyBear PERM_POS2 0 (-429 [-0.0%])
1,375,198
leaf_aggregation AccessAdapter<4> true Poseidon2PermuteBabyBear PERM_POS2 0 (-260 [-0.0%])
816,517
leaf_aggregation AccessAdapter<8> true Poseidon2PermuteBabyBear PERM_POS2 0 (-357 [-0.1%])
544,935
leaf_aggregation Poseidon2VmAir true Poseidon2PermuteBabyBear PERM_POS2 0
10,848,772
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW 0 (+164 [+0.0%])
2,372,096
leaf_aggregation AccessAdapter<2> true StoreE STOREW 0
44,044
leaf_aggregation AccessAdapter<4> true StoreE STOREW 0
26,026
leaf_aggregation Boundary true StoreE STOREW 0 (+44 [+0.0%])
636,416
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW2 0
3,348,880
leaf_aggregation AccessAdapter<2> true StoreE STOREW2 0
360,800
leaf_aggregation AccessAdapter<4> true StoreE STOREW2 0
213,200
leaf_aggregation Boundary true StoreE STOREW2 0
88,880
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW 0
3,350,766
leaf_aggregation Boundary true StoreF STOREW 0
898,986
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW2 0 (+164 [+0.0%])
8,050,473
leaf_aggregation AccessAdapter<2> true StoreF STOREW2 0 (-429 [-0.1%])
837,232
leaf_aggregation AccessAdapter<4> true StoreF STOREW2 0 (-260 [-0.1%])
498,628
leaf_aggregation AccessAdapter<8> true StoreF STOREW2 0 (-357 [-0.1%])
336,906
leaf_aggregation Boundary true StoreF STOREW2 0
179,564
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true StoreHintWord ADD 0 (-30 [-0.0%])
14,491,230
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreHintWord SHINTW 0 (-82 [-0.0%])
22,017,246
leaf_aggregation Boundary true StoreHintWord SHINTW 0 (-22 [-0.0%])
5,907,066
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW 0
271,174
leaf_aggregation Boundary true StoreV STOREW 0
72,754
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW2 0
5,766,404
leaf_aggregation Boundary true StoreV STOREW2 0
1,535,919
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true SubE FE4SUB 0
281,480
leaf_aggregation AccessAdapter<2> true SubE FE4SUB 0
253,352
leaf_aggregation AccessAdapter<4> true SubE FE4SUB 0
149,708
leaf_aggregation Boundary true SubE FE4SUB 0
27,896
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true SubEF LOADW 0
1,569,480
leaf_aggregation AccessAdapter<2> true SubEF LOADW 0
140,217
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEF SUB 0
382,800
leaf_aggregation AccessAdapter<2> true SubEF SUB 0
140,217
leaf_aggregation AccessAdapter<4> true SubEF SUB 0
165,711
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEFI ADD 0
10,680
leaf_aggregation AccessAdapter<2> true SubEFI ADD 0
1,650
leaf_aggregation AccessAdapter<4> true SubEFI ADD 0
975
leaf_aggregation Boundary true SubEFI ADD 0
220
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEI ADD 0
12,960
leaf_aggregation AccessAdapter<2> true SubEI ADD 0
3,520
leaf_aggregation AccessAdapter<4> true SubEI ADD 0
2,080
leaf_aggregation Boundary true SubEI ADD 0
1,056
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubV SUB 0
3,360,600
leaf_aggregation Boundary true SubV SUB 0
44
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVI SUB 0
160,470
leaf_aggregation Boundary true SubVI SUB 0
35,563
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVIN SUB 0
60,000
Flamegraphs








Commit: 609b056
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 6, 2024

group total_cells_used total_cycles total_proof_time_ms
regex_program (-2,400 [-0.0%])
160,097,241
4,190,884
 (-6,450.0 [-22.6%])
22,028.0
leaf_aggregation (-4,709,955 [-0.7%])
666,290,381
 (-127,042 [-0.8%])
16,359,727
 (-75,754.0 [-33.7%])
148,752.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
regex_program true (+1,129.0 [+1.0%])
109,314.0
 (-2,400 [-0.0%])
160,097,241
4,190,884
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,440
regex_program <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true
687
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true
1,961,378
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,555
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,585
regex_program Memory Boundary true
69,170
regex_program Memory Merkle true
70,480
regex_program PhantomAir true
289
regex_program ProgramChip true
89,367
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,555
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,440
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,833
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,361
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,655
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,528
regex_program Boundary true HINT_STOREW
255,360
regex_program Merkle true HINT_STOREW
408,320
regex_program <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true JAL
1,108,350
regex_program <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR
3,652,320
regex_program AccessAdapter<2> true KECCAK256
231
regex_program AccessAdapter<4> true KECCAK256
143
regex_program KeccakVmAir true KECCAK256 (-2,400 [-3.1%])
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 Merkle true LOADB
320
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU
1,091,760
regex_program AccessAdapter<8> true LOADBU
187
regex_program Boundary true LOADBU
440
regex_program Merkle true LOADBU
2,176
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,320
regex_program AccessAdapter<8> true LOADW
3,026
regex_program Boundary true LOADW
7,120
regex_program Merkle true LOADW
24,960
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
1,105
regex_program Boundary true STOREB
2,600
regex_program Merkle true STOREB
8,384
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREH
402,960
regex_program AccessAdapter<8> true STOREH
85,221
regex_program Boundary true STOREH
200,520
regex_program Merkle true STOREH
321,024
regex_program <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW
30,734,440
regex_program AccessAdapter<8> true STOREW
389,691
regex_program Boundary true STOREW
916,920
regex_program Merkle true STOREW
1,486,464
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB
1,532,988
regex_program <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR
344,304
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 (+2,084 [+83.8%])
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 commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments total_cells_used total_cycles total_proof_time_ms
regex_program (-2.0 [-6.5%])
29.0
 (-141.0 [-1.5%])
9,008.0
 (-146.0 [-2.2%])
6,511.0
 (-14.0 [-9.7%])
131.0
1
 (-2,400 [-0.0%])
160,097,241
4,190,884
 (-6,450.0 [-22.6%])
22,028.0
leaf_aggregation (-4,709,955 [-0.7%])
666,290,381
 (-127,042 [-0.8%])
16,359,727
 (-75,754.0 [-33.7%])
148,752.0
group air_name segment cells constraints interactions main_cols perm_cols prep_cols quotient_deg 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 (-3,200 [-2.2%])
142,464
 (-100 [-3.1%])
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
leaf_aggregation ProgramAir 0
9,437,184
4
1
10
8
1
524,288
leaf_aggregation VmConnectorAir 0
24
8
3
4
8
1
4
2
leaf_aggregation VolatileBoundaryAir 0
39,845,888
16
4
11
8
4
2,097,152
leaf_aggregation AccessAdapterAir<2> 0
48,234,496
11
5
11
12
4
2,097,152
leaf_aggregation AccessAdapterAir<4> 0
26,214,400
11
5
13
12
4
1,048,576
leaf_aggregation AccessAdapterAir<8> 0
15,204,352
11
5
17
12
4
524,288
leaf_aggregation AccessAdapterAir<16> 0
11
5
4
leaf_aggregation AccessAdapterAir<32> 0
11
5
4
leaf_aggregation AccessAdapterAir<64> 0
11
5
4
leaf_aggregation PhantomAir 0
29,360,128
4
3
6
8
4
2,097,152
leaf_aggregation VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1> 0
511,705,088
30
19
41
20
8
8,388,608
leaf_aggregation VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1> 0
180,355,072
21
11
23
20
4
4,194,304
leaf_aggregation VmAirWrapper<JalNativeAdapterAir, JalCoreAir> 0
5,767,168
6
7
10
12
8
262,144
leaf_aggregation VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir> 0
385,875,968
22
15
30
16
8
8,388,608
leaf_aggregation VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir> 0
14,680,064
22
15
40
16
8
262,144
leaf_aggregation FriMatOpeningAir 0
243,269,632
53
35
64
52
4
2,097,152
leaf_aggregation Poseidon2VmAir 0
58,458,112
374
32
418
28
8
131,072
leaf_aggregation VariableRangeCheckerAir 0
1,179,648
4
1
1
8
2
1
131,072
group segment commit_exe_time_ms execute_and_trace_gen_time_ms execute_time_ms keygen_time_ms num_segments stark_prove_excluding_trace_time_ms total_cells verify_program_compile_ms
regex_program 0 (-6,309.0 [-32.6%])
13,020.0
 (-3,200 [-0.0%])
790,590,848
leaf_aggregation 0 (+15.0 [+5.2%])
302.0
 (-1,028.0 [-3.1%])
32,553.0
 (-18.0 [-0.1%])
29,094.0
 (+67.0 [+97.1%])
136.0
1
 (-74,726.0 [-39.1%])
116,199.0
 (-58,458,112 [-3.6%])
1,569,587,224
 (+778.0 [+1.7%])
47,785.0
group collect_metrics segment execute_time_ms total_cells_used total_cycles
leaf_aggregation true 0 (+2,050.0 [+0.8%])
262,139.0
 (-4,709,955 [-0.7%])
666,290,381
 (-127,042 [-0.8%])
16,359,727
group chip_name collect_metrics segment rows_used
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true 0 (-30,872 [-0.9%])
3,338,996
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true 0 (-5,351 [-2.4%])
221,420
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true 0 (-43,631 [-0.7%])
6,346,044
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true 0 (-32,356 [-0.7%])
4,624,236
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true 0 (+6,352 [+4.7%])
142,289
leaf_aggregation FriMatOpeningAir true 0 (-20,000 [-1.4%])
1,359,400
leaf_aggregation Memory AccessAdapter<2> true 0 (+6,772 [+0.5%])
1,487,139
leaf_aggregation Memory AccessAdapter<4> true 0 (+3,385 [+0.5%])
744,070
leaf_aggregation Memory AccessAdapter<8> true 0 (-2,444 [-1.1%])
219,819
leaf_aggregation Memory Boundary true 0 (+21,738 [+1.2%])
1,867,294
leaf_aggregation PhantomAir true 0 (-20,001 [-1.3%])
1,539,183
leaf_aggregation Poseidon2VmAir true 0
130,659
leaf_aggregation ProgramChip true 0 (+13,490 [+4.4%])
320,881
group collect_metrics dsl_ir opcode segment frequency
leaf_aggregation true JAL 0
1
leaf_aggregation true STOREW 0
2
leaf_aggregation true AddE FE4ADD 0 (+2,084 [+3.6%])
59,557
leaf_aggregation true AddEFFI LOADW 0
252
leaf_aggregation true AddEFFI STOREW 0
756
leaf_aggregation true AddEFI ADD 0
556
leaf_aggregation true AddEI ADD 0
111,852
leaf_aggregation true AddFI ADD 0 (-70 [-0.0%])
178,489
leaf_aggregation true AddV ADD 0
37,949
leaf_aggregation true AddVI ADD 0 (-19,796 [-1.0%])
1,940,642
leaf_aggregation true Alloc ADD 0 (-2 [-0.0%])
143,489
leaf_aggregation true Alloc LOADW 0 (-2 [-0.0%])
143,489
leaf_aggregation true Alloc MUL 0 (-1 [-0.0%])
86,621
leaf_aggregation true AssertEqE BNE 0
508
leaf_aggregation true AssertEqEI BNE 0
4
leaf_aggregation true AssertEqF BNE 0
23,301
leaf_aggregation true AssertEqV BNE 0
5,541
leaf_aggregation true AssertEqVI BNE 0
314
leaf_aggregation true CT-VerifierProgram PHANTOM 0
2
leaf_aggregation true CT-compute-reduced-opening PHANTOM 0
1,600
leaf_aggregation true CT-exp-reverse-bits-len PHANTOM 0
22,000
leaf_aggregation true CT-poseidon2-hash PHANTOM 0
8,800
leaf_aggregation true CT-poseidon2-hash-ext PHANTOM 0
4,200
leaf_aggregation true CT-poseidon2-hash-setup PHANTOM 0 (-20,000 [-1.4%])
1,379,800
leaf_aggregation true CT-single-mat-reduced-opening PHANTOM 0
33,800
leaf_aggregation true CT-stage-c-build-rounds PHANTOM 0
2
leaf_aggregation true CT-stage-d-1-verify-shape-and-sample-challenges PHANTOM 0
2
leaf_aggregation true CT-stage-d-2-fri-fold PHANTOM 0
2
leaf_aggregation true CT-stage-d-3-verify-challenges PHANTOM 0
2
leaf_aggregation true CT-stage-d-verify-pcs PHANTOM 0
2
leaf_aggregation true CT-stage-e-verify-constraints PHANTOM 0
2
leaf_aggregation true CT-verify-batch PHANTOM 0
1,600
leaf_aggregation true CT-verify-batch-ext PHANTOM 0
4,200
leaf_aggregation true CT-verify-batch-reduce-fast PHANTOM 0
13,000
leaf_aggregation true CT-verify-batch-reduce-fast-setup PHANTOM 0
13,000
leaf_aggregation true CT-verify-query PHANTOM 0
200
leaf_aggregation true DivE BBE4DIV 0
19,054
leaf_aggregation true DivEIN BBE4DIV 0
75
leaf_aggregation true DivEIN STOREW 0
300
leaf_aggregation true DivFIN DIV 0
177
leaf_aggregation true For ADD 0 (-20,897 [-1.0%])
2,151,596
leaf_aggregation true For BNE 0 (-20,898 [-0.9%])
2,267,943
leaf_aggregation true For JAL 0 (-1 [-0.0%])
116,347
leaf_aggregation true For LOADW 0
6,600
leaf_aggregation true For STOREW 0 (-1 [-0.0%])
109,747
leaf_aggregation true FriMatOpening FRI_FOLD 0
16,900
leaf_aggregation true HintBitsF PHANTOM 0
101
leaf_aggregation true HintInputVec PHANTOM 0 (-1 [-0.0%])
56,868
leaf_aggregation true IfEq BNE 0 (+22 [+0.0%])
68,202
leaf_aggregation true IfEqI BNE 0 (-9,996 [-1.1%])
929,142
leaf_aggregation true IfEqI JAL 0 (-5,328 [-4.8%])
105,069
leaf_aggregation true IfNe BEQ 0
37,405
leaf_aggregation true IfNe JAL 0 (-22 [-88.0%])
3
leaf_aggregation true IfNeI BEQ 0
6,636
leaf_aggregation true ImmE STOREW 0
17,580
leaf_aggregation true ImmF STOREW 0
109,488
leaf_aggregation true ImmV STOREW 0 (-1,161 [-0.8%])
141,557
leaf_aggregation true LoadE LOADW 0 (-800 [-1.0%])
79,804
leaf_aggregation true LoadE LOADW2 0
197,708
leaf_aggregation true LoadF LOADW 0
65,553
leaf_aggregation true LoadF LOADW2 0 (-9,996 [-1.3%])
747,371
leaf_aggregation true LoadV LOADW 0 (-2 [-0.0%])
66,924
leaf_aggregation true LoadV LOADW2 0 (+400 [+0.1%])
615,800
leaf_aggregation true MulE BBE4MUL 0 (+4,168 [+12.4%])
37,873
leaf_aggregation true MulEF MUL 0
9,000
leaf_aggregation true MulEFI MUL 0
2,136
leaf_aggregation true MulEI BBE4MUL 0
5,119
leaf_aggregation true MulEI STOREW 0
20,476
leaf_aggregation true MulF MUL 0
342,252
leaf_aggregation true MulFI MUL 0
27
leaf_aggregation true MulV MUL 0
3,131
leaf_aggregation true MulVI MUL 0
50,497
leaf_aggregation true NegE MUL 0
460
leaf_aggregation true Poseidon2CompressBabyBear COMP_POS2 0
40,800
leaf_aggregation true Poseidon2PermuteBabyBear PERM_POS2 0 (-1,183 [-1.3%])
89,859
leaf_aggregation true StoreE STOREW 0 (+4 [+0.0%])
59,540
leaf_aggregation true StoreE STOREW2 0
104,884
leaf_aggregation true StoreF STOREW 0
87,326
leaf_aggregation true StoreF STOREW2 0 (-9,996 [-1.4%])
707,501
leaf_aggregation true StoreHintWord ADD 0 (-10,801 [-1.0%])
1,056,953
leaf_aggregation true StoreHintWord SHINTW 0 (-10,802 [-1.0%])
1,116,952
leaf_aggregation true StoreV STOREW 0
7,019
leaf_aggregation true StoreV STOREW2 0
166,685
leaf_aggregation true SubE FE4SUB 0 (+100 [+0.5%])
20,611
leaf_aggregation true SubEF LOADW 0
50,922
leaf_aggregation true SubEF SUB 0
16,974
leaf_aggregation true SubEFI ADD 0 (+7,936 [+489.9%])
9,556
leaf_aggregation true SubEI ADD 0
600
leaf_aggregation true SubV SUB 0
195,527
leaf_aggregation true SubVI SUB 0
5,460
leaf_aggregation true SubVIN SUB 0
2,100
group air_name collect_metrics dsl_ir opcode segment cells_used
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true JAL 0
10
leaf_aggregation Boundary true JAL 0
11
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true STOREW 0
82
leaf_aggregation Boundary true STOREW 0
22
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true AddE FE4ADD 0 (+83,360 [+3.6%])
2,382,280
leaf_aggregation AccessAdapter<2> true AddE FE4ADD 0 (+7,590 [+0.5%])
1,544,136
leaf_aggregation AccessAdapter<4> true AddE FE4ADD 0 (+4,485 [+0.5%])
912,444
leaf_aggregation Boundary true AddE FE4ADD 0 (+91,696 [+7.2%])
1,365,496
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI LOADW 0
10,332
leaf_aggregation AccessAdapter<2> true AddEFFI LOADW 0
1,298
leaf_aggregation AccessAdapter<4> true AddEFFI LOADW 0
1,534
leaf_aggregation Boundary true AddEFFI LOADW 0
308
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true AddEFFI STOREW 0
30,996
leaf_aggregation AccessAdapter<2> true AddEFFI STOREW 0
1,298
leaf_aggregation Boundary true AddEFFI STOREW 0
924
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddEFI ADD 0
16,680
leaf_aggregation AccessAdapter<2> true AddEFI ADD 0
2,618
leaf_aggregation AccessAdapter<4> true AddEFI ADD 0
1,547
leaf_aggregation Boundary true AddEFI ADD 0
2,112
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddEI ADD 0
3,355,560
leaf_aggregation AccessAdapter<2> true AddEI ADD 0 (-550 [-0.1%])
677,842
leaf_aggregation AccessAdapter<4> true AddEI ADD 0 (-325 [-0.1%])
400,543
leaf_aggregation Boundary true AddEI ADD 0
708,752
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddFI ADD 0 (-2,100 [-0.0%])
5,354,670
leaf_aggregation Boundary true AddFI ADD 0
253
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddV ADD 0
1,138,470
leaf_aggregation Boundary true AddV ADD 0
22
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddVI ADD 0 (-593,880 [-1.0%])
58,219,260
leaf_aggregation Boundary true AddVI ADD 0 (-22 [-0.1%])
35,728
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc ADD 0 (-60 [-0.0%])
4,304,670
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true Alloc LOADW 0 (-82 [-0.0%])
5,883,049
leaf_aggregation Boundary true Alloc LOADW 0 (-44 [-2.4%])
1,760
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc MUL 0 (-30 [-0.0%])
2,598,630
leaf_aggregation AccessAdapter<2> true Alloc MUL 0 (+11 [+50.0%])
33
leaf_aggregation AccessAdapter<4> true Alloc MUL 0 (+13 [+50.0%])
39
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqE BNE 0
11,684
leaf_aggregation AccessAdapter<2> true AssertEqE BNE 0
2,794
leaf_aggregation AccessAdapter<4> true AssertEqE BNE 0
1,651
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqEI BNE 0
92
leaf_aggregation AccessAdapter<2> true AssertEqEI BNE 0
22
leaf_aggregation AccessAdapter<4> true AssertEqEI BNE 0
13
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqF BNE 0
535,923
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqV BNE 0
127,443
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true AssertEqVI BNE 0
7,222
leaf_aggregation PhantomAir true CT-VerifierProgram PHANTOM 0
12
leaf_aggregation PhantomAir true CT-compute-reduced-opening PHANTOM 0
9,600
leaf_aggregation PhantomAir true CT-exp-reverse-bits-len PHANTOM 0
132,000
leaf_aggregation PhantomAir true CT-poseidon2-hash PHANTOM 0
52,800
leaf_aggregation PhantomAir true CT-poseidon2-hash-ext PHANTOM 0
25,200
leaf_aggregation PhantomAir true CT-poseidon2-hash-setup PHANTOM 0 (-120,000 [-1.4%])
8,278,800
leaf_aggregation PhantomAir true CT-single-mat-reduced-opening PHANTOM 0
202,800
leaf_aggregation PhantomAir true CT-stage-c-build-rounds PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-1-verify-shape-and-sample-challenges PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-2-fri-fold PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-3-verify-challenges PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-d-verify-pcs PHANTOM 0
12
leaf_aggregation PhantomAir true CT-stage-e-verify-constraints PHANTOM 0
12
leaf_aggregation PhantomAir true CT-verify-batch PHANTOM 0
9,600
leaf_aggregation PhantomAir true CT-verify-batch-ext PHANTOM 0
25,200
leaf_aggregation PhantomAir true CT-verify-batch-reduce-fast PHANTOM 0
78,000
leaf_aggregation PhantomAir true CT-verify-batch-reduce-fast-setup PHANTOM 0
78,000
leaf_aggregation PhantomAir true CT-verify-query PHANTOM 0
1,200
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivE BBE4DIV 0
762,160
leaf_aggregation AccessAdapter<2> true DivE BBE4DIV 0
373,604
leaf_aggregation AccessAdapter<4> true DivE BBE4DIV 0
220,766
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true DivEIN BBE4DIV 0
3,000
leaf_aggregation AccessAdapter<2> true DivEIN BBE4DIV 0
3,168
leaf_aggregation AccessAdapter<4> true DivEIN BBE4DIV 0
1,872
leaf_aggregation Boundary true DivEIN BBE4DIV 0
528
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true DivEIN STOREW 0
12,300
leaf_aggregation AccessAdapter<2> true DivEIN STOREW 0
1,089
leaf_aggregation AccessAdapter<4> true DivEIN STOREW 0
312
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true DivFIN DIV 0
5,310
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true For ADD 0 (-626,910 [-1.0%])
64,547,880
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true For BNE 0 (-480,654 [-0.9%])
52,162,689
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true For JAL 0 (-10 [-0.0%])
1,163,470
leaf_aggregation AccessAdapter<2> true For JAL 0
561
leaf_aggregation AccessAdapter<4> true For JAL 0
663
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For LOADW 0
270,600
leaf_aggregation Boundary true For LOADW 0
1,100
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true For STOREW 0 (-41 [-0.0%])
4,499,627
leaf_aggregation Boundary true For STOREW 0 (-33 [-3.8%])
847
leaf_aggregation AccessAdapter<2> true FriMatOpening FRI_FOLD 0 (-4,400 [-0.8%])
541,068
leaf_aggregation AccessAdapter<4> true FriMatOpening FRI_FOLD 0 (-2,600 [-0.8%])
319,722
leaf_aggregation FriMatOpeningAir true FriMatOpening FRI_FOLD 0 (-1,280,000 [-1.4%])
87,001,600
leaf_aggregation PhantomAir true HintBitsF PHANTOM 0
606
leaf_aggregation PhantomAir true HintInputVec PHANTOM 0 (-6 [-0.0%])
341,208
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEq BNE 0 (+506 [+0.0%])
1,568,646
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEqI BNE 0 (-229,908 [-1.1%])
21,370,266
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true IfEqI JAL 0 (-53,280 [-4.8%])
1,050,690
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNe BEQ 0
860,315
leaf_aggregation <JalNativeAdapterAir,JalCoreAir> true IfNe JAL 0 (-220 [-88.0%])
30
leaf_aggregation <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNeI BEQ 0
152,628
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmE STOREW 0
720,780
leaf_aggregation AccessAdapter<2> true ImmE STOREW 0 (+44 [+0.3%])
17,138
leaf_aggregation AccessAdapter<4> true ImmE STOREW 0 (+26 [+0.3%])
10,127
leaf_aggregation Boundary true ImmE STOREW 0
133,584
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmF STOREW 0
4,489,008
leaf_aggregation Boundary true ImmF STOREW 0
2,211
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmV STOREW 0 (-47,601 [-0.8%])
5,803,837
leaf_aggregation Boundary true ImmV STOREW 0
37,378
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW 0 (-32,800 [-1.0%])
3,271,964
leaf_aggregation AccessAdapter<2> true LoadE LOADW 0 (-2,200 [-0.4%])
503,844
leaf_aggregation AccessAdapter<4> true LoadE LOADW 0 (-1,300 [-0.4%])
297,726
leaf_aggregation Boundary true LoadE LOADW 0 (-8,800 [-2.8%])
305,052
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadE LOADW2 0
8,106,028
leaf_aggregation AccessAdapter<2> true LoadE LOADW2 0
140,844
leaf_aggregation AccessAdapter<4> true LoadE LOADW2 0
83,226
leaf_aggregation Boundary true LoadE LOADW2 0
44
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW 0
2,687,673
leaf_aggregation AccessAdapter<2> true LoadF LOADW 0
127,600
leaf_aggregation AccessAdapter<4> true LoadF LOADW 0
75,400
leaf_aggregation AccessAdapter<8> true LoadF LOADW 0
49,300
leaf_aggregation Boundary true LoadF LOADW 0
286
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW2 0 (-409,836 [-1.3%])
30,642,211
leaf_aggregation AccessAdapter<2> true LoadF LOADW2 0
1,133
leaf_aggregation AccessAdapter<4> true LoadF LOADW2 0
676
leaf_aggregation AccessAdapter<8> true LoadF LOADW2 0
629
leaf_aggregation Boundary true LoadF LOADW2 0
1,177
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW 0 (-82 [-0.0%])
2,743,884
leaf_aggregation Boundary true LoadV LOADW 0 (-22 [-0.1%])
34,892
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW2 0 (+16,400 [+0.1%])
25,247,800
leaf_aggregation Boundary true LoadV LOADW2 0 (+22 [+2.3%])
968
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulE BBE4MUL 0 (+166,720 [+12.4%])
1,514,920
leaf_aggregation AccessAdapter<2> true MulE BBE4MUL 0 (+177,298 [+24.4%])
904,376
leaf_aggregation AccessAdapter<4> true MulE BBE4MUL 0 (+104,767 [+24.4%])
534,404
leaf_aggregation Boundary true MulE BBE4MUL 0 (+183,392 [+24.4%])
935,792
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulEF MUL 0
270,000
leaf_aggregation AccessAdapter<2> true MulEF MUL 0
47,432
leaf_aggregation AccessAdapter<4> true MulEF MUL 0
28,028
leaf_aggregation Boundary true MulEF MUL 0
1,056
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulEFI MUL 0
64,080
leaf_aggregation AccessAdapter<2> true MulEFI MUL 0
5,126
leaf_aggregation AccessAdapter<4> true MulEFI MUL 0
3,029
leaf_aggregation Boundary true MulEFI MUL 0
16,104
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulEI BBE4MUL 0
204,760
leaf_aggregation AccessAdapter<2> true MulEI BBE4MUL 0
286,660
leaf_aggregation AccessAdapter<4> true MulEI BBE4MUL 0
169,390
leaf_aggregation Boundary true MulEI BBE4MUL 0
117,656
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true MulEI STOREW 0
839,516
leaf_aggregation AccessAdapter<2> true MulEI STOREW 0 (+231 [+0.2%])
112,563
leaf_aggregation AccessAdapter<4> true MulEI STOREW 0 (+273 [+0.4%])
66,495
leaf_aggregation Boundary true MulEI STOREW 0
33
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulF MUL 0
10,267,560
leaf_aggregation Boundary true MulF MUL 0
11
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulFI MUL 0
810
leaf_aggregation Boundary true MulFI MUL 0
11
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulV MUL 0
93,930
leaf_aggregation Boundary true MulV MUL 0 (+11 [+0.0%])
34,419
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulVI MUL 0
1,514,910
leaf_aggregation Boundary true MulVI MUL 0
77
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true NegE MUL 0
13,800
leaf_aggregation AccessAdapter<2> true NegE MUL 0
3,388
leaf_aggregation AccessAdapter<4> true NegE MUL 0
2,002
leaf_aggregation Boundary true NegE MUL 0
2,420
leaf_aggregation AccessAdapter<2> true Poseidon2CompressBabyBear COMP_POS2 0
1,636,800
leaf_aggregation AccessAdapter<4> true Poseidon2CompressBabyBear COMP_POS2 0
967,200
leaf_aggregation AccessAdapter<8> true Poseidon2CompressBabyBear COMP_POS2 0
632,400
leaf_aggregation Poseidon2VmAir true Poseidon2CompressBabyBear COMP_POS2 0
17,054,400
leaf_aggregation AccessAdapter<2> true Poseidon2PermuteBabyBear PERM_POS2 0 (-55,451 [-1.3%])
4,196,896
leaf_aggregation AccessAdapter<4> true Poseidon2PermuteBabyBear PERM_POS2 0 (-32,773 [-1.3%])
2,483,234
leaf_aggregation AccessAdapter<8> true Poseidon2PermuteBabyBear PERM_POS2 0 (-20,774 [-1.3%])
1,638,120
leaf_aggregation Poseidon2VmAir true Poseidon2PermuteBabyBear PERM_POS2 0
37,561,062
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW 0 (+164 [+0.0%])
2,441,140
leaf_aggregation AccessAdapter<2> true StoreE STOREW 0
46,244
leaf_aggregation AccessAdapter<4> true StoreE STOREW 0
27,326
leaf_aggregation Boundary true StoreE STOREW 0 (+44 [+0.0%])
654,940
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW2 0
4,300,244
leaf_aggregation AccessAdapter<2> true StoreE STOREW2 0
484,000
leaf_aggregation AccessAdapter<4> true StoreE STOREW2 0
286,000
leaf_aggregation Boundary true StoreE STOREW2 0
93,324
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW 0
3,580,366
leaf_aggregation Boundary true StoreF STOREW 0
960,586
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreF STOREW2 0 (-409,836 [-1.4%])
29,007,541
leaf_aggregation AccessAdapter<2> true StoreF STOREW2 0 (-55,451 [-1.5%])
3,623,708
leaf_aggregation AccessAdapter<4> true StoreF STOREW2 0 (-32,773 [-1.5%])
2,144,532
leaf_aggregation AccessAdapter<8> true StoreF STOREW2 0 (-20,774 [-1.4%])
1,416,474
leaf_aggregation Boundary true StoreF STOREW2 0
189,596
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true StoreHintWord ADD 0 (-324,030 [-1.0%])
31,708,590
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreHintWord SHINTW 0 (-442,882 [-1.0%])
45,795,032
leaf_aggregation Boundary true StoreHintWord SHINTW 0 (-118,822 [-1.0%])
12,286,472
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW 0
287,779
leaf_aggregation Boundary true StoreV STOREW 0
77,209
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreV STOREW2 0
6,834,085
leaf_aggregation Boundary true StoreV STOREW2 0
1,823,470
leaf_aggregation <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true SubE FE4SUB 0 (+4,000 [+0.5%])
824,440
leaf_aggregation AccessAdapter<2> true SubE FE4SUB 0 (+1,980 [+0.3%])
684,684
leaf_aggregation AccessAdapter<4> true SubE FE4SUB 0 (+1,170 [+0.3%])
404,586
leaf_aggregation Boundary true SubE FE4SUB 0 (+4,400 [+0.8%])
577,324
leaf_aggregation <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true SubEF LOADW 0
2,087,802
leaf_aggregation AccessAdapter<2> true SubEF LOADW 0
186,571
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEF SUB 0
509,220
leaf_aggregation AccessAdapter<2> true SubEF SUB 0
186,571
leaf_aggregation AccessAdapter<4> true SubEF SUB 0
220,493
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEFI ADD 0 (+238,080 [+489.9%])
286,680
leaf_aggregation AccessAdapter<2> true SubEFI ADD 0 (+5,632 [+216.9%])
8,228
leaf_aggregation AccessAdapter<4> true SubEFI ADD 0 (+3,328 [+216.9%])
4,862
leaf_aggregation Boundary true SubEFI ADD 0 (+87,296 [+708.6%])
99,616
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubEI ADD 0
18,000
leaf_aggregation AccessAdapter<2> true SubEI ADD 0
5,192
leaf_aggregation AccessAdapter<4> true SubEI ADD 0
3,068
leaf_aggregation Boundary true SubEI ADD 0
1,056
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubV SUB 0
5,865,810
leaf_aggregation Boundary true SubV SUB 0
44
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVI SUB 0
163,800
leaf_aggregation Boundary true SubVI SUB 0
35,563
leaf_aggregation <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true SubVIN SUB 0
63,000
Flamegraphs








Commit: 609b056
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

jonathanpwang
jonathanpwang reviewed Nov 6, 2024
View reviewed changes
Copy link
Contributor

@jonathanpwang jonathanpwang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There were some changes to plonky3's dft in this Plonky3/Plonky3#505 where they added a RefCell so that you can only do a single parallel dft at a time. Previously we were using rayon to somehow multithread within multithread for rayon workstealing -- this is now removed and probably inconsequential since we should likely assume DFTs are already maximally parallelized.

jonathanpwang
jonathanpwang approved these changes Nov 6, 2024
View reviewed changes
Copy link
Contributor

@jonathanpwang jonathanpwang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Diff is big because plonky3 changes F::one() to F::ONE const.

Other change is in the dft mentioned in my previous comment.
They added additional constraints to p3-keccak-air after audit, and also removed 100 columns that were forgotten about and never used.
Verifier program updated slightly to observe more things into transcript for security.

@zlangley
Copy link
Contributor Author

zlangley commented Nov 6, 2024

Also challenger implementation changed to duplex after RATE elements.

@zlangley zlangley merged commit 3f6a3f4 into main Nov 6, 2024
14 checks passed
@zlangley zlangley deleted the plonky3 branch November 6, 2024 22:08
luffykai pushed a commit that referenced this pull request Dec 13, 2024
@zlangley
feat: update Plonky3 commit (#774)
29586d6
Avaneesh-axiom pushed a commit that referenced this pull request Jan 10, 2025
@zlangley
feat: update Plonky3 commit (#774)
059a998
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonathanpwang jonathanpwang jonathanpwang approved these changes

Assignees
No one assigned
Labels
run-benchmark triggers benchmark workflows on the pr
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zlangley @jonathanpwang