Last year, Shahar Papini tweet suggested that it's possible to reach 10Mhz using Stwo. This repo is for benchmarking different configuration of constraints and interactions traces to see what can actually be achieved.
RUSTFLAGS="-C target-cpu=native" cargo test -r -- test_prove_rookie