Theo Odaily, Vitalik đã thông báo qua X rằng gói chứng minh STARK Zorch, được tối ưu hóa cho CUDA, hiện bao gồm hỗ trợ bổ sung cho M31 và các trường nhị phân. Các nhà phát triển hiện có thể viết mã chứng minh STARK có hiệu suất hợp lý bằng Python và chạy trên GPU.