Ninjastic
Home
Search
Users
Boards
Addresses
Ctrl + K
Toggle theme
Open menu
Post
Edited versions
Quotes to this post
Post
15861792
Topic
1579310
Board
Announcements (Altcoins)
Re: ANN [Kripke] Provably secure contracts; functional language; on-chain encryption
by
KripkeSecure
on
08/08/2016, 21:47:18 UTC
#helloworld
https://twitter.com/KripkeSecure