4 ms·Yeah prover time is the big challenge rnby _alex_ 2y agoYeah prover time is the big challenge rn