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: Always increment timestamp #667

Merged
merged 1 commit into from
Oct 24, 2024
Merged

feat: Always increment timestamp #667

merged 1 commit into from
Oct 24, 2024

Conversation

zlangley
Copy link
Contributor

@zlangley zlangley commented Oct 24, 2024 •
edited
Loading

Resolves INT-2373

@zlangley zlangley added the run-benchmark triggers benchmark workflows on the pr label Oct 24, 2024
@linear Linear
Copy link

linear bot commented Oct 24, 2024

INT-2373 Ensure timestamp always increments on every instruction

Some instructions (like TERMINATE) currently do not increase pc or timestamp. This allows there to be cycles in the execution argument (an malicious prover could insert lots of TERMINATE rows that are disconnected from the execution flow). This isn't a soundness issue, but it would be cleaner if we always increased timestamp so that these non-canonical witnesses weren't valid.

@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 (-4.0 [-0.6%])
636.0
1,192,302
134,436
 (-4.0 [-0.6%])
654.0
18.0
group chip_name rows_used
fibonacci_program_inner FieldArithmetic
90
fibonacci_program_inner Jal
1
fibonacci_program_inner LoadStore
4
fibonacci_program_inner Memory Boundary
35
fibonacci_program_inner ProgramChip
97
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 ImmF STOREW
2
Click to expand
group air_name dsl_ir opcode cells_used
fibonacci_program_inner <JalNativeAdapterAir,JalCoreAir> JAL
10
fibonacci_program_inner Boundary JAL
11
fibonacci_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> STOREW
82
fibonacci_program_inner Boundary STOREW
22
fibonacci_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddF ADD
900
fibonacci_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddFI ADD
1,800
fibonacci_program_inner Boundary AddFI ADD
330
fibonacci_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmF STOREW
82
fibonacci_program_inner Boundary ImmF STOREW
22
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 VmConnectorAir
32
 (-1 [-11.1%])
8
3
4
12
1
2
2
fibonacci_program_inner VolatileBoundaryAir
1,472
17
4
11
12
2
64
fibonacci_program_inner CoreAir
28
14
3
16
12
2
1
fibonacci_program_inner VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
340
36
19
41
44
2
4
fibonacci_program_inner VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
30
8
7
10
20
2
1
fibonacci_program_inner VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir>
8,448
27
15
30
36
2
128
fibonacci_program_inner VariableRangeCheckerAir
1,179,648
4
1
1
8
2
1
131,072





Commit: 9d32886
AWS Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@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
VmConnectorAir
24
 (-1 [-12.5%])
7
3
4
8
1
4
2
VolatileBoundaryAir
2,490,368
16
4
11
8
4
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
CoreAir
393,216
13
3
16
8
4
16,384
VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
15,990,784
30
19
41
20
8
262,144
VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
5,636,096
21
11
23
20
4
131,072
VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
360,448
6
7
10
12
8
16,384
VmAirWrapper<NativeAdapterAir<2, 1>, 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
VariableRangeCheckerAir
1,179,648
4
1
1
8
2
1
131,072
stark_prove_excluding_trace_time_ms total_cells total_cells_used trace_gen_time_ms verify_program_compile_ms
(-70.0 [-1.3%])
5,307.0
44,138,520
17,680,457
 (+13.0 [+2.2%])
594.0
 (-1.0 [-2.0%])
48.0
chip_name rows_used
BranchEqual
67,826
Core
11,747
FieldArithmetic
140,649
FieldExtension
7,486
Jal
11,304
LoadStore
199,789
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
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
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
<JalNativeAdapterAir,JalCoreAir> JAL
10
Boundary JAL
11
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> STOREW
82
Boundary STOREW
22
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> AddE FE4ADD
65,200
AccessAdapter<2> AddE FE4ADD
24,882
AccessAdapter<4> AddE FE4ADD
14,703
Boundary AddE FE4ADD
792
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> AddEFFI LOADW
5,248
AccessAdapter<2> AddEFFI LOADW
132
AccessAdapter<4> AddEFFI LOADW
156
Boundary AddEFFI LOADW
176
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> AddEFFI STOREW
15,744
AccessAdapter<2> AddEFFI STOREW
132
Boundary AddEFFI STOREW
528
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddEI ADD
169,920
AccessAdapter<2> AddEI ADD
24,398
AccessAdapter<4> AddEI ADD
14,417
Boundary AddEI ADD
440
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddFI ADD
84,690
Boundary AddFI ADD
242
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddV ADD
54,450
Boundary AddV ADD
33
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddVI ADD
1,060,920
Boundary AddVI ADD
35,486
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc ADD
390,330
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> Alloc LOADW
533,451
Boundary Alloc LOADW
1,815
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc MUL
269,370
AccessAdapter<2> Alloc MUL
22
AccessAdapter<4> Alloc MUL
26
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqE BNE
9,292
AccessAdapter<2> AssertEqE BNE
2,222
AccessAdapter<4> AssertEqE BNE
1,313
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqEI BNE
92
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqF BNE
112,723
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqV BNE
81,420
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqVI BNE
460
CoreAir CycleTrackerEnd CT_END
60,912
CoreAir CycleTrackerStart CT_START
60,912
<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
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> DivEIN STOREW
164
AccessAdapter<2> DivEIN STOREW
11
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> DivFIN DIV
90
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> For ADD
1,044,930
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> For BNE
1,016,922
<JalNativeAdapterAir,JalCoreAir> For JAL
93,830
AccessAdapter<2> For JAL
55
AccessAdapter<4> For JAL
65
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For LOADW
28,700
Boundary For LOADW
1,100
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For STOREW
356,003
Boundary For STOREW
572
CoreAir HintBitsF HINT_BITS
1,616
CoreAir HintInputVec HINT_INPUT
64,512
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEq BNE
16,606
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEqI BNE
259,647
<JalNativeAdapterAir,JalCoreAir> IfEqI JAL
19,130
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfNe BEQ
48,967
<JalNativeAdapterAir,JalCoreAir> IfNe JAL
70
<BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfNeI BEQ
13,869
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmE STOREW
82,328
AccessAdapter<2> ImmE STOREW
2,200
AccessAdapter<4> ImmE STOREW
1,300
Boundary ImmE STOREW
44
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmF STOREW
288,476
Boundary ImmF STOREW
2,156
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmV STOREW
522,791
Boundary ImmV STOREW
37,334
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadE LOADW
198,276
AccessAdapter<2> LoadE LOADW
17,688
AccessAdapter<4> LoadE LOADW
10,452
Boundary LoadE LOADW
220
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadE LOADW2
574,000
AccessAdapter<2> LoadE LOADW2
28,666
AccessAdapter<4> LoadE LOADW2
16,939
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadF LOADW
543,332
AccessAdapter<2> LoadF LOADW
26,400
AccessAdapter<4> LoadF LOADW
15,600
AccessAdapter<8> LoadF LOADW
10,200
Boundary LoadF LOADW
330
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadF LOADW2
126,936
AccessAdapter<2> LoadF LOADW2
715
AccessAdapter<4> LoadF LOADW2
429
AccessAdapter<8> LoadF LOADW2
323
Boundary LoadF LOADW2
1,210
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadV LOADW
360,800
Boundary LoadV LOADW
34,881
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadV LOADW2
797,491
Boundary LoadV LOADW2
935
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulE BBE4MUL
136,720
AccessAdapter<2> MulE BBE4MUL
33,352
AccessAdapter<4> MulE BBE4MUL
19,708
Boundary MulE BBE4MUL
572
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulEF MUL
48,240
AccessAdapter<2> MulEF MUL
8,822
AccessAdapter<4> MulEF MUL
5,213
Boundary MulEF MUL
44
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulEI BBE4MUL
1,320
AccessAdapter<2> MulEI BBE4MUL
1,892
AccessAdapter<4> MulEI BBE4MUL
1,118
Boundary MulEI BBE4MUL
924
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> MulEI STOREW
5,412
AccessAdapter<2> MulEI STOREW
638
AccessAdapter<4> MulEI STOREW
338
Boundary MulEI STOREW
33
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulF MUL
66,120
Boundary MulF MUL
11
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulFI MUL
30
Boundary MulFI MUL
11
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulV MUL
93,930
Boundary MulV MUL
34,408
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulVI MUL
78,120
Boundary MulVI MUL
44
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
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreE STOREW
1,312,492
AccessAdapter<2> StoreE STOREW
8,800
AccessAdapter<4> StoreE STOREW
5,200
Boundary StoreE STOREW
352,132
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreE STOREW2
197,456
AccessAdapter<2> StoreE STOREW2
8,800
AccessAdapter<4> StoreE STOREW2
5,200
Boundary StoreE STOREW2
17,776
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreF STOREW
265,844
Boundary StoreF STOREW
71,324
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreF STOREW2
162,442
AccessAdapter<2> StoreF STOREW2
231
AccessAdapter<4> StoreF STOREW2
143
AccessAdapter<8> StoreF STOREW2
102
Boundary StoreF STOREW2
35,838
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> StoreHintWord ADD
591,240
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreHintWord SHINTW
1,101,711
Boundary StoreHintWord SHINTW
295,581
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW
59,942
Boundary StoreV STOREW
16,082
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW2
454,813
Boundary StoreV STOREW2
93,258
<NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> SubE FE4SUB
48,080
AccessAdapter<2> SubE FE4SUB
44,176
AccessAdapter<4> SubE FE4SUB
26,104
Boundary SubE FE4SUB
220
<NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> SubEF LOADW
197,415
AccessAdapter<2> SubEF LOADW
17,633
Boundary SubEF LOADW
99
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEF SUB
48,150
AccessAdapter<2> SubEF SUB
17,633
AccessAdapter<4> SubEF SUB
20,839
Boundary SubEF SUB
33
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEI ADD
240
AccessAdapter<2> SubEI ADD
44
AccessAdapter<4> SubEI ADD
26
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubV SUB
93,030
Boundary SubV SUB
44
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubVI SUB
113,670
Boundary SubVI SUB
35,519
<NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubVIN SUB
12,000





Commit: 9d32886
AWS Instance Type: 64cpu-linux-arm64
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 (-12.0 [-0.7%])
1,723.0
3,972,472
590,858
 (-13.0 [-0.7%])
1,755.0
 (-1.0 [-3.0%])
32.0
inner_verifier (+35.0 [+0.1%])
37,301.0
291,635,224
 (+9,830 [+0.0%])
117,235,218
 (+44.0 [+0.1%])
41,354.0
 (+9.0 [+0.2%])
4,053.0
 (-10.0 [-2.3%])
419.0
group chip_name rows_used
bench_program_inner ArithmeticLogicUnit256
288
bench_program_inner BranchEqual
161
bench_program_inner ByteXor
65,536
bench_program_inner FieldArithmetic
1,256
bench_program_inner Jal
2
bench_program_inner LoadStore
1,132
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 Shift256
96
inner_verifier BranchEqual (-4 [-0.0%])
371,630
inner_verifier Core
92,219
inner_verifier FieldArithmetic (+12 [+0.0%])
821,244
inner_verifier FieldExtension (-1 [-0.0%])
287,231
inner_verifier Jal (+905 [+2.6%])
35,908
inner_verifier LoadStore (-5 [-0.0%])
1,216,800
inner_verifier Memory AccessAdapter<2> (+44 [+0.0%])
690,193
inner_verifier Memory AccessAdapter<4> (+22 [+0.0%])
345,245
inner_verifier Memory AccessAdapter<8>
16,911
inner_verifier Memory Boundary (-1 [-0.0%])
282,473
inner_verifier Poseidon2
12,292
inner_verifier ProgramChip (-2 [-0.0%])
93,650
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 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 (-2 [-0.0%])
73,873
inner_verifier AddEFFI LOADW (+1 [+0.7%])
138
inner_verifier AddEFFI STOREW (+3 [+0.7%])
414
inner_verifier AddEFI ADD (+4 [+1.8%])
228
inner_verifier AddEI ADD (-4 [-0.0%])
27,040
inner_verifier AddFI ADD (+20 [+0.1%])
21,966
inner_verifier AddV ADD
6,680
inner_verifier AddVI ADD (-2 [-0.0%])
155,093
inner_verifier Alloc ADD
25,677
inner_verifier Alloc LOADW
25,677
inner_verifier Alloc MUL
15,604
inner_verifier AssertEqE BNE
152
inner_verifier AssertEqEI BNE
4
inner_verifier AssertEqF BNE
4,054
inner_verifier AssertEqV BNE
1,237
inner_verifier AssertEqVI BNE
204
inner_verifier CycleTrackerEnd CT_END
41,062
inner_verifier CycleTrackerStart CT_START
41,062
inner_verifier DivE BBE4DIV
63,979
inner_verifier DivEIN BBE4DIV
45
inner_verifier DivEIN STOREW
180
inner_verifier DivFIN DIV
107
inner_verifier For ADD (-3 [-0.0%])
259,454
inner_verifier For BNE (-3 [-0.0%])
281,141
inner_verifier For JAL
21,687
inner_verifier For LOADW
1,218
inner_verifier For STOREW
20,469
inner_verifier HintBitsF HINT_BITS
22
inner_verifier HintInputVec HINT_INPUT
10,073
inner_verifier IfEq BNE
10,778
inner_verifier IfEqI BNE (-1 [-0.0%])
65,821
inner_verifier IfEqI JAL (+905 [+6.8%])
14,199
inner_verifier IfNe BEQ
6,956
inner_verifier IfNe JAL
21
inner_verifier IfNeI BEQ
1,283
inner_verifier ImmE STOREW (+4 [+0.1%])
7,336
inner_verifier ImmF STOREW
19,407
inner_verifier ImmV STOREW (-1 [-0.0%])
14,931
inner_verifier LoadE LOADW
16,544
inner_verifier LoadE LOADW2
282,140
inner_verifier LoadF LOADW (-1 [-0.0%])
11,473
inner_verifier LoadF LOADW2 (-2 [-0.0%])
104,961
inner_verifier LoadV LOADW
12,278
inner_verifier LoadV LOADW2
88,947
inner_verifier MulE BBE4MUL (-2 [-0.0%])
143,510
inner_verifier MulEF MUL
1,788
inner_verifier MulEFI MUL
536
inner_verifier MulEI BBE4MUL
1,825
inner_verifier MulEI STOREW
7,300
inner_verifier MulF MUL
40,787
inner_verifier MulFI MUL
17
inner_verifier MulV MUL
682
inner_verifier MulVI MUL
8,777
inner_verifier NegE MUL
160
inner_verifier Poseidon2CompressBabyBear COMP_POS2
7,539
inner_verifier Poseidon2PermuteBabyBear PERM_POS2
4,753
inner_verifier StoreE STOREW
11,304
inner_verifier StoreE STOREW2
14,516
inner_verifier StoreF STOREW
16,412
inner_verifier StoreF STOREW2 (-2 [-0.0%])
36,788
inner_verifier StoreHintWord ADD (-1 [-0.0%])
102,921
inner_verifier StoreHintWord SHINTW (-1 [-0.0%])
113,676
inner_verifier StoreV STOREW
1,469
inner_verifier StoreV STOREW2
27,584
inner_verifier SubE FE4SUB (+3 [+0.1%])
3,999
inner_verifier SubEF LOADW (-6 [-0.0%])
381,636
inner_verifier SubEF SUB (-2 [-0.0%])
127,212
inner_verifier SubEFI ADD
568
inner_verifier SubEI ADD
360
inner_verifier SubV SUB
23,957
inner_verifier SubVI SUB
1,273
inner_verifier SubVIN SUB
357
Click to expand
group air_name dsl_ir opcode cells_used
bench_program_inner <JalNativeAdapterAir,JalCoreAir> JAL
10
bench_program_inner Boundary JAL
11
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> STOREW
82
bench_program_inner Boundary STOREW
22
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>
22,528
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddVI ADD
13,440
bench_program_inner Boundary AddVI ADD
22
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc ADD
11,640
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> Alloc LOADW
15,908
bench_program_inner Boundary Alloc LOADW
165
bench_program_inner <NativeAdapterAir<2, 1>,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>
11,264
bench_program_inner ArithmeticLogicCoreAir<32, 8> EqualTo256 EQ<32,8>
5,504
bench_program_inner Boundary EqualTo256 EQ<32,8>
352
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> For ADD
960
bench_program_inner <BranchNativeAdapterAir,BranchEqualCoreAir<1>> For BNE
759
bench_program_inner <JalNativeAdapterAir,JalCoreAir> For JAL
10
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For STOREW
41
bench_program_inner Boundary For STOREW
11
bench_program_inner <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEqI BNE
2,944
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmV STOREW
21,197
bench_program_inner Boundary ImmV STOREW
1,573
bench_program_inner ArithmeticLogicCoreAir<32, 8> LessThanI256 SLT<32,8>
5,504
bench_program_inner Boundary LessThanI256 SLT<32,8>
352
bench_program_inner ArithmeticLogicCoreAir<32, 8> LessThanU256 LT<32,8>
5,504
bench_program_inner Boundary LessThanU256 LT<32,8>
352
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadV LOADW
3,936
bench_program_inner Boundary LoadV LOADW
33
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>
11,264
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>
11,264
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>
11,264
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>
11,264
bench_program_inner ShiftCoreAir<32, 8> ShiftRightLogic256 SRL<32,8>
7,552
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW
5,248
bench_program_inner Boundary StoreV STOREW
1,408
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>
11,264
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>
11,264
inner_verifier <JalNativeAdapterAir,JalCoreAir> JAL
10
inner_verifier Boundary JAL
11
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> STOREW
82
inner_verifier Boundary STOREW
22
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> AddE FE4ADD (-80 [-0.0%])
2,954,920
inner_verifier AccessAdapter<2> AddE FE4ADD
220,352
inner_verifier AccessAdapter<4> AddE FE4ADD
130,208
inner_verifier Boundary AddE FE4ADD
237,776
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> AddEFFI LOADW (+41 [+0.7%])
5,658
inner_verifier AccessAdapter<2> AddEFFI LOADW (+11 [+1.2%])
935
inner_verifier AccessAdapter<4> AddEFFI LOADW (+13 [+1.2%])
1,105
inner_verifier Boundary AddEFFI LOADW
330
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> AddEFFI STOREW (+123 [+0.7%])
16,974
inner_verifier AccessAdapter<2> AddEFFI STOREW (+11 [+1.2%])
935
inner_verifier Boundary AddEFFI STOREW
990
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddEFI ADD (+120 [+1.8%])
6,840
inner_verifier AccessAdapter<2> AddEFI ADD (+44 [+4.8%])
968
inner_verifier AccessAdapter<4> AddEFI ADD (+26 [+4.8%])
572
inner_verifier Boundary AddEFI ADD
1,364
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddEI ADD (-120 [-0.0%])
811,200
inner_verifier AccessAdapter<2> AddEI ADD (+198 [+0.1%])
160,204
inner_verifier AccessAdapter<4> AddEI ADD (+117 [+0.1%])
94,666
inner_verifier Boundary AddEI ADD
204,116
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddFI ADD (+600 [+0.1%])
658,980
inner_verifier Boundary AddFI ADD
253
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddV ADD
200,400
inner_verifier Boundary AddV ADD
22
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddVI ADD (-60 [-0.0%])
4,652,790
inner_verifier Boundary AddVI ADD
8,701
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc ADD
770,310
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> Alloc LOADW
1,052,757
inner_verifier Boundary Alloc LOADW
946
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc MUL
468,120
inner_verifier AccessAdapter<2> Alloc MUL
22
inner_verifier AccessAdapter<4> Alloc MUL
26
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqE BNE
3,496
inner_verifier AccessAdapter<2> AssertEqE BNE
836
inner_verifier AccessAdapter<4> AssertEqE BNE
494
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqEI BNE
92
inner_verifier AccessAdapter<2> AssertEqEI BNE
22
inner_verifier AccessAdapter<4> AssertEqEI BNE
13
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqF BNE
93,242
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqV BNE
28,451
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqVI BNE
4,692
inner_verifier CoreAir CycleTrackerEnd CT_END
656,992
inner_verifier CoreAir CycleTrackerStart CT_START
656,992
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivE BBE4DIV
2,559,160
inner_verifier AccessAdapter<2> DivE BBE4DIV
2,799,016
inner_verifier AccessAdapter<4> DivE BBE4DIV
1,653,964
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivEIN BBE4DIV
1,800
inner_verifier AccessAdapter<2> DivEIN BBE4DIV
1,958
inner_verifier AccessAdapter<4> DivEIN BBE4DIV
1,157
inner_verifier Boundary DivEIN BBE4DIV
660
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> DivEIN STOREW
7,380
inner_verifier AccessAdapter<2> DivEIN STOREW
649
inner_verifier AccessAdapter<4> DivEIN STOREW
182
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> DivFIN DIV
3,210
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> For ADD (-90 [-0.0%])
7,783,620
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> For BNE (-69 [-0.0%])
6,466,243
inner_verifier <JalNativeAdapterAir,JalCoreAir> For JAL
216,870
inner_verifier AccessAdapter<2> For JAL
539
inner_verifier AccessAdapter<4> For JAL
637
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For LOADW
49,938
inner_verifier Boundary For LOADW
231
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For STOREW
839,229
inner_verifier Boundary For STOREW
605
inner_verifier CoreAir HintBitsF HINT_BITS
352
inner_verifier CoreAir HintInputVec HINT_INPUT
161,168
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEq BNE
247,894
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEqI BNE (-23 [-0.0%])
1,513,883
inner_verifier <JalNativeAdapterAir,JalCoreAir> IfEqI JAL (+9,050 [+6.8%])
141,990
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfNe BEQ
159,988
inner_verifier <JalNativeAdapterAir,JalCoreAir> IfNe JAL
210
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfNeI BEQ
29,509
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmE STOREW (+164 [+0.1%])
300,776
inner_verifier AccessAdapter<2> ImmE STOREW
4,246
inner_verifier AccessAdapter<4> ImmE STOREW
2,509
inner_verifier Boundary ImmE STOREW
66,616
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmF STOREW
795,687
inner_verifier Boundary ImmF STOREW
1,353
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmV STOREW (-41 [-0.0%])
612,171
inner_verifier Boundary ImmV STOREW
8,701
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadE LOADW
678,304
inner_verifier AccessAdapter<2> LoadE LOADW
66,814
inner_verifier AccessAdapter<4> LoadE LOADW
39,481
inner_verifier Boundary LoadE LOADW
4,092
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadE LOADW2
11,567,740
inner_verifier AccessAdapter<2> LoadE LOADW2
24,090
inner_verifier AccessAdapter<4> LoadE LOADW2
14,235
inner_verifier Boundary LoadE LOADW2
44
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadF LOADW (-41 [-0.0%])
470,393
inner_verifier AccessAdapter<2> LoadF LOADW
22,176
inner_verifier AccessAdapter<4> LoadF LOADW
13,104
inner_verifier AccessAdapter<8> LoadF LOADW
8,568
inner_verifier Boundary LoadF LOADW
286
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadF LOADW2 (-82 [-0.0%])
4,303,401
inner_verifier AccessAdapter<2> LoadF LOADW2
605
inner_verifier AccessAdapter<4> LoadF LOADW2
364
inner_verifier AccessAdapter<8> LoadF LOADW2
391
inner_verifier Boundary LoadF LOADW2
308
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadV LOADW
503,398
inner_verifier Boundary LoadV LOADW
7,975
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadV LOADW2
3,646,827
inner_verifier Boundary LoadV LOADW2
935
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulE BBE4MUL (-80 [-0.0%])
5,740,400
inner_verifier AccessAdapter<2> MulE BBE4MUL (+110 [+0.0%])
426,910
inner_verifier AccessAdapter<4> MulE BBE4MUL (+65 [+0.0%])
252,265
inner_verifier Boundary MulE BBE4MUL
471,416
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulEF MUL
53,640
inner_verifier AccessAdapter<2> MulEF MUL
8,404
inner_verifier AccessAdapter<4> MulEF MUL
4,966
inner_verifier Boundary MulEF MUL
1,232
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulEFI MUL
16,080
inner_verifier AccessAdapter<2> MulEFI MUL
2,442
inner_verifier AccessAdapter<4> MulEFI MUL
1,443
inner_verifier Boundary MulEFI MUL
3,696
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulEI BBE4MUL
73,000
inner_verifier AccessAdapter<2> MulEI BBE4MUL (+44 [+0.0%])
91,872
inner_verifier AccessAdapter<4> MulEI BBE4MUL (+26 [+0.0%])
54,288
inner_verifier Boundary MulEI BBE4MUL
19,096
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> MulEI STOREW
299,300
inner_verifier AccessAdapter<2> MulEI STOREW
39,908
inner_verifier AccessAdapter<4> MulEI STOREW
23,452
inner_verifier Boundary MulEI STOREW
33
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulF MUL
1,223,610
inner_verifier Boundary MulF MUL
11
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulFI MUL
510
inner_verifier Boundary MulFI MUL
11
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulV MUL
20,460
inner_verifier Boundary MulV MUL
7,469
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulVI MUL
263,310
inner_verifier Boundary MulVI MUL
77
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> NegE MUL
4,800
inner_verifier AccessAdapter<2> NegE MUL
1,034
inner_verifier AccessAdapter<4> NegE MUL
611
inner_verifier Boundary NegE MUL
968
inner_verifier AccessAdapter<2> Poseidon2CompressBabyBear COMP_POS2
301,224
inner_verifier AccessAdapter<4> Poseidon2CompressBabyBear COMP_POS2
177,996
inner_verifier AccessAdapter<8> Poseidon2CompressBabyBear COMP_POS2
116,382
inner_verifier Poseidon2VmAir Poseidon2CompressBabyBear COMP_POS2
3,151,302
inner_verifier AccessAdapter<2> Poseidon2PermuteBabyBear PERM_POS2
257,708
inner_verifier AccessAdapter<4> Poseidon2PermuteBabyBear PERM_POS2
153,244
inner_verifier AccessAdapter<8> Poseidon2PermuteBabyBear PERM_POS2
101,626
inner_verifier Poseidon2VmAir Poseidon2PermuteBabyBear PERM_POS2
1,986,754
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreE STOREW
463,464
inner_verifier AccessAdapter<2> StoreE STOREW
7,898
inner_verifier AccessAdapter<4> StoreE STOREW
4,667
inner_verifier Boundary StoreE STOREW
124,344
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreE STOREW2
595,156
inner_verifier AccessAdapter<2> StoreE STOREW2
63,756
inner_verifier AccessAdapter<4> StoreE STOREW2
37,674
inner_verifier Boundary StoreE STOREW2
16,456
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreF STOREW
672,892
inner_verifier Boundary StoreF STOREW
180,532
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreF STOREW2 (-82 [-0.0%])
1,508,308
inner_verifier AccessAdapter<2> StoreF STOREW2
151,712
inner_verifier AccessAdapter<4> StoreF STOREW2
90,610
inner_verifier AccessAdapter<8> StoreF STOREW2
60,520
inner_verifier Boundary StoreF STOREW2
34,804
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> StoreHintWord ADD (-30 [-0.0%])
3,087,630
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreHintWord SHINTW (-41 [-0.0%])
4,660,716
inner_verifier Boundary StoreHintWord SHINTW (-11 [-0.0%])
1,250,436
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW
60,229
inner_verifier Boundary StoreV STOREW
16,159
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW2
1,130,944
inner_verifier Boundary StoreV STOREW2
300,949
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> SubE FE4SUB (+120 [+0.1%])
159,960
inner_verifier AccessAdapter<2> SubE FE4SUB (+88 [+0.1%])
132,748
inner_verifier AccessAdapter<4> SubE FE4SUB (+52 [+0.1%])
78,442
inner_verifier Boundary SubE FE4SUB
119,592
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> SubEF LOADW (-246 [-0.0%])
15,647,076
inner_verifier AccessAdapter<2> SubEF LOADW (-11 [-0.0%])
1,399,332
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEF SUB (-60 [-0.0%])
3,816,360
inner_verifier AccessAdapter<2> SubEF SUB (-11 [-0.0%])
1,399,332
inner_verifier AccessAdapter<4> SubEF SUB (-13 [-0.0%])
1,653,756
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEFI ADD
17,040
inner_verifier AccessAdapter<2> SubEFI ADD
770
inner_verifier AccessAdapter<4> SubEFI ADD
455
inner_verifier Boundary SubEFI ADD
4,576
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEI ADD
10,800
inner_verifier AccessAdapter<2> SubEI ADD
2,706
inner_verifier AccessAdapter<4> SubEI ADD
1,599
inner_verifier Boundary SubEI ADD
1,232
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubV SUB
718,710
inner_verifier Boundary SubV SUB
44
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubVI SUB
38,190
inner_verifier Boundary SubVI SUB
7,733
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubVIN SUB
10,710
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 VmConnectorAir
32
 (-1 [-11.1%])
8
3
4
12
1
2
2
bench_program_inner VolatileBoundaryAir
376,832
17
4
11
12
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 CoreAir
28
14
3
16
12
2
1
bench_program_inner VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
174,080
36
19
41
44
2
2,048
bench_program_inner VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
18,176
28
11
23
48
2
256
bench_program_inner VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
60
8
7
10
20
2
2
bench_program_inner VmAirWrapper<NativeAdapterAir<2, 1>, 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 VariableRangeCheckerAir
1,179,648
4
1
1
8
2
1
131,072
inner_verifier ProgramAir
2,359,296
4
1
10
8
1
131,072
inner_verifier VmConnectorAir
24
 (-1 [-12.5%])
7
3
4
8
1
4
2
inner_verifier VolatileBoundaryAir
9,961,472
16
4
11
8
4
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 CoreAir
3,145,728
13
3
16
8
4
131,072
inner_verifier VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
127,926,272
30
19
41
20
8
2,097,152
inner_verifier VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
22,544,384
21
11
23
20
4
524,288
inner_verifier VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
1,441,792
6
7
10
12
8
65,536
inner_verifier VmAirWrapper<NativeAdapterAir<2, 1>, 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 VariableRangeCheckerAir
1,179,648
4
1
1
8
2
1
131,072





Commit: 9d32886
AWS Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@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 (+3.0 [+0.2%])
1,395.0
1,914,732
276,045
 (+3.0 [+0.2%])
1,414.0
19.0
inner_verifier (+54.0 [+0.1%])
82,519.0
654,376,984
 (-6,310 [-0.0%])
274,715,896
 (+73.0 [+0.1%])
91,796.0
 (+19.0 [+0.2%])
9,277.0
 (-69.0 [-0.2%])
42,857.0
group chip_name rows_used
bench_program_inner BranchEqual
5
bench_program_inner ByteXor
65,536
bench_program_inner FieldArithmetic
13
bench_program_inner FieldExtension
1
bench_program_inner Jal
2
bench_program_inner Keccak256
24
bench_program_inner LoadStore
20
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
inner_verifier BranchEqual (-4 [-0.0%])
711,786
inner_verifier Core
225,384
inner_verifier FieldArithmetic (-25 [-0.0%])
1,603,992
inner_verifier FieldExtension (-1 [-0.0%])
862,808
inner_verifier Jal (-437 [-1.4%])
30,146
inner_verifier LoadStore (-5 [-0.0%])
2,950,353
inner_verifier Memory AccessAdapter<2> (-48 [-0.0%])
1,987,319
inner_verifier Memory AccessAdapter<4> (-24 [-0.0%])
993,703
inner_verifier Memory AccessAdapter<8>
33,730
inner_verifier Memory Boundary (-1 [-0.0%])
599,356
inner_verifier Poseidon2
20,482
inner_verifier ProgramChip (-2 [-0.0%])
203,131
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 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 (-2 [-0.0%])
228,806
inner_verifier AddEFFI LOADW (+1 [+0.8%])
134
inner_verifier AddEFFI STOREW (+3 [+0.8%])
402
inner_verifier AddEFI ADD (+4 [+1.7%])
240
inner_verifier AddEI ADD (-4 [-0.0%])
67,564
inner_verifier AddFI ADD (-17 [-0.1%])
14,045
inner_verifier AddV ADD
6,330
inner_verifier AddVI ADD (-2 [-0.0%])
280,512
inner_verifier Alloc ADD
24,731
inner_verifier Alloc LOADW
24,731
inner_verifier Alloc MUL
14,927
inner_verifier AssertEqE BNE
144
inner_verifier AssertEqEI BNE
4
inner_verifier AssertEqF BNE
4,054
inner_verifier AssertEqV BNE
1,215
inner_verifier AssertEqVI BNE
182
inner_verifier CycleTrackerEnd CT_END
107,779
inner_verifier CycleTrackerStart CT_START
107,779
inner_verifier DivE BBE4DIV
199,719
inner_verifier DivEIN BBE4DIV
39
inner_verifier DivEIN STOREW
156
inner_verifier DivFIN DIV
93
inner_verifier For ADD (-3 [-0.0%])
544,070
inner_verifier For BNE (-3 [-0.0%])
564,320
inner_verifier For JAL
20,250
inner_verifier For LOADW
1,029
inner_verifier For STOREW
19,221
inner_verifier HintBitsF HINT_BITS
22
inner_verifier HintInputVec HINT_INPUT
9,804
inner_verifier IfEq BNE
8,342
inner_verifier IfEqI BNE (-1 [-0.0%])
125,548
inner_verifier IfEqI JAL (-437 [-4.2%])
9,874
inner_verifier IfNe BEQ
6,893
inner_verifier IfNe JAL
21
inner_verifier IfNeI BEQ
1,084
inner_verifier ImmE STOREW (+4 [+0.0%])
12,516
inner_verifier ImmF STOREW
16,043
inner_verifier ImmV STOREW (-1 [-0.0%])
22,395
inner_verifier LoadE LOADW
42,384
inner_verifier LoadE LOADW2
822,756
inner_verifier LoadF LOADW (-1 [-0.0%])
11,473
inner_verifier LoadF LOADW2 (-2 [-0.0%])
307,521
inner_verifier LoadV LOADW
11,967
inner_verifier LoadV LOADW2
74,233
inner_verifier MulE BBE4MUL (-2 [-0.0%])
417,634
inner_verifier MulEF MUL
1,740
inner_verifier MulEFI MUL
1,432
inner_verifier MulEI BBE4MUL
2,755
inner_verifier MulEI STOREW
11,020
inner_verifier MulF MUL
25,143
inner_verifier MulFI MUL
15
inner_verifier MulV MUL
682
inner_verifier MulVI MUL
8,532
inner_verifier NegE MUL
208
inner_verifier Poseidon2CompressBabyBear COMP_POS2
7,287
inner_verifier Poseidon2PermuteBabyBear PERM_POS2
13,195
inner_verifier StoreE STOREW
11,280
inner_verifier StoreE STOREW2
13,172
inner_verifier StoreF STOREW
13,388
inner_verifier StoreF STOREW2 (-2 [-0.0%])
104,444
inner_verifier StoreHintWord ADD (-1 [-0.0%])
195,945
inner_verifier StoreHintWord SHINTW (-1 [-0.0%])
206,431
inner_verifier StoreV STOREW
1,439
inner_verifier StoreV STOREW2
26,128
inner_verifier SubE FE4SUB (+3 [+0.0%])
13,855
inner_verifier SubEF LOADW (-6 [-0.0%])
1,196,088
inner_verifier SubEF SUB (-2 [-0.0%])
398,696
inner_verifier SubEFI ADD
1,256
inner_verifier SubEI ADD
312
inner_verifier SubV SUB
15,891
inner_verifier SubVI SUB
1,271
inner_verifier SubVIN SUB
357
Click to expand
group air_name dsl_ir opcode cells_used
bench_program_inner <JalNativeAdapterAir,JalCoreAir> JAL
10
bench_program_inner Boundary JAL
11
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> STOREW
82
bench_program_inner Boundary STOREW
22
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
44
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddF ADD
30
bench_program_inner Boundary AddF ADD
11
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddVI ADD
180
bench_program_inner Boundary AddVI ADD
22
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc ADD
60
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> Alloc LOADW
82
bench_program_inner Boundary Alloc LOADW
22
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc MUL
60
bench_program_inner <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> For ADD
60
bench_program_inner <BranchNativeAdapterAir,BranchEqualCoreAir<1>> For BNE
69
bench_program_inner <JalNativeAdapterAir,JalCoreAir> For JAL
10
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For STOREW
41
bench_program_inner Boundary For STOREW
11
bench_program_inner <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEqI BNE
46
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmE STOREW
328
bench_program_inner Boundary ImmE STOREW
88
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmF STOREW
82
bench_program_inner Boundary ImmF STOREW
22
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmV STOREW
123
bench_program_inner Boundary ImmV STOREW
22
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
418
bench_program_inner KeccakVmAir Keccak256 KECCAK256
76,752
bench_program_inner <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW2
82
bench_program_inner Boundary StoreV STOREW2
22
inner_verifier <JalNativeAdapterAir,JalCoreAir> JAL
10
inner_verifier Boundary JAL
11
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> STOREW
82
inner_verifier Boundary STOREW
22
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> AddE FE4ADD (-80 [-0.0%])
9,152,240
inner_verifier AccessAdapter<2> AddE FE4ADD (-66 [-0.0%])
1,112,496
inner_verifier AccessAdapter<4> AddE FE4ADD (-39 [-0.0%])
657,384
inner_verifier Boundary AddE FE4ADD
1,194,556
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> AddEFFI LOADW (+41 [+0.8%])
5,494
inner_verifier AccessAdapter<2> AddEFFI LOADW
946
inner_verifier AccessAdapter<4> AddEFFI LOADW
1,118
inner_verifier Boundary AddEFFI LOADW
264
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> AddEFFI STOREW (+123 [+0.8%])
16,482
inner_verifier AccessAdapter<2> AddEFFI STOREW
946
inner_verifier Boundary AddEFFI STOREW
792
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddEFI ADD (+120 [+1.7%])
7,200
inner_verifier AccessAdapter<2> AddEFI ADD (+22 [+2.2%])
1,012
inner_verifier AccessAdapter<4> AddEFI ADD (+13 [+2.2%])
598
inner_verifier Boundary AddEFI ADD
1,232
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddEI ADD (-120 [-0.0%])
2,026,920
inner_verifier AccessAdapter<2> AddEI ADD (-308 [-0.1%])
379,698
inner_verifier AccessAdapter<4> AddEI ADD (-182 [-0.1%])
224,367
inner_verifier Boundary AddEI ADD
654,192
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddFI ADD (-510 [-0.1%])
421,350
inner_verifier Boundary AddFI ADD
253
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddV ADD
189,900
inner_verifier Boundary AddV ADD
22
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> AddVI ADD (-60 [-0.0%])
8,415,360
inner_verifier Boundary AddVI ADD
8,679
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc ADD
741,930
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> Alloc LOADW
1,013,971
inner_verifier Boundary Alloc LOADW
946
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> Alloc MUL
447,810
inner_verifier AccessAdapter<2> Alloc MUL
22
inner_verifier AccessAdapter<4> Alloc MUL
26
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqE BNE
3,312
inner_verifier AccessAdapter<2> AssertEqE BNE
792
inner_verifier AccessAdapter<4> AssertEqE BNE
468
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqEI BNE
92
inner_verifier AccessAdapter<2> AssertEqEI BNE
22
inner_verifier AccessAdapter<4> AssertEqEI BNE
13
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqF BNE
93,242
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqV BNE
27,945
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> AssertEqVI BNE
4,186
inner_verifier CoreAir CycleTrackerEnd CT_END
1,724,464
inner_verifier CoreAir CycleTrackerStart CT_START
1,724,464
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivE BBE4DIV
7,988,760
inner_verifier AccessAdapter<2> DivE BBE4DIV
8,771,620
inner_verifier AccessAdapter<4> DivE BBE4DIV
5,183,230
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> DivEIN BBE4DIV
1,560
inner_verifier AccessAdapter<2> DivEIN BBE4DIV (-22 [-1.4%])
1,606
inner_verifier AccessAdapter<4> DivEIN BBE4DIV (-13 [-1.4%])
949
inner_verifier Boundary DivEIN BBE4DIV
396
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> DivEIN STOREW
6,396
inner_verifier AccessAdapter<2> DivEIN STOREW
561
inner_verifier AccessAdapter<4> DivEIN STOREW
156
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> DivFIN DIV
2,790
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> For ADD (-90 [-0.0%])
16,322,100
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> For BNE (-69 [-0.0%])
12,979,360
inner_verifier <JalNativeAdapterAir,JalCoreAir> For JAL
202,500
inner_verifier AccessAdapter<2> For JAL
495
inner_verifier AccessAdapter<4> For JAL
585
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For LOADW
42,189
inner_verifier Boundary For LOADW
231
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> For STOREW
788,061
inner_verifier Boundary For STOREW
561
inner_verifier CoreAir HintBitsF HINT_BITS
352
inner_verifier CoreAir HintInputVec HINT_INPUT
156,864
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEq BNE
191,866
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfEqI BNE (-23 [-0.0%])
2,887,604
inner_verifier <JalNativeAdapterAir,JalCoreAir> IfEqI JAL (-4,370 [-4.2%])
98,740
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfNe BEQ
158,539
inner_verifier <JalNativeAdapterAir,JalCoreAir> IfNe JAL
210
inner_verifier <BranchNativeAdapterAir,BranchEqualCoreAir<1>> IfNeI BEQ
24,932
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmE STOREW (+164 [+0.0%])
513,156
inner_verifier AccessAdapter<2> ImmE STOREW (+22 [+0.6%])
3,894
inner_verifier AccessAdapter<4> ImmE STOREW (+13 [+0.6%])
2,301
inner_verifier Boundary ImmE STOREW
124,168
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmF STOREW
657,763
inner_verifier Boundary ImmF STOREW
1,353
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> ImmV STOREW (-41 [-0.0%])
918,195
inner_verifier Boundary ImmV STOREW
8,701
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadE LOADW
1,737,744
inner_verifier AccessAdapter<2> LoadE LOADW
59,070
inner_verifier AccessAdapter<4> LoadE LOADW
34,905
inner_verifier Boundary LoadE LOADW
309,760
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadE LOADW2
33,732,996
inner_verifier AccessAdapter<2> LoadE LOADW2
24,090
inner_verifier AccessAdapter<4> LoadE LOADW2
14,235
inner_verifier Boundary LoadE LOADW2
44
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadF LOADW (-41 [-0.0%])
470,393
inner_verifier AccessAdapter<2> LoadF LOADW
22,176
inner_verifier AccessAdapter<4> LoadF LOADW
13,104
inner_verifier AccessAdapter<8> LoadF LOADW
8,568
inner_verifier Boundary LoadF LOADW
275
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadF LOADW2 (-82 [-0.0%])
12,608,361
inner_verifier AccessAdapter<2> LoadF LOADW2
605
inner_verifier AccessAdapter<4> LoadF LOADW2
364
inner_verifier AccessAdapter<8> LoadF LOADW2
391
inner_verifier Boundary LoadF LOADW2
319
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadV LOADW
490,647
inner_verifier Boundary LoadV LOADW
7,975
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> LoadV LOADW2
3,043,553
inner_verifier Boundary LoadV LOADW2
935
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulE BBE4MUL (-80 [-0.0%])
16,705,360
inner_verifier AccessAdapter<2> MulE BBE4MUL (-308 [-0.1%])
498,300
inner_verifier AccessAdapter<4> MulE BBE4MUL (-182 [-0.1%])
294,450
inner_verifier Boundary MulE BBE4MUL
697,972
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulEF MUL
52,200
inner_verifier AccessAdapter<2> MulEF MUL
8,492
inner_verifier AccessAdapter<4> MulEF MUL
5,018
inner_verifier Boundary MulEF MUL
704
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulEFI MUL
42,960
inner_verifier AccessAdapter<2> MulEFI MUL
2,024
inner_verifier AccessAdapter<4> MulEFI MUL
1,196
inner_verifier Boundary MulEFI MUL
13,640
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> MulEI BBE4MUL
110,200
inner_verifier AccessAdapter<2> MulEI BBE4MUL (+66 [+0.0%])
163,944
inner_verifier AccessAdapter<4> MulEI BBE4MUL (+39 [+0.0%])
96,876
inner_verifier Boundary MulEI BBE4MUL
87,252
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> MulEI STOREW
451,820
inner_verifier AccessAdapter<2> MulEI STOREW
60,368
inner_verifier AccessAdapter<4> MulEI STOREW
35,542
inner_verifier Boundary MulEI STOREW
33
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulF MUL
754,290
inner_verifier Boundary MulF MUL
11
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulFI MUL
450
inner_verifier Boundary MulFI MUL
11
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulV MUL
20,460
inner_verifier Boundary MulV MUL
7,469
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> MulVI MUL
255,960
inner_verifier Boundary MulVI MUL
77
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> NegE MUL
6,240
inner_verifier AccessAdapter<2> NegE MUL
1,342
inner_verifier AccessAdapter<4> NegE MUL
793
inner_verifier Boundary NegE MUL
1,408
inner_verifier AccessAdapter<2> Poseidon2CompressBabyBear COMP_POS2
298,452
inner_verifier AccessAdapter<4> Poseidon2CompressBabyBear COMP_POS2
176,358
inner_verifier AccessAdapter<8> Poseidon2CompressBabyBear COMP_POS2
115,311
inner_verifier Poseidon2VmAir Poseidon2CompressBabyBear COMP_POS2
3,045,966
inner_verifier AccessAdapter<2> Poseidon2PermuteBabyBear PERM_POS2
621,489
inner_verifier AccessAdapter<4> Poseidon2PermuteBabyBear PERM_POS2
367,523
inner_verifier AccessAdapter<8> Poseidon2PermuteBabyBear PERM_POS2
241,910
inner_verifier Poseidon2VmAir Poseidon2PermuteBabyBear PERM_POS2
5,515,510
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreE STOREW
462,480
inner_verifier AccessAdapter<2> StoreE STOREW
7,898
inner_verifier AccessAdapter<4> StoreE STOREW
4,667
inner_verifier Boundary StoreE STOREW
124,080
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreE STOREW2
540,052
inner_verifier AccessAdapter<2> StoreE STOREW2
56,364
inner_verifier AccessAdapter<4> StoreE STOREW2
33,306
inner_verifier Boundary StoreE STOREW2
16,456
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreF STOREW
548,908
inner_verifier Boundary StoreF STOREW
147,268
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreF STOREW2 (-82 [-0.0%])
4,282,204
inner_verifier AccessAdapter<2> StoreF STOREW2
532,125
inner_verifier AccessAdapter<4> StoreF STOREW2
314,717
inner_verifier AccessAdapter<8> StoreF STOREW2
207,230
inner_verifier Boundary StoreF STOREW2
34,452
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> StoreHintWord ADD (-30 [-0.0%])
5,878,350
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreHintWord SHINTW (-41 [-0.0%])
8,463,671
inner_verifier Boundary StoreHintWord SHINTW (-11 [-0.0%])
2,270,741
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW
58,999
inner_verifier Boundary StoreV STOREW
15,829
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> StoreV STOREW2
1,071,248
inner_verifier Boundary StoreV STOREW2
284,933
inner_verifier <NativeVectorizedAdapterAir<4>,FieldExtensionCoreAir> SubE FE4SUB (+120 [+0.0%])
554,200
inner_verifier AccessAdapter<2> SubE FE4SUB (+66 [+0.0%])
455,246
inner_verifier AccessAdapter<4> SubE FE4SUB (+39 [+0.0%])
269,009
inner_verifier Boundary SubE FE4SUB
554,180
inner_verifier <NativeLoadStoreAdapterAir<1>,KernelLoadStoreCoreAir<1>> SubEF LOADW (-246 [-0.0%])
49,039,608
inner_verifier AccessAdapter<2> SubEF LOADW (-11 [-0.0%])
4,385,656
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEF SUB (-60 [-0.0%])
11,960,880
inner_verifier AccessAdapter<2> SubEF SUB (-11 [-0.0%])
4,385,656
inner_verifier AccessAdapter<4> SubEF SUB (-13 [-0.0%])
5,183,048
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEFI ADD
37,680
inner_verifier AccessAdapter<2> SubEFI ADD
748
inner_verifier AccessAdapter<4> SubEFI ADD
442
inner_verifier Boundary SubEFI ADD
12,232
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubEI ADD
9,360
inner_verifier AccessAdapter<2> SubEI ADD (+22 [+0.9%])
2,354
inner_verifier AccessAdapter<4> SubEI ADD (+13 [+0.9%])
1,391
inner_verifier Boundary SubEI ADD
704
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubV SUB
476,730
inner_verifier Boundary SubV SUB
44
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubVI SUB
38,130
inner_verifier Boundary SubVI SUB
7,733
inner_verifier <NativeAdapterAir<2, 1>,FieldArithmeticCoreAir> SubVIN SUB
10,710
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 VmConnectorAir
32
 (-1 [-11.1%])
8
3
4
12
1
2
2
bench_program_inner VolatileBoundaryAir
2,944
17
4
11
12
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 CoreAir
28
14
3
16
12
2
1
bench_program_inner VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
2,720
36
19
41
44
2
32
bench_program_inner VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
568
28
11
23
48
2
8
bench_program_inner VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
60
8
7
10
20
2
2
bench_program_inner VmAirWrapper<NativeAdapterAir<2, 1>, 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 VariableRangeCheckerAir
1,179,648
4
1
1
8
2
1
131,072
inner_verifier ProgramAir
4,718,592
4
1
10
8
1
262,144
inner_verifier VmConnectorAir
24
 (-1 [-12.5%])
7
3
4
8
1
4
2
inner_verifier VolatileBoundaryAir
19,922,944
16
4
11
8
4
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 CoreAir
6,291,456
13
3
16
8
4
262,144
inner_verifier VmAirWrapper<NativeLoadStoreAdapterAir<1>, KernelLoadStoreCoreAir<1>
255,852,544
30
19
41
20
8
4,194,304
inner_verifier VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>
45,088,768
21
11
23
20
4
1,048,576
inner_verifier VmAirWrapper<JalNativeAdapterAir, JalCoreAir>
720,896
6
7
10
12
8
32,768
inner_verifier VmAirWrapper<NativeAdapterAir<2, 1>, 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 VariableRangeCheckerAir
1,179,648
4
1
1
8
2
1
131,072





Commit: 9d32886
AWS Instance Type: 64cpu-linux-arm64
Benchmark Workflow

@zlangley zlangley merged commit e90f41f into main Oct 24, 2024
10 checks passed
@zlangley zlangley deleted the feat/timestamp branch October 24, 2024 20:14
jonathanpwang pushed a commit that referenced this pull request Oct 24, 2024
@zlangley @jonathanpwang
feat: Always increment timestamp (#667)
836217b
jonathanpwang added a commit that referenced this pull request Oct 25, 2024
@Golovanov399 @jonathanpwang
@arayikhalatyan @zlangley @nyunyunyunyu @PangZhi @luffykai
[feat] Add exit code in the terminate transpilation (#662)
deeb3d6 
* Add exit code in the terminate transpiler

* chore: make terminate I-type

* compile terminate.S into ELF

* fix:remove terminate.dump

* fix: terminate

* feat: AlignedBorrow on MerkleMemoryCols (#661)

* Add CommittedProgram (#658)

* chore: runs-on for benchmark (#651)

* chore: runs-on for benchmark

* chore: fix path

* chore: clean up

* feat: Clean up core chip (#663)

* Add `is_valid` to CoreCols
* Remove DUMMY opcode
* Remove `f` and `g` operands

* [feat] generic field expression vm chip (#653)

* generic field expression vm chip

* add ne simplified

* double

* fix

* update

* use struct

* chore: fix runs_on (#665)

* chore: fix git config

* chore: add back merge to main control

* Expose is_terminate as a public value (#666)

* feat: Always increment timestamp (#667)

* fix (#668)

* Chore: transpile shamts in a more natural way (same functionality, but not a goldberg machine) (#669)

* fix: Nop needs to increment timestamp now

* fix: test

* fix: build ELF and add command

---------

Co-authored-by: Jonathan Wang <[email protected]>
Co-authored-by: Arayi <[email protected]>
Co-authored-by: Zach Langley <[email protected]>
Co-authored-by: Xinding Wei <[email protected]>
Co-authored-by: PangZhi <[email protected]>
Co-authored-by: luffykai <[email protected]>
luffykai pushed a commit that referenced this pull request Dec 13, 2024
@zlangley
feat: Always increment timestamp (#667)
418d608
luffykai added a commit that referenced this pull request Dec 13, 2024
@Golovanov399 @jonathanpwang
@arayikhalatyan @zlangley @nyunyunyunyu @PangZhi @luffykai
[feat] Add exit code in the terminate transpilation (#662)
fedccf7 
* Add exit code in the terminate transpiler

* chore: make terminate I-type

* compile terminate.S into ELF

* fix:remove terminate.dump

* fix: terminate

* feat: AlignedBorrow on MerkleMemoryCols (#661)

* Add CommittedProgram (#658)

* chore: runs-on for benchmark (#651)

* chore: runs-on for benchmark

* chore: fix path

* chore: clean up

* feat: Clean up core chip (#663)

* Add `is_valid` to CoreCols
* Remove DUMMY opcode
* Remove `f` and `g` operands

* [feat] generic field expression vm chip (#653)

* generic field expression vm chip

* add ne simplified

* double

* fix

* update

* use struct

* chore: fix runs_on (#665)

* chore: fix git config

* chore: add back merge to main control

* Expose is_terminate as a public value (#666)

* feat: Always increment timestamp (#667)

* fix (#668)

* Chore: transpile shamts in a more natural way (same functionality, but not a goldberg machine) (#669)

* fix: Nop needs to increment timestamp now

* fix: test

* fix: build ELF and add command

---------

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

@nyunyunyunyu nyunyunyunyu nyunyunyunyu approved these changes

@jonathanpwang jonathanpwang Awaiting requested review from jonathanpwang

@Golovanov399 Golovanov399 Awaiting requested review from Golovanov399

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

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