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
regis_ has quit []
Dean_Guss has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
openoms has quit [Ping timeout: 252 seconds]
AaronvanW has joined #bitcoin-wizards
rusty has quit [Quit: Leaving.]
rh0nj has quit [Remote host closed the connection]
rh0nj has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 250 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
slivera has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 252 seconds]
_whitelogger has joined #bitcoin-wizards
ghost43_ is now known as ghost43
antanst has quit [Ping timeout: 252 seconds]
_whitelogger has joined #bitcoin-wizards
antanst has joined #bitcoin-wizards
TheoStorm has quit [Quit: Leaving]
riclas has quit [Ping timeout: 265 seconds]
AaronvanW has quit [Remote host closed the connection]
nick_fre_ has joined #bitcoin-wizards
nick_freeman has quit [Ping timeout: 250 seconds]
Dizzle has joined #bitcoin-wizards
rusty2 has joined #bitcoin-wizards
rusty has quit [Ping timeout: 240 seconds]
Belkaar has quit [Ping timeout: 240 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
slivera_ has joined #bitcoin-wizards
slivera has quit [Ping timeout: 240 seconds]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 246 seconds]
justan0theruser is now known as justanotheruser
Dizzle has quit [Quit: Leaving...]
AaronvanW has joined #bitcoin-wizards
skorgon has joined #bitcoin-wizards
justanotheruser has quit [Ping timeout: 240 seconds]
AaronvanW has quit [Ping timeout: 276 seconds]
slivera__ has joined #bitcoin-wizards
slivera_ has quit [Ping timeout: 265 seconds]
rusty2 has quit [Quit: Leaving.]
justanotheruser has joined #bitcoin-wizards
Jaamg has quit [Remote host closed the connection]
nick_fre_ has quit [Remote host closed the connection]
AaronvanW has joined #bitcoin-wizards
belcher has joined #bitcoin-wizards
marcoagner has joined #bitcoin-wizards
skorgon has quit []
AaronvanW has quit [Ping timeout: 265 seconds]
AaronvanW has joined #bitcoin-wizards
tromp_ has joined #bitcoin-wizards
tromp has quit [Ping timeout: 246 seconds]
disconnected has joined #bitcoin-wizards
jonatack has quit [Ping timeout: 276 seconds]
nijynot has joined #bitcoin-wizards
Zenton has joined #bitcoin-wizards
jonatack has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 240 seconds]
jonatack has quit [Ping timeout: 240 seconds]
jonatack has joined #bitcoin-wizards
TheoStorm has joined #bitcoin-wizards
riclas has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
jonatack has quit [Ping timeout: 250 seconds]
andytoshi has joined #bitcoin-wizards
andytoshi has quit [Changing host]
andytoshi has joined #bitcoin-wizards
disconnected has quit []
AaronvanW has joined #bitcoin-wizards
atiti has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 265 seconds]
thomasanderson has joined #bitcoin-wizards
rh0nj has quit [Remote host closed the connection]
rh0nj has joined #bitcoin-wizards
slivera__ has quit [Quit: Leaving]
laurentmt has quit [Quit: laurentmt]
TheoStorm has quit [Quit: Leaving]
thomasanderson has quit [Ping timeout: 265 seconds]
nick_freeman has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
nick_freeman has quit [Remote host closed the connection]
nick_freeman has joined #bitcoin-wizards
atiti has quit []
AaronvanW has quit [Ping timeout: 246 seconds]
andytoshi has quit [Ping timeout: 245 seconds]
TheoStorm has joined #bitcoin-wizards
mdunnio has joined #bitcoin-wizards
mdunnio has quit [Remote host closed the connection]
tw1sted1 has joined #bitcoin-wizards
mdunnio has joined #bitcoin-wizards
davterra has joined #bitcoin-wizards
TheoStorm has quit [Quit: Leaving]
TheoStorm has joined #bitcoin-wizards
nijynot has quit [Ping timeout: 276 seconds]
AaronvanW has joined #bitcoin-wizards
lowentropy has quit [Remote host closed the connection]
lowentropy has joined #bitcoin-wizards
AaronvanW has quit [Remote host closed the connection]
AaronvanW has joined #bitcoin-wizards
openoms has joined #bitcoin-wizards
mdunnio has quit [Remote host closed the connection]
shesek has joined #bitcoin-wizards
nick_freeman has quit [Remote host closed the connection]
shesek has quit [Changing host]
shesek has joined #bitcoin-wizards
mdunnio has joined #bitcoin-wizards
nick_freeman has joined #bitcoin-wizards
mdunnio has quit [Ping timeout: 276 seconds]
tw1sted1 has quit []
mdunnio has joined #bitcoin-wizards
Zenton has quit [Ping timeout: 240 seconds]
nick_freeman has left #bitcoin-wizards [#bitcoin-wizards]
Zenton has joined #bitcoin-wizards
ron2 has joined #bitcoin-wizards
Zenton has quit [Ping timeout: 265 seconds]
willcl_ark has quit [Quit: Quit]
willcl_ark has joined #bitcoin-wizards
mdunnio has quit [Remote host closed the connection]
mdunnio has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
rusty has quit [Quit: Leaving.]
jtimon has joined #bitcoin-wizards
Zenton has joined #bitcoin-wizards
mdunnio has quit [Remote host closed the connection]
Chris_Stewart_5 has quit [Ping timeout: 240 seconds]
mdunnio has joined #bitcoin-wizards
ron2 has quit []
carldani1 has joined #bitcoin-wizards
davterra has quit [Read error: Connection reset by peer]
davterra has joined #bitcoin-wizards
justan0theruser has joined #bitcoin-wizards
justanotheruser has quit [Ping timeout: 240 seconds]
slivera has joined #bitcoin-wizards
aguycalled has quit [Quit: bye]
aguycalled has joined #bitcoin-wizards
<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
<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)
<DougieBot5000>
I assume a reduction from EC-DLP to an NP-Complete problem exists (since DLP is believed to be NP-Intermediate)
mdunnio has quit [Remote host closed the connection]