ANN [Kripke] Provably secure contracts; functional language; on-chain encryption

[KripkeSecure]

Dev, do u need a portuguese translation?

Pm me if u need this.
Cya

Thanks, we might. :-)

[KripkeSecure]

#helloworld

https://twitter.com/KripkeSecure

[KripkeSecure]

Unclearly written, but relevant:

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

[KripkeSecure]

This is considerably clearer, without getting complicated:

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

[Thefrolly]

any updates?

[ostrogoto2012]

Kripke reminde me superman kriptonite! 

[KripkeSecure]

any updates?

Launch depends on public interest in this idea.

Go right ahead and spread the word!