Comment by @hales • Hey

zkevms is too slow