Garry posted today on trello that sooner or later, they will add mining! https://trello.com/b/lG8jtz6v/rust-main (Activity square)