any updates?
Launch depends on public interest in this idea.
Go right ahead and spread the word!
Topic: ANN [Kripke] Provably secure contracts; functional language; on-chain encryption (Read 2111 times)
August 28, 2016, 02:14:08 PM
Launch depends on public interest in this idea.
Go right ahead and spread the word!
August 26, 2016, 06:23:16 AM
Kripke reminde me superman kriptonite! 
August 26, 2016, 06:12:48 AM
any updates?
August 10, 2016, 08:39:46 AM
This is considerably clearer, without getting complicated:
http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html
http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html
August 10, 2016, 04:43:39 AM
Unclearly written, but relevant:
https://steemit.com/security/@dana-edwards/abstract-interpretation-and-how-to-write-secure-software
https://steemit.com/security/@dana-edwards/abstract-interpretation-and-how-to-write-secure-software
August 08, 2016, 04:47:18 PM
August 08, 2016, 04:22:33 PM
Dev, do u need a portuguese translation?
Pm me if u need this.
Cya
Pm me if u need this.
Cya
Thanks, we might. :-)
August 08, 2016, 11:11:08 AM
Dev, do u need a portuguese translation?
Pm me if u need this.
Cya
Pm me if u need this.
Cya
August 08, 2016, 11:05:56 AM
Make it multi algo coin. People love to mine using their favorite algo. I think ocminer has the pre-built support for the multi algo coins.
August 08, 2016, 11:01:26 AM
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
August 08, 2016, 11:00:11 AM
interesting idea, i am watching this, but 2000 btc to 3rd peridod? dude you are very hungry. 
August 08, 2016, 10:33:40 AM
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.
August 08, 2016, 10:23:49 AM
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
August 08, 2016, 09:57:27 AM
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?
August 08, 2016, 09:35:56 AM
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?
August 08, 2016, 09:16:13 AM
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 )
) August 08, 2016, 09:15:36 AM
I'll mine it, but I don't think I'll buy in the ICO, we'll see.
Doubt you will raise 2000 BTC without revealing identities. Good luck though.
Doubt you will raise 2000 BTC without revealing identities. Good luck though.
I guess if people want it, it'll happen. :-)
August 08, 2016, 08:56:18 AM
I'll mine it, but I don't think I'll buy in the ICO, we'll see.
Doubt you will raise 2000 BTC without revealing identities. Good luck though.
Doubt you will raise 2000 BTC without revealing identities. Good luck though.
August 08, 2016, 08:50:38 AM
very interesting.
I am putting it into Chinese Blog http://btc12.com/2016/08/08/kripke-securesmartcontract/
Please consider it a translation with "red flag", cuz you guys are anonymous.
here is btt Chinese translation.
https://bitcointalk.org/index.php?topic=1579393.new#new
I am putting it into Chinese Blog http://btc12.com/2016/08/08/kripke-securesmartcontract/
Please consider it a translation with "red flag", cuz you guys are anonymous.
here is btt Chinese translation.
https://bitcointalk.org/index.php?topic=1579393.new#new
Thanks!
August 08, 2016, 08:41:50 AM
very interesting.
I am putting it into Chinese Blog http://btc12.com/2016/08/08/kripke-securesmartcontract/
Please consider it a translation with "red flag", cuz you guys are anonymous.
here is btt Chinese translation.
https://bitcointalk.org/index.php?topic=1579393.new#new
I am putting it into Chinese Blog http://btc12.com/2016/08/08/kripke-securesmartcontract/
Please consider it a translation with "red flag", cuz you guys are anonymous.
here is btt Chinese translation.
https://bitcointalk.org/index.php?topic=1579393.new#new
Jump to: