Launch depends on public interest in this idea.

Go right ahead and spread the word!

This is considerably clearer, without getting complicated:

http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html

Unclearly written, but relevant:

https://steemit.com/security/@dana-edwards/abstract-interpretation-and-how-to-write-secure-software

#helloworld

https://twitter.com/KripkeSecure

Thanks, we might. :-)

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.

Thanks, that's something to consider.

What algo's your favourite then?

Thanks, I'll consider it.

Given the Chinese translation that @cyberhacker just did for us, I wonder if it'd be better to (a) translate and (b) mine early?

I guess if people want it, it'll happen. :-)

Thanks!

We've seen many developers try something, have sentiment turn against them, and find their reputations wrecked.
This is in addition, and separate from, the possibility that this project could fail.
Finally we have real-world commitments that would be impacted by the sorts of knock-on effects that this community can cause.

Our value proposition is:
* we wanna do something to contribute to smart contract security.
* we have strong reasons to not trust Bitcointalk with our reputations.
* to do what's planned will take a lot of work. Having enough funding is necessary for the success of the project.
* we think we can give smart contracts in general, for the foreseeable future a means of being provably secure.
* this is your chance to be first to market with this tech.


(FYI we're not here to discuss this further. Take it or leave it.)

Kripke with rhotacism? ;-)

Either way, it's this guy: