Which heretofore unsolved bitcoin problems is he most interested in?