> Rust had potential for proof work, but went off in a different direction.

Which direction is that?