UPDATE: Midnight Foundation CTO Sebastien Guillemot is "happy that Midnight has already been transitioning everything even more over to formal verification these past months. It's already paying off, and even more accelerations are coming." $NIGHT