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] fp2 chip #739

Merged
merged 10 commits into from
Nov 5, 2024
Merged

[feat] fp2 chip #739

merged 10 commits into from
Nov 5, 2024

Conversation

luffykai
Copy link
Contributor

fix INT-2183

@linear Linear
Copy link

linear bot commented Oct 31, 2024

INT-2183 make Fp2CoreChip

add, sub, mul, div

@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
@luffykai luffykai marked this pull request as draft October 31, 2024 20:55
@luffykai luffykai marked this pull request as ready for review October 31, 2024 23:22
@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
jonathanpwang
jonathanpwang reviewed Nov 1, 2024
View reviewed changes
vm/src/arch/chips.rs Outdated Show resolved Hide resolved
jonathanpwang
jonathanpwang requested changes Nov 1, 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.

AddSub is ok, but you definitely have some extra unused columns in MulDiv from division. I think perhaps return var from division can be used as z instead.

But since there are many unexpected things happening behind the scenes, I request you to just to write down how many columns you think this AIR should have, and assert it in a test.

@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
@luffykai
Copy link
Contributor Author

luffykai commented Nov 1, 2024

number of vars down to 2 🎉

@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
jonathanpwang
jonathanpwang approved these changes Nov 5, 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, the fix seems cleaner than the original!

@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 5, 2024

group total_cells_used total_cycles total_proof_time_ms
verify_fibair
16,992,211
427,414
 (-26.0 [-0.4%])
6,236.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
32
group collect_metrics execute_time_ms total_cells_used total_cycles
verify_fibair true (+78.0 [+1.2%])
6,591.0
16,992,211
427,414
group chip_name collect_metrics rows_used
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true
66,726
verify_fibair <JalNativeAdapterAir,JalCoreAir> true
11,004
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true
138,549
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true
191,589
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true
4,886
verify_fibair FriMatOpeningAir true
800
verify_fibair Memory AccessAdapter<2> true
35,439
verify_fibair Memory AccessAdapter<4> true
17,721
verify_fibair Memory AccessAdapter<8> true
3,851
verify_fibair Memory Boundary true
97,478
verify_fibair PhantomAir true
11,747
verify_fibair Poseidon2VmAir true
2,613
verify_fibair ProgramChip true
37,491
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
2,823
verify_fibair true AddV ADD
1,815
verify_fibair true AddVI ADD
35,364
verify_fibair true Alloc ADD
13,011
verify_fibair true Alloc LOADW
13,011
verify_fibair true Alloc MUL
8,979
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
34,031
verify_fibair true For BNE
43,114
verify_fibair true For JAL
9,083
verify_fibair true For LOADW
700
verify_fibair true For STOREW
8,383
verify_fibair true FriMatOpening FRI_FOLD
300
verify_fibair true HintBitsF PHANTOM
101
verify_fibair true HintInputVec PHANTOM
4,032
verify_fibair true IfEq BNE
722
verify_fibair true IfEqI BNE
11,289
verify_fibair true IfEqI JAL
1,913
verify_fibair true IfNe BEQ
2,129
verify_fibair true IfNe JAL
7
verify_fibair true IfNeI BEQ
603
verify_fibair true ImmE STOREW
2,008
verify_fibair true ImmF STOREW
7,036
verify_fibair true ImmV STOREW
12,751
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
2,296
verify_fibair true LoadV LOADW
8,800
verify_fibair true LoadV LOADW2
19,451
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
613
verify_fibair true StoreE STOREW
32,012
verify_fibair true StoreE STOREW2
4,816
verify_fibair true StoreF STOREW
6,484
verify_fibair true StoreF STOREW2
3,962
verify_fibair true StoreHintWord ADD
19,708
verify_fibair true StoreHintWord SHINTW
26,871
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,789
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
24,420
verify_fibair AccessAdapter<4> true AddEI ADD
14,430
verify_fibair Boundary true AddEI ADD
440
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true AddFI ADD
84,690
verify_fibair Boundary true AddFI ADD
242
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
1,060,920
verify_fibair Boundary true AddVI ADD
35,486
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc ADD
390,330
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true Alloc LOADW
533,451
verify_fibair Boundary true Alloc LOADW
1,815
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc MUL
269,370
verify_fibair AccessAdapter<2> true Alloc MUL
22
verify_fibair AccessAdapter<4> true Alloc MUL
26
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
1,020,930
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true For BNE
991,622
verify_fibair <JalNativeAdapterAir,JalCoreAir> true For JAL
90,830
verify_fibair AccessAdapter<2> true For JAL
55
verify_fibair AccessAdapter<4> true For JAL
65
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
343,703
verify_fibair Boundary true For STOREW
561
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
24,192
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEq BNE
16,606
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfEqI BNE
259,647
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfEqI JAL
19,130
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true IfNe BEQ
48,967
verify_fibair <JalNativeAdapterAir,JalCoreAir> true IfNe JAL
70
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
288,476
verify_fibair Boundary true ImmF STOREW
2,156
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true ImmV STOREW
522,791
verify_fibair Boundary true ImmV STOREW
37,334
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
330
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadF LOADW2
94,136
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,199
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW
360,800
verify_fibair Boundary true LoadV LOADW
34,881
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true LoadV LOADW2
797,491
verify_fibair Boundary true LoadV LOADW2
935
verify_fibair <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> true MulE BBE4MUL
72,720
verify_fibair AccessAdapter<2> true MulE BBE4MUL
28,952
verify_fibair AccessAdapter<4> true MulE BBE4MUL
17,108
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
638
verify_fibair AccessAdapter<4> true MulEI STOREW
338
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
34,408
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true MulVI MUL
78,120
verify_fibair Boundary true MulVI MUL
44
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
53,801
verify_fibair AccessAdapter<4> true Poseidon2PermuteBabyBear PERM_POS2
31,798
verify_fibair AccessAdapter<8> true Poseidon2PermuteBabyBear PERM_POS2
20,842
verify_fibair Poseidon2VmAir true Poseidon2PermuteBabyBear PERM_POS2
256,234
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreE STOREW
1,312,492
verify_fibair AccessAdapter<2> true StoreE STOREW
8,800
verify_fibair AccessAdapter<4> true StoreE STOREW
5,200
verify_fibair Boundary true StoreE STOREW
352,132
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
162,442
verify_fibair AccessAdapter<2> true StoreF STOREW2
231
verify_fibair AccessAdapter<4> true StoreF STOREW2
143
verify_fibair AccessAdapter<8> true StoreF STOREW2
102
verify_fibair Boundary true StoreF STOREW2
35,838
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true StoreHintWord ADD
591,240
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true StoreHintWord SHINTW
1,101,711
verify_fibair Boundary true StoreHintWord SHINTW
295,581
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
113,670
verify_fibair Boundary true SubVI SUB
35,519
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 (+6.0 [+14.6%])
47.0
 (-10.0 [-1.4%])
680.0
 (-5.0 [-0.8%])
585.0
 (+1.0 [+1.6%])
63.0
1
16,992,211
427,414
 (-26.0 [-0.4%])
6,236.0
 (+1.0 [+2.2%])
46.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 (-16.0 [-0.3%])
5,556.0
44,093,464
Flamegraphs




Commit: 39fb5df
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 5, 2024

group total_cells_used total_cycles total_proof_time_ms
fibonacci_program
51,310,997
1,500,219
 (+45.0 [+0.5%])
8,395.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
fibonacci_program true (-211.0 [-0.6%])
37,042.0
51,310,997
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
310
fibonacci_program PhantomAir true
3
fibonacci_program ProgramChip true
5,658
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,432
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,712
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
 (+55.0 [+3.1%])
1,831.0
 (+57.0 [+3.8%])
1,570.0
 (+2.0 [+1.6%])
127.0
1
51,310,997
1,500,219
 (+45.0 [+0.5%])
8,395.0
group air_name segment cells main_cols perm_cols prep_cols rows
fibonacci_program ProgramAir 0
147,456
10
8
8,192
fibonacci_program VmConnectorAir 0
32
4
12
1
2
fibonacci_program PersistentBoundaryAir<8> 0
2,048
20
12
64
fibonacci_program MemoryMerkleAir<8> 0
26,624
32
20
512
fibonacci_program AccessAdapterAir<8> 0
2,624
17
24
64
fibonacci_program PhantomAir 0
72
6
12
4
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
121,634,816
36
80
1,048,576
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
40,370,176
37
40
524,288
fibonacci_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
420
53
52
4
fibonacci_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
7,168
40
72
64
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
19,398,656
26
48
262,144
fibonacci_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
1,408
32
56
16
fibonacci_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
8,126,464
18
44
131,072
fibonacci_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
2,048
28
36
32
fibonacci_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
784
21
28
16
fibonacci_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
248
26
36
4
fibonacci_program Poseidon2VmAir 0
321,024
559
68
512
fibonacci_program BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
fibonacci_program RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
fibonacci_program VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
fibonacci_program 0 (-10.0 [-0.2%])
6,564.0
196,595,668
Flamegraphs




Commit: 39fb5df
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 5, 2024

group total_cells_used total_cycles total_proof_time_ms
revm_contract_deployment (-12,268 [-0.0%])
76,360,030
 (-321 [-0.0%])
1,879,191
 (+120.0 [+0.8%])
14,724.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
revm_contract_deployment true (-311.0 [-0.6%])
48,004.0
 (-12,268 [-0.0%])
76,360,030
 (-321 [-0.0%])
1,879,191
group chip_name collect_metrics rows_used
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true (-167 [-0.0%])
860,518
revm_contract_deployment <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> true
14,117
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true (-34 [-0.0%])
264,855
revm_contract_deployment <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> true (-32 [-0.1%])
48,091
revm_contract_deployment <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> true
29,575
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true (-8 [-0.1%])
7,269
revm_contract_deployment <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> true
3,069
revm_contract_deployment <Rv32JalrAdapterAir,Rv32JalrCoreAir> true (-3 [-0.1%])
2,096
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true
11,811
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true (-73 [-0.0%])
633,338
revm_contract_deployment <Rv32MultAdapterAir,MulHCoreAir<4, 8>> true
1,237
revm_contract_deployment <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true (-2 [-0.1%])
2,117
revm_contract_deployment <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true (-2 [-0.2%])
961
revm_contract_deployment BitwiseOperationLookupAir<8> true
65,536
revm_contract_deployment Memory AccessAdapter<8> true (-2 [-0.0%])
11,551
revm_contract_deployment Memory Boundary true (-4 [-0.0%])
23,102
revm_contract_deployment Memory Merkle true (-8 [-0.0%])
24,338
revm_contract_deployment PhantomAir true
137
revm_contract_deployment ProgramChip true
250,207
revm_contract_deployment RangeTupleCheckerAir<2> true
524,288
group collect_metrics dsl_ir opcode frequency
revm_contract_deployment true ADD (-81 [-0.1%])
151,661
revm_contract_deployment true AND (-43 [-0.0%])
116,876
revm_contract_deployment true AUIPC (-2 [-0.2%])
961
revm_contract_deployment true BEQ (-28 [-0.2%])
13,718
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 (-4 [-0.0%])
34,373
revm_contract_deployment true HINT_STOREW
3,069
revm_contract_deployment true JAL (-8 [-0.2%])
3,296
revm_contract_deployment true JALR (-3 [-0.1%])
2,096
revm_contract_deployment true LOADB
11,806
revm_contract_deployment true LOADBU (-35 [-0.1%])
44,458
revm_contract_deployment true LOADH
5
revm_contract_deployment true LOADHU
20
revm_contract_deployment true LOADW (-26 [-0.0%])
316,630
revm_contract_deployment true LUI
3,973
revm_contract_deployment true MUL (-2 [-0.1%])
2,117
revm_contract_deployment true MULH
3
revm_contract_deployment true MULHU
1,234
revm_contract_deployment true OR (-24 [-0.0%])
133,805
revm_contract_deployment true PHANTOM
137
revm_contract_deployment true SLL (-32 [-0.0%])
133,732
revm_contract_deployment true SLT
2
revm_contract_deployment true SLTU
14,115
revm_contract_deployment true SRA
493
revm_contract_deployment true SRL (-2 [-0.0%])
130,630
revm_contract_deployment true STOREB
13,828
revm_contract_deployment true STOREH
14
revm_contract_deployment true STOREW (-12 [-0.0%])
258,388
revm_contract_deployment true SUB (-3 [-0.1%])
2,246
revm_contract_deployment true XOR (-16 [-0.0%])
455,930
group air_name collect_metrics dsl_ir opcode cells_used
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true ADD (-2,916 [-0.1%])
5,459,796
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true AND (-1,548 [-0.0%])
4,207,536
revm_contract_deployment <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> true AUIPC (-42 [-0.2%])
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 (-728 [-0.2%])
356,668
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 (-104 [-0.0%])
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 (-144 [-0.2%])
59,328
revm_contract_deployment <Rv32JalrAdapterAir,Rv32JalrCoreAir> true JALR (-84 [-0.1%])
58,688
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadSignExtendCoreAir<4, 8>> true LOADB
413,210
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADBU (-1,400 [-0.1%])
1,778,320
revm_contract_deployment AccessAdapter<8> true LOADBU
323
revm_contract_deployment Boundary true LOADBU
760
revm_contract_deployment Merkle true LOADBU
3,648
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
384
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true LOADW (-1,040 [-0.0%])
12,665,200
revm_contract_deployment AccessAdapter<8> true LOADW
20,978
revm_contract_deployment Boundary true LOADW
49,360
revm_contract_deployment Merkle true LOADW (-512 [-0.6%])
91,776
revm_contract_deployment <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> true LUI
71,514
revm_contract_deployment AccessAdapter<8> true LUI
34
revm_contract_deployment Boundary true LUI
80
revm_contract_deployment <Rv32MultAdapterAir,MultiplicationCoreAir<4, 8>> true MUL (-62 [-0.1%])
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 (-864 [-0.0%])
4,816,980
revm_contract_deployment PhantomAir true PHANTOM
822
revm_contract_deployment <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> true SLL (-1,696 [-0.0%])
7,087,796
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 (-106 [-0.0%])
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 (+128 [+0.7%])
18,304
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREH
560
revm_contract_deployment <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> true STOREW (-480 [-0.0%])
10,335,520
revm_contract_deployment AccessAdapter<8> true STOREW (-34 [-0.0%])
146,693
revm_contract_deployment Boundary true STOREW (-80 [-0.0%])
345,160
revm_contract_deployment Merkle true STOREW (+128 [+0.0%])
562,304
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true SUB (-108 [-0.1%])
80,856
revm_contract_deployment <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> true XOR (-576 [-0.0%])
16,413,480
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 (-2.0 [-2.3%])
84.0
 (+129.0 [+2.8%])
4,772.0
 (+59.0 [+1.5%])
3,887.0
107.0
1
 (-12,268 [-0.0%])
76,360,030
 (-321 [-0.0%])
1,879,191
 (+120.0 [+0.8%])
14,724.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 (-9.0 [-0.1%])
9,952.0
363,216,416
Flamegraphs




Commit: 39fb5df
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@jonathanpwang jonathanpwang merged commit 31f7cb9 into main Nov 5, 2024
11 checks passed
@jonathanpwang jonathanpwang deleted the lunkai/fp2-chip branch November 5, 2024 18:17
luffykai added a commit that referenced this pull request Dec 13, 2024
@luffykai @jonathanpwang
[feat] fp2 chip (#739)
1762143 
* wip, do the flags first

* wip

* addsub works

* muldiv works

* chip

* address comment

* reduce vars

* fix

* chore: add assert on number of vars

---------

Co-authored-by: Jonathan Wang <[email protected]>
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
None yet
Projects
None yet
Milestone
No milestone
Development

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