feat: Parallelize table extension

TritonVM / triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

https://triton-vm.org

Apache License 2.0

247 stars 37 forks source link

feat: Parallelize table extension #294

Closed aszepieniec closed 5 months ago

aszepieniec commented 5 months ago

The extension process is already parallelized over all tables. This PR increases parallelization over all columns, even within some tables. Additionally, it adds functionality for slicing a mutable 2d array into multiple mutable slices, and furthermore some extension column populators are re-written to make use of batch-inversion.

aszepieniec commented 5 months ago

Pong!

jan-ferdinand commented 5 months ago

I would like to try whether Vec::spare_capacity_mut + Vec::set_len is faster than Array2::uninit

It is not. Feel free to merge. 🔀