Laut Odaily hat Vitalik über X angekündigt, dass das für CUDA optimierte STARK-Beweispaket Zorch nun zusätzliche Unterstützung für M31 und binäre Felder bietet. Entwickler können nun einigermaßen leistungsfähigen STARK-Beweiscode in Python schreiben und ihn auf GPUs ausführen.