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

[refactor] Create Chips from VmConfig #592

Merged
merged 3 commits into from
Oct 17, 2024
Merged

[refactor] Create Chips from VmConfig #592

merged 3 commits into from
Oct 17, 2024

Conversation

nyunyunyunyu
Copy link
Contributor

@nyunyunyunyu nyunyunyunyu commented Oct 16, 2024 •
edited
Loading

  • No interface change.
  • VM Chip construction now only depends on VmConfig.
  • VmConfig only owns ExecutorNames. range/offset are derived on the fly. It's more serializable friendly.

@nyunyunyunyu nyunyunyunyu added the run-benchmark triggers benchmark workflows on the pr label Oct 16, 2024
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@nyunyunyunyu nyunyunyunyu force-pushed the refactor/vmconfig-gen-chip branch from d737f93 to 83f7cd9 Compare October 16, 2024 21:56
@github-actions GitHub Actions
Copy link

vm_verify_fibair

air_name cells constraints interactions main_cols perm_cols prep_cols quotient_deg rows
FibonacciAir
32
5
2
1
16
ProgramAir
1,179,648
4
1
10
8
1
65,536
CoreAir
45,088,768
113
19
66
20
8
524,288
VmAirWrapper<NativeAdapterAir, FieldArithmeticCoreAir>
12,058,624
22
15
30
16
8
262,144
VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
458,752
22
15
40
16
8
8,192
Poseidon2VmAir
1,826,816
374
32
418
28
8
4,096
XorLookupAir<8>
589,824
4
1
1
8
3
1
65,536
RangeTupleCheckerAir<2>
18,874,368
4
1
1
8
2
1
2,097,152
VolatileBoundaryAir
3,538,944
19
6
19
8
8
131,072
AccessAdapterAir<2>
1,507,328
11
5
11
12
4
65,536
AccessAdapterAir<4>
819,200
11
5
13
12
4
32,768
AccessAdapterAir<8>
237,568
11
5
17
12
4
8,192
VariableRangeCheckerAir
589,824
4
1
1
8
2
1
65,536
VmConnectorAir
20
4
2
2
8
1
2
2
stark_prove_excluding_trace_time_ms total_cells total_cells_used trace_gen_time_ms verify_program_compile_ms
(+21.0 [+0.1%])
20,088.0
86,769,684
29,586,083
 (+922.0 [+40.9%])
3,175.0
 (+1.0 [+2.1%])
49.0
chip_name rows_used
ByteXor
65,536
Core
290,667
FieldArithmetic
140,649
FieldExtension
7,486
Memory AccessAdapter<2>
40,607
Memory AccessAdapter<4>
20,305
Memory AccessAdapter<8>
3,851
Memory Boundary
97,480
Poseidon2
2,613
ProgramChip
37,505
RangeTupleChecker
2,097,152
Click to expand
dsl_ir opcode frequency
JAL
1
STOREW
2
AddE FE4ADD
1,630
AddEFFI LOADW
128
AddEFFI STOREW
384
AddEI ADD
5,664
AddFI ADD
2,823
AddV ADD
1,815
AddVI ADD
35,364
Alloc ADD
13,011
Alloc LOADW
13,011
Alloc MUL
8,979
AssertEqE BNE
404
AssertEqEI BNE
4
AssertEqF BNE
4,901
AssertEqV BNE
3,540
AssertEqVI BNE
20
CycleTrackerEnd CT_END
3,807
CycleTrackerStart CT_START
3,807
DivE BBE4DIV
1,202
DivEIN BBE4DIV
1
DivEIN STOREW
4
DivFIN DIV
3
For ADD
34,831
For BNE
44,214
For JAL
9,383
For LOADW
700
For STOREW
8,683
Halt TERMINATE
1
HintBitsF HINT_BITS
101
HintInputVec HINT_INPUT
4,032
IfEq BNE
722
IfEqI BNE
11,289
IfEqI JAL
1,913
IfNe BEQ
2,129
IfNe JAL
7
IfNeI BEQ
603
ImmE STOREW
2,008
ImmF STOREW
7,036
ImmV STOREW
12,751
LoadE LOADW
4,836
LoadE LOADW2
14,000
LoadF LOADW
13,252
LoadF LOADW2
3,096
LoadV LOADW
8,800
LoadV LOADW2
19,451
MulE BBE4MUL
3,418
MulEF MUL
1,608
MulEI BBE4MUL
33
MulEI STOREW
132
MulF MUL
2,204
MulFI MUL
1
MulV MUL
3,131
MulVI MUL
2,604
Poseidon2CompressBabyBear COMP_POS2
2,000
Poseidon2PermuteBabyBear PERM_POS2
613
StoreE STOREW
32,012
StoreE STOREW2
4,816
StoreF STOREW
6,484
StoreF STOREW2
3,962
StoreHintWord ADD
19,708
StoreHintWord SHINTW
26,871
StoreV STOREW
1,462
StoreV STOREW2
11,093
SubE FE4SUB
1,202
SubEF LOADW
4,815
SubEF SUB
1,605
SubEI ADD
8
SubV SUB
3,101
SubVI SUB
3,789
SubVIN SUB
400
Click to expand
air_name dsl_ir opcode cells_used
Boundary JAL
19
CoreAir JAL
66
Boundary STOREW
38
CoreAir STOREW
132
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> AddE FE4ADD
65,200
AccessAdapter<2> AddE FE4ADD
24,882
AccessAdapter<4> AddE FE4ADD
14,703
Boundary AddE FE4ADD
1,368
AccessAdapter<2> AddEFFI LOADW
132
AccessAdapter<4> AddEFFI LOADW
156
Boundary AddEFFI LOADW
304
CoreAir AddEFFI LOADW
8,448
AccessAdapter<2> AddEFFI STOREW
132
Boundary AddEFFI STOREW
912
CoreAir AddEFFI STOREW
25,344
<NativeAdapterAir,FieldArithmeticCoreAir> AddEI ADD
169,920
AccessAdapter<2> AddEI ADD
24,398
AccessAdapter<4> AddEI ADD
14,417
Boundary AddEI ADD
760
<NativeAdapterAir,FieldArithmeticCoreAir> AddFI ADD
84,690
Boundary AddFI ADD
418
<NativeAdapterAir,FieldArithmeticCoreAir> AddV ADD
54,450
Boundary AddV ADD
57
<NativeAdapterAir,FieldArithmeticCoreAir> AddVI ADD
1,060,920
Boundary AddVI ADD
61,294
<NativeAdapterAir,FieldArithmeticCoreAir> Alloc ADD
390,330
Boundary Alloc LOADW
3,135
CoreAir Alloc LOADW
858,726
<NativeAdapterAir,FieldArithmeticCoreAir> Alloc MUL
269,370
AccessAdapter<2> Alloc MUL
22
AccessAdapter<4> Alloc MUL
26
AccessAdapter<2> AssertEqE BNE
2,222
AccessAdapter<4> AssertEqE BNE
1,313
CoreAir AssertEqE BNE
26,664
CoreAir AssertEqEI BNE
264
CoreAir AssertEqF BNE
323,466
CoreAir AssertEqV BNE
233,640
CoreAir AssertEqVI BNE
1,320
CoreAir CycleTrackerEnd CT_END
251,262
CoreAir CycleTrackerStart CT_START
251,262
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivE BBE4DIV
48,080
AccessAdapter<2> DivE BBE4DIV
35,310
AccessAdapter<4> DivE BBE4DIV
20,865
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivEIN BBE4DIV
40
AccessAdapter<2> DivEIN BBE4DIV
22
AccessAdapter<4> DivEIN BBE4DIV
13
AccessAdapter<2> DivEIN STOREW
11
CoreAir DivEIN STOREW
264
<NativeAdapterAir,FieldArithmeticCoreAir> DivFIN DIV
90
<NativeAdapterAir,FieldArithmeticCoreAir> For ADD
1,044,930
CoreAir For BNE
2,918,124
AccessAdapter<2> For JAL
55
AccessAdapter<4> For JAL
65
CoreAir For JAL
619,278
Boundary For LOADW
1,900
CoreAir For LOADW
46,200
Boundary For STOREW
988
CoreAir For STOREW
573,078
CoreAir Halt TERMINATE
66
CoreAir HintBitsF HINT_BITS
6,666
CoreAir HintInputVec HINT_INPUT
266,112
CoreAir IfEq BNE
47,652
CoreAir IfEqI BNE
745,074
CoreAir IfEqI JAL
126,258
CoreAir IfNe BEQ
140,514
CoreAir IfNe JAL
462
CoreAir IfNeI BEQ
39,798
AccessAdapter<2> ImmE STOREW
2,200
AccessAdapter<4> ImmE STOREW
1,300
Boundary ImmE STOREW
76
CoreAir ImmE STOREW
132,528
Boundary ImmF STOREW
3,724
CoreAir ImmF STOREW
464,376
Boundary ImmV STOREW
64,486
CoreAir ImmV STOREW
841,566
AccessAdapter<2> LoadE LOADW
17,688
AccessAdapter<4> LoadE LOADW
10,452
Boundary LoadE LOADW
380
CoreAir LoadE LOADW
319,176
AccessAdapter<2> LoadE LOADW2
28,666
AccessAdapter<4> LoadE LOADW2
16,939
CoreAir LoadE LOADW2
924,000
AccessAdapter<2> LoadF LOADW
26,400
AccessAdapter<4> LoadF LOADW
15,600
AccessAdapter<8> LoadF LOADW
10,200
Boundary LoadF LOADW
570
CoreAir LoadF LOADW
874,632
AccessAdapter<2> LoadF LOADW2
715
AccessAdapter<4> LoadF LOADW2
429
AccessAdapter<8> LoadF LOADW2
323
Boundary LoadF LOADW2
2,090
CoreAir LoadF LOADW2
204,336
Boundary LoadV LOADW
60,249
CoreAir LoadV LOADW
580,800
Boundary LoadV LOADW2
1,615
CoreAir LoadV LOADW2
1,283,766
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulE BBE4MUL
136,720
AccessAdapter<2> MulE BBE4MUL
33,352
AccessAdapter<4> MulE BBE4MUL
19,708
Boundary MulE BBE4MUL
988
<NativeAdapterAir,FieldArithmeticCoreAir> MulEF MUL
48,240
AccessAdapter<2> MulEF MUL
8,822
AccessAdapter<4> MulEF MUL
5,213
Boundary MulEF MUL
76
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulEI BBE4MUL
1,320
AccessAdapter<2> MulEI BBE4MUL
1,892
AccessAdapter<4> MulEI BBE4MUL
1,118
Boundary MulEI BBE4MUL
1,596
AccessAdapter<2> MulEI STOREW
638
AccessAdapter<4> MulEI STOREW
338
Boundary MulEI STOREW
57
CoreAir MulEI STOREW
8,712
<NativeAdapterAir,FieldArithmeticCoreAir> MulF MUL
66,120
Boundary MulF MUL
19
<NativeAdapterAir,FieldArithmeticCoreAir> MulFI MUL
30
Boundary MulFI MUL
19
<NativeAdapterAir,FieldArithmeticCoreAir> MulV MUL
93,930
Boundary MulV MUL
59,432
<NativeAdapterAir,FieldArithmeticCoreAir> MulVI MUL
78,120
Boundary MulVI MUL
76
AccessAdapter<2> Poseidon2CompressBabyBear COMP_POS2
88,000
AccessAdapter<4> Poseidon2CompressBabyBear COMP_POS2
52,000
AccessAdapter<8> Poseidon2CompressBabyBear COMP_POS2
34,000
Poseidon2VmAir Poseidon2CompressBabyBear COMP_POS2
836,000
AccessAdapter<2> Poseidon2PermuteBabyBear PERM_POS2
53,801
AccessAdapter<4> Poseidon2PermuteBabyBear PERM_POS2
31,798
AccessAdapter<8> Poseidon2PermuteBabyBear PERM_POS2
20,842
Poseidon2VmAir Poseidon2PermuteBabyBear PERM_POS2
256,234
AccessAdapter<2> StoreE STOREW
8,800
AccessAdapter<4> StoreE STOREW
5,200
Boundary StoreE STOREW
608,228
CoreAir StoreE STOREW
2,112,792
AccessAdapter<2> StoreE STOREW2
8,800
AccessAdapter<4> StoreE STOREW2
5,200
Boundary StoreE STOREW2
30,704
CoreAir StoreE STOREW2
317,856
Boundary StoreF STOREW
123,196
CoreAir StoreF STOREW
427,944
AccessAdapter<2> StoreF STOREW2
231
AccessAdapter<4> StoreF STOREW2
143
AccessAdapter<8> StoreF STOREW2
102
Boundary StoreF STOREW2
61,902
CoreAir StoreF STOREW2
261,492
<NativeAdapterAir,FieldArithmeticCoreAir> StoreHintWord ADD
591,240
Boundary StoreHintWord SHINTW
510,549
CoreAir StoreHintWord SHINTW
1,773,486
Boundary StoreV STOREW
27,778
CoreAir StoreV STOREW
96,492
Boundary StoreV STOREW2
161,082
CoreAir StoreV STOREW2
732,138
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> SubE FE4SUB
48,080
AccessAdapter<2> SubE FE4SUB
44,176
AccessAdapter<4> SubE FE4SUB
26,104
Boundary SubE FE4SUB
380
AccessAdapter<2> SubEF LOADW
17,633
Boundary SubEF LOADW
171
CoreAir SubEF LOADW
317,790
<NativeAdapterAir,FieldArithmeticCoreAir> SubEF SUB
48,150
AccessAdapter<2> SubEF SUB
17,633
AccessAdapter<4> SubEF SUB
20,839
Boundary SubEF SUB
57
<NativeAdapterAir,FieldArithmeticCoreAir> SubEI ADD
240
AccessAdapter<2> SubEI ADD
44
AccessAdapter<4> SubEI ADD
26
<NativeAdapterAir,FieldArithmeticCoreAir> SubV SUB
93,030
Boundary SubV SUB
76
<NativeAdapterAir,FieldArithmeticCoreAir> SubVI SUB
113,670
Boundary SubVI SUB
61,351
<NativeAdapterAir,FieldArithmeticCoreAir> SubVIN SUB
12,000





Commit: 83f7cd9
AWS Instance Type: r7g.8xlarge
Benchmark Workflow

@github-actions GitHub Actions
Copy link

tiny_e2e

group stark_prove_excluding_trace_time_ms total_cells total_cells_used total_proof_time_ms trace_gen_time_ms
fibonacci_program_inner (-1.0 [-0.0%])
9,505.0
20,067,876
2,166,425
9,574.0
 (+1.0 [+1.5%])
69.0
group chip_name rows_used
fibonacci_program_inner ByteXor
65,536
fibonacci_program_inner Core
6
fibonacci_program_inner FieldArithmetic
90
fibonacci_program_inner Memory Boundary
35
fibonacci_program_inner ProgramChip
97
fibonacci_program_inner RangeTupleChecker
2,097,152
Click to expand
group dsl_ir opcode frequency
fibonacci_program_inner JAL
1
fibonacci_program_inner STOREW
2
fibonacci_program_inner AddF ADD
30
fibonacci_program_inner AddFI ADD
60
fibonacci_program_inner Halt TERMINATE
1
fibonacci_program_inner ImmF STOREW
2
Click to expand
group air_name dsl_ir opcode cells_used
fibonacci_program_inner Boundary JAL
19
fibonacci_program_inner CoreAir JAL
62
fibonacci_program_inner Boundary STOREW
38
fibonacci_program_inner CoreAir STOREW
124
fibonacci_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> AddF ADD
900
fibonacci_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> AddFI ADD
1,800
fibonacci_program_inner Boundary AddFI ADD
570
fibonacci_program_inner CoreAir Halt TERMINATE
62
fibonacci_program_inner Boundary ImmF STOREW
38
fibonacci_program_inner CoreAir ImmF STOREW
124
group air_name cells constraints interactions main_cols perm_cols prep_cols quotient_deg rows
fibonacci_program_inner ProgramAir
2,304
4
1
10
8
1
128
fibonacci_program_inner CoreAir
848
115
19
62
44
2
8
fibonacci_program_inner VmAirWrapper<NativeAdapterAir, FieldArithmeticCoreAir>
8,448
27
15
30
36
2
128
fibonacci_program_inner XorLookupAir<8>
589,824
4
1
1
8
3
1
65,536
fibonacci_program_inner RangeTupleCheckerAir<2>
18,874,368
4
1
1
8
2
1
2,097,152
fibonacci_program_inner VolatileBoundaryAir
2,240
21
6
19
16
2
64
fibonacci_program_inner VariableRangeCheckerAir
589,824
4
1
1
8
2
1
65,536
fibonacci_program_inner VmConnectorAir
20
4
2
2
8
1
2
2





Commit: 83f7cd9
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

@github-actions GitHub Actions
Copy link

alu256_e2e

group stark_prove_excluding_trace_time_ms total_cells total_cells_used total_proof_time_ms trace_gen_time_ms verify_program_compile_ms
bench_program_inner (-67.0 [-0.4%])
17,493.0
22,478,356
2,663,633
 (-59.0 [-0.3%])
17,604.0
 (+8.0 [+7.8%])
111.0
inner_verifier (-81.0 [-0.2%])
41,012.0
340,000,788
 (+126,920 [+0.1%])
177,092,672
 (+6,764.0 [+12.5%])
60,791.0
 (+6,845.0 [+52.9%])
19,779.0
 (-8.0 [-1.9%])
418.0
group chip_name rows_used
bench_program_inner ArithmeticLogicUnit256
288
bench_program_inner ByteXor
65,536
bench_program_inner Core
1,296
bench_program_inner FieldArithmetic
1,256
bench_program_inner Memory AccessAdapter<16>
584
bench_program_inner Memory AccessAdapter<2>
4,672
bench_program_inner Memory AccessAdapter<32>
292
bench_program_inner Memory AccessAdapter<4>
2,336
bench_program_inner Memory AccessAdapter<8>
1,168
bench_program_inner Memory Boundary
9,607
bench_program_inner ProgramChip
370
bench_program_inner RangeTupleChecker
2,097,152
bench_program_inner Shift256
96
inner_verifier ByteXor
65,536
inner_verifier Core (+1,885 [+0.1%])
1,725,471
inner_verifier FieldArithmetic (+30 [+0.0%])
875,559
inner_verifier FieldExtension
270,558
inner_verifier Memory AccessAdapter<2> (+92 [+0.0%])
665,147
inner_verifier Memory AccessAdapter<4> (+46 [+0.0%])
332,723
inner_verifier Memory AccessAdapter<8>
19,258
inner_verifier Memory Boundary
309,720
inner_verifier Poseidon2
14,607
inner_verifier ProgramChip
90,340
inner_verifier RangeTupleChecker
2,097,152
Click to expand
group dsl_ir opcode frequency
bench_program_inner JAL
1
bench_program_inner STOREW
2
bench_program_inner Add256 ADD<32,8>
64
bench_program_inner AddVI ADD
448
bench_program_inner Alloc ADD
388
bench_program_inner Alloc LOADW
388
bench_program_inner Alloc MUL
388
bench_program_inner And256 AND<32,8>
32
bench_program_inner EqualTo256 EQ<32,8>
32
bench_program_inner For ADD
32
bench_program_inner For BNE
33
bench_program_inner For JAL
1
bench_program_inner For STOREW
1
bench_program_inner Halt TERMINATE
1
bench_program_inner IfEqI BNE
128
bench_program_inner ImmV STOREW
517
bench_program_inner LessThanI256 SLT<32,8>
32
bench_program_inner LessThanU256 LT<32,8>
32
bench_program_inner LoadV LOADW
96
bench_program_inner Or256 OR<32,8>
32
bench_program_inner ShiftLeft256 SLL<32,8>
32
bench_program_inner ShiftRightArith256 SRA<32,8>
32
bench_program_inner ShiftRightLogic256 SRL<32,8>
32
bench_program_inner StoreV STOREW
128
bench_program_inner Sub256 SUB<32,8>
32
bench_program_inner Xor256 XOR<32,8>
32
inner_verifier JAL
1
inner_verifier STOREW
2
inner_verifier AddE FE4ADD
69,575
inner_verifier AddEFFI LOADW
147
inner_verifier AddEFFI STOREW
441
inner_verifier AddEFI ADD
172
inner_verifier AddEI ADD
27,488
inner_verifier AddFI ADD (+30 [+0.1%])
22,128
inner_verifier AddV ADD
8,513
inner_verifier AddVI ADD
167,881
inner_verifier Alloc ADD
31,675
inner_verifier Alloc LOADW
31,675
inner_verifier Alloc MUL
18,862
inner_verifier AssertEqE BNE
144
inner_verifier AssertEqEI BNE
4
inner_verifier AssertEqF BNE
4,894
inner_verifier AssertEqV BNE
1,300
inner_verifier AssertEqVI BNE
181
inner_verifier CycleTrackerEnd CT_END
38,395
inner_verifier CycleTrackerStart CT_START
38,395
inner_verifier DivE BBE4DIV
59,817
inner_verifier DivEIN BBE4DIV
37
inner_verifier DivEIN STOREW
148
inner_verifier DivFIN DIV
89
inner_verifier For ADD
275,797
inner_verifier For BNE
299,855
inner_verifier For JAL
24,058
inner_verifier For LOADW
1,197
inner_verifier For STOREW
22,861
inner_verifier Halt TERMINATE
1
inner_verifier HintBitsF HINT_BITS
22
inner_verifier HintInputVec HINT_INPUT
12,813
inner_verifier IfEq BNE
8,354
inner_verifier IfEqI BNE
67,102
inner_verifier IfEqI JAL (+1,885 [+12.8%])
16,618
inner_verifier IfNe BEQ
9,618
inner_verifier IfNe JAL
25
inner_verifier IfNeI BEQ
1,252
inner_verifier ImmE STOREW
7,220
inner_verifier ImmF STOREW
18,067
inner_verifier ImmV STOREW
15,218
inner_verifier LoadE LOADW
16,728
inner_verifier LoadE LOADW2
264,576
inner_verifier LoadF LOADW
13,948
inner_verifier LoadF LOADW2
97,596
inner_verifier LoadV LOADW
15,189
inner_verifier LoadV LOADW2
88,949
inner_verifier MulE BBE4MUL
135,223
inner_verifier MulEF MUL
2,060
inner_verifier MulEFI MUL
536
inner_verifier MulEI BBE4MUL
1,669
inner_verifier MulEI STOREW
6,676
inner_verifier MulF MUL
41,097
inner_verifier MulFI MUL
15
inner_verifier MulV MUL
682
inner_verifier MulVI MUL
11,326
inner_verifier NegE MUL
140
inner_verifier Poseidon2CompressBabyBear COMP_POS2
10,059
inner_verifier Poseidon2PermuteBabyBear PERM_POS2
4,548
inner_verifier StoreE STOREW
12,624
inner_verifier StoreE STOREW2
13,860
inner_verifier StoreF STOREW
15,414
inner_verifier StoreF STOREW2
35,155
inner_verifier StoreHintWord ADD
121,496
inner_verifier StoreHintWord SHINTW
134,991
inner_verifier StoreV STOREW
1,702
inner_verifier StoreV STOREW2
31,889
inner_verifier SubE FE4SUB
4,237
inner_verifier SubEF LOADW
356,166
inner_verifier SubEF SUB
118,722
inner_verifier SubEFI ADD
592
inner_verifier SubEI ADD
296
inner_verifier SubV SUB
24,165
inner_verifier SubVI SUB
1,386
inner_verifier SubVIN SUB
441
Click to expand
group air_name dsl_ir opcode cells_used
bench_program_inner Boundary JAL
19
bench_program_inner CoreAir JAL
62
bench_program_inner Boundary STOREW
38
bench_program_inner CoreAir STOREW
124
bench_program_inner AccessAdapter<16> Add256 ADD<32,8>
3,300
bench_program_inner AccessAdapter<2> Add256 ADD<32,8>
11,616
bench_program_inner AccessAdapter<32> Add256 ADD<32,8>
2,706
bench_program_inner AccessAdapter<4> Add256 ADD<32,8>
6,864
bench_program_inner AccessAdapter<8> Add256 ADD<32,8>
4,488
bench_program_inner ArithmeticLogicCoreAir<32, 8> Add256 ADD<32,8>
11,008
bench_program_inner Boundary Add256 ADD<32,8>
38,912
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> AddVI ADD
13,440
bench_program_inner Boundary AddVI ADD
38
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> Alloc ADD
11,640
bench_program_inner Boundary Alloc LOADW
285
bench_program_inner CoreAir Alloc LOADW
24,056
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> Alloc MUL
11,640
bench_program_inner AccessAdapter<16> And256 AND<32,8>
1,600
bench_program_inner AccessAdapter<2> And256 AND<32,8>
5,632
bench_program_inner AccessAdapter<32> And256 AND<32,8>
1,312
bench_program_inner AccessAdapter<4> And256 AND<32,8>
3,328
bench_program_inner AccessAdapter<8> And256 AND<32,8>
2,176
bench_program_inner ArithmeticLogicCoreAir<32, 8> And256 AND<32,8>
5,504
bench_program_inner Boundary And256 AND<32,8>
19,456
bench_program_inner ArithmeticLogicCoreAir<32, 8> EqualTo256 EQ<32,8>
5,504
bench_program_inner Boundary EqualTo256 EQ<32,8>
608
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> For ADD
960
bench_program_inner CoreAir For BNE
2,046
bench_program_inner CoreAir For JAL
62
bench_program_inner Boundary For STOREW
19
bench_program_inner CoreAir For STOREW
62
bench_program_inner CoreAir Halt TERMINATE
62
bench_program_inner CoreAir IfEqI BNE
7,936
bench_program_inner Boundary ImmV STOREW
2,717
bench_program_inner CoreAir ImmV STOREW
32,054
bench_program_inner ArithmeticLogicCoreAir<32, 8> LessThanI256 SLT<32,8>
5,504
bench_program_inner Boundary LessThanI256 SLT<32,8>
608
bench_program_inner ArithmeticLogicCoreAir<32, 8> LessThanU256 LT<32,8>
5,504
bench_program_inner Boundary LessThanU256 LT<32,8>
608
bench_program_inner Boundary LoadV LOADW
57
bench_program_inner CoreAir LoadV LOADW
5,952
bench_program_inner AccessAdapter<16> Or256 OR<32,8>
1,600
bench_program_inner AccessAdapter<2> Or256 OR<32,8>
5,632
bench_program_inner AccessAdapter<32> Or256 OR<32,8>
1,312
bench_program_inner AccessAdapter<4> Or256 OR<32,8>
3,328
bench_program_inner AccessAdapter<8> Or256 OR<32,8>
2,176
bench_program_inner ArithmeticLogicCoreAir<32, 8> Or256 OR<32,8>
5,504
bench_program_inner Boundary Or256 OR<32,8>
19,456
bench_program_inner AccessAdapter<16> ShiftLeft256 SLL<32,8>
1,600
bench_program_inner AccessAdapter<2> ShiftLeft256 SLL<32,8>
5,632
bench_program_inner AccessAdapter<32> ShiftLeft256 SLL<32,8>
1,312
bench_program_inner AccessAdapter<4> ShiftLeft256 SLL<32,8>
3,328
bench_program_inner AccessAdapter<8> ShiftLeft256 SLL<32,8>
2,176
bench_program_inner Boundary ShiftLeft256 SLL<32,8>
19,456
bench_program_inner ShiftCoreAir<32, 8> ShiftLeft256 SLL<32,8>
7,552
bench_program_inner AccessAdapter<16> ShiftRightArith256 SRA<32,8>
1,600
bench_program_inner AccessAdapter<2> ShiftRightArith256 SRA<32,8>
5,632
bench_program_inner AccessAdapter<32> ShiftRightArith256 SRA<32,8>
1,312
bench_program_inner AccessAdapter<4> ShiftRightArith256 SRA<32,8>
3,328
bench_program_inner AccessAdapter<8> ShiftRightArith256 SRA<32,8>
2,176
bench_program_inner Boundary ShiftRightArith256 SRA<32,8>
19,456
bench_program_inner ShiftCoreAir<32, 8> ShiftRightArith256 SRA<32,8>
7,552
bench_program_inner AccessAdapter<16> ShiftRightLogic256 SRL<32,8>
1,650
bench_program_inner AccessAdapter<2> ShiftRightLogic256 SRL<32,8>
5,808
bench_program_inner AccessAdapter<32> ShiftRightLogic256 SRL<32,8>
1,353
bench_program_inner AccessAdapter<4> ShiftRightLogic256 SRL<32,8>
3,432
bench_program_inner AccessAdapter<8> ShiftRightLogic256 SRL<32,8>
2,244
bench_program_inner Boundary ShiftRightLogic256 SRL<32,8>
19,456
bench_program_inner ShiftCoreAir<32, 8> ShiftRightLogic256 SRL<32,8>
7,552
bench_program_inner Boundary StoreV STOREW
2,432
bench_program_inner CoreAir StoreV STOREW
7,936
bench_program_inner AccessAdapter<16> Sub256 SUB<32,8>
1,650
bench_program_inner AccessAdapter<2> Sub256 SUB<32,8>
5,808
bench_program_inner AccessAdapter<32> Sub256 SUB<32,8>
1,353
bench_program_inner AccessAdapter<4> Sub256 SUB<32,8>
3,432
bench_program_inner AccessAdapter<8> Sub256 SUB<32,8>
2,244
bench_program_inner ArithmeticLogicCoreAir<32, 8> Sub256 SUB<32,8>
5,504
bench_program_inner Boundary Sub256 SUB<32,8>
19,456
bench_program_inner AccessAdapter<16> Xor256 XOR<32,8>
1,600
bench_program_inner AccessAdapter<2> Xor256 XOR<32,8>
5,632
bench_program_inner AccessAdapter<32> Xor256 XOR<32,8>
1,312
bench_program_inner AccessAdapter<4> Xor256 XOR<32,8>
3,328
bench_program_inner AccessAdapter<8> Xor256 XOR<32,8>
2,176
bench_program_inner ArithmeticLogicCoreAir<32, 8> Xor256 XOR<32,8>
5,504
bench_program_inner Boundary Xor256 XOR<32,8>
19,456
inner_verifier Boundary JAL
19
inner_verifier CoreAir JAL
66
inner_verifier Boundary STOREW
38
inner_verifier CoreAir STOREW
132
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> AddE FE4ADD
2,783,000
inner_verifier AccessAdapter<2> AddE FE4ADD
216,722
inner_verifier AccessAdapter<4> AddE FE4ADD
128,063
inner_verifier Boundary AddE FE4ADD
412,984
inner_verifier AccessAdapter<2> AddEFFI LOADW
1,100
inner_verifier AccessAdapter<4> AddEFFI LOADW
1,300
inner_verifier Boundary AddEFFI LOADW
418
inner_verifier CoreAir AddEFFI LOADW
9,702
inner_verifier AccessAdapter<2> AddEFFI STOREW
1,100
inner_verifier Boundary AddEFFI STOREW
1,254
inner_verifier CoreAir AddEFFI STOREW
29,106
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddEFI ADD
5,160
inner_verifier AccessAdapter<2> AddEFI ADD
594
inner_verifier AccessAdapter<4> AddEFI ADD
351
inner_verifier Boundary AddEFI ADD
2,280
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddEI ADD
824,640
inner_verifier AccessAdapter<2> AddEI ADD (+506 [+0.3%])
160,182
inner_verifier AccessAdapter<4> AddEI ADD (+299 [+0.3%])
94,653
inner_verifier Boundary AddEI ADD
350,208
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddFI ADD (+900 [+0.1%])
663,840
inner_verifier Boundary AddFI ADD
437
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddV ADD
255,390
inner_verifier Boundary AddV ADD
38
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddVI ADD
5,036,430
inner_verifier Boundary AddVI ADD
14,953
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> Alloc ADD
950,250
inner_verifier Boundary Alloc LOADW
1,653
inner_verifier CoreAir Alloc LOADW
2,090,550
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> Alloc MUL
565,860
inner_verifier AccessAdapter<2> Alloc MUL
22
inner_verifier AccessAdapter<4> Alloc MUL
26
inner_verifier AccessAdapter<2> AssertEqE BNE
792
inner_verifier AccessAdapter<4> AssertEqE BNE
468
inner_verifier CoreAir AssertEqE BNE
9,504
inner_verifier AccessAdapter<2> AssertEqEI BNE
22
inner_verifier AccessAdapter<4> AssertEqEI BNE
13
inner_verifier CoreAir AssertEqEI BNE
264
inner_verifier CoreAir AssertEqF BNE
323,004
inner_verifier CoreAir AssertEqV BNE
85,800
inner_verifier CoreAir AssertEqVI BNE
11,946
inner_verifier CoreAir CycleTrackerEnd CT_END
2,534,070
inner_verifier CoreAir CycleTrackerStart CT_START
2,534,070
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivE BBE4DIV
2,392,680
inner_verifier AccessAdapter<2> DivE BBE4DIV
2,612,236
inner_verifier AccessAdapter<4> DivE BBE4DIV
1,543,594
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivEIN BBE4DIV
1,480
inner_verifier AccessAdapter<2> DivEIN BBE4DIV
1,518
inner_verifier AccessAdapter<4> DivEIN BBE4DIV
897
inner_verifier Boundary DivEIN BBE4DIV
456
inner_verifier AccessAdapter<2> DivEIN STOREW
528
inner_verifier AccessAdapter<4> DivEIN STOREW
143
inner_verifier CoreAir DivEIN STOREW
9,768
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> DivFIN DIV
2,670
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> For ADD
8,273,910
inner_verifier CoreAir For BNE
19,790,430
inner_verifier AccessAdapter<2> For JAL
528
inner_verifier AccessAdapter<4> For JAL
624
inner_verifier CoreAir For JAL
1,587,828
inner_verifier Boundary For LOADW
399
inner_verifier CoreAir For LOADW
79,002
inner_verifier Boundary For STOREW
1,045
inner_verifier CoreAir For STOREW
1,508,826
inner_verifier CoreAir Halt TERMINATE
66
inner_verifier CoreAir HintBitsF HINT_BITS
1,452
inner_verifier CoreAir HintInputVec HINT_INPUT
845,658
inner_verifier CoreAir IfEq BNE
551,364
inner_verifier CoreAir IfEqI BNE
4,428,732
inner_verifier CoreAir IfEqI JAL (+124,410 [+12.8%])
1,096,788
inner_verifier CoreAir IfNe BEQ
634,788
inner_verifier CoreAir IfNe JAL
1,650
inner_verifier CoreAir IfNeI BEQ
82,632
inner_verifier AccessAdapter<2> ImmE STOREW
3,344
inner_verifier AccessAdapter<4> ImmE STOREW
1,976
inner_verifier Boundary ImmE STOREW
116,280
inner_verifier CoreAir ImmE STOREW
476,520
inner_verifier Boundary ImmF STOREW
2,337
inner_verifier CoreAir ImmF STOREW
1,192,422
inner_verifier Boundary ImmV STOREW
15,048
inner_verifier CoreAir ImmV STOREW
1,004,388
inner_verifier AccessAdapter<2> LoadE LOADW
66,264
inner_verifier AccessAdapter<4> LoadE LOADW
39,156
inner_verifier Boundary LoadE LOADW
8,816
inner_verifier CoreAir LoadE LOADW
1,104,048
inner_verifier AccessAdapter<2> LoadE LOADW2
29,634
inner_verifier AccessAdapter<4> LoadE LOADW2
17,511
inner_verifier Boundary LoadE LOADW2
76
inner_verifier CoreAir LoadE LOADW2
17,462,016
inner_verifier AccessAdapter<2> LoadF LOADW
26,796
inner_verifier AccessAdapter<4> LoadF LOADW
15,834
inner_verifier AccessAdapter<8> LoadF LOADW
10,353
inner_verifier Boundary LoadF LOADW
475
inner_verifier CoreAir LoadF LOADW
920,568
inner_verifier AccessAdapter<2> LoadF LOADW2
693
inner_verifier AccessAdapter<4> LoadF LOADW2
416
inner_verifier AccessAdapter<8> LoadF LOADW2
459
inner_verifier Boundary LoadF LOADW2
551
inner_verifier CoreAir LoadF LOADW2
6,441,336
inner_verifier Boundary LoadV LOADW
13,813
inner_verifier CoreAir LoadV LOADW
1,002,474
inner_verifier Boundary LoadV LOADW2
1,615
inner_verifier CoreAir LoadV LOADW2
5,870,634
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulE BBE4MUL
5,408,920
inner_verifier AccessAdapter<2> MulE BBE4MUL (+506 [+0.1%])
427,922
inner_verifier AccessAdapter<4> MulE BBE4MUL (+299 [+0.1%])
252,863
inner_verifier Boundary MulE BBE4MUL
824,752
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulEF MUL
61,800
inner_verifier AccessAdapter<2> MulEF MUL
10,318
inner_verifier AccessAdapter<4> MulEF MUL
6,097
inner_verifier Boundary MulEF MUL
912
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulEFI MUL
16,080
inner_verifier AccessAdapter<2> MulEFI MUL
2,068
inner_verifier AccessAdapter<4> MulEFI MUL
1,222
inner_verifier Boundary MulEFI MUL
7,676
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulEI BBE4MUL
66,760
inner_verifier AccessAdapter<2> MulEI BBE4MUL
82,456
inner_verifier AccessAdapter<4> MulEI BBE4MUL
48,724
inner_verifier Boundary MulEI BBE4MUL
18,088
inner_verifier AccessAdapter<2> MulEI STOREW
36,432
inner_verifier AccessAdapter<4> MulEI STOREW
21,372
inner_verifier Boundary MulEI STOREW
57
inner_verifier CoreAir MulEI STOREW
440,616
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulF MUL
1,232,910
inner_verifier Boundary MulF MUL
19
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulFI MUL
450
inner_verifier Boundary MulFI MUL
19
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulV MUL
20,460
inner_verifier Boundary MulV MUL
12,901
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulVI MUL
339,780
inner_verifier Boundary MulVI MUL
133
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> NegE MUL
4,200
inner_verifier AccessAdapter<2> NegE MUL
792
inner_verifier AccessAdapter<4> NegE MUL
468
inner_verifier Boundary NegE MUL
1,596
inner_verifier AccessAdapter<2> Poseidon2CompressBabyBear COMP_POS2
417,648
inner_verifier AccessAdapter<4> Poseidon2CompressBabyBear COMP_POS2
246,792
inner_verifier AccessAdapter<8> Poseidon2CompressBabyBear COMP_POS2
161,364
inner_verifier Poseidon2VmAir Poseidon2CompressBabyBear COMP_POS2
4,204,662
inner_verifier AccessAdapter<2> Poseidon2PermuteBabyBear PERM_POS2
248,721
inner_verifier AccessAdapter<4> Poseidon2PermuteBabyBear PERM_POS2
147,940
inner_verifier AccessAdapter<8> Poseidon2PermuteBabyBear PERM_POS2
97,835
inner_verifier Poseidon2VmAir Poseidon2PermuteBabyBear PERM_POS2
1,901,064
inner_verifier AccessAdapter<2> StoreE STOREW
9,746
inner_verifier AccessAdapter<4> StoreE STOREW
5,759
inner_verifier Boundary StoreE STOREW
239,856
inner_verifier CoreAir StoreE STOREW
833,184
inner_verifier AccessAdapter<2> StoreE STOREW2
56,364
inner_verifier AccessAdapter<4> StoreE STOREW2
33,306
inner_verifier Boundary StoreE STOREW2
35,112
inner_verifier CoreAir StoreE STOREW2
914,760
inner_verifier Boundary StoreF STOREW
292,866
inner_verifier CoreAir StoreF STOREW
1,017,324
inner_verifier AccessAdapter<2> StoreF STOREW2
144,485
inner_verifier AccessAdapter<4> StoreF STOREW2
86,346
inner_verifier AccessAdapter<8> StoreF STOREW2
57,375
inner_verifier Boundary StoreF STOREW2
72,200
inner_verifier CoreAir StoreF STOREW2
2,320,230
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> StoreHintWord ADD
3,644,880
inner_verifier Boundary StoreHintWord SHINTW
2,564,829
inner_verifier CoreAir StoreHintWord SHINTW
8,909,406
inner_verifier Boundary StoreV STOREW
32,338
inner_verifier CoreAir StoreV STOREW
112,332
inner_verifier Boundary StoreV STOREW2
603,212
inner_verifier CoreAir StoreV STOREW2
2,104,674
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> SubE FE4SUB
169,480
inner_verifier AccessAdapter<2> SubE FE4SUB
142,670
inner_verifier AccessAdapter<4> SubE FE4SUB
84,305
inner_verifier Boundary SubE FE4SUB
209,000
inner_verifier AccessAdapter<2> SubEF LOADW
1,305,942
inner_verifier CoreAir SubEF LOADW
23,506,956
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubEF SUB
3,561,660
inner_verifier AccessAdapter<2> SubEF SUB
1,305,942
inner_verifier AccessAdapter<4> SubEF SUB
1,543,386
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubEFI ADD
17,760
inner_verifier AccessAdapter<2> SubEFI ADD
528
inner_verifier AccessAdapter<4> SubEFI ADD
312
inner_verifier Boundary SubEFI ADD
9,576
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubEI ADD
8,880
inner_verifier AccessAdapter<2> SubEI ADD
2,508
inner_verifier AccessAdapter<4> SubEI ADD
1,482
inner_verifier Boundary SubEI ADD
912
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubV SUB
724,950
inner_verifier Boundary SubV SUB
76
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubVI SUB
41,580
inner_verifier Boundary SubVI SUB
13,357
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubVIN SUB
13,230
group air_name cells constraints interactions main_cols perm_cols prep_cols quotient_deg rows
bench_program_inner ProgramAir
9,216
4
1
10
8
1
512
bench_program_inner CoreAir
217,088
115
19
62
44
2
2,048
bench_program_inner VmAirWrapper<NativeAdapterAir, FieldArithmeticCoreAir>
135,168
27
15
30
36
2
2,048
bench_program_inner ArithmeticLogicCoreAir<32, 8>
223,232
187
65
172
264
2
512
bench_program_inner ShiftCoreAir<32, 8>
54,784
3,193
93
236
192
2
128
bench_program_inner XorLookupAir<8>
589,824
4
1
1
8
3
1
65,536
bench_program_inner RangeTupleCheckerAir<2>
18,874,368
4
1
1
8
2
1
2,097,152
bench_program_inner VolatileBoundaryAir
573,440
21
6
19
16
2
16,384
bench_program_inner AccessAdapterAir<2>
573,440
14
5
11
24
2
16,384
bench_program_inner AccessAdapterAir<4>
303,104
14
5
13
24
2
8,192
bench_program_inner AccessAdapterAir<8>
167,936
14
5
17
24
2
4,096
bench_program_inner AccessAdapterAir<16>
100,352
14
5
25
24
2
2,048
bench_program_inner AccessAdapterAir<32>
66,560
14
5
41
24
2
1,024
bench_program_inner VariableRangeCheckerAir
589,824
4
1
1
8
2
1
65,536
bench_program_inner VmConnectorAir
20
4
2
2
8
1
2
2
inner_verifier ProgramAir
2,359,296
4
1
10
8
1
131,072
inner_verifier CoreAir
180,355,072
113
19
66
20
8
2,097,152
inner_verifier VmAirWrapper<NativeAdapterAir, FieldArithmeticCoreAir>
48,234,496
22
15
30
16
8
1,048,576
inner_verifier VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
29,360,128
22
15
40
16
8
524,288
inner_verifier Poseidon2VmAir
7,307,264
374
32
418
28
8
16,384
inner_verifier XorLookupAir<8>
589,824
4
1
1
8
3
1
65,536
inner_verifier RangeTupleCheckerAir<2>
18,874,368
4
1
1
8
2
1
2,097,152
inner_verifier VolatileBoundaryAir
14,155,776
19
6
19
8
8
524,288
inner_verifier AccessAdapterAir<2>
24,117,248
11
5
11
12
4
1,048,576
inner_verifier AccessAdapterAir<4>
13,107,200
11
5
13
12
4
524,288
inner_verifier AccessAdapterAir<8>
950,272
11
5
17
12
4
32,768
inner_verifier VariableRangeCheckerAir
589,824
4
1
1
8
2
1
65,536
inner_verifier VmConnectorAir
20
4
2
2
8
1
2
2





Commit: 83f7cd9
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

@nyunyunyunyu nyunyunyunyu marked this pull request as ready for review October 16, 2024 22:03
@github-actions GitHub Actions
Copy link

small_e2e

group stark_prove_excluding_trace_time_ms total_cells total_cells_used total_proof_time_ms trace_gen_time_ms verify_program_compile_ms
bench_program_inner (-6.0 [-0.0%])
17,197.0
20,200,816
2,243,381
 (-5.0 [-0.0%])
17,267.0
 (+1.0 [+1.4%])
70.0
inner_verifier (+1,919.0 [+2.2%])
88,909.0
734,396,436
 (-5,055 [-0.0%])
401,861,492
 (+14,649.0 [+12.6%])
130,984.0
 (+12,730.0 [+43.4%])
42,075.0
 (-314.0 [-0.7%])
46,738.0
group chip_name rows_used
bench_program_inner ByteXor
65,536
bench_program_inner Core
28
bench_program_inner FieldArithmetic
13
bench_program_inner FieldExtension
1
bench_program_inner Keccak256
24
bench_program_inner Memory AccessAdapter<2>
26
bench_program_inner Memory AccessAdapter<4>
13
bench_program_inner Memory AccessAdapter<8>
5
bench_program_inner Memory Boundary
65
bench_program_inner ProgramChip
37
bench_program_inner RangeTupleChecker
2,097,152
inner_verifier ByteXor
65,536
inner_verifier Core (+5 [+0.0%])
3,932,301
inner_verifier FieldArithmetic (-8 [-0.0%])
1,661,963
inner_verifier FieldExtension
846,158
inner_verifier Memory AccessAdapter<2> (-294 [-0.0%])
1,963,353
inner_verifier Memory AccessAdapter<4> (-147 [-0.0%])
981,721
inner_verifier Memory AccessAdapter<8>
36,119
inner_verifier Memory Boundary
627,611
inner_verifier Poseidon2
22,880
inner_verifier ProgramChip
199,811
inner_verifier RangeTupleChecker
2,097,152
Click to expand
group dsl_ir opcode frequency
bench_program_inner JAL
1
bench_program_inner STOREW
2
bench_program_inner AddE FE4ADD
1
bench_program_inner AddF ADD
1
bench_program_inner AddVI ADD
6
bench_program_inner Alloc ADD
2
bench_program_inner Alloc LOADW
2
bench_program_inner Alloc MUL
2
bench_program_inner For ADD
2
bench_program_inner For BNE
3
bench_program_inner For JAL
1
bench_program_inner For STOREW
1
bench_program_inner Halt TERMINATE
1
bench_program_inner IfEqI BNE
2
bench_program_inner ImmE STOREW
8
bench_program_inner ImmF STOREW
2
bench_program_inner ImmV STOREW
3
bench_program_inner Keccak256 KECCAK256
1
bench_program_inner StoreV STOREW2
2
inner_verifier JAL
1
inner_verifier STOREW
2
inner_verifier AddE FE4ADD
224,508
inner_verifier AddEFFI LOADW
143
inner_verifier AddEFFI STOREW
429
inner_verifier AddEFI ADD
184
inner_verifier AddEI ADD
68,012
inner_verifier AddFI ADD (-8 [-0.1%])
14,605
inner_verifier AddV ADD
8,173
inner_verifier AddVI ADD
293,909
inner_verifier Alloc ADD
30,855
inner_verifier Alloc LOADW
30,855
inner_verifier Alloc MUL
18,311
inner_verifier AssertEqE BNE
136
inner_verifier AssertEqEI BNE
4
inner_verifier AssertEqF BNE
4,894
inner_verifier AssertEqV BNE
1,278
inner_verifier AssertEqVI BNE
159
inner_verifier CycleTrackerEnd CT_END
105,301
inner_verifier CycleTrackerStart CT_START
105,301
inner_verifier DivE BBE4DIV
195,557
inner_verifier DivEIN BBE4DIV
31
inner_verifier DivEIN STOREW
124
inner_verifier DivFIN DIV
75
inner_verifier For ADD
561,540
inner_verifier For BNE
584,286
inner_verifier For JAL
22,746
inner_verifier For LOADW
1,071
inner_verifier For STOREW
21,675
inner_verifier Halt TERMINATE
1
inner_verifier HintBitsF HINT_BITS
22
inner_verifier HintInputVec HINT_INPUT
12,544
inner_verifier IfEq BNE
6,653
inner_verifier IfEqI BNE
127,249
inner_verifier IfEqI JAL (+5 [+0.0%])
11,311
inner_verifier IfNe BEQ
9,555
inner_verifier IfNe JAL
25
inner_verifier IfNeI BEQ
1,116
inner_verifier ImmE STOREW
12,392
inner_verifier ImmF STOREW
15,711
inner_verifier ImmV STOREW
22,995
inner_verifier LoadE LOADW
42,568
inner_verifier LoadE LOADW2
805,192
inner_verifier LoadF LOADW
13,948
inner_verifier LoadF LOADW2
300,156
inner_verifier LoadV LOADW
14,878
inner_verifier LoadV LOADW2
75,390
inner_verifier MulE BBE4MUL
409,372
inner_verifier MulEF MUL
2,012
inner_verifier MulEFI MUL
1,432
inner_verifier MulEI BBE4MUL
2,599
inner_verifier MulEI STOREW
10,396
inner_verifier MulF MUL
26,293
inner_verifier MulFI MUL
13
inner_verifier MulV MUL
682
inner_verifier MulVI MUL
11,081
inner_verifier NegE MUL
188
inner_verifier Poseidon2CompressBabyBear COMP_POS2
9,870
inner_verifier Poseidon2PermuteBabyBear PERM_POS2
13,010
inner_verifier StoreE STOREW
12,600
inner_verifier StoreE STOREW2
12,516
inner_verifier StoreF STOREW
13,398
inner_verifier StoreF STOREW2
102,811
inner_verifier StoreHintWord ADD
214,520
inner_verifier StoreHintWord SHINTW
227,746
inner_verifier StoreV STOREW
1,672
inner_verifier StoreV STOREW2
30,433
inner_verifier SubE FE4SUB
14,091
inner_verifier SubEF LOADW
1,170,618
inner_verifier SubEF SUB
390,206
inner_verifier SubEFI ADD
1,280
inner_verifier SubEI ADD
248
inner_verifier SubV SUB
16,519
inner_verifier SubVI SUB
1,384
inner_verifier SubVIN SUB
441
Click to expand
group air_name dsl_ir opcode cells_used
bench_program_inner Boundary JAL
19
bench_program_inner CoreAir JAL
62
bench_program_inner Boundary STOREW
38
bench_program_inner CoreAir STOREW
124
bench_program_inner <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> AddE FE4ADD
40
bench_program_inner AccessAdapter<2> AddE FE4ADD
66
bench_program_inner AccessAdapter<4> AddE FE4ADD
39
bench_program_inner Boundary AddE FE4ADD
76
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> AddF ADD
30
bench_program_inner Boundary AddF ADD
19
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> AddVI ADD
180
bench_program_inner Boundary AddVI ADD
38
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> Alloc ADD
60
bench_program_inner Boundary Alloc LOADW
38
bench_program_inner CoreAir Alloc LOADW
124
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> Alloc MUL
60
bench_program_inner <NativeAdapterAir,FieldArithmeticCoreAir> For ADD
60
bench_program_inner CoreAir For BNE
186
bench_program_inner CoreAir For JAL
62
bench_program_inner Boundary For STOREW
19
bench_program_inner CoreAir For STOREW
62
bench_program_inner CoreAir Halt TERMINATE
62
bench_program_inner CoreAir IfEqI BNE
124
bench_program_inner Boundary ImmE STOREW
152
bench_program_inner CoreAir ImmE STOREW
496
bench_program_inner Boundary ImmF STOREW
38
bench_program_inner CoreAir ImmF STOREW
124
bench_program_inner Boundary ImmV STOREW
38
bench_program_inner CoreAir ImmV STOREW
186
bench_program_inner AccessAdapter<2> Keccak256 KECCAK256
220
bench_program_inner AccessAdapter<4> Keccak256 KECCAK256
130
bench_program_inner AccessAdapter<8> Keccak256 KECCAK256
85
bench_program_inner Boundary Keccak256 KECCAK256
722
bench_program_inner KeccakVmAir Keccak256 KECCAK256
76,752
bench_program_inner Boundary StoreV STOREW2
38
bench_program_inner CoreAir StoreV STOREW2
124
inner_verifier Boundary JAL
19
inner_verifier CoreAir JAL
66
inner_verifier Boundary STOREW
38
inner_verifier CoreAir STOREW
132
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> AddE FE4ADD
8,980,320
inner_verifier AccessAdapter<2> AddE FE4ADD (-968 [-0.1%])
1,111,726
inner_verifier AccessAdapter<4> AddE FE4ADD (-572 [-0.1%])
656,929
inner_verifier Boundary AddE FE4ADD
2,077,764
inner_verifier AccessAdapter<2> AddEFFI LOADW (+11 [+1.0%])
1,111
inner_verifier AccessAdapter<4> AddEFFI LOADW (+13 [+1.0%])
1,313
inner_verifier Boundary AddEFFI LOADW
380
inner_verifier CoreAir AddEFFI LOADW
9,438
inner_verifier AccessAdapter<2> AddEFFI STOREW (+11 [+1.0%])
1,111
inner_verifier Boundary AddEFFI STOREW
1,140
inner_verifier CoreAir AddEFFI STOREW
28,314
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddEFI ADD
5,520
inner_verifier AccessAdapter<2> AddEFI ADD (+154 [+31.8%])
638
inner_verifier AccessAdapter<4> AddEFI ADD (+91 [+31.8%])
377
inner_verifier Boundary AddEFI ADD
2,052
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddEI ADD
2,040,360
inner_verifier AccessAdapter<2> AddEI ADD (+242 [+0.1%])
377,674
inner_verifier AccessAdapter<4> AddEI ADD (+143 [+0.1%])
223,171
inner_verifier Boundary AddEI ADD
1,132,096
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddFI ADD (-240 [-0.1%])
438,150
inner_verifier Boundary AddFI ADD
437
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddV ADD
245,190
inner_verifier Boundary AddV ADD
38
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> AddVI ADD
8,817,270
inner_verifier Boundary AddVI ADD
14,915
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> Alloc ADD
925,650
inner_verifier Boundary Alloc LOADW
1,653
inner_verifier CoreAir Alloc LOADW
2,036,430
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> Alloc MUL
549,330
inner_verifier AccessAdapter<2> Alloc MUL
22
inner_verifier AccessAdapter<4> Alloc MUL
26
inner_verifier AccessAdapter<2> AssertEqE BNE
748
inner_verifier AccessAdapter<4> AssertEqE BNE
442
inner_verifier CoreAir AssertEqE BNE
8,976
inner_verifier AccessAdapter<2> AssertEqEI BNE
22
inner_verifier AccessAdapter<4> AssertEqEI BNE
13
inner_verifier CoreAir AssertEqEI BNE
264
inner_verifier CoreAir AssertEqF BNE
323,004
inner_verifier CoreAir AssertEqV BNE
84,348
inner_verifier CoreAir AssertEqVI BNE
10,494
inner_verifier CoreAir CycleTrackerEnd CT_END
6,949,866
inner_verifier CoreAir CycleTrackerStart CT_START
6,949,866
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivE BBE4DIV
7,822,280
inner_verifier AccessAdapter<2> DivE BBE4DIV
8,584,840
inner_verifier AccessAdapter<4> DivE BBE4DIV
5,072,860
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivEIN BBE4DIV
1,240
inner_verifier AccessAdapter<2> DivEIN BBE4DIV (-22 [-1.8%])
1,210
inner_verifier AccessAdapter<4> DivEIN BBE4DIV (-13 [-1.8%])
715
inner_verifier Boundary DivEIN BBE4DIV
304
inner_verifier AccessAdapter<2> DivEIN STOREW
440
inner_verifier AccessAdapter<4> DivEIN STOREW
117
inner_verifier CoreAir DivEIN STOREW
8,184
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> DivFIN DIV
2,250
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> For ADD
16,846,200
inner_verifier CoreAir For BNE
38,562,876
inner_verifier AccessAdapter<2> For JAL
484
inner_verifier AccessAdapter<4> For JAL
572
inner_verifier CoreAir For JAL
1,501,236
inner_verifier Boundary For LOADW
399
inner_verifier CoreAir For LOADW
70,686
inner_verifier Boundary For STOREW
988
inner_verifier CoreAir For STOREW
1,430,550
inner_verifier CoreAir Halt TERMINATE
66
inner_verifier CoreAir HintBitsF HINT_BITS
1,452
inner_verifier CoreAir HintInputVec HINT_INPUT
827,904
inner_verifier CoreAir IfEq BNE
439,098
inner_verifier CoreAir IfEqI BNE
8,398,434
inner_verifier CoreAir IfEqI JAL (+330 [+0.0%])
746,526
inner_verifier CoreAir IfNe BEQ
630,630
inner_verifier CoreAir IfNe JAL
1,650
inner_verifier CoreAir IfNeI BEQ
73,656
inner_verifier AccessAdapter<2> ImmE STOREW (+220 [+6.9%])
3,410
inner_verifier AccessAdapter<4> ImmE STOREW (+130 [+6.9%])
2,015
inner_verifier Boundary ImmE STOREW
214,624
inner_verifier CoreAir ImmE STOREW
817,872
inner_verifier Boundary ImmF STOREW
2,337
inner_verifier CoreAir ImmF STOREW
1,036,926
inner_verifier Boundary ImmV STOREW
15,048
inner_verifier CoreAir ImmV STOREW
1,517,670
inner_verifier AccessAdapter<2> LoadE LOADW (-1,386 [-2.1%])
65,428
inner_verifier AccessAdapter<4> LoadE LOADW (-819 [-2.1%])
38,662
inner_verifier Boundary LoadE LOADW
503,120
inner_verifier CoreAir LoadE LOADW
2,809,488
inner_verifier AccessAdapter<2> LoadE LOADW2
29,634
inner_verifier AccessAdapter<4> LoadE LOADW2
17,511
inner_verifier Boundary LoadE LOADW2
76
inner_verifier CoreAir LoadE LOADW2
53,142,672
inner_verifier AccessAdapter<2> LoadF LOADW
26,796
inner_verifier AccessAdapter<4> LoadF LOADW
15,834
inner_verifier AccessAdapter<8> LoadF LOADW
10,353
inner_verifier Boundary LoadF LOADW
494
inner_verifier CoreAir LoadF LOADW
920,568
inner_verifier AccessAdapter<2> LoadF LOADW2
693
inner_verifier AccessAdapter<4> LoadF LOADW2
416
inner_verifier AccessAdapter<8> LoadF LOADW2
459
inner_verifier Boundary LoadF LOADW2
532
inner_verifier CoreAir LoadF LOADW2
19,810,296
inner_verifier Boundary LoadV LOADW
13,794
inner_verifier CoreAir LoadV LOADW
981,948
inner_verifier Boundary LoadV LOADW2
1,615
inner_verifier CoreAir LoadV LOADW2
4,975,740
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulE BBE4MUL
16,374,880
inner_verifier AccessAdapter<2> MulE BBE4MUL (-902 [-0.2%])
499,532
inner_verifier AccessAdapter<4> MulE BBE4MUL (-533 [-0.2%])
295,178
inner_verifier Boundary MulE BBE4MUL
1,215,620
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulEF MUL
60,360
inner_verifier AccessAdapter<2> MulEF MUL (+66 [+0.6%])
10,252
inner_verifier AccessAdapter<4> MulEF MUL (+39 [+0.6%])
6,058
inner_verifier Boundary MulEF MUL
608
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulEFI MUL
42,960
inner_verifier AccessAdapter<2> MulEFI MUL (+220 [+12.7%])
1,958
inner_verifier AccessAdapter<4> MulEFI MUL (+130 [+12.7%])
1,157
inner_verifier Boundary MulEFI MUL
24,244
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulEI BBE4MUL
103,960
inner_verifier AccessAdapter<2> MulEI BBE4MUL (-594 [-0.4%])
158,488
inner_verifier AccessAdapter<4> MulEI BBE4MUL (-351 [-0.4%])
93,652
inner_verifier Boundary MulEI BBE4MUL
154,660
inner_verifier AccessAdapter<2> MulEI STOREW
56,892
inner_verifier AccessAdapter<4> MulEI STOREW
33,462
inner_verifier Boundary MulEI STOREW
57
inner_verifier CoreAir MulEI STOREW
686,136
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulF MUL
788,790
inner_verifier Boundary MulF MUL
19
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulFI MUL
390
inner_verifier Boundary MulFI MUL
19
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulV MUL
20,460
inner_verifier Boundary MulV MUL
12,901
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> MulVI MUL
332,430
inner_verifier Boundary MulVI MUL
133
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> NegE MUL
5,640
inner_verifier AccessAdapter<2> NegE MUL (-66 [-5.7%])
1,100
inner_verifier AccessAdapter<4> NegE MUL (-39 [-5.7%])
650
inner_verifier Boundary NegE MUL
2,356
inner_verifier AccessAdapter<2> Poseidon2CompressBabyBear COMP_POS2
414,876
inner_verifier AccessAdapter<4> Poseidon2CompressBabyBear COMP_POS2
245,154
inner_verifier AccessAdapter<8> Poseidon2CompressBabyBear COMP_POS2
160,293
inner_verifier Poseidon2VmAir Poseidon2CompressBabyBear COMP_POS2
4,125,660
inner_verifier AccessAdapter<2> Poseidon2PermuteBabyBear PERM_POS2
615,274
inner_verifier AccessAdapter<4> Poseidon2PermuteBabyBear PERM_POS2
363,857
inner_verifier AccessAdapter<8> Poseidon2PermuteBabyBear PERM_POS2
239,547
inner_verifier Poseidon2VmAir Poseidon2PermuteBabyBear PERM_POS2
5,438,180
inner_verifier AccessAdapter<2> StoreE STOREW
9,746
inner_verifier AccessAdapter<4> StoreE STOREW
5,759
inner_verifier Boundary StoreE STOREW
239,400
inner_verifier CoreAir StoreE STOREW
831,600
inner_verifier AccessAdapter<2> StoreE STOREW2
48,972
inner_verifier AccessAdapter<4> StoreE STOREW2
28,938
inner_verifier Boundary StoreE STOREW2
35,112
inner_verifier CoreAir StoreE STOREW2
826,056
inner_verifier Boundary StoreF STOREW
254,562
inner_verifier CoreAir StoreF STOREW
884,268
inner_verifier AccessAdapter<2> StoreF STOREW2
522,126
inner_verifier AccessAdapter<4> StoreF STOREW2
308,815
inner_verifier AccessAdapter<8> StoreF STOREW2
203,371
inner_verifier Boundary StoreF STOREW2
71,592
inner_verifier CoreAir StoreF STOREW2
6,785,526
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> StoreHintWord ADD
6,435,600
inner_verifier Boundary StoreHintWord SHINTW
4,327,174
inner_verifier CoreAir StoreHintWord SHINTW
15,031,236
inner_verifier Boundary StoreV STOREW
31,768
inner_verifier CoreAir StoreV STOREW
110,352
inner_verifier Boundary StoreV STOREW2
575,548
inner_verifier CoreAir StoreV STOREW2
2,008,578
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> SubE FE4SUB
563,640
inner_verifier AccessAdapter<2> SubE FE4SUB (-374 [-0.1%])
464,574
inner_verifier AccessAdapter<4> SubE FE4SUB (-221 [-0.1%])
274,521
inner_verifier Boundary SubE FE4SUB
958,132
inner_verifier AccessAdapter<2> SubEF LOADW
4,292,266
inner_verifier CoreAir SubEF LOADW
77,260,788
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubEF SUB
11,706,180
inner_verifier AccessAdapter<2> SubEF SUB
4,292,266
inner_verifier AccessAdapter<4> SubEF SUB
5,072,678
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubEFI ADD
38,400
inner_verifier AccessAdapter<2> SubEFI ADD (+88 [+20.0%])
528
inner_verifier AccessAdapter<4> SubEFI ADD (+52 [+20.0%])
312
inner_verifier Boundary SubEFI ADD
22,800
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubEI ADD
7,440
inner_verifier AccessAdapter<2> SubEI ADD (+66 [+3.3%])
2,046
inner_verifier AccessAdapter<4> SubEI ADD (+39 [+3.3%])
1,209
inner_verifier Boundary SubEI ADD
608
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubV SUB
495,570
inner_verifier Boundary SubV SUB
76
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubVI SUB
41,520
inner_verifier Boundary SubVI SUB
13,357
inner_verifier <NativeAdapterAir,FieldArithmeticCoreAir> SubVIN SUB
13,230
group air_name cells constraints interactions main_cols perm_cols prep_cols quotient_deg rows
bench_program_inner ProgramAir
1,152
4
1
10
8
1
64
bench_program_inner CoreAir
3,392
115
19
62
44
2
32
bench_program_inner VmAirWrapper<NativeAdapterAir, FieldArithmeticCoreAir>
1,056
27
15
30
36
2
16
bench_program_inner VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
76
27
15
40
36
2
1
bench_program_inner KeccakVmAir
132,544
2,251
235
3,198
944
2
32
bench_program_inner XorLookupAir<8>
589,824
4
1
1
8
3
1
65,536
bench_program_inner RangeTupleCheckerAir<2>
18,874,368
4
1
1
8
2
1
2,097,152
bench_program_inner VolatileBoundaryAir
4,480
21
6
19
16
2
128
bench_program_inner AccessAdapterAir<2>
2,240
14
5
11
24
2
64
bench_program_inner AccessAdapterAir<4>
1,184
14
5
13
24
2
32
bench_program_inner AccessAdapterAir<8>
656
14
5
17
24
2
16
bench_program_inner VariableRangeCheckerAir
589,824
4
1
1
8
2
1
65,536
bench_program_inner VmConnectorAir
20
4
2
2
8
1
2
2
inner_verifier ProgramAir
4,718,592
4
1
10
8
1
262,144
inner_verifier CoreAir
360,710,144
113
19
66
20
8
4,194,304
inner_verifier VmAirWrapper<NativeAdapterAir, FieldArithmeticCoreAir>
96,468,992
22
15
30
16
8
2,097,152
inner_verifier VmAirWrapper<NativeVectorizedAdapterAir<4>, FieldExtensionCoreAir>
58,720,256
22
15
40
16
8
1,048,576
inner_verifier Poseidon2VmAir
14,614,528
374
32
418
28
8
32,768
inner_verifier XorLookupAir<8>
589,824
4
1
1
8
3
1
65,536
inner_verifier RangeTupleCheckerAir<2>
18,874,368
4
1
1
8
2
1
2,097,152
inner_verifier VolatileBoundaryAir
28,311,552
19
6
19
8
8
1,048,576
inner_verifier AccessAdapterAir<2>
96,468,992
11
5
11
12
4
4,194,304
inner_verifier AccessAdapterAir<4>
52,428,800
11
5
13
12
4
2,097,152
inner_verifier AccessAdapterAir<8>
1,900,544
11
5
17
12
4
65,536
inner_verifier VariableRangeCheckerAir
589,824
4
1
1
8
2
1
65,536
inner_verifier VmConnectorAir
20
4
2
2
8
1
2
2





Commit: 83f7cd9
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

@nyunyunyunyu nyunyunyunyu removed the run-benchmark triggers benchmark workflows on the pr label Oct 16, 2024
@nyunyunyunyu nyunyunyunyu force-pushed the refactor/vmconfig-gen-chip branch from 7aab72e to 402b4c0 Compare October 16, 2024 23:03
@nyunyunyunyu nyunyunyunyu mentioned this pull request Oct 17, 2024
Merged
zlangley
zlangley approved these changes Oct 17, 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

vm/src/system/program/mod.rs Outdated Show resolved Hide resolved
@zlangley zlangley merged commit 7896464 into main Oct 17, 2024
9 checks passed
@zlangley zlangley deleted the refactor/vmconfig-gen-chip branch October 17, 2024 14:02
luffykai pushed a commit that referenced this pull request Dec 13, 2024
@nyunyunyunyu @zlangley
[refactor] Create Chips from VmConfig (#592)
071064d 
* Create Chips from VmConfig

* Remove a unused function

* Update vm/src/system/program/mod.rs

---------

Co-authored-by: Zach Langley <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zlangley zlangley zlangley approved these changes

@jonathanpwang jonathanpwang Awaiting requested review from jonathanpwang

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
@nyunyunyunyu @zlangley