This Princeton professor is building a Bitcoin-inspired prediction market