KZG

Before:

Timer precision: 16 ns
kzg                      fastest       │ slowest       │ median        │ mean          │ samples │ iters
╰─ compute_batch_proofs                │               │               │               │         │
   ├─ 128                343 ms        │ 401.6 ms      │ 345 ms        │ 363.2 ms      │ 3       │ 15
   │                     373.1 item/s  │ 318.7 item/s  │ 370.9 item/s  │ 352.3 item/s  │         │
   ├─ 256                1.225 s       │ 1.397 s       │ 1.23 s        │ 1.284 s       │ 3       │ 15
   │                     208.9 item/s  │ 183.1 item/s  │ 208 item/s    │ 199.3 item/s  │         │
   ├─ 512                4.235 s       │ 4.863 s       │ 4.351 s       │ 4.483 s       │ 3       │ 15
   │                     120.8 item/s  │ 105.2 item/s  │ 117.6 item/s  │ 114.1 item/s  │         │
   ╰─ 1024               14.84 s       │ 16.17 s       │ 15.88 s       │ 15.63 s       │ 3       │ 15
                         69 item/s     │ 63.31 item/s  │ 64.47 item/s  │ 65.5 item/s   │         │
Timer precision: 16 ns
kzg                     fastest       │ slowest       │ median        │ mean          │ samples │ iters
╰─ verify_single_proof  1.563 ms      │ 2.08 ms       │ 1.577 ms      │ 1.602 ms      │ 100     │ 100
                        639.5 item/s  │ 480.5 item/s  │ 634 item/s    │ 623.9 item/s  │         │
Timer precision: 17 ns
fk20                                        fastest       │ slowest       │ median        │ mean          │ samples │ iters
╰─ compute_fk20_proofs_for_size_with_cache                │               │               │               │         │
   ├─ 16                                    14.55 ms      │ 16.75 ms      │ 14.63 ms      │ 14.9 ms       │ 10      │ 10
   │                                        1.099 Kitem/s │ 955.1 item/s  │ 1.093 Kitem/s │ 1.073 Kitem/s │         │
   ├─ 32                                    34.91 ms      │ 38.62 ms      │ 35.14 ms      │ 35.6 ms       │ 10      │ 10
   │                                        916.5 item/s  │ 828.3 item/s  │ 910.5 item/s  │ 898.8 item/s  │         │
   ├─ 64                                    79.75 ms      │ 88.11 ms      │ 81.07 ms      │ 81.64 ms      │ 10      │ 10
   │                                        802.4 item/s  │ 726.2 item/s  │ 789.4 item/s  │ 783.8 item/s  │         │
   ├─ 128                                   183.5 ms      │ 187.3 ms      │ 184.3 ms      │ 184.8 ms      │ 10      │ 10
   │                                        697.3 item/s  │ 683.1 item/s  │ 694.4 item/s  │ 692.5 item/s  │         │
   ├─ 256                                   408 ms        │ 441.1 ms      │ 410 ms        │ 416.7 ms      │ 10      │ 10
   │                                        627.3 item/s  │ 580.2 item/s  │ 624.2 item/s  │ 614.3 item/s  │         │
   ├─ 512                                   912.2 ms      │ 1.203 s       │ 949.1 ms      │ 987.4 ms      │ 10      │ 10
   │                                        561.2 item/s  │ 425.4 item/s  │ 539.4 item/s  │ 518.5 item/s  │         │
   ├─ 1024                                  1.997 s       │ 2.042 s       │ 2.002 s       │ 2.006 s       │ 10      │ 10
   │                                        512.7 item/s  │ 501.3 item/s  │ 511.2 item/s  │ 510.2 item/s  │         │
   ├─ 2048                                  4.352 s       │ 5.604 s       │ 4.394 s       │ 4.528 s       │ 10      │ 10
   │                                        470.5 item/s  │ 365.4 item/s  │ 466 item/s    │ 452.2 item/s  │         │
   ╰─ 4096                                  9.424 s       │ 10.67 s       │ 9.471 s       │ 9.697 s       │ 10      │ 10
                                            434.6 item/s  │ 383.6 item/s  │ 432.4 item/s  │ 422.3 item/s  │         

After:

Timer precision: 9 ns
kzg                      fastest       │ slowest       │ median        │ mean          │ samples │ iters
╰─ compute_batch_proofs                │               │               │               │         │
   ├─ 128                347.4 ms      │ 402 ms        │ 347.6 ms      │ 365.7 ms      │ 3       │ 15
   │                     368.3 item/s  │ 318.3 item/s  │ 368.2 item/s  │ 350 item/s    │         │
   ├─ 256                1.199 s       │ 1.211 s       │ 1.208 s       │ 1.206 s       │ 3       │ 15
   │                     213.3 item/s  │ 211.3 item/s  │ 211.8 item/s  │ 212.1 item/s  │         │
   ├─ 512                4.207 s       │ 4.234 s       │ 4.213 s       │ 4.218 s       │ 3       │ 15
   │                     121.6 item/s  │ 120.9 item/s  │ 121.5 item/s  │ 121.3 item/s  │         │
   ╰─ 1024               14.18 s       │ 14.38 s       │ 14.28 s       │ 14.28 s       │ 3       │ 15
                         72.19 item/s  │ 71.16 item/s  │ 71.69 item/s  │ 71.68 item/s  │         │
Timer precision: 26 ns
kzg                     fastest       │ slowest       │ median        │ mean          │ samples │ iters
╰─ verify_single_proof  943.8 µs      │ 1.067 ms      │ 956 µs        │ 966.2 µs      │ 100     │ 100
                        1.059 Kitem/s │ 936.9 item/s  │ 1.045 Kitem/s │ 1.034 Kitem/s │         │
Timer precision: 16 ns
fk20                                        fastest       │ slowest       │ median        │ mean          │ samples │ iters
╰─ compute_fk20_proofs_for_size_with_cache                │               │               │               │         │
   ├─ 16                                    14.87 ms      │ 14.87 ms      │ 14.87 ms      │ 14.87 ms      │ 1       │ 1
   │                                        1.075 Kitem/s │ 1.075 Kitem/s │ 1.075 Kitem/s │ 1.075 Kitem/s │         │
   ├─ 32                                    34.73 ms      │ 34.73 ms      │ 34.73 ms      │ 34.73 ms      │ 1       │ 1
   │                                        921.3 item/s  │ 921.3 item/s  │ 921.3 item/s  │ 921.3 item/s  │         │
   ├─ 64                                    82.27 ms      │ 82.27 ms      │ 82.27 ms      │ 82.27 ms      │ 1       │ 1
   │                                        777.8 item/s  │ 777.8 item/s  │ 777.8 item/s  │ 777.8 item/s  │         │
   ├─ 128                                   189.8 ms      │ 189.8 ms      │ 189.8 ms      │ 189.8 ms      │ 1       │ 1
   │                                        674.3 item/s  │ 674.3 item/s  │ 674.3 item/s  │ 674.3 item/s  │         │
   ├─ 256                                   409.8 ms      │ 409.8 ms      │ 409.8 ms      │ 409.8 ms      │ 1       │ 1
   │                                        624.5 item/s  │ 624.5 item/s  │ 624.5 item/s  │ 624.5 item/s  │         │
   ├─ 512                                   910.5 ms      │ 910.5 ms      │ 910.5 ms      │ 910.5 ms      │ 1       │ 1
   │                                        562.3 item/s  │ 562.3 item/s  │ 562.3 item/s  │ 562.3 item/s  │         │
   ├─ 1024                                  2.002 s       │ 2.002 s       │ 2.002 s       │ 2.002 s       │ 1       │ 1
   │                                        511.4 item/s  │ 511.4 item/s  │ 511.4 item/s  │ 511.4 item/s  │         │
   ├─ 2048                                  4.344 s       │ 4.344 s       │ 4.344 s       │ 4.344 s       │ 1       │ 1
   │                                        471.3 item/s  │ 471.3 item/s  │ 471.3 item/s  │ 471.3 item/s  │         │
   ╰─ 4096                                  9.406 s       │ 9.406 s       │ 9.406 s       │ 9.406 s       │ 1       │ 1
                                            435.4 item/s  │ 435.4 item/s  │ 435.4 item/s  │ 435.4 item/s  │         │