Actually they already have a functional system and released their code of Github. Arthur Breitman  started a thread here earlier this month and it seems that they are looking at doing a crowdsale in Q1 or Q2, so pretty soon. Let's ask him directly if Tezos is decidable