It would be nice to know which CPU is used in the benchmarks: https://starkware-libs.github.io/stwo/dev/bench/index.html Also if the bench used is the single threaded or not