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

chore: add flamegraphs to public s3 and display in PR comments #504

Merged
merged 3 commits into from
Oct 7, 2024
Merged

chore: add flamegraphs to public s3 and display in PR comments #504

merged 3 commits into from
Oct 7, 2024

Conversation

jonathanpwang
Copy link
Contributor

No description provided.

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

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

Sign in to view
@github-actions GitHub Actions

This comment has been minimized.

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

github-actions bot commented Oct 7, 2024

alu256_e2e

group stark_prove_excluding_trace_time_ms total_cells total_cells_used trace_gen_time_ms verify_program_compile_ms
bench_program_inner 1,493.0 (+7.0 [+0.5%]) 4,191,252 699,179 40.0 (-1.0 [-2.4%])
inner_verifier 29,967.0 (-21.0 [-0.1%]) 322,109,460 162,759,983 (-13,674 [-0.0%]) 14,183.0 (-27.0 [-0.2%]) 398.0 (+14.0 [+3.6%])
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 9,607
bench_program_inner Memory 2 4,672
bench_program_inner Memory 3 2,336
bench_program_inner Memory 4 1,168
bench_program_inner Memory 5 584
bench_program_inner Memory 6 292
bench_program_inner Program 370
bench_program_inner RangeChecker 131,072
bench_program_inner Shift256 96
inner_verifier ByteXor 65,536
inner_verifier Core 1,587,100 (-194 [-0.0%])
inner_verifier FieldArithmetic 769,533 (-10 [-0.0%])
inner_verifier FieldExtension 267,577
inner_verifier Memory 329,321
inner_verifier Memory 2 652,207 (-32 [-0.0%])
inner_verifier Memory 3 326,253 (-16 [-0.0%])
inner_verifier Memory 4 16,235
inner_verifier Poseidon2 11,829
inner_verifier Program 95,413
inner_verifier RangeChecker 131,072
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 68,843
inner_verifier AddEFFI LOADW 131
inner_verifier AddEFFI STOREW 393
inner_verifier AddEFI ADD 156
inner_verifier AddEI ADD 26,336
inner_verifier AddFI ADD 19,965 (-10 [-0.1%])
inner_verifier AddV ADD 6,308
inner_verifier AddVI ADD 145,286
inner_verifier Alloc ADD 24,624
inner_verifier Alloc LOADW 24,624
inner_verifier Alloc MUL 14,888
inner_verifier AssertEqE BNE 140
inner_verifier AssertEqEI BNE 4
inner_verifier AssertEqF BNE 4,054
inner_verifier AssertEqV BNE 1,143
inner_verifier AssertEqVI BNE 214
inner_verifier CycleTrackerEnd CT_END 37,429
inner_verifier CycleTrackerStart CT_START 37,429
inner_verifier DivE BBE4DIV 59,227
inner_verifier DivEIN BBE4DIV 36
inner_verifier DivEIN STOREW 144
inner_verifier DivFIN DIV 86
inner_verifier For ADD 242,092
inner_verifier For BNE 261,893
inner_verifier For JAL 19,801
inner_verifier For LOADW 1,092
inner_verifier For STOREW 18,709
inner_verifier Halt TERMINATE 1
inner_verifier HintBitsF HINT_BITS 22
inner_verifier HintInputVec HINT_INPUT 9,736
inner_verifier IfEq BNE 7,860
inner_verifier IfEqI BNE 61,077
inner_verifier IfEqI JAL 12,883 (-194 [-1.5%])
inner_verifier IfNe BEQ 6,956
inner_verifier IfNe JAL 20
inner_verifier IfNeI BEQ 1,072
inner_verifier ImmE STOREW 7,192
inner_verifier ImmF STOREW 16,921
inner_verifier ImmV STOREW 13,762
inner_verifier LoadE LOADW 15,608
inner_verifier LoadE LOADW2 259,560
inner_verifier LoadF LOADW 15,002
inner_verifier LoadF LOADW2 96,086
inner_verifier LoadV LOADW 12,674
inner_verifier LoadV LOADW2 75,005
inner_verifier MulE BBE4MUL 133,857
inner_verifier MulEF MUL 1,716
inner_verifier MulEFI MUL 536
inner_verifier MulEI BBE4MUL 1,632
inner_verifier MulEI STOREW 6,528
inner_verifier MulF MUL 36,977
inner_verifier MulFI MUL 14
inner_verifier MulV MUL 682
inner_verifier MulVI MUL 8,504
inner_verifier NegE MUL 136
inner_verifier Poseidon2CompressBabyBear COMP_POS2 7,413
inner_verifier Poseidon2PermuteBabyBear PERM_POS2 4,416
inner_verifier StoreE STOREW 11,260
inner_verifier StoreE STOREW2 12,500
inner_verifier StoreF STOREW 14,676
inner_verifier StoreF STOREW2 33,877
inner_verifier StoreHintWord ADD 99,321
inner_verifier StoreHintWord SHINTW 109,739
inner_verifier StoreV STOREW 1,935
inner_verifier StoreV STOREW2 24,809
inner_verifier SubE FE4SUB 3,982
inner_verifier SubEF LOADW 353,136
inner_verifier SubEF SUB 117,712
inner_verifier SubEFI ADD 596
inner_verifier SubEI ADD 288
inner_verifier SubV SUB 21,672
inner_verifier SubVI SUB 1,281
inner_verifier SubVIN SUB 357
Click to expand
group air_name dsl_ir opcode cells_used
bench_program_inner Audit JAL 19
bench_program_inner CoreAir JAL 62
bench_program_inner Audit 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 ArithmeticLogicAir<32, 8> Add256 ADD<32,8> 11,008
bench_program_inner Audit Add256 ADD<32,8> 38,912
bench_program_inner Audit AddVI ADD 38
bench_program_inner FieldArithmeticAir AddVI ADD 13,888
bench_program_inner FieldArithmeticAir Alloc ADD 12,028
bench_program_inner Audit Alloc LOADW 285
bench_program_inner CoreAir Alloc LOADW 24,056
bench_program_inner FieldArithmeticAir Alloc MUL 12,028
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 ArithmeticLogicAir<32, 8> And256 AND<32,8> 5,504
bench_program_inner Audit And256 AND<32,8> 19,456
bench_program_inner ArithmeticLogicAir<32, 8> EqualTo256 EQ<32,8> 5,504
bench_program_inner Audit EqualTo256 EQ<32,8> 608
bench_program_inner FieldArithmeticAir For ADD 992
bench_program_inner CoreAir For BNE 2,046
bench_program_inner CoreAir For JAL 62
bench_program_inner Audit 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 Audit ImmV STOREW 2,717
bench_program_inner CoreAir ImmV STOREW 32,054
bench_program_inner ArithmeticLogicAir<32, 8> LessThanI256 SLT<32,8> 5,504
bench_program_inner Audit LessThanI256 SLT<32,8> 608
bench_program_inner ArithmeticLogicAir<32, 8> LessThanU256 LT<32,8> 5,504
bench_program_inner Audit LessThanU256 LT<32,8> 608
bench_program_inner Audit 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 ArithmeticLogicAir<32, 8> Or256 OR<32,8> 5,504
bench_program_inner Audit 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 Audit ShiftLeft256 SLL<32,8> 19,456
bench_program_inner ShiftAir<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 Audit ShiftRightArith256 SRA<32,8> 19,456
bench_program_inner ShiftAir<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 Audit ShiftRightLogic256 SRL<32,8> 19,456
bench_program_inner ShiftAir<32, 8> ShiftRightLogic256 SRL<32,8> 7,552
bench_program_inner Audit 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 ArithmeticLogicAir<32, 8> Sub256 SUB<32,8> 5,504
bench_program_inner Audit 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 ArithmeticLogicAir<32, 8> Xor256 XOR<32,8> 5,504
bench_program_inner Audit Xor256 XOR<32,8> 19,456
inner_verifier Audit JAL 19
inner_verifier CoreAir JAL 66
inner_verifier Audit STOREW 38
inner_verifier CoreAir STOREW 132
inner_verifier AccessAdapter<2> AddE FE4ADD 278,146
inner_verifier AccessAdapter<4> AddE FE4ADD 164,359
inner_verifier Audit AddE FE4ADD 701,024
inner_verifier FieldExtensionArithmeticAir AddE FE4ADD 2,822,563
inner_verifier AccessAdapter<2> AddEFFI LOADW 704
inner_verifier AccessAdapter<4> AddEFFI LOADW 832
inner_verifier Audit AddEFFI LOADW 874
inner_verifier CoreAir AddEFFI LOADW 8,646
inner_verifier AccessAdapter<2> AddEFFI STOREW 704
inner_verifier Audit AddEFFI STOREW 2,622
inner_verifier CoreAir AddEFFI STOREW 25,938
inner_verifier AccessAdapter<2> AddEFI ADD 330
inner_verifier AccessAdapter<4> AddEFI ADD 195
inner_verifier Audit AddEFI ADD 2,964
inner_verifier FieldArithmeticAir AddEFI ADD 4,836
inner_verifier AccessAdapter<2> AddEI ADD 140,140 (-176 [-0.1%])
inner_verifier AccessAdapter<4> AddEI ADD 82,810 (-104 [-0.1%])
inner_verifier Audit AddEI ADD 408,576
inner_verifier FieldArithmeticAir AddEI ADD 816,416
inner_verifier Audit AddFI ADD 3,097
inner_verifier FieldArithmeticAir AddFI ADD 618,915 (-310 [-0.1%])
inner_verifier Audit AddV ADD 19
inner_verifier FieldArithmeticAir AddV ADD 195,548
inner_verifier Audit AddVI ADD 17,233
inner_verifier FieldArithmeticAir AddVI ADD 4,503,866
inner_verifier FieldArithmeticAir Alloc ADD 763,344
inner_verifier Audit Alloc LOADW 3,686
inner_verifier CoreAir Alloc LOADW 1,625,184
inner_verifier AccessAdapter<2> Alloc MUL 33
inner_verifier AccessAdapter<4> Alloc MUL 39
inner_verifier FieldArithmeticAir Alloc MUL 461,528
inner_verifier AccessAdapter<2> AssertEqE BNE 770
inner_verifier AccessAdapter<4> AssertEqE BNE 455
inner_verifier CoreAir AssertEqE BNE 9,240
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 267,564
inner_verifier CoreAir AssertEqV BNE 75,438
inner_verifier CoreAir AssertEqVI BNE 14,124
inner_verifier CoreAir CycleTrackerEnd CT_END 2,470,314
inner_verifier CoreAir CycleTrackerStart CT_START 2,470,314
inner_verifier AccessAdapter<2> DivE BBE4DIV 2,590,588
inner_verifier AccessAdapter<4> DivE BBE4DIV 1,530,802
inner_verifier Audit DivE BBE4DIV 1,976
inner_verifier FieldExtensionArithmeticAir DivE BBE4DIV 2,428,307
inner_verifier AccessAdapter<2> DivEIN BBE4DIV 2,046
inner_verifier AccessAdapter<4> DivEIN BBE4DIV 1,209
inner_verifier Audit DivEIN BBE4DIV 2,660
inner_verifier FieldExtensionArithmeticAir DivEIN BBE4DIV 1,476
inner_verifier AccessAdapter<2> DivEIN STOREW 517
inner_verifier AccessAdapter<4> DivEIN STOREW 143
inner_verifier CoreAir DivEIN STOREW 9,504
inner_verifier Audit DivFIN DIV 1,577
inner_verifier FieldArithmeticAir DivFIN DIV 2,666
inner_verifier FieldArithmeticAir For ADD 7,504,852
inner_verifier CoreAir For BNE 17,284,938
inner_verifier AccessAdapter<2> For JAL 462
inner_verifier AccessAdapter<4> For JAL 546
inner_verifier CoreAir For JAL 1,306,866
inner_verifier Audit For LOADW 399
inner_verifier CoreAir For LOADW 72,072
inner_verifier Audit For STOREW 2,660
inner_verifier CoreAir For STOREW 1,234,794
inner_verifier CoreAir Halt TERMINATE 66
inner_verifier CoreAir HintBitsF HINT_BITS 1,452
inner_verifier CoreAir HintInputVec HINT_INPUT 642,576
inner_verifier CoreAir IfEq BNE 518,760
inner_verifier CoreAir IfEqI BNE 4,031,082
inner_verifier CoreAir IfEqI JAL 850,278 (-12,804 [-1.5%])
inner_verifier CoreAir IfNe BEQ 459,096
inner_verifier CoreAir IfNe JAL 1,320
inner_verifier CoreAir IfNeI BEQ 70,752
inner_verifier AccessAdapter<2> ImmE STOREW 462
inner_verifier AccessAdapter<4> ImmE STOREW 273
inner_verifier Audit ImmE STOREW 128,592
inner_verifier CoreAir ImmE STOREW 474,672
inner_verifier Audit ImmF STOREW 3,952
inner_verifier CoreAir ImmF STOREW 1,116,786
inner_verifier Audit ImmV STOREW 18,943
inner_verifier CoreAir ImmV STOREW 908,292
inner_verifier AccessAdapter<2> LoadE LOADW 16,170
inner_verifier AccessAdapter<4> LoadE LOADW 9,555
inner_verifier Audit LoadE LOADW 213,560
inner_verifier CoreAir LoadE LOADW 1,030,128
inner_verifier AccessAdapter<2> LoadE LOADW2 24,090
inner_verifier AccessAdapter<4> LoadE LOADW2 14,235
inner_verifier CoreAir LoadE LOADW2 17,130,960
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 Audit LoadF LOADW 73,815
inner_verifier CoreAir LoadF LOADW 990,132
inner_verifier AccessAdapter<2> LoadF LOADW2 605
inner_verifier AccessAdapter<4> LoadF LOADW2 364
inner_verifier AccessAdapter<8> LoadF LOADW2 391
inner_verifier Audit LoadF LOADW2 1,919
inner_verifier CoreAir LoadF LOADW2 6,341,676
inner_verifier Audit LoadV LOADW 30,590
inner_verifier CoreAir LoadV LOADW 836,484
inner_verifier Audit LoadV LOADW2 3,382
inner_verifier CoreAir LoadV LOADW2 4,950,330
inner_verifier AccessAdapter<2> MulE BBE4MUL 476,828 (-176 [-0.0%])
inner_verifier AccessAdapter<4> MulE BBE4MUL 281,762 (-104 [-0.0%])
inner_verifier Audit MulE BBE4MUL 1,061,796
inner_verifier FieldExtensionArithmeticAir MulE BBE4MUL 5,488,137
inner_verifier AccessAdapter<2> MulEF MUL 7,876
inner_verifier AccessAdapter<4> MulEF MUL 4,654
inner_verifier Audit MulEF MUL 5,396
inner_verifier FieldArithmeticAir MulEF MUL 53,196
inner_verifier AccessAdapter<2> MulEFI MUL 1,496
inner_verifier AccessAdapter<4> MulEFI MUL 884
inner_verifier Audit MulEFI MUL 10,184
inner_verifier FieldArithmeticAir MulEFI MUL 16,616
inner_verifier AccessAdapter<2> MulEI BBE4MUL 103,730
inner_verifier AccessAdapter<4> MulEI BBE4MUL 61,295
inner_verifier Audit MulEI BBE4MUL 119,168
inner_verifier FieldExtensionArithmeticAir MulEI BBE4MUL 66,912
inner_verifier AccessAdapter<2> MulEI STOREW 35,662
inner_verifier AccessAdapter<4> MulEI STOREW 20,943
inner_verifier Audit MulEI STOREW 57
inner_verifier CoreAir MulEI STOREW 430,848
inner_verifier Audit MulF MUL 931
inner_verifier FieldArithmeticAir MulF MUL 1,146,287
inner_verifier Audit MulFI MUL 266
inner_verifier FieldArithmeticAir MulFI MUL 434
inner_verifier Audit MulV MUL 12,901
inner_verifier FieldArithmeticAir MulV MUL 21,142
inner_verifier Audit MulVI MUL 114
inner_verifier FieldArithmeticAir MulVI MUL 263,624
inner_verifier AccessAdapter<2> NegE MUL 638
inner_verifier AccessAdapter<4> NegE MUL 377
inner_verifier Audit NegE MUL 2,584
inner_verifier FieldArithmeticAir NegE MUL 4,216
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,098,634
inner_verifier AccessAdapter<2> Poseidon2PermuteBabyBear PERM_POS2 238,227
inner_verifier AccessAdapter<4> Poseidon2PermuteBabyBear PERM_POS2 141,739
inner_verifier AccessAdapter<8> Poseidon2PermuteBabyBear PERM_POS2 93,738
inner_verifier Poseidon2VmAir Poseidon2PermuteBabyBear PERM_POS2 1,845,888
inner_verifier AccessAdapter<2> StoreE STOREW 7,854
inner_verifier AccessAdapter<4> StoreE STOREW 4,641
inner_verifier Audit StoreE STOREW 213,940
inner_verifier CoreAir StoreE STOREW 743,160
inner_verifier AccessAdapter<2> StoreE STOREW2 52,668
inner_verifier AccessAdapter<4> StoreE STOREW2 31,122
inner_verifier Audit StoreE STOREW2 28,424
inner_verifier CoreAir StoreE STOREW2 825,000
inner_verifier Audit StoreF STOREW 278,844
inner_verifier CoreAir StoreF STOREW 968,616
inner_verifier AccessAdapter<2> StoreF STOREW2 143,319
inner_verifier AccessAdapter<4> StoreF STOREW2 85,657
inner_verifier AccessAdapter<8> StoreF STOREW2 56,916
inner_verifier Audit StoreF STOREW2 55,176
inner_verifier CoreAir StoreF STOREW2 2,235,882
inner_verifier FieldArithmeticAir StoreHintWord ADD 3,078,951
inner_verifier Audit StoreHintWord SHINTW 2,085,041
inner_verifier CoreAir StoreHintWord SHINTW 7,242,774
inner_verifier Audit StoreV STOREW 36,765
inner_verifier CoreAir StoreV STOREW 127,710
inner_verifier Audit StoreV STOREW2 467,096
inner_verifier CoreAir StoreV STOREW2 1,637,394
inner_verifier AccessAdapter<2> SubE FE4SUB 136,246
inner_verifier AccessAdapter<4> SubE FE4SUB 80,509
inner_verifier Audit SubE FE4SUB 221,464
inner_verifier FieldExtensionArithmeticAir SubE FE4SUB 163,262
inner_verifier AccessAdapter<2> SubEF LOADW 1,294,546
inner_verifier Audit SubEF LOADW 1,482
inner_verifier CoreAir SubEF LOADW 23,306,976
inner_verifier AccessAdapter<2> SubEF SUB 1,294,546
inner_verifier AccessAdapter<4> SubEF SUB 1,529,918
inner_verifier Audit SubEF SUB 494
inner_verifier FieldArithmeticAir SubEF SUB 3,649,072
inner_verifier AccessAdapter<2> SubEFI ADD 154
inner_verifier AccessAdapter<4> SubEFI ADD 91
inner_verifier Audit SubEFI ADD 11,324
inner_verifier FieldArithmeticAir SubEFI ADD 18,476
inner_verifier AccessAdapter<2> SubEI ADD 1,298
inner_verifier AccessAdapter<4> SubEI ADD 767
inner_verifier Audit SubEI ADD 5,320
inner_verifier FieldArithmeticAir SubEI ADD 8,928
inner_verifier Audit SubV SUB 57
inner_verifier FieldArithmeticAir SubV SUB 671,832
inner_verifier Audit SubVI SUB 14,098
inner_verifier FieldArithmeticAir SubVI SUB 39,711
inner_verifier FieldArithmeticAir SubVIN SUB 11,067
group air_name cells constraints interactions main_cols perm_cols prep_cols quotient_deg rows
bench_program_inner ProgramAir 4,608 4 1 1 8 9 1 512
bench_program_inner CoreAir 217,088 115 19 62 44 2 2,048
bench_program_inner FieldArithmeticAir 137,216 28 15 31 36 2 2,048
bench_program_inner ArithmeticLogicAir<32, 8> 223,232 187 65 172 264 2 512
bench_program_inner ShiftAir<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 MemoryAuditAir 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 1,179,648 4 1 1 8 2 1 131,072
bench_program_inner VmConnectorAir 20 4 2 2 8 1 2 2
inner_verifier ProgramAir 1,179,648 4 1 1 8 9 1 131,072
inner_verifier CoreAir 180,355,072 113 19 66 20 8 2,097,152
inner_verifier FieldArithmeticAir 49,283,072 23 15 31 16 8 1,048,576
inner_verifier FieldExtensionArithmeticAir 29,884,416 23 15 41 16 8 524,288
inner_verifier Poseidon2VmAir 7,307,264 373 32 418 28 8 16,384
inner_verifier XorLookupAir<8> 589,824 4 1 1 8 3 1 65,536
inner_verifier MemoryAuditAir 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 1,179,648 4 1 1 8 2 1 131,072
inner_verifier VmConnectorAir 20 4 2 2 8 1 2 2





Commit: 990f806
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 7, 2024

vm_verify_fibair

stark_prove_excluding_trace_time_ms total_cells total_cells_used trace_gen_time_ms verify_program_compile_ms
8,143.0 (-93.0 [-1.1%]) 68,165,652 27,821,445 (-1,272 [-0.0%]) 2,554.0 (-39.0 [-1.5%]) 34.0
chip_name rows_used
ByteXor 65,536
Core 290,840 (-35 [-0.0%])
FieldArithmetic 140,510 (+38 [+0.0%])
FieldExtension 7,486
Memory 97,965
Memory 2 40,623 (-8 [-0.0%])
Memory 3 20,313 (-4 [-0.0%])
Memory 4 3,851
Poseidon2 2,613
Program 36,703
RangeChecker 131,072
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,851 (+38 [+1.4%])
AddV ADD 1,808
AddVI ADD 35,232
Alloc ADD 13,004
Alloc LOADW 13,004
Alloc MUL 8,972
AssertEqE BNE 404
AssertEqEI BNE 4
AssertEqF BNE 4,901
AssertEqV BNE 3,535
AssertEqVI BNE 32
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,818
For BNE 44,185
For JAL 9,367
For LOADW 700
For STOREW 8,667
Halt TERMINATE 1
HintBitsF HINT_BITS 101
HintInputVec HINT_INPUT 4,032
IfEq BNE 722
IfEqI BNE 11,283
IfEqI JAL 2,133 (-35 [-1.6%])
IfNe BEQ 2,129
IfNe JAL 7
IfNeI BEQ 601
ImmE STOREW 2,008
ImmF STOREW 7,036
ImmV STOREW 12,842
LoadE LOADW 4,836
LoadE LOADW2 14,000
LoadF LOADW 13,500
LoadF LOADW2 3,085
LoadV LOADW 8,746
LoadV LOADW2 19,212
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,496
StoreF STOREW2 3,952
StoreHintWord ADD 19,708
StoreHintWord SHINTW 26,871
StoreV STOREW 1,499
StoreV STOREW2 11,041
SubE FE4SUB 1,202
SubEF LOADW 4,815
SubEF SUB 1,605
SubEI ADD 8
SubV SUB 3,100
SubVI SUB 3,789
SubVIN SUB 400
Click to expand
air_name dsl_ir opcode cells_used
Audit JAL 19
CoreAir JAL 66
Audit STOREW 38
CoreAir STOREW 132
AccessAdapter<2> AddE FE4ADD 24,882
AccessAdapter<4> AddE FE4ADD 14,703
Audit AddE FE4ADD 1,444
FieldExtensionArithmeticAir AddE FE4ADD 66,830
AccessAdapter<2> AddEFFI LOADW 132
AccessAdapter<4> AddEFFI LOADW 156
Audit AddEFFI LOADW 304
CoreAir AddEFFI LOADW 8,448
AccessAdapter<2> AddEFFI STOREW 132
Audit AddEFFI STOREW 912
CoreAir AddEFFI STOREW 25,344
AccessAdapter<2> AddEI ADD 24,486 (-44 [-0.2%])
AccessAdapter<4> AddEI ADD 14,469 (-26 [-0.2%])
Audit AddEI ADD 760
FieldArithmeticAir AddEI ADD 175,584
Audit AddFI ADD 627
FieldArithmeticAir AddFI ADD 88,381 (+1,178 [+1.4%])
Audit AddV ADD 19
FieldArithmeticAir AddV ADD 56,048
Audit AddVI ADD 61,484
FieldArithmeticAir AddVI ADD 1,092,192
FieldArithmeticAir Alloc ADD 403,124
Audit Alloc LOADW 3,230
CoreAir Alloc LOADW 858,264
AccessAdapter<2> Alloc MUL 22
AccessAdapter<4> Alloc MUL 26
FieldArithmeticAir Alloc MUL 278,132
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,310
CoreAir AssertEqVI BNE 2,112
CoreAir CycleTrackerEnd CT_END 251,262
CoreAir CycleTrackerStart CT_START 251,262
AccessAdapter<2> DivE BBE4DIV 35,310
AccessAdapter<4> DivE BBE4DIV 20,865
FieldExtensionArithmeticAir DivE BBE4DIV 49,282
AccessAdapter<2> DivEIN BBE4DIV 22
AccessAdapter<4> DivEIN BBE4DIV 13
FieldExtensionArithmeticAir DivEIN BBE4DIV 41
AccessAdapter<2> DivEIN STOREW 11
CoreAir DivEIN STOREW 264
FieldArithmeticAir DivFIN DIV 93
FieldArithmeticAir For ADD 1,079,358
CoreAir For BNE 2,916,210
AccessAdapter<2> For JAL 55
AccessAdapter<4> For JAL 65
CoreAir For JAL 618,222
Audit For LOADW 1,900
CoreAir For LOADW 46,200
Audit For STOREW 874
CoreAir For STOREW 572,022
CoreAir Halt TERMINATE 66
CoreAir HintBitsF HINT_BITS 6,666
CoreAir HintInputVec HINT_INPUT 266,112
CoreAir IfEq BNE 47,652
CoreAir IfEqI BNE 744,678
CoreAir IfEqI JAL 140,778 (-2,310 [-1.6%])
CoreAir IfNe BEQ 140,514
CoreAir IfNe JAL 462
CoreAir IfNeI BEQ 39,666
AccessAdapter<2> ImmE STOREW 2,200
AccessAdapter<4> ImmE STOREW 1,300
Audit ImmE STOREW 76
CoreAir ImmE STOREW 132,528
Audit ImmF STOREW 3,743
CoreAir ImmF STOREW 464,376
Audit ImmV STOREW 65,284
CoreAir ImmV STOREW 847,572
AccessAdapter<2> LoadE LOADW 17,688
AccessAdapter<4> LoadE LOADW 10,452
Audit 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
Audit LoadF LOADW 8,702
CoreAir LoadF LOADW 891,000
AccessAdapter<2> LoadF LOADW2 715
AccessAdapter<4> LoadF LOADW2 429
AccessAdapter<8> LoadF LOADW2 323
Audit LoadF LOADW2 2,223
CoreAir LoadF LOADW2 203,610
Audit LoadV LOADW 60,819
CoreAir LoadV LOADW 577,236
Audit LoadV LOADW2 893
CoreAir LoadV LOADW2 1,267,992
AccessAdapter<2> MulE BBE4MUL 33,440 (-44 [-0.1%])
AccessAdapter<4> MulE BBE4MUL 19,760 (-26 [-0.1%])
Audit MulE BBE4MUL 988
FieldExtensionArithmeticAir MulE BBE4MUL 140,138
AccessAdapter<2> MulEF MUL 8,822
AccessAdapter<4> MulEF MUL 5,213
Audit MulEF MUL 76
FieldArithmeticAir MulEF MUL 49,848
AccessAdapter<2> MulEI BBE4MUL 1,892
AccessAdapter<4> MulEI BBE4MUL 1,118
Audit MulEI BBE4MUL 1,596
FieldExtensionArithmeticAir MulEI BBE4MUL 1,353
AccessAdapter<2> MulEI STOREW 638
AccessAdapter<4> MulEI STOREW 338
Audit MulEI STOREW 57
CoreAir MulEI STOREW 8,712
Audit MulF MUL 19
FieldArithmeticAir MulF MUL 68,324
Audit MulFI MUL 19
FieldArithmeticAir MulFI MUL 31
Audit MulV MUL 59,432
FieldArithmeticAir MulV MUL 97,061
Audit MulVI MUL 76
FieldArithmeticAir MulVI MUL 80,724
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
Audit StoreE STOREW 608,228
CoreAir StoreE STOREW 2,112,792
AccessAdapter<2> StoreE STOREW2 8,800
AccessAdapter<4> StoreE STOREW2 5,200
Audit StoreE STOREW2 30,704
CoreAir StoreE STOREW2 317,856
Audit StoreF STOREW 123,424
CoreAir StoreF STOREW 428,736
AccessAdapter<2> StoreF STOREW2 231
AccessAdapter<4> StoreF STOREW2 143
AccessAdapter<8> StoreF STOREW2 102
Audit StoreF STOREW2 61,712
CoreAir StoreF STOREW2 260,832
FieldArithmeticAir StoreHintWord ADD 610,948
Audit StoreHintWord SHINTW 510,549
CoreAir StoreHintWord SHINTW 1,773,486
Audit StoreV STOREW 28,481
CoreAir StoreV STOREW 98,934
Audit StoreV STOREW2 160,094
CoreAir StoreV STOREW2 728,706
AccessAdapter<2> SubE FE4SUB 44,176
AccessAdapter<4> SubE FE4SUB 26,104
Audit SubE FE4SUB 380
FieldExtensionArithmeticAir SubE FE4SUB 49,282
AccessAdapter<2> SubEF LOADW 17,633
Audit SubEF LOADW 171
CoreAir SubEF LOADW 317,790
AccessAdapter<2> SubEF SUB 17,633
AccessAdapter<4> SubEF SUB 20,839
Audit SubEF SUB 57
FieldArithmeticAir SubEF SUB 49,755
AccessAdapter<2> SubEI ADD 44
AccessAdapter<4> SubEI ADD 26
FieldArithmeticAir SubEI ADD 248
Audit SubV SUB 57
FieldArithmeticAir SubV SUB 96,100
Audit SubVI SUB 61,484
FieldArithmeticAir SubVI SUB 117,459
FieldArithmeticAir SubVIN SUB 12,400
air_name cells constraints interactions main_cols perm_cols prep_cols quotient_deg rows
ProgramAir 589,824 4 1 1 8 9 1 65,536
CoreAir 45,088,768 113 19 66 20 8 524,288
FieldArithmeticAir 12,320,768 23 15 31 16 8 262,144
FieldExtensionArithmeticAir 466,944 23 15 41 16 8 8,192
Poseidon2VmAir 1,826,816 373 32 418 28 8 4,096
XorLookupAir<8> 589,824 4 1 1 8 3 1 65,536
MemoryAuditAir 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 1,179,648 4 1 1 8 2 1 131,072
VmConnectorAir 20 4 2 2 8 1 2 2





Commit: 990f806
AWS Instance Type: r7g.8xlarge
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 7, 2024

tiny_e2e

group stark_prove_excluding_trace_time_ms total_cells total_cells_used trace_gen_time_ms
fibonacci_program_inner 708.0 (+3.0 [+0.4%]) 1,782,308 200,532 1.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 35
fibonacci_program_inner Program 97
fibonacci_program_inner RangeChecker 131,072
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 Audit JAL 19
fibonacci_program_inner CoreAir JAL 62
fibonacci_program_inner Audit STOREW 38
fibonacci_program_inner CoreAir STOREW 124
fibonacci_program_inner FieldArithmeticAir AddF ADD 930
fibonacci_program_inner Audit AddFI ADD 570
fibonacci_program_inner FieldArithmeticAir AddFI ADD 1,860
fibonacci_program_inner CoreAir Halt TERMINATE 62
fibonacci_program_inner Audit 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 1,152 4 1 1 8 9 1 128
fibonacci_program_inner CoreAir 848 115 19 62 44 2 8
fibonacci_program_inner FieldArithmeticAir 8,576 28 15 31 36 2 128
fibonacci_program_inner XorLookupAir<8> 589,824 4 1 1 8 3 1 65,536
fibonacci_program_inner MemoryAuditAir 2,240 21 6 19 16 2 64
fibonacci_program_inner VariableRangeCheckerAir 1,179,648 4 1 1 8 2 1 131,072
fibonacci_program_inner VmConnectorAir 20 4 2 2 8 1 2 2





Commit: 990f806
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 7, 2024

small_e2e

group stark_prove_excluding_trace_time_ms total_cells total_cells_used trace_gen_time_ms verify_program_compile_ms
bench_program_inner 1,206.0 (-8.0 [-0.7%]) 1,915,713 277,352 2.0
inner_verifier 67,884.0 (+348.0 [+0.5%]) 716,898,324 388,606,487 32,919.0 (-290.0 [-0.9%]) 47,026.0 (-444.0 [-0.9%])
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 65
bench_program_inner Memory 2 26
bench_program_inner Memory 3 13
bench_program_inner Memory 4 5
bench_program_inner Program 37
bench_program_inner RangeChecker 131,072
inner_verifier ByteXor 65,536
inner_verifier Core 3,796,884
inner_verifier FieldArithmetic 1,556,271
inner_verifier FieldExtension 843,315
inner_verifier Memory 622,695
inner_verifier Memory 2 1,941,943
inner_verifier Memory 3 971,037
inner_verifier Memory 4 33,138
inner_verifier Poseidon2 20,124
inner_verifier Program 203,982
inner_verifier RangeChecker 131,072
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 223,787
inner_verifier AddEFFI LOADW 127
inner_verifier AddEFFI STOREW 381
inner_verifier AddEFI ADD 168
inner_verifier AddEI ADD 66,784
inner_verifier AddFI ADD 12,459
inner_verifier AddV ADD 5,980
inner_verifier AddVI ADD 271,414
inner_verifier Alloc ADD 23,824
inner_verifier Alloc LOADW 23,824
inner_verifier Alloc MUL 14,353
inner_verifier AssertEqE BNE 132
inner_verifier AssertEqEI BNE 4
inner_verifier AssertEqF BNE 4,054
inner_verifier AssertEqV BNE 1,129
inner_verifier AssertEqVI BNE 188
inner_verifier CycleTrackerEnd CT_END 104,356
inner_verifier CycleTrackerStart CT_START 104,356
inner_verifier DivE BBE4DIV 195,009
inner_verifier DivEIN BBE4DIV 30
inner_verifier DivEIN STOREW 120
inner_verifier DivFIN DIV 72
inner_verifier For ADD 527,961
inner_verifier For BNE 546,469
inner_verifier For JAL 18,508
inner_verifier For LOADW 966
inner_verifier For STOREW 17,542
inner_verifier Halt TERMINATE 1
inner_verifier HintBitsF HINT_BITS 22
inner_verifier HintInputVec HINT_INPUT 9,471
inner_verifier IfEq BNE 6,158
inner_verifier IfEqI BNE 121,255
inner_verifier IfEqI JAL 9,824
inner_verifier IfNe BEQ 6,893
inner_verifier IfNe JAL 21
inner_verifier IfNeI BEQ 946
inner_verifier ImmE STOREW 12,360
inner_verifier ImmF STOREW 14,565
inner_verifier ImmV STOREW 21,584
inner_verifier LoadE LOADW 41,456
inner_verifier LoadE LOADW2 800,352
inner_verifier LoadF LOADW 14,498
inner_verifier LoadF LOADW2 298,733
inner_verifier LoadV LOADW 12,257
inner_verifier LoadV LOADW2 61,816
inner_verifier MulE BBE4MUL 408,091
inner_verifier MulEF MUL 1,668
inner_verifier MulEFI MUL 1,432
inner_verifier MulEI BBE4MUL 2,562
inner_verifier MulEI STOREW 10,248
inner_verifier MulF MUL 22,173
inner_verifier MulFI MUL 12
inner_verifier MulV MUL 682
inner_verifier MulVI MUL 8,259
inner_verifier NegE MUL 184
inner_verifier Poseidon2CompressBabyBear COMP_POS2 7,224
inner_verifier Poseidon2PermuteBabyBear PERM_POS2 12,900
inner_verifier StoreE STOREW 11,236
inner_verifier StoreE STOREW2 11,156
inner_verifier StoreF STOREW 12,624
inner_verifier StoreF STOREW2 101,586
inner_verifier StoreHintWord ADD 192,376
inner_verifier StoreHintWord SHINTW 202,529
inner_verifier StoreV STOREW 1,833
inner_verifier StoreV STOREW2 23,461
inner_verifier SubE FE4SUB 13,836
inner_verifier SubEF LOADW 1,167,840
inner_verifier SubEF SUB 389,280
inner_verifier SubEFI ADD 1,288
inner_verifier SubEI ADD 240
inner_verifier SubV SUB 14,028
inner_verifier SubVI SUB 1,277
inner_verifier SubVIN SUB 357
Click to expand
group air_name dsl_ir opcode cells_used
bench_program_inner Audit JAL 19
bench_program_inner CoreAir JAL 62
bench_program_inner Audit STOREW 38
bench_program_inner CoreAir STOREW 124
bench_program_inner AccessAdapter<2> AddE FE4ADD 66
bench_program_inner AccessAdapter<4> AddE FE4ADD 39
bench_program_inner Audit AddE FE4ADD 76
bench_program_inner FieldExtensionArithmeticAir AddE FE4ADD 41
bench_program_inner Audit AddF ADD 19
bench_program_inner FieldArithmeticAir AddF ADD 31
bench_program_inner Audit AddVI ADD 38
bench_program_inner FieldArithmeticAir AddVI ADD 186
bench_program_inner FieldArithmeticAir Alloc ADD 62
bench_program_inner Audit Alloc LOADW 38
bench_program_inner CoreAir Alloc LOADW 124
bench_program_inner FieldArithmeticAir Alloc MUL 62
bench_program_inner FieldArithmeticAir For ADD 62
bench_program_inner CoreAir For BNE 186
bench_program_inner CoreAir For JAL 62
bench_program_inner Audit 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 Audit ImmE STOREW 152
bench_program_inner CoreAir ImmE STOREW 496
bench_program_inner Audit ImmF STOREW 38
bench_program_inner CoreAir ImmF STOREW 124
bench_program_inner Audit 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 Audit Keccak256 KECCAK256 722
bench_program_inner KeccakVmAir Keccak256 KECCAK256 76,752
bench_program_inner Audit StoreV STOREW2 38
bench_program_inner CoreAir StoreV STOREW2 124
inner_verifier Audit JAL 19
inner_verifier CoreAir JAL 66
inner_verifier Audit STOREW 38
inner_verifier CoreAir STOREW 132
inner_verifier AccessAdapter<2> AddE FE4ADD 1,123,254
inner_verifier AccessAdapter<4> AddE FE4ADD 663,741
inner_verifier Audit AddE FE4ADD 2,157,184
inner_verifier FieldExtensionArithmeticAir AddE FE4ADD 9,175,267
inner_verifier AccessAdapter<2> AddEFFI LOADW 704
inner_verifier AccessAdapter<4> AddEFFI LOADW 832
inner_verifier Audit AddEFFI LOADW 798
inner_verifier CoreAir AddEFFI LOADW 8,382
inner_verifier AccessAdapter<2> AddEFFI STOREW 704
inner_verifier Audit AddEFFI STOREW 2,394
inner_verifier CoreAir AddEFFI STOREW 25,146
inner_verifier AccessAdapter<2> AddEFI ADD 286
inner_verifier AccessAdapter<4> AddEFI ADD 169
inner_verifier Audit AddEFI ADD 3,192
inner_verifier FieldArithmeticAir AddEFI ADD 5,208
inner_verifier AccessAdapter<2> AddEI ADD 361,834
inner_verifier AccessAdapter<4> AddEI ADD 213,811
inner_verifier Audit AddEI ADD 1,177,088
inner_verifier FieldArithmeticAir AddEI ADD 2,070,304
inner_verifier Audit AddFI ADD 3,021
inner_verifier FieldArithmeticAir AddFI ADD 386,229
inner_verifier Audit AddV ADD 19
inner_verifier FieldArithmeticAir AddV ADD 185,380
inner_verifier Audit AddVI ADD 17,005
inner_verifier FieldArithmeticAir AddVI ADD 8,413,834
inner_verifier FieldArithmeticAir Alloc ADD 738,544
inner_verifier Audit Alloc LOADW 3,420
inner_verifier CoreAir Alloc LOADW 1,572,384
inner_verifier AccessAdapter<2> Alloc MUL 33
inner_verifier AccessAdapter<4> Alloc MUL 39
inner_verifier FieldArithmeticAir Alloc MUL 444,943
inner_verifier AccessAdapter<2> AssertEqE BNE 726
inner_verifier AccessAdapter<4> AssertEqE BNE 429
inner_verifier CoreAir AssertEqE BNE 8,712
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 267,564
inner_verifier CoreAir AssertEqV BNE 74,514
inner_verifier CoreAir AssertEqVI BNE 12,408
inner_verifier CoreAir CycleTrackerEnd CT_END 6,887,496
inner_verifier CoreAir CycleTrackerStart CT_START 6,887,496
inner_verifier AccessAdapter<2> DivE BBE4DIV 8,564,952
inner_verifier AccessAdapter<4> DivE BBE4DIV 5,061,108
inner_verifier Audit DivE BBE4DIV 1,672
inner_verifier FieldExtensionArithmeticAir DivE BBE4DIV 7,995,369
inner_verifier AccessAdapter<2> DivEIN BBE4DIV 1,694
inner_verifier AccessAdapter<4> DivEIN BBE4DIV 1,001
inner_verifier Audit DivEIN BBE4DIV 2,204
inner_verifier FieldExtensionArithmeticAir DivEIN BBE4DIV 1,230
inner_verifier AccessAdapter<2> DivEIN STOREW 429
inner_verifier AccessAdapter<4> DivEIN STOREW 117
inner_verifier CoreAir DivEIN STOREW 7,920
inner_verifier Audit DivFIN DIV 1,311
inner_verifier FieldArithmeticAir DivFIN DIV 2,232
inner_verifier FieldArithmeticAir For ADD 16,366,791
inner_verifier CoreAir For BNE 36,066,954
inner_verifier AccessAdapter<2> For JAL 418
inner_verifier AccessAdapter<4> For JAL 494
inner_verifier CoreAir For JAL 1,221,528
inner_verifier Audit For LOADW 399
inner_verifier CoreAir For LOADW 63,756
inner_verifier Audit For STOREW 2,356
inner_verifier CoreAir For STOREW 1,157,772
inner_verifier CoreAir Halt TERMINATE 66
inner_verifier CoreAir HintBitsF HINT_BITS 1,452
inner_verifier CoreAir HintInputVec HINT_INPUT 625,086
inner_verifier CoreAir IfEq BNE 406,428
inner_verifier CoreAir IfEqI BNE 8,002,830
inner_verifier CoreAir IfEqI JAL 648,384
inner_verifier CoreAir IfNe BEQ 454,938
inner_verifier CoreAir IfNe JAL 1,386
inner_verifier CoreAir IfNeI BEQ 62,436
inner_verifier AccessAdapter<2> ImmE STOREW 462
inner_verifier AccessAdapter<4> ImmE STOREW 273
inner_verifier Audit ImmE STOREW 226,784
inner_verifier CoreAir ImmE STOREW 815,760
inner_verifier Audit ImmF STOREW 3,876
inner_verifier CoreAir ImmF STOREW 961,290
inner_verifier Audit ImmV STOREW 18,506
inner_verifier CoreAir ImmV STOREW 1,424,544
inner_verifier AccessAdapter<2> LoadE LOADW 16,126
inner_verifier AccessAdapter<4> LoadE LOADW 9,529
inner_verifier Audit LoadE LOADW 704,824
inner_verifier CoreAir LoadE LOADW 2,736,096
inner_verifier AccessAdapter<2> LoadE LOADW2 24,090
inner_verifier AccessAdapter<4> LoadE LOADW2 14,235
inner_verifier CoreAir LoadE LOADW2 52,823,232
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 Audit LoadF LOADW 63,517
inner_verifier CoreAir LoadF LOADW 956,868
inner_verifier AccessAdapter<2> LoadF LOADW2 605
inner_verifier AccessAdapter<4> LoadF LOADW2 364
inner_verifier AccessAdapter<8> LoadF LOADW2 391
inner_verifier Audit LoadF LOADW2 1,767
inner_verifier CoreAir LoadF LOADW2 19,716,378
inner_verifier Audit LoadV LOADW 28,158
inner_verifier CoreAir LoadV LOADW 808,962
inner_verifier Audit LoadV LOADW2 3,040
inner_verifier CoreAir LoadV LOADW2 4,079,856
inner_verifier AccessAdapter<2> MulE BBE4MUL 510,488
inner_verifier AccessAdapter<4> MulE BBE4MUL 301,652
inner_verifier Audit MulE BBE4MUL 1,293,216
inner_verifier FieldExtensionArithmeticAir MulE BBE4MUL 16,731,731
inner_verifier AccessAdapter<2> MulEF MUL 7,876
inner_verifier AccessAdapter<4> MulEF MUL 4,654
inner_verifier Audit MulEF MUL 4,484
inner_verifier FieldArithmeticAir MulEF MUL 51,708
inner_verifier AccessAdapter<2> MulEFI MUL 1,100
inner_verifier AccessAdapter<4> MulEFI MUL 650
inner_verifier Audit MulEFI MUL 27,208
inner_verifier FieldArithmeticAir MulEFI MUL 44,392
inner_verifier AccessAdapter<2> MulEI BBE4MUL 165,594
inner_verifier AccessAdapter<4> MulEI BBE4MUL 97,851
inner_verifier Audit MulEI BBE4MUL 189,848
inner_verifier FieldExtensionArithmeticAir MulEI BBE4MUL 105,042
inner_verifier AccessAdapter<2> MulEI STOREW 56,122
inner_verifier AccessAdapter<4> MulEI STOREW 33,033
inner_verifier Audit MulEI STOREW 57
inner_verifier CoreAir MulEI STOREW 676,368
inner_verifier Audit MulF MUL 779
inner_verifier FieldArithmeticAir MulF MUL 687,363
inner_verifier Audit MulFI MUL 228
inner_verifier FieldArithmeticAir MulFI MUL 372
inner_verifier Audit MulV MUL 12,901
inner_verifier FieldArithmeticAir MulV MUL 21,142
inner_verifier Audit MulVI MUL 114
inner_verifier FieldArithmeticAir MulVI MUL 256,029
inner_verifier AccessAdapter<2> NegE MUL 902
inner_verifier AccessAdapter<4> NegE MUL 533
inner_verifier Audit NegE MUL 3,496
inner_verifier FieldArithmeticAir NegE MUL 5,704
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,019,632
inner_verifier AccessAdapter<2> Poseidon2PermuteBabyBear PERM_POS2 605,011
inner_verifier AccessAdapter<4> Poseidon2PermuteBabyBear PERM_POS2 357,929
inner_verifier AccessAdapter<8> Poseidon2PermuteBabyBear PERM_POS2 235,807
inner_verifier Poseidon2VmAir Poseidon2PermuteBabyBear PERM_POS2 5,392,200
inner_verifier AccessAdapter<2> StoreE STOREW 7,854
inner_verifier AccessAdapter<4> StoreE STOREW 4,641
inner_verifier Audit StoreE STOREW 213,484
inner_verifier CoreAir StoreE STOREW 741,576
inner_verifier AccessAdapter<2> StoreE STOREW2 45,276
inner_verifier AccessAdapter<4> StoreE STOREW2 26,754
inner_verifier Audit StoreE STOREW2 28,424
inner_verifier CoreAir StoreE STOREW2 736,296
inner_verifier Audit StoreF STOREW 239,856
inner_verifier CoreAir StoreF STOREW 833,184
inner_verifier AccessAdapter<2> StoreF STOREW2 521,191
inner_verifier AccessAdapter<4> StoreF STOREW2 308,399
inner_verifier AccessAdapter<8> StoreF STOREW2 203,269
inner_verifier Audit StoreF STOREW2 55,176
inner_verifier CoreAir StoreF STOREW2 6,704,676
inner_verifier FieldArithmeticAir StoreHintWord ADD 5,963,656
inner_verifier Audit StoreHintWord SHINTW 3,848,051
inner_verifier CoreAir StoreHintWord SHINTW 13,366,914
inner_verifier Audit StoreV STOREW 34,827
inner_verifier CoreAir StoreV STOREW 120,978
inner_verifier Audit StoreV STOREW2 441,484
inner_verifier CoreAir StoreV STOREW2 1,548,426
inner_verifier AccessAdapter<2> SubE FE4SUB 458,172
inner_verifier AccessAdapter<4> SubE FE4SUB 270,738
inner_verifier Audit SubE FE4SUB 970,368
inner_verifier FieldExtensionArithmeticAir SubE FE4SUB 567,276
inner_verifier AccessAdapter<2> SubEF LOADW 4,281,838
inner_verifier Audit SubEF LOADW 1,254
inner_verifier CoreAir SubEF LOADW 77,077,440
inner_verifier AccessAdapter<2> SubEF SUB 4,281,838
inner_verifier AccessAdapter<4> SubEF SUB 5,060,354
inner_verifier Audit SubEF SUB 418
inner_verifier FieldArithmeticAir SubEF SUB 12,067,680
inner_verifier AccessAdapter<2> SubEFI ADD 176
inner_verifier AccessAdapter<4> SubEFI ADD 104
inner_verifier Audit SubEFI ADD 24,472
inner_verifier FieldArithmeticAir SubEFI ADD 39,928
inner_verifier AccessAdapter<2> SubEI ADD 968
inner_verifier AccessAdapter<4> SubEI ADD 572
inner_verifier Audit SubEI ADD 4,408
inner_verifier FieldArithmeticAir SubEI ADD 7,440
inner_verifier Audit SubV SUB 57
inner_verifier FieldArithmeticAir SubV SUB 434,868
inner_verifier Audit SubVI SUB 14,003
inner_verifier FieldArithmeticAir SubVI SUB 39,587
inner_verifier FieldArithmeticAir SubVIN SUB 11,067
group air_name cells constraints interactions main_cols perm_cols prep_cols quotient_deg rows
bench_program_inner ProgramAir 576 4 1 1 8 9 1 64
bench_program_inner CoreAir 3,392 115 19 62 44 2 32
bench_program_inner KeccakVmAir 132,544 2,251 235 3,198 944 2 32
bench_program_inner FieldArithmeticAir 1,072 28 15 31 36 2 16
bench_program_inner FieldExtensionArithmeticAir 77 28 15 41 36 2 1
bench_program_inner XorLookupAir<8> 589,824 4 1 1 8 3 1 65,536
bench_program_inner MemoryAuditAir 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 1,179,648 4 1 1 8 2 1 131,072
bench_program_inner VmConnectorAir 20 4 2 2 8 1 2 2
inner_verifier ProgramAir 2,359,296 4 1 1 8 9 1 262,144
inner_verifier CoreAir 360,710,144 113 19 66 20 8 4,194,304
inner_verifier FieldArithmeticAir 98,566,144 23 15 31 16 8 2,097,152
inner_verifier FieldExtensionArithmeticAir 59,768,832 23 15 41 16 8 1,048,576
inner_verifier Poseidon2VmAir 14,614,528 373 32 418 28 8 32,768
inner_verifier XorLookupAir<8> 589,824 4 1 1 8 3 1 65,536
inner_verifier MemoryAuditAir 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 1,179,648 4 1 1 8 2 1 131,072
inner_verifier VmConnectorAir 20 4 2 2 8 1 2 2





Commit: 990f806
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

@jonathanpwang jonathanpwang merged commit 4967e7b into main Oct 7, 2024
18 checks passed
@jonathanpwang jonathanpwang deleted the chore/flamegraphs branch October 7, 2024 22:03
luffykai pushed a commit that referenced this pull request Dec 13, 2024
@jonathanpwang
chore: add flamegraphs to public s3 and display in PR comments (#504)
5bcde43 
* chore: add flamegraphs to public s3 and display in PR comments

* fix

* link to s3 bucket
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
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.
1 participant
@jonathanpwang