Re: ANN [Kripke] Provably secure contracts; functional language; on-chain encryption
I'll host a pool for it but please overthink about going with SHA256... There are so many nicer algos, fairer for GPU miners (including me 
)
) Thanks, that's something to consider.
What algo's your favourite then?
How about Groestl or Myriad-Groestl... Or maybe Blake... Something modern at least
Not Keccak?
Also, I'm not so sure of the support, in rent-a-miner services, for those algos. Some people depend on that sort of thing.
As soon as you deploy it, there will be lots of rigs available, trust me