00:30:19at0mat_:at0mat_ is now known as at0mat
01:45:07samesong:samesong is now known as samesong|awy
03:33:34dsnrk:"Using a method very similar to that used in bitmessage. If bitmessage is secure this should be too."
03:37:30dsnrk:Cinnicoin: anonymous encrypted messaging that hinges on address reuse and is maybe secure.
03:44:57luke-jr_:luke-jr_ is now known as Luke-Jr
03:45:51gmaxwell:bitmessage is very obviously insecure, for some definition of insecure.
03:46:33dsnrk:cinnicoin is far far worse. I'm not qualified to say anything about the method of encryption, but DOS vectors abound.
03:47:03gmaxwell:e.g. a network attacker that can watch all the traffic going in and out of your port trivially deanonymizes you w/ bitmessage if you send. (unless you use bitmessage on tor, which couldn't bootstrap last I tried a few months ago)
03:47:43gmaxwell:or a less localized network attacker can winnow down your location in the network (even with tor) by inducing you to send via public key requests, even if you are technically only a reciever.
03:49:05dsnrk:for cinnicoin I'm not even sure you'd have to go that far. there's no rate limiting on messages, so you could bomb a node with encrypted emssages and check the response times. long if the node has to decrypt messages, short if it doesn't and fails the hash header.
07:53:50diablito:diablito is now known as jamesdean
11:20:44mr_burde_:mr_burde_ is now known as mr_burdell
11:38:51Pasha:Pasha is now known as Cory
15:17:46jtimon:ehmm, what is sugarpuff talking about here? https://bitcointalk.org/index.php?topic=88208.msg7490047#msg7490047
17:28:10maaku:sugarpuff seems to be allergic to actually learning how bitcoin works
17:58:45maaku:maaku is now known as Guest56037
18:44:37midnightmagic_:midnightmagic_ is now known as midnightmagic
19:12:34jtimon:no, he has answered to that already: he has no alregies ;)
19:13:04sipa:who is sugarpuff?
19:13:54jtimon:the guy explaining what "utxo" would mean to bitcoin in that bitcointalk thread
19:14:47jtimon:well, I think he is trolling the anti-outsource mining thread too
19:40:20cracksmurf:cracksmurf is now known as paavo
19:40:49paavo:paavo is now known as cracksmurf
19:49:23Pasha:Pasha is now known as Cory
20:38:49[Tristan]:[Tristan] is now known as Guest22301
20:41:35NikolaiToryzin:NikolaiToryzin is now known as stqism
20:41:53stqism:stqism is now known as NikolaiToryzin
22:02:59Fistful_of_Coins:Fistful_of_Coins is now known as sh4rk
22:03:49sh4rk:sh4rk is now known as shark
22:04:02shark:shark is now known as Fistful_of_coins
22:33:32eizh_:eizh_ is now known as eizh
22:44:01Guest56037:Guest56037 has left #bitcoin-wizards
22:44:51maaku:incredibly good news, Sel4 is being open-sourced : http://sel4.systems/
22:47:51maaku:I have a long list of projects I would like to have done on Sel4, but never got around to doing because obscure licensed operating systems suck
22:50:15gmaxwell:I know that for the proven l4 stuff the proofs are about 200k lines to prove correct about 8kloc of C... I wonder how big the sel4 proofs are.
22:51:24sipa:thankfully, C source code can always be written on 1 line
22:53:00maaku:sipa: :)