diff --git a/benchmarks/alu256_e2e.md b/benchmarks/alu256_e2e.md index 3ddcffca68..6cbbb873c5 100644 --- a/benchmarks/alu256_e2e.md +++ b/benchmarks/alu256_e2e.md @@ -1,7 +1,7 @@ | group | stark_prove_excluding_trace_time_ms | total_cells | total_cells_used | trace_gen_time_ms | verify_program_compile_ms | | --- | --- | --- | --- | --- | --- | -| bench_program_inner | 896.0 (-598.0 [-40.0%]) | 3,601,428 (-589,824 [-14.1%]) | 633,643 (-65,536 [-9.4%]) | 40.0 (-1.0 [-2.4%]) | | -| inner_verifier | 29,890.0 (-191.0 [-0.6%]) | 321,519,636 (-589,824 [-0.2%]) | 159,772,427 (-2,970,287 [-1.8%]) | 14,080.0 (-233.0 [-1.6%]) | 394.0 (+10.0 [+2.6%]) | +| bench_program_inner | 897.0 (+1.0 [+0.1%]) | 3,601,428 | 633,643 | 40.0 | | +| inner_verifier | 29,884.0 (-6.0 [-0.0%]) | 321,519,636 | 159,753,581 (-18,846 [-0.0%]) | 14,002.0 (-78.0 [-0.6%]) | 386.0 (-8.0 [-2.0%]) | | group | chip_name | rows_used | | --- | --- | --- | @@ -16,19 +16,19 @@ | bench_program_inner | Memory 5 | 584 | | bench_program_inner | Memory 6 | 292 | | bench_program_inner | Program | 370 | -| bench_program_inner | RangeChecker | 65,536 (-65,536 [-50.0%]) | +| bench_program_inner | RangeChecker | 65,536 | | bench_program_inner | Shift256 | 96 | | inner_verifier | ByteXor | 65,536 | -| inner_verifier | Core | 1,559,208 (-27,652 [-1.7%]) | -| inner_verifier | FieldArithmetic | 750,447 (-19,067 [-2.5%]) | -| inner_verifier | FieldExtension | 267,359 (-218 [-0.1%]) | -| inner_verifier | Memory | 321,662 (-7,659 [-2.3%]) | -| inner_verifier | Memory 2 | 648,771 (-3,388 [-0.5%]) | -| inner_verifier | Memory 3 | 324,535 (-1,694 [-0.5%]) | -| inner_verifier | Memory 4 | 15,580 (-655 [-4.0%]) | -| inner_verifier | Poseidon2 | 11,198 (-631 [-5.3%]) | +| inner_verifier | Core | 1,558,920 (-288 [-0.0%]) | +| inner_verifier | FieldArithmetic | 750,459 (+12 [+0.0%]) | +| inner_verifier | FieldExtension | 267,359 | +| inner_verifier | Memory | 321,662 | +| inner_verifier | Memory 2 | 648,759 (-12 [-0.0%]) | +| inner_verifier | Memory 3 | 324,529 (-6 [-0.0%]) | +| inner_verifier | Memory 4 | 15,580 | +| inner_verifier | Poseidon2 | 11,198 | | inner_verifier | Program | 95,413 | -| inner_verifier | RangeChecker | 65,536 (-65,536 [-50.0%]) | +| inner_verifier | RangeChecker | 65,536 |
Click to expand @@ -63,79 +63,79 @@ | bench_program_inner | Xor256 | XOR<32,8> | 32 | | inner_verifier | | JAL | 1 | | inner_verifier | | STOREW | 2 | -| inner_verifier | AddE | FE4ADD | 68,798 (-45 [-0.1%]) | -| inner_verifier | AddEFFI | LOADW | 127 (-4 [-3.1%]) | -| inner_verifier | AddEFFI | STOREW | 381 (-12 [-3.1%]) | +| inner_verifier | AddE | FE4ADD | 68,798 | +| inner_verifier | AddEFFI | LOADW | 127 | +| inner_verifier | AddEFFI | STOREW | 381 | | inner_verifier | AddEFI | ADD | 156 | -| inner_verifier | AddEI | ADD | 26,076 (-260 [-1.0%]) | -| inner_verifier | AddFI | ADD | 19,848 (-98 [-0.5%]) | -| inner_verifier | AddV | ADD | 5,865 (-443 [-7.0%]) | -| inner_verifier | AddVI | ADD | 141,319 (-3,967 [-2.7%]) | -| inner_verifier | Alloc | ADD | 23,194 (-1,430 [-5.8%]) | -| inner_verifier | Alloc | LOADW | 23,194 (-1,430 [-5.8%]) | -| inner_verifier | Alloc | MUL | 14,026 (-862 [-5.8%]) | +| inner_verifier | AddEI | ADD | 26,076 | +| inner_verifier | AddFI | ADD | 19,860 (+12 [+0.1%]) | +| inner_verifier | AddV | ADD | 5,865 | +| inner_verifier | AddVI | ADD | 141,319 | +| inner_verifier | Alloc | ADD | 23,194 | +| inner_verifier | Alloc | LOADW | 23,194 | +| inner_verifier | Alloc | MUL | 14,026 | | inner_verifier | AssertEqE | BNE | 140 | | inner_verifier | AssertEqEI | BNE | 4 | -| inner_verifier | AssertEqF | BNE | 3,886 (-168 [-4.1%]) | -| inner_verifier | AssertEqV | BNE | 1,122 (-21 [-1.8%]) | +| inner_verifier | AssertEqF | BNE | 3,886 | +| inner_verifier | AssertEqV | BNE | 1,122 | | inner_verifier | AssertEqVI | BNE | 214 | -| inner_verifier | CycleTrackerEnd | CT_END | 37,156 (-273 [-0.7%]) | -| inner_verifier | CycleTrackerStart | CT_START | 37,156 (-273 [-0.7%]) | -| inner_verifier | DivE | BBE4DIV | 59,206 (-21 [-0.0%]) | +| inner_verifier | CycleTrackerEnd | CT_END | 37,156 | +| inner_verifier | CycleTrackerStart | CT_START | 37,156 | +| inner_verifier | DivE | BBE4DIV | 59,206 | | inner_verifier | DivEIN | BBE4DIV | 36 | | inner_verifier | DivEIN | STOREW | 144 | | inner_verifier | DivFIN | DIV | 86 | -| inner_verifier | For | ADD | 235,225 (-6,867 [-2.8%]) | -| inner_verifier | For | BNE | 254,205 (-7,688 [-2.9%]) | -| inner_verifier | For | JAL | 18,980 (-821 [-4.1%]) | -| inner_verifier | For | LOADW | 1,008 (-84 [-7.7%]) | -| inner_verifier | For | STOREW | 17,972 (-737 [-3.9%]) | +| inner_verifier | For | ADD | 235,225 | +| inner_verifier | For | BNE | 254,205 | +| inner_verifier | For | JAL | 18,980 | +| inner_verifier | For | LOADW | 1,008 | +| inner_verifier | For | STOREW | 17,972 | | inner_verifier | Halt | TERMINATE | 1 | | inner_verifier | HintBitsF | HINT_BITS | 22 | -| inner_verifier | HintInputVec | HINT_INPUT | 9,168 (-568 [-5.8%]) | -| inner_verifier | IfEq | BNE | 6,723 (-1,137 [-14.5%]) | -| inner_verifier | IfEqI | BNE | 60,271 (-806 [-1.3%]) | -| inner_verifier | IfEqI | JAL | 13,382 (+739 [+5.8%]) | -| inner_verifier | IfNe | BEQ | 6,448 (-508 [-7.3%]) | -| inner_verifier | IfNe | JAL | 19 (-1 [-5.0%]) | -| inner_verifier | IfNeI | BEQ | 988 (-84 [-7.8%]) | +| inner_verifier | HintInputVec | HINT_INPUT | 9,168 | +| inner_verifier | IfEq | BNE | 6,723 | +| inner_verifier | IfEqI | BNE | 60,271 | +| inner_verifier | IfEqI | JAL | 13,094 (-288 [-2.2%]) | +| inner_verifier | IfNe | BEQ | 6,448 | +| inner_verifier | IfNe | JAL | 19 | +| inner_verifier | IfNeI | BEQ | 988 | | inner_verifier | ImmE | STOREW | 7,192 | -| inner_verifier | ImmF | STOREW | 15,745 (-1,176 [-6.9%]) | -| inner_verifier | ImmV | STOREW | 13,202 (-560 [-4.1%]) | -| inner_verifier | LoadE | LOADW | 15,356 (-252 [-1.6%]) | -| inner_verifier | LoadE | LOADW2 | 259,140 (-420 [-0.2%]) | -| inner_verifier | LoadF | LOADW | 14,469 (-533 [-3.6%]) | -| inner_verifier | LoadF | LOADW2 | 96,074 (-12 [-0.0%]) | -| inner_verifier | LoadV | LOADW | 12,064 (-610 [-4.8%]) | -| inner_verifier | LoadV | LOADW2 | 72,546 (-2,459 [-3.3%]) | -| inner_verifier | MulE | BBE4MUL | 133,772 (-85 [-0.1%]) | -| inner_verifier | MulEF | MUL | 1,632 (-84 [-4.9%]) | +| inner_verifier | ImmF | STOREW | 15,745 | +| inner_verifier | ImmV | STOREW | 13,202 | +| inner_verifier | LoadE | LOADW | 15,356 | +| inner_verifier | LoadE | LOADW2 | 259,140 | +| inner_verifier | LoadF | LOADW | 14,469 | +| inner_verifier | LoadF | LOADW2 | 96,074 | +| inner_verifier | LoadV | LOADW | 12,064 | +| inner_verifier | LoadV | LOADW2 | 72,546 | +| inner_verifier | MulE | BBE4MUL | 133,772 | +| inner_verifier | MulEF | MUL | 1,632 | | inner_verifier | MulEFI | MUL | 536 | -| inner_verifier | MulEI | BBE4MUL | 1,628 (-4 [-0.2%]) | -| inner_verifier | MulEI | STOREW | 6,512 (-16 [-0.2%]) | -| inner_verifier | MulF | MUL | 36,809 (-168 [-0.5%]) | +| inner_verifier | MulEI | BBE4MUL | 1,628 | +| inner_verifier | MulEI | STOREW | 6,512 | +| inner_verifier | MulF | MUL | 36,809 | | inner_verifier | MulFI | MUL | 14 | | inner_verifier | MulV | MUL | 682 | -| inner_verifier | MulVI | MUL | 7,979 (-525 [-6.2%]) | +| inner_verifier | MulVI | MUL | 7,979 | | inner_verifier | NegE | MUL | 136 | -| inner_verifier | Poseidon2CompressBabyBear | COMP_POS2 | 6,846 (-567 [-7.6%]) | -| inner_verifier | Poseidon2PermuteBabyBear | PERM_POS2 | 4,352 (-64 [-1.4%]) | -| inner_verifier | StoreE | STOREW | 10,924 (-336 [-3.0%]) | -| inner_verifier | StoreE | STOREW2 | 12,328 (-172 [-1.4%]) | -| inner_verifier | StoreF | STOREW | 13,500 (-1,176 [-8.0%]) | -| inner_verifier | StoreF | STOREW2 | 33,693 (-184 [-0.5%]) | -| inner_verifier | StoreHintWord | ADD | 95,155 (-4,166 [-4.2%]) | -| inner_verifier | StoreHintWord | SHINTW | 105,005 (-4,734 [-4.3%]) | -| inner_verifier | StoreV | STOREW | 1,872 (-63 [-3.3%]) | -| inner_verifier | StoreV | STOREW2 | 23,736 (-1,073 [-4.3%]) | -| inner_verifier | SubE | FE4SUB | 3,919 (-63 [-1.6%]) | +| inner_verifier | Poseidon2CompressBabyBear | COMP_POS2 | 6,846 | +| inner_verifier | Poseidon2PermuteBabyBear | PERM_POS2 | 4,352 | +| inner_verifier | StoreE | STOREW | 10,924 | +| inner_verifier | StoreE | STOREW2 | 12,328 | +| inner_verifier | StoreF | STOREW | 13,500 | +| inner_verifier | StoreF | STOREW2 | 33,693 | +| inner_verifier | StoreHintWord | ADD | 95,155 | +| inner_verifier | StoreHintWord | SHINTW | 105,005 | +| inner_verifier | StoreV | STOREW | 1,872 | +| inner_verifier | StoreV | STOREW2 | 23,736 | +| inner_verifier | SubE | FE4SUB | 3,919 | | 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,525 (-147 [-0.7%]) | -| inner_verifier | SubVI | SUB | 1,252 (-29 [-2.3%]) | -| inner_verifier | SubVIN | SUB | 336 (-21 [-5.9%]) | +| inner_verifier | SubV | SUB | 21,525 | +| inner_verifier | SubVI | SUB | 1,252 | +| inner_verifier | SubVIN | SUB | 336 |
@@ -233,52 +233,52 @@ | inner_verifier | CoreAir | | JAL | 66 | | inner_verifier | Audit | | STOREW | 38 | | inner_verifier | CoreAir | | STOREW | 132 | -| inner_verifier | AccessAdapter<2> | AddE | FE4ADD | 277,178 (-968 [-0.3%]) | -| inner_verifier | AccessAdapter<4> | AddE | FE4ADD | 163,787 (-572 [-0.3%]) | +| inner_verifier | AccessAdapter<2> | AddE | FE4ADD | 277,178 | +| inner_verifier | AccessAdapter<4> | AddE | FE4ADD | 163,787 | | inner_verifier | Audit | AddE | FE4ADD | 701,024 | -| inner_verifier | FieldExtensionArithmeticAir | AddE | FE4ADD | 2,820,718 (-1,845 [-0.1%]) | -| inner_verifier | AccessAdapter<2> | AddEFFI | LOADW | 660 (-44 [-6.2%]) | -| inner_verifier | AccessAdapter<4> | AddEFFI | LOADW | 780 (-52 [-6.2%]) | +| inner_verifier | FieldExtensionArithmeticAir | AddE | FE4ADD | 2,820,718 | +| inner_verifier | AccessAdapter<2> | AddEFFI | LOADW | 660 | +| inner_verifier | AccessAdapter<4> | AddEFFI | LOADW | 780 | | inner_verifier | Audit | AddEFFI | LOADW | 874 | -| inner_verifier | CoreAir | AddEFFI | LOADW | 8,382 (-264 [-3.1%]) | -| inner_verifier | AccessAdapter<2> | AddEFFI | STOREW | 660 (-44 [-6.2%]) | +| inner_verifier | CoreAir | AddEFFI | LOADW | 8,382 | +| inner_verifier | AccessAdapter<2> | AddEFFI | STOREW | 660 | | inner_verifier | Audit | AddEFFI | STOREW | 2,622 | -| inner_verifier | CoreAir | AddEFFI | STOREW | 25,146 (-792 [-3.1%]) | +| inner_verifier | CoreAir | AddEFFI | STOREW | 25,146 | | 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 | 139,040 (-836 [-0.6%]) | -| inner_verifier | AccessAdapter<4> | AddEI | ADD | 82,160 (-494 [-0.6%]) | +| inner_verifier | AccessAdapter<2> | AddEI | ADD | 138,974 (-66 [-0.0%]) | +| inner_verifier | AccessAdapter<4> | AddEI | ADD | 82,121 (-39 [-0.0%]) | | inner_verifier | Audit | AddEI | ADD | 408,576 | -| inner_verifier | FieldArithmeticAir | AddEI | ADD | 808,356 (-8,060 [-1.0%]) | +| inner_verifier | FieldArithmeticAir | AddEI | ADD | 808,356 | | inner_verifier | Audit | AddFI | ADD | 3,097 | -| inner_verifier | FieldArithmeticAir | AddFI | ADD | 615,288 (-3,038 [-0.5%]) | +| inner_verifier | FieldArithmeticAir | AddFI | ADD | 615,660 (+372 [+0.1%]) | | inner_verifier | Audit | AddV | ADD | 19 | -| inner_verifier | FieldArithmeticAir | AddV | ADD | 181,815 (-13,733 [-7.0%]) | +| inner_verifier | FieldArithmeticAir | AddV | ADD | 181,815 | | inner_verifier | Audit | AddVI | ADD | 17,233 | -| inner_verifier | FieldArithmeticAir | AddVI | ADD | 4,380,889 (-122,977 [-2.7%]) | -| inner_verifier | FieldArithmeticAir | Alloc | ADD | 719,014 (-44,330 [-5.8%]) | +| inner_verifier | FieldArithmeticAir | AddVI | ADD | 4,380,889 | +| inner_verifier | FieldArithmeticAir | Alloc | ADD | 719,014 | | inner_verifier | Audit | Alloc | LOADW | 3,686 | -| inner_verifier | CoreAir | Alloc | LOADW | 1,530,804 (-94,380 [-5.8%]) | +| inner_verifier | CoreAir | Alloc | LOADW | 1,530,804 | | inner_verifier | AccessAdapter<2> | Alloc | MUL | 33 | | inner_verifier | AccessAdapter<4> | Alloc | MUL | 39 | -| inner_verifier | FieldArithmeticAir | Alloc | MUL | 434,806 (-26,722 [-5.8%]) | +| inner_verifier | FieldArithmeticAir | Alloc | MUL | 434,806 | | 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 | 256,476 (-11,088 [-4.1%]) | -| inner_verifier | CoreAir | AssertEqV | BNE | 74,052 (-1,386 [-1.8%]) | +| inner_verifier | CoreAir | AssertEqF | BNE | 256,476 | +| inner_verifier | CoreAir | AssertEqV | BNE | 74,052 | | inner_verifier | CoreAir | AssertEqVI | BNE | 14,124 | -| inner_verifier | CoreAir | CycleTrackerEnd | CT_END | 2,452,296 (-18,018 [-0.7%]) | -| inner_verifier | CoreAir | CycleTrackerStart | CT_START | 2,452,296 (-18,018 [-0.7%]) | +| inner_verifier | CoreAir | CycleTrackerEnd | CT_END | 2,452,296 | +| inner_verifier | CoreAir | CycleTrackerStart | CT_START | 2,452,296 | | 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,427,446 (-861 [-0.0%]) | +| inner_verifier | FieldExtensionArithmeticAir | DivE | BBE4DIV | 2,427,446 | | inner_verifier | AccessAdapter<2> | DivEIN | BBE4DIV | 2,046 | | inner_verifier | AccessAdapter<4> | DivEIN | BBE4DIV | 1,209 | | inner_verifier | Audit | DivEIN | BBE4DIV | 2,660 | @@ -288,119 +288,119 @@ | 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,291,975 (-212,877 [-2.8%]) | -| inner_verifier | CoreAir | For | BNE | 16,777,530 (-507,408 [-2.9%]) | -| inner_verifier | AccessAdapter<2> | For | JAL | 451 (-11 [-2.4%]) | -| inner_verifier | AccessAdapter<4> | For | JAL | 533 (-13 [-2.4%]) | -| inner_verifier | CoreAir | For | JAL | 1,252,680 (-54,186 [-4.1%]) | +| inner_verifier | FieldArithmeticAir | For | ADD | 7,291,975 | +| inner_verifier | CoreAir | For | BNE | 16,777,530 | +| inner_verifier | AccessAdapter<2> | For | JAL | 451 | +| inner_verifier | AccessAdapter<4> | For | JAL | 533 | +| inner_verifier | CoreAir | For | JAL | 1,252,680 | | inner_verifier | Audit | For | LOADW | 399 | -| inner_verifier | CoreAir | For | LOADW | 66,528 (-5,544 [-7.7%]) | +| inner_verifier | CoreAir | For | LOADW | 66,528 | | inner_verifier | Audit | For | STOREW | 2,660 | -| inner_verifier | CoreAir | For | STOREW | 1,186,152 (-48,642 [-3.9%]) | +| inner_verifier | CoreAir | For | STOREW | 1,186,152 | | inner_verifier | CoreAir | Halt | TERMINATE | 66 | | inner_verifier | CoreAir | HintBitsF | HINT_BITS | 1,452 | -| inner_verifier | CoreAir | HintInputVec | HINT_INPUT | 605,088 (-37,488 [-5.8%]) | -| inner_verifier | CoreAir | IfEq | BNE | 443,718 (-75,042 [-14.5%]) | -| inner_verifier | CoreAir | IfEqI | BNE | 3,977,886 (-53,196 [-1.3%]) | -| inner_verifier | CoreAir | IfEqI | JAL | 883,212 (+48,774 [+5.8%]) | -| inner_verifier | CoreAir | IfNe | BEQ | 425,568 (-33,528 [-7.3%]) | -| inner_verifier | CoreAir | IfNe | JAL | 1,254 (-66 [-5.0%]) | -| inner_verifier | CoreAir | IfNeI | BEQ | 65,208 (-5,544 [-7.8%]) | +| inner_verifier | CoreAir | HintInputVec | HINT_INPUT | 605,088 | +| inner_verifier | CoreAir | IfEq | BNE | 443,718 | +| inner_verifier | CoreAir | IfEqI | BNE | 3,977,886 | +| inner_verifier | CoreAir | IfEqI | JAL | 864,204 (-19,008 [-2.2%]) | +| inner_verifier | CoreAir | IfNe | BEQ | 425,568 | +| inner_verifier | CoreAir | IfNe | JAL | 1,254 | +| inner_verifier | CoreAir | IfNeI | BEQ | 65,208 | | 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,039,170 (-77,616 [-6.9%]) | +| inner_verifier | CoreAir | ImmF | STOREW | 1,039,170 | | inner_verifier | Audit | ImmV | STOREW | 18,943 | -| inner_verifier | CoreAir | ImmV | STOREW | 871,332 (-36,960 [-4.1%]) | -| inner_verifier | AccessAdapter<2> | LoadE | LOADW | 15,246 (-924 [-5.7%]) | -| inner_verifier | AccessAdapter<4> | LoadE | LOADW | 9,009 (-546 [-5.7%]) | +| inner_verifier | CoreAir | ImmV | STOREW | 871,332 | +| inner_verifier | AccessAdapter<2> | LoadE | LOADW | 15,246 | +| inner_verifier | AccessAdapter<4> | LoadE | LOADW | 9,009 | | inner_verifier | Audit | LoadE | LOADW | 213,560 | -| inner_verifier | CoreAir | LoadE | LOADW | 1,013,496 (-16,632 [-1.6%]) | -| inner_verifier | AccessAdapter<2> | LoadE | LOADW2 | 22,704 (-1,386 [-5.8%]) | -| inner_verifier | AccessAdapter<4> | LoadE | LOADW2 | 13,416 (-819 [-5.8%]) | -| inner_verifier | CoreAir | LoadE | LOADW2 | 17,103,240 (-27,720 [-0.2%]) | -| inner_verifier | AccessAdapter<2> | LoadF | LOADW | 21,252 (-924 [-4.2%]) | -| inner_verifier | AccessAdapter<4> | LoadF | LOADW | 12,558 (-546 [-4.2%]) | -| inner_verifier | AccessAdapter<8> | LoadF | LOADW | 8,211 (-357 [-4.2%]) | +| inner_verifier | CoreAir | LoadE | LOADW | 1,013,496 | +| inner_verifier | AccessAdapter<2> | LoadE | LOADW2 | 22,704 | +| inner_verifier | AccessAdapter<4> | LoadE | LOADW2 | 13,416 | +| inner_verifier | CoreAir | LoadE | LOADW2 | 17,103,240 | +| inner_verifier | AccessAdapter<2> | LoadF | LOADW | 21,252 | +| inner_verifier | AccessAdapter<4> | LoadF | LOADW | 12,558 | +| inner_verifier | AccessAdapter<8> | LoadF | LOADW | 8,211 | | inner_verifier | Audit | LoadF | LOADW | 73,815 | -| inner_verifier | CoreAir | LoadF | LOADW | 954,954 (-35,178 [-3.6%]) | -| inner_verifier | AccessAdapter<2> | LoadF | LOADW2 | 583 (-22 [-3.6%]) | -| inner_verifier | AccessAdapter<4> | LoadF | LOADW2 | 351 (-13 [-3.6%]) | -| inner_verifier | AccessAdapter<8> | LoadF | LOADW2 | 374 (-17 [-4.3%]) | +| inner_verifier | CoreAir | LoadF | LOADW | 954,954 | +| inner_verifier | AccessAdapter<2> | LoadF | LOADW2 | 583 | +| inner_verifier | AccessAdapter<4> | LoadF | LOADW2 | 351 | +| inner_verifier | AccessAdapter<8> | LoadF | LOADW2 | 374 | | inner_verifier | Audit | LoadF | LOADW2 | 1,919 | -| inner_verifier | CoreAir | LoadF | LOADW2 | 6,340,884 (-792 [-0.0%]) | +| inner_verifier | CoreAir | LoadF | LOADW2 | 6,340,884 | | inner_verifier | Audit | LoadV | LOADW | 30,590 | -| inner_verifier | CoreAir | LoadV | LOADW | 796,224 (-40,260 [-4.8%]) | +| inner_verifier | CoreAir | LoadV | LOADW | 796,224 | | inner_verifier | Audit | LoadV | LOADW2 | 3,382 | -| inner_verifier | CoreAir | LoadV | LOADW2 | 4,788,036 (-162,294 [-3.3%]) | -| inner_verifier | AccessAdapter<2> | MulE | BBE4MUL | 475,794 (-770 [-0.2%]) | -| inner_verifier | AccessAdapter<4> | MulE | BBE4MUL | 281,151 (-455 [-0.2%]) | +| inner_verifier | CoreAir | LoadV | LOADW2 | 4,788,036 | +| inner_verifier | AccessAdapter<2> | MulE | BBE4MUL | 475,728 (-66 [-0.0%]) | +| inner_verifier | AccessAdapter<4> | MulE | BBE4MUL | 281,112 (-39 [-0.0%]) | | inner_verifier | Audit | MulE | BBE4MUL | 1,061,796 | -| inner_verifier | FieldExtensionArithmeticAir | MulE | BBE4MUL | 5,484,652 (-3,485 [-0.1%]) | -| inner_verifier | AccessAdapter<2> | MulEF | MUL | 7,414 (-462 [-5.9%]) | -| inner_verifier | AccessAdapter<4> | MulEF | MUL | 4,381 (-273 [-5.9%]) | +| inner_verifier | FieldExtensionArithmeticAir | MulE | BBE4MUL | 5,484,652 | +| inner_verifier | AccessAdapter<2> | MulEF | MUL | 7,414 | +| inner_verifier | AccessAdapter<4> | MulEF | MUL | 4,381 | | inner_verifier | Audit | MulEF | MUL | 5,396 | -| inner_verifier | FieldArithmeticAir | MulEF | MUL | 50,592 (-2,604 [-4.9%]) | +| inner_verifier | FieldArithmeticAir | MulEF | MUL | 50,592 | | 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,532 (-198 [-0.2%]) | -| inner_verifier | AccessAdapter<4> | MulEI | BBE4MUL | 61,178 (-117 [-0.2%]) | +| inner_verifier | AccessAdapter<2> | MulEI | BBE4MUL | 103,532 | +| inner_verifier | AccessAdapter<4> | MulEI | BBE4MUL | 61,178 | | inner_verifier | Audit | MulEI | BBE4MUL | 119,168 | -| inner_verifier | FieldExtensionArithmeticAir | MulEI | BBE4MUL | 66,748 (-164 [-0.2%]) | -| inner_verifier | AccessAdapter<2> | MulEI | STOREW | 35,585 (-77 [-0.2%]) | -| inner_verifier | AccessAdapter<4> | MulEI | STOREW | 20,904 (-39 [-0.2%]) | +| inner_verifier | FieldExtensionArithmeticAir | MulEI | BBE4MUL | 66,748 | +| inner_verifier | AccessAdapter<2> | MulEI | STOREW | 35,585 | +| inner_verifier | AccessAdapter<4> | MulEI | STOREW | 20,904 | | inner_verifier | Audit | MulEI | STOREW | 57 | -| inner_verifier | CoreAir | MulEI | STOREW | 429,792 (-1,056 [-0.2%]) | +| inner_verifier | CoreAir | MulEI | STOREW | 429,792 | | inner_verifier | Audit | MulF | MUL | 931 | -| inner_verifier | FieldArithmeticAir | MulF | MUL | 1,141,079 (-5,208 [-0.5%]) | +| inner_verifier | FieldArithmeticAir | MulF | MUL | 1,141,079 | | 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 | 247,349 (-16,275 [-6.2%]) | +| inner_verifier | FieldArithmeticAir | MulVI | MUL | 247,349 | | 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 | 279,048 (-22,176 [-7.4%]) | -| inner_verifier | AccessAdapter<4> | Poseidon2CompressBabyBear | COMP_POS2 | 164,892 (-13,104 [-7.4%]) | -| inner_verifier | AccessAdapter<8> | Poseidon2CompressBabyBear | COMP_POS2 | 107,814 (-8,568 [-7.4%]) | -| inner_verifier | Poseidon2VmAir | Poseidon2CompressBabyBear | COMP_POS2 | 2,861,628 (-237,006 [-7.6%]) | -| inner_verifier | AccessAdapter<2> | Poseidon2PermuteBabyBear | PERM_POS2 | 231,693 (-6,534 [-2.7%]) | -| inner_verifier | AccessAdapter<4> | Poseidon2PermuteBabyBear | PERM_POS2 | 137,878 (-3,861 [-2.7%]) | -| inner_verifier | AccessAdapter<8> | Poseidon2PermuteBabyBear | PERM_POS2 | 91,205 (-2,533 [-2.7%]) | -| inner_verifier | Poseidon2VmAir | Poseidon2PermuteBabyBear | PERM_POS2 | 1,819,136 (-26,752 [-1.4%]) | -| inner_verifier | AccessAdapter<2> | StoreE | STOREW | 7,392 (-462 [-5.9%]) | -| inner_verifier | AccessAdapter<4> | StoreE | STOREW | 4,368 (-273 [-5.9%]) | -| inner_verifier | Audit | StoreE | STOREW | 207,556 (-6,384 [-3.0%]) | -| inner_verifier | CoreAir | StoreE | STOREW | 720,984 (-22,176 [-3.0%]) | +| inner_verifier | AccessAdapter<2> | Poseidon2CompressBabyBear | COMP_POS2 | 279,048 | +| inner_verifier | AccessAdapter<4> | Poseidon2CompressBabyBear | COMP_POS2 | 164,892 | +| inner_verifier | AccessAdapter<8> | Poseidon2CompressBabyBear | COMP_POS2 | 107,814 | +| inner_verifier | Poseidon2VmAir | Poseidon2CompressBabyBear | COMP_POS2 | 2,861,628 | +| inner_verifier | AccessAdapter<2> | Poseidon2PermuteBabyBear | PERM_POS2 | 231,693 | +| inner_verifier | AccessAdapter<4> | Poseidon2PermuteBabyBear | PERM_POS2 | 137,878 | +| inner_verifier | AccessAdapter<8> | Poseidon2PermuteBabyBear | PERM_POS2 | 91,205 | +| inner_verifier | Poseidon2VmAir | Poseidon2PermuteBabyBear | PERM_POS2 | 1,819,136 | +| inner_verifier | AccessAdapter<2> | StoreE | STOREW | 7,392 | +| inner_verifier | AccessAdapter<4> | StoreE | STOREW | 4,368 | +| inner_verifier | Audit | StoreE | STOREW | 207,556 | +| inner_verifier | CoreAir | StoreE | STOREW | 720,984 | | inner_verifier | AccessAdapter<2> | StoreE | STOREW2 | 52,668 | | inner_verifier | AccessAdapter<4> | StoreE | STOREW2 | 31,122 | -| inner_verifier | Audit | StoreE | STOREW2 | 26,752 (-1,672 [-5.9%]) | -| inner_verifier | CoreAir | StoreE | STOREW2 | 813,648 (-11,352 [-1.4%]) | -| inner_verifier | Audit | StoreF | STOREW | 256,500 (-22,344 [-8.0%]) | -| inner_verifier | CoreAir | StoreF | STOREW | 891,000 (-77,616 [-8.0%]) | -| inner_verifier | AccessAdapter<2> | StoreF | STOREW2 | 144,199 (+880 [+0.6%]) | -| inner_verifier | AccessAdapter<4> | StoreF | STOREW2 | 86,177 (+520 [+0.6%]) | -| inner_verifier | AccessAdapter<8> | StoreF | STOREW2 | 57,256 (+340 [+0.6%]) | -| inner_verifier | Audit | StoreF | STOREW2 | 51,984 (-3,192 [-5.8%]) | -| inner_verifier | CoreAir | StoreF | STOREW2 | 2,223,738 (-12,144 [-0.5%]) | -| inner_verifier | FieldArithmeticAir | StoreHintWord | ADD | 2,949,805 (-129,146 [-4.2%]) | -| inner_verifier | Audit | StoreHintWord | SHINTW | 1,995,095 (-89,946 [-4.3%]) | -| inner_verifier | CoreAir | StoreHintWord | SHINTW | 6,930,330 (-312,444 [-4.3%]) | -| inner_verifier | Audit | StoreV | STOREW | 35,568 (-1,197 [-3.3%]) | -| inner_verifier | CoreAir | StoreV | STOREW | 123,552 (-4,158 [-3.3%]) | -| inner_verifier | Audit | StoreV | STOREW2 | 446,310 (-20,786 [-4.5%]) | -| inner_verifier | CoreAir | StoreV | STOREW2 | 1,566,576 (-70,818 [-4.3%]) | -| inner_verifier | AccessAdapter<2> | SubE | FE4SUB | 133,936 (-2,310 [-1.7%]) | -| inner_verifier | AccessAdapter<4> | SubE | FE4SUB | 79,144 (-1,365 [-1.7%]) | +| inner_verifier | Audit | StoreE | STOREW2 | 26,752 | +| inner_verifier | CoreAir | StoreE | STOREW2 | 813,648 | +| inner_verifier | Audit | StoreF | STOREW | 256,500 | +| inner_verifier | CoreAir | StoreF | STOREW | 891,000 | +| inner_verifier | AccessAdapter<2> | StoreF | STOREW2 | 144,199 | +| inner_verifier | AccessAdapter<4> | StoreF | STOREW2 | 86,177 | +| inner_verifier | AccessAdapter<8> | StoreF | STOREW2 | 57,256 | +| inner_verifier | Audit | StoreF | STOREW2 | 51,984 | +| inner_verifier | CoreAir | StoreF | STOREW2 | 2,223,738 | +| inner_verifier | FieldArithmeticAir | StoreHintWord | ADD | 2,949,805 | +| inner_verifier | Audit | StoreHintWord | SHINTW | 1,995,095 | +| inner_verifier | CoreAir | StoreHintWord | SHINTW | 6,930,330 | +| inner_verifier | Audit | StoreV | STOREW | 35,568 | +| inner_verifier | CoreAir | StoreV | STOREW | 123,552 | +| inner_verifier | Audit | StoreV | STOREW2 | 446,310 | +| inner_verifier | CoreAir | StoreV | STOREW2 | 1,566,576 | +| inner_verifier | AccessAdapter<2> | SubE | FE4SUB | 133,936 | +| inner_verifier | AccessAdapter<4> | SubE | FE4SUB | 79,144 | | inner_verifier | Audit | SubE | FE4SUB | 221,464 | -| inner_verifier | FieldExtensionArithmeticAir | SubE | FE4SUB | 160,679 (-2,583 [-1.6%]) | +| inner_verifier | FieldExtensionArithmeticAir | SubE | FE4SUB | 160,679 | | inner_verifier | AccessAdapter<2> | SubEF | LOADW | 1,294,546 | | inner_verifier | Audit | SubEF | LOADW | 1,482 | | inner_verifier | CoreAir | SubEF | LOADW | 23,306,976 | @@ -417,10 +417,10 @@ | 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 | 667,275 (-4,557 [-0.7%]) | +| inner_verifier | FieldArithmeticAir | SubV | SUB | 667,275 | | inner_verifier | Audit | SubVI | SUB | 14,098 | -| inner_verifier | FieldArithmeticAir | SubVI | SUB | 38,812 (-899 [-2.3%]) | -| inner_verifier | FieldArithmeticAir | SubVIN | SUB | 10,416 (-651 [-5.9%]) | +| inner_verifier | FieldArithmeticAir | SubVI | SUB | 38,812 | +| inner_verifier | FieldArithmeticAir | SubVIN | SUB | 10,416 | @@ -438,7 +438,7 @@ | bench_program_inner | AccessAdapterAir<8> | 167,936 | 14 | 5 | 17 | 24 | | 2 | 4,096 | | bench_program_inner | AccessAdapterAir<16> | 100,352 | 14 | 5 | 25 | 24 | | 2 | 2,048 | | bench_program_inner | AccessAdapterAir<32> | 66,560 | 14 | 5 | 41 | 24 | | 2 | 1,024 | -| bench_program_inner | VariableRangeCheckerAir | 589,824 (-589,824 [-50.0%]) | 4 | 1 | 1 | 8 | 2 | 1 | 65,536 (-65,536 [-50.0%]) | +| bench_program_inner | VariableRangeCheckerAir | 589,824 | 4 | 1 | 1 | 8 | 2 | 1 | 65,536 | | bench_program_inner | VmConnectorAir | 20 | 4 | 2 | 2 | 8 | 1 | 2 | 2 | | inner_verifier | ProgramAir | 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 | @@ -450,15 +450,15 @@ | inner_verifier | AccessAdapterAir<2> | 24,117,248 | 11 | 5 | 11 | 12 | | 4 | 1,048,576 | | inner_verifier | AccessAdapterAir<4> | 13,107,200 | 11 | 5 | 13 | 12 | | 4 | 524,288 | | inner_verifier | AccessAdapterAir<8> | 950,272 | 11 | 5 | 17 | 12 | | 4 | 32,768 | -| inner_verifier | VariableRangeCheckerAir | 589,824 (-589,824 [-50.0%]) | 4 | 1 | 1 | 8 | 2 | 1 | 65,536 (-65,536 [-50.0%]) | +| inner_verifier | VariableRangeCheckerAir | 589,824 | 4 | 1 | 1 | 8 | 2 | 1 | 65,536 | | inner_verifier | VmConnectorAir | 20 | 4 | 2 | 2 | 8 | 1 | 2 | 2 | -[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.reverse.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.reverse.svg) -[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.svg) -[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.frequency.reverse.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.frequency.reverse.svg) -[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.frequency.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a/alu256_e2e.dsl_ir.opcode.frequency.svg) -Commit: https://github.com/axiom-crypto/afs-prototype/commit/21140b5f3cca2c72375fe4c9b3d2e1a28dddf36a +[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.reverse.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.reverse.svg) +[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.air_name.cells_used.svg) +[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.frequency.reverse.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.frequency.reverse.svg) +[![](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.frequency.svg)](https://axiom-public-data-staging-us-east-1.s3.us-east-1.amazonaws.com/benchmark/github/flamegraphs/930d48dbce84083362214835de346454343dab7a/alu256_e2e.dsl_ir.opcode.frequency.svg) +Commit: https://github.com/axiom-crypto/afs-prototype/commit/930d48dbce84083362214835de346454343dab7a AWS Instance Type: [r7g.16xlarge](https://instances.vantage.sh/aws/ec2/r7g.16xlarge) -[Benchmark Workflow](https://github.com/axiom-crypto/afs-prototype/actions/runs/11236326343) +[Benchmark Workflow](https://github.com/axiom-crypto/afs-prototype/actions/runs/11237857190)