With coq and ethereum can we now make trust less proof bounties? I should set ones up for millennium problems with 0.01 eth and by 2030 they'll be more valuable than the clay institute's.