#bitcoin-wizards on 2019-11-19 — irc logs at freenode.irclog.whitequark.org

2015-10-30 00:53 sipa changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja

00:00 regis_ has quit []

00:01 Dean_Guss has joined #bitcoin-wizards

00:03 Chris_Stewart_5 has joined #bitcoin-wizards

00:20 openoms has quit [Ping timeout: 252 seconds]

00:33 AaronvanW has joined #bitcoin-wizards

00:41 rusty has quit [Quit: Leaving.]

00:52 rh0nj has quit [Remote host closed the connection]

00:53 rh0nj has joined #bitcoin-wizards

00:55 rusty has joined #bitcoin-wizards

00:55 Chris_Stewart_5 has quit [Ping timeout: 250 seconds]

01:02 Chris_Stewart_5 has joined #bitcoin-wizards

01:12 slivera has joined #bitcoin-wizards

01:18 Chris_Stewart_5 has quit [Ping timeout: 252 seconds]

01:28 _whitelogger has joined #bitcoin-wizards

01:32 ghost43_ is now known as ghost43

01:43 antanst has quit [Ping timeout: 252 seconds]

01:52 _whitelogger has joined #bitcoin-wizards

01:53 antanst has joined #bitcoin-wizards

01:54 TheoStorm has quit [Quit: Leaving]

02:00 riclas has quit [Ping timeout: 265 seconds]

02:15 AaronvanW has quit [Remote host closed the connection]

02:19 nick_fre_ has joined #bitcoin-wizards

02:22 nick_freeman has quit [Ping timeout: 250 seconds]

03:00 Dizzle has joined #bitcoin-wizards

03:03 rusty2 has joined #bitcoin-wizards

03:06 rusty has quit [Ping timeout: 240 seconds]

03:08 Belkaar has quit [Ping timeout: 240 seconds]

03:09 Belkaar has joined #bitcoin-wizards

03:09 Belkaar has quit [Changing host]

03:22 slivera_ has joined #bitcoin-wizards

03:24 slivera has quit [Ping timeout: 240 seconds]

03:28 AaronvanW has joined #bitcoin-wizards

03:59 AaronvanW has quit [Ping timeout: 246 seconds]

04:44 justan0theruser is now known as justanotheruser

05:12 Dizzle has quit [Quit: Leaving...]

05:57 AaronvanW has joined #bitcoin-wizards

06:19 skorgon has joined #bitcoin-wizards

06:24 justanotheruser has quit [Ping timeout: 240 seconds]

06:30 AaronvanW has quit [Ping timeout: 276 seconds]

06:37 slivera__ has joined #bitcoin-wizards

06:40 slivera_ has quit [Ping timeout: 265 seconds]

06:46 rusty2 has quit [Quit: Leaving.]

06:46 justanotheruser has joined #bitcoin-wizards

07:01 Jaamg has quit [Remote host closed the connection]

07:16 nick_fre_ has quit [Remote host closed the connection]

08:26 AaronvanW has joined #bitcoin-wizards

08:44 belcher has joined #bitcoin-wizards

08:59 marcoagner has joined #bitcoin-wizards

09:00 skorgon has quit []

09:00 AaronvanW has quit [Ping timeout: 265 seconds]

09:01 AaronvanW has joined #bitcoin-wizards

09:10 tromp_ has joined #bitcoin-wizards

09:12 tromp has quit [Ping timeout: 246 seconds]

09:19 disconnected has joined #bitcoin-wizards

09:27 jonatack has quit [Ping timeout: 276 seconds]

09:39 nijynot has joined #bitcoin-wizards

09:48 Zenton has joined #bitcoin-wizards

10:03 jonatack has joined #bitcoin-wizards

10:04 AaronvanW has quit [Ping timeout: 240 seconds]

10:11 jonatack has quit [Ping timeout: 240 seconds]

10:13 jonatack has joined #bitcoin-wizards

10:32 TheoStorm has joined #bitcoin-wizards

11:01 riclas has joined #bitcoin-wizards

11:28 Chris_Stewart_5 has joined #bitcoin-wizards

11:29 laurentmt has joined #bitcoin-wizards

11:35 jonatack has quit [Ping timeout: 250 seconds]

11:39 andytoshi has joined #bitcoin-wizards

11:39 andytoshi has quit [Changing host]

11:39 andytoshi has joined #bitcoin-wizards

12:00 disconnected has quit []

12:01 AaronvanW has joined #bitcoin-wizards

12:17 atiti has joined #bitcoin-wizards

12:34 AaronvanW has quit [Ping timeout: 265 seconds]

12:45 thomasanderson has joined #bitcoin-wizards

12:54 rh0nj has quit [Remote host closed the connection]

12:55 rh0nj has joined #bitcoin-wizards

13:26 slivera__ has quit [Quit: Leaving]

13:29 laurentmt has quit [Quit: laurentmt]

13:38 TheoStorm has quit [Quit: Leaving]

13:49 thomasanderson has quit [Ping timeout: 265 seconds]

14:02 nick_freeman has joined #bitcoin-wizards

14:31 AaronvanW has joined #bitcoin-wizards

14:32 nick_freeman has quit [Remote host closed the connection]

14:37 nick_freeman has joined #bitcoin-wizards

15:00 atiti has quit []

15:04 AaronvanW has quit [Ping timeout: 246 seconds]

15:13 andytoshi has quit [Ping timeout: 245 seconds]

15:21 TheoStorm has joined #bitcoin-wizards

15:27 mdunnio has joined #bitcoin-wizards

15:46 mdunnio has quit [Remote host closed the connection]

15:47 tw1sted1 has joined #bitcoin-wizards

15:48 mdunnio has joined #bitcoin-wizards

15:59 davterra has joined #bitcoin-wizards

16:35 TheoStorm has quit [Quit: Leaving]

16:53 TheoStorm has joined #bitcoin-wizards

17:00 nijynot has quit [Ping timeout: 276 seconds]

17:01 AaronvanW has joined #bitcoin-wizards

17:27 lowentropy has quit [Remote host closed the connection]

17:27 lowentropy has joined #bitcoin-wizards

17:30 AaronvanW has quit [Remote host closed the connection]

17:30 AaronvanW has joined #bitcoin-wizards

17:32 openoms has joined #bitcoin-wizards

17:34 mdunnio has quit [Remote host closed the connection]

17:41 shesek has joined #bitcoin-wizards

17:41 nick_freeman has quit [Remote host closed the connection]

17:41 shesek has quit [Changing host]

17:41 shesek has joined #bitcoin-wizards

17:46 mdunnio has joined #bitcoin-wizards

17:47 nick_freeman has joined #bitcoin-wizards

17:52 mdunnio has quit [Ping timeout: 276 seconds]

18:00 tw1sted1 has quit []

18:00 mdunnio has joined #bitcoin-wizards

18:01 Zenton has quit [Ping timeout: 240 seconds]

18:09 nick_freeman has left #bitcoin-wizards [#bitcoin-wizards]

18:16 Zenton has joined #bitcoin-wizards

18:17 ron2 has joined #bitcoin-wizards

18:43 Zenton has quit [Ping timeout: 265 seconds]

19:06 willcl_ark has quit [Quit: Quit]

19:19 willcl_ark has joined #bitcoin-wizards

19:57 mdunnio has quit [Remote host closed the connection]

19:59 mdunnio has joined #bitcoin-wizards

20:00 rusty has joined #bitcoin-wizards

20:30 rusty has quit [Quit: Leaving.]

20:40 jtimon has joined #bitcoin-wizards

20:50 Zenton has joined #bitcoin-wizards

20:50 mdunnio has quit [Remote host closed the connection]

20:50 Chris_Stewart_5 has quit [Ping timeout: 240 seconds]

20:52 mdunnio has joined #bitcoin-wizards

21:00 ron2 has quit []

21:17 carldani1 has joined #bitcoin-wizards

21:38 davterra has quit [Read error: Connection reset by peer]

21:38 davterra has joined #bitcoin-wizards

21:53 justan0theruser has joined #bitcoin-wizards

21:55 justanotheruser has quit [Ping timeout: 240 seconds]

22:24 slivera has joined #bitcoin-wizards

22:35 aguycalled has quit [Quit: bye]

22:36 aguycalled has joined #bitcoin-wizards

22:41 <DougieBot5000> Does anyone happen to know any resources on the reduction of elliptic curve discrete logarithm to an NP-Complete fproblem like Boolean Satisfiability? I am having no luck in my searches

22:42 <DougieBot5000> I would prefer not to have to run a C source file with a dumbed down version of the algorithm through a bounded model checker, since I asusme a direct reduction would require fewer clauses/variables (and a lot less wor massaging the code to something the model checker will accept)

22:44 <DougieBot5000> I assume a reduction from EC-DLP to an NP-Complete problem exists (since DLP is believed to be NP-Intermediate)

23:13 mdunnio has quit [Remote host closed the connection]

23:14 davterra has quit [Ping timeout: 240 seconds]

23:15 davterra has joined #bitcoin-wizards

23:16 moriarty has joined #bitcoin-wizards

23:22 rusty has joined #bitcoin-wizards

23:25 AaronvanW has quit []