Speeding up STARK provers with multicircuits | Dark Hacker News