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] Add internal verifier & root verifier program #763

Merged
merged 5 commits into from
Nov 6, 2024
Merged

[feat] Add internal verifier & root verifier program #763

merged 5 commits into from
Nov 6, 2024

Conversation

nyunyunyunyu
Copy link
Contributor

@nyunyunyunyu nyunyunyunyu commented Nov 5, 2024 •
edited
Loading

Doc: https://docs.google.com/document/d/151MrQqVP_v2PQgLP-72Vy0fxzbv2k3RQ_Y3VwpqJTUQ/edit?tab=t.0

closes INT-2458

TODO:

  • Better user interface.
  • Better naming.
  • Negative test cases.

@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
@nyunyunyunyu nyunyunyunyu force-pushed the feat/verifier-program branch from 9b39bc5 to 1e40680 Compare November 5, 2024 07:30
@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
@nyunyunyunyu nyunyunyunyu force-pushed the feat/verifier-program branch from 1e40680 to 62bd97b Compare November 5, 2024 18:59
@nyunyunyunyu nyunyunyunyu marked this pull request as ready for review November 5, 2024 18:59
@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
jonathanpwang
jonathanpwang reviewed 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.

Skimmed and generally looks ok. @zlangley should also review.

This is part of sdk task, but we'll want to quickly get the flow into sdk and then add it to benchmarks.

I do have a question about the public values root proof and what exactly we are proving/guaranteeing.

@nyunyunyunyu nyunyunyunyu force-pushed the feat/verifier-program branch from b85d535 to 2b9576d Compare November 5, 2024 21:20
@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
@linear Linear
Copy link

linear bot commented Nov 6, 2024

INT-2458 Inner aggregation program

Must be able to aggregate leaf aggregation program as well as itself.
Must make sure: leaf aggregation VM vkey and this aggregation program are using the same vkey (same Vm config). Then it must make the program commitment a public value to avoid circular reasoning.

Shared a lot of code with INT-1731 so only the new part around program commitment public values should be net-new.

@nyunyunyunyu nyunyunyunyu force-pushed the feat/verifier-program branch from 19d7f3a to 21fb207 Compare November 6, 2024 00:23
@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 approved these changes Nov 6, 2024
View reviewed changes
Copy link
Contributor

@zlangley zlangley left a comment

Choose a reason for hiding this comment

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

lgtm

axiom-vm/src/commit.rs Outdated Show resolved Hide resolved
axiom-vm/src/verifier/common/mod.rs Outdated Show resolved Hide resolved
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@nyunyunyunyu nyunyunyunyu force-pushed the feat/verifier-program branch from b26f5a8 to 36c6c9a Compare November 6, 2024 21:29
@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
16,977,302
427,043
 (-15.0 [-0.2%])
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 (-10.0 [-0.2%])
6,549.0
16,977,302
427,043
group chip_name collect_metrics rows_used
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true
66,661
verify_fibair <JalNativeAdapterAir,JalCoreAir> true
10,991
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true
138,441
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true
191,404
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,442
verify_fibair PhantomAir true
11,747
verify_fibair Poseidon2VmAir true
2,613
verify_fibair ProgramChip true
35,428
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,771
verify_fibair true AddV ADD
1,815
verify_fibair true AddVI ADD
35,493
verify_fibair true Alloc ADD
13,009
verify_fibair true Alloc LOADW
13,009
verify_fibair true Alloc MUL
8,977
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
33,979
verify_fibair true For BNE
43,049
verify_fibair true For JAL
9,070
verify_fibair true For LOADW
700
verify_fibair true For STOREW
8,370
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,004
verify_fibair true ImmV STOREW
12,749
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,244
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,878
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,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
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
83,130
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
1,064,790
verify_fibair Boundary true AddVI ADD
35,486
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc ADD
390,270
verify_fibair <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> true Alloc LOADW
533,369
verify_fibair Boundary true Alloc LOADW
1,793
verify_fibair <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> true Alloc MUL
269,310
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,019,370
verify_fibair <BranchNativeAdapterAir,BranchEqualCoreAir<1>> true For BNE
990,127
verify_fibair <JalNativeAdapterAir,JalCoreAir> true For JAL
90,700
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,170
verify_fibair Boundary true For STOREW
473
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 AccessAdapter<2> true IfNe JAL
55
verify_fibair AccessAdapter<4> true IfNe JAL
65
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
522,709
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
92,004
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
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
158,998
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,486
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
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 (-1.0 [-2.3%])
43.0
 (+12.0 [+1.8%])
696.0
 (+8.0 [+1.3%])
602.0
60.0
1
16,977,302
427,043
 (-15.0 [-0.2%])
6,236.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 (-27.0 [-0.5%])
5,540.0
44,093,464
Flamegraphs




Commit: 36c6c9a
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
 (+4.0 [+0.0%])
8,398.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
fibonacci_program true (+488.0 [+1.3%])
37,402.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 (-1.0 [-25.0%])
3.0
 (+15.0 [+0.8%])
1,814.0
 (+16.0 [+1.0%])
1,560.0
125.0
1
51,311,800
1,500,219
 (+4.0 [+0.0%])
8,398.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 (-11.0 [-0.2%])
6,584.0
196,595,668
Flamegraphs




Commit: 36c6c9a
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
 (+102.0 [+0.7%])
14,766.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
revm_contract_deployment true (+427.0 [+0.9%])
48,769.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 (+1.0 [+1.2%])
86.0
 (+30.0 [+0.6%])
4,713.0
 (+28.0 [+0.7%])
3,907.0
 (+1.0 [+0.8%])
120.0
1
76,374,302
1,879,268
 (+102.0 [+0.7%])
14,766.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 (+72.0 [+0.7%])
10,053.0
363,216,416
Flamegraphs




Commit: 36c6c9a
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
160,099,641
4,190,884
 (+93.0 [+0.3%])
28,606.0
Detailed Metrics
group collect_metrics execute_time_ms total_cells_used total_cycles
regex_program true (+994.0 [+0.9%])
108,716.0
160,099,641
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
78,336
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,487
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.1%])
35.0
 (+109.0 [+1.2%])
9,163.0
 (+122.0 [+1.9%])
6,659.0
 (-1.0 [-0.7%])
145.0
1
160,099,641
4,190,884
 (+93.0 [+0.3%])
28,606.0
group air_name segment cells main_cols perm_cols prep_cols rows
regex_program ProgramAir 0
2,359,296
10
8
131,072
regex_program VmConnectorAir 0
32
4
12
1
2
regex_program PersistentBoundaryAir<8> 0
4,194,304
20
12
131,072
regex_program MemoryMerkleAir<8> 0
6,815,744
32
20
131,072
regex_program AccessAdapterAir<2> 0
2,240
11
24
64
regex_program AccessAdapterAir<4> 0
1,184
13
24
32
regex_program AccessAdapterAir<8> 0
5,373,952
17
24
131,072
regex_program PhantomAir 0
9,216
6
12
512
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> 0
243,269,632
36
80
2,097,152
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> 0
5,046,272
37
40
65,536
regex_program VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> 0
27,525,120
53
52
262,144
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> 0
234,881,024
40
72
2,097,152
regex_program VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> 0
113,664
35
76
1,024
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> 0
38,797,312
26
48
524,288
regex_program VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> 0
23,068,672
32
56
262,144
regex_program VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> 0
8,126,464
18
44
131,072
regex_program VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> 0
8,388,608
28
36
131,072
regex_program VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> 0
3,211,264
21
28
65,536
regex_program VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> 0
7,274,496
31
80
65,536
regex_program VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> 0
35,584
39
100
256
regex_program VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> 0
20,608
57
104
128
regex_program VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> 0
1,015,808
26
36
16,384
regex_program KeccakVmAir 0
145,664
3,264
1,288
32
regex_program Poseidon2VmAir 0
164,364,288
559
68
262,144
regex_program BitwiseOperationLookupAir<8> 0
655,360
2
8
3
65,536
regex_program RangeTupleCheckerAir<2> 0
4,718,592
1
8
2
524,288
regex_program VariableRangeCheckerAir 0
1,179,648
1
8
2
131,072
group segment stark_prove_excluding_trace_time_ms total_cells
regex_program 0 (-16.0 [-0.1%])
19,443.0
790,594,048
Flamegraphs




Commit: 36c6c9a
Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@nyunyunyunyu nyunyunyunyu merged commit 226f67b into main Nov 6, 2024
12 checks passed
@nyunyunyunyu nyunyunyunyu deleted the feat/verifier-program branch November 6, 2024 21:36
luffykai pushed a commit that referenced this pull request Dec 13, 2024
@nyunyunyunyu
[feat] Add internal verifier & root verifier program (#763)
de004de 
* Add internal verifier & root verifier program

* Add doc comments for public values

* Add doc comments for RootVmVerifierPvs

* Remove init_memory_commit from AppExecutionCommit

* Address comments
Avaneesh-axiom pushed a commit that referenced this pull request Jan 10, 2025
@nyunyunyunyu
[feat] Add internal verifier & root verifier program (#763)
28b820f 
* Add internal verifier & root verifier program

* Add doc comments for public values

* Add doc comments for RootVmVerifierPvs

* Remove init_memory_commit from AppExecutionCommit

* Address comments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonathanpwang jonathanpwang jonathanpwang left review comments

@zlangley zlangley zlangley 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.
3 participants
@nyunyunyunyu @zlangley @jonathanpwang