Main goal here is to get a clearer idea of what we should focus on re GPUs, e.g.: - Does [mojo](https://www.modular.com/mojo) solve the problem of needing to write per-platform GPU logic? - Are there known techniques/libraries we can leverage to get easy wins? - Where should we focus our efforts Note: Worth seeing if there's anything useful in Ligero's WebGPU prover [here](https://github.com/ligeroinc/ligero-prover/blob/main/src/webgpu_prover.cpp)
Main goal here is to get a clearer idea of what we should focus on re GPUs, e.g.:
Note: Worth seeing if there's anything useful in Ligero's WebGPU prover here