Speeding up STARK provers with multicircuits | Hacker News Reader