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
knifeofpi has joined #bitcoin-wizards
knifeofpi has quit [Client Quit]
tromp has quit [Remote host closed the connection]
rusty has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
wxss has quit [Quit: leaving]
Chris_Stewart_5 has joined #bitcoin-wizards
intcat has quit [Ping timeout: 255 seconds]
intcat has joined #bitcoin-wizards
neha has quit [Ping timeout: 252 seconds]
AaronvanW has quit []
neha has joined #bitcoin-wizards
dabura667 has joined #bitcoin-wizards
packetsmurf has joined #bitcoin-wizards
coinsmurf has quit [Ping timeout: 255 seconds]
d4de has joined #bitcoin-wizards
packetsmurf has quit [Ping timeout: 256 seconds]
coinsmurf has joined #bitcoin-wizards
Belkaar has quit [Ping timeout: 248 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Chris_Stewart_5 has quit [Ping timeout: 240 seconds]
packetsmurf has joined #bitcoin-wizards
coinsmurf has quit [Ping timeout: 248 seconds]
meshcollider has quit [Quit: Connection closed for inactivity]
nuncanada has joined #bitcoin-wizards
knifeofpi has joined #bitcoin-wizards
CubicEarths has joined #bitcoin-wizards
knifeofpi has quit [Quit: Mutter: www.mutterirc.com]
RubenSomsen has joined #bitcoin-wizards
Murch has quit [Quit: Snoozing.]
RubenSomsen has quit [Client Quit]
RubenSomsen has joined #bitcoin-wizards
meshcollider has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
CubicEarths has quit [Remote host closed the connection]
CubicEarths has joined #bitcoin-wizards
nuncanada has quit [Quit: Leaving]
CubicEarths has quit [Ping timeout: 240 seconds]
CubicEarths has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 248 seconds]
rusty has quit [Quit: Leaving.]
rusty has joined #bitcoin-wizards
belcher has quit [Quit: Leaving]
rusty has quit [Ping timeout: 248 seconds]
CubicEarths has quit []
knifeofpi has joined #bitcoin-wizards
knifeofpi has quit [Client Quit]
danrobinson has joined #bitcoin-wizards
danrobinson has quit [Quit: danrobinson]
danrobinson has joined #bitcoin-wizards
danrobinson has quit [Quit: danrobinson]
danrobinson has joined #bitcoin-wizards
CubicEarths has joined #bitcoin-wizards
dnaleor has quit [Quit: Leaving]
knifeofpi has joined #bitcoin-wizards
cryptojanitor has quit [Quit: Connection closed for inactivity]
Emcy has joined #bitcoin-wizards
Emcy_ has quit [Ping timeout: 276 seconds]
packetsmurf has quit [Ping timeout: 240 seconds]
coinsmurf has joined #bitcoin-wizards
knifeofpi has quit [Quit: Mutter: www.mutterirc.com]
danrobinson has quit [Quit: danrobinson]
legogris has quit [Remote host closed the connection]
legogris has joined #bitcoin-wizards
a5m0 has quit [Remote host closed the connection]
a5m0 has joined #bitcoin-wizards
wizkid057 has quit [Read error: Connection reset by peer]
rusty has joined #bitcoin-wizards
wizkid057 has joined #bitcoin-wizards
Janet has joined #bitcoin-wizards
Janet_ has joined #bitcoin-wizards
meshcollider has quit [Quit: Connection closed for inactivity]
RubenSomsen has quit [Ping timeout: 268 seconds]
Janet has quit [Ping timeout: 260 seconds]
Janet_ has quit [Ping timeout: 260 seconds]
CubicEarths has quit []
RubenSomsen has joined #bitcoin-wizards
rusty has quit [Ping timeout: 260 seconds]
tromp has joined #bitcoin-wizards
tromp has quit [Ping timeout: 248 seconds]
itsme_ has joined #bitcoin-wizards
PaulTroon has joined #bitcoin-wizards
tromp has joined #bitcoin-wizards
wallet42 has quit [Read error: Connection reset by peer]
wallet42 has joined #bitcoin-wizards
d4de has quit [Quit: This computer has gone to sleep]
Ruben has joined #bitcoin-wizards
RubenSomsen has quit [Ping timeout: 240 seconds]
intcat has quit [Remote host closed the connection]
intcat has joined #bitcoin-wizards
<PaulTroon> Does anyone know if the order of aggregation matters when verifying an BLS aggregate signature?
<PaulTroon> eg. agg sig = sig(m1,P1) * sig(m2,P2) =? sig(m2,P2) * sig(m1,P1)
neha has quit [Ping timeout: 248 seconds]
neha has joined #bitcoin-wizards
intcat has quit [Remote host closed the connection]
intcat has joined #bitcoin-wizards
modin has quit [Ping timeout: 256 seconds]
<sipa> PaulTroon: multiplication is commutative
<PaulTroon> Thanks sipa, this stuff seems like such a free lunch, hard to wrap my head around it
<PaulTroon> Boneh has a free coursera coming up which I plan to attend, might be interesting to anyone else who wants to get up to speed on the basics
<sipa> i took his first online course in 2011 or so
go1111111 has quit [Quit: Leaving]
AaronvanW has joined #bitcoin-wizards
Aaronvan_ has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 276 seconds]
meshcollider has joined #bitcoin-wizards
Aaronvan_ has quit [Remote host closed the connection]
echonaut has quit [Remote host closed the connection]
echonaut has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
jtimon has quit [Ping timeout: 248 seconds]
AaronvanW has quit [Ping timeout: 256 seconds]
Olufunmilayo has quit [Remote host closed the connection]
Olufunmilayo has joined #bitcoin-wizards
gribble has quit [Read error: Connection reset by peer]
gribble has joined #bitcoin-wizards
modin has joined #bitcoin-wizards
dabura667 has quit [Remote host closed the connection]
gribble has quit [Ping timeout: 265 seconds]
go1111111 has joined #bitcoin-wizards
Olufunmilayo has quit [Ping timeout: 276 seconds]
Olufunmilayo has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 240 seconds]
d4de has joined #bitcoin-wizards
dnaleor has joined #bitcoin-wizards
Giszmo has quit [Ping timeout: 268 seconds]
Giszmo has joined #bitcoin-wizards
gribble has joined #bitcoin-wizards
Olufunmilayo has quit [Ping timeout: 260 seconds]
meshcollider has quit [Quit: Connection closed for inactivity]
cryptojanitor has joined #bitcoin-wizards
jtimon has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
rusty has quit [Ping timeout: 260 seconds]
Giszmo has quit [Ping timeout: 240 seconds]
Guyver2 has joined #bitcoin-wizards
thrmo has quit [Ping timeout: 256 seconds]
<waxwing> i'm currently reading toc.cryptobook.us (Boneh and Shoup, last updated september, not entirely finished) on nickler 's recommendation. or parts of it. good stuff.
Olufunmilayo has joined #bitcoin-wizards
<PaulTroon> looks good; I'll add that to my reading list.
nuncanada has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
dnaleor_ has joined #bitcoin-wizards
dnaleor has quit [Ping timeout: 240 seconds]
dnaleor_ has quit [Ping timeout: 240 seconds]
<wumpus> waxwing: seems interesting, thanks
Chris_Stewart_5 has joined #bitcoin-wizards
belcher has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 240 seconds]
Chris_Stewart_5 has quit [Ping timeout: 256 seconds]
laurentmt has joined #bitcoin-wizards
SopaXorzTaker has joined #bitcoin-wizards
jtimon has quit [Ping timeout: 248 seconds]
wizkid057 has quit [Read error: Connection reset by peer]
packetsmurf has joined #bitcoin-wizards
coinsmurf has quit [Ping timeout: 248 seconds]
wizkid057 has joined #bitcoin-wizards
Giszmo has joined #bitcoin-wizards
Ruben has quit [Ping timeout: 256 seconds]
thrmo has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
dnaleor has joined #bitcoin-wizards
Olufunmilayo has quit [Ping timeout: 240 seconds]
Olufunmilayo has joined #bitcoin-wizards
Nightwolf has quit [Read error: Connection reset by peer]
Nightwolf has joined #bitcoin-wizards
danrobinson has joined #bitcoin-wizards
Olufunmilayo has quit [Ping timeout: 240 seconds]
danrobinson has quit [Ping timeout: 256 seconds]
thrmo is now known as sellb42l8
Olufunmilayo has joined #bitcoin-wizards
SopaXorzTaker has quit [Ping timeout: 240 seconds]
wizkid057 has quit [Read error: Connection reset by peer]
AaronvanW has joined #bitcoin-wizards
wizkid057 has joined #bitcoin-wizards
neha has quit [Ping timeout: 240 seconds]
neha has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 256 seconds]
SopaXorzTaker has joined #bitcoin-wizards
afilini has joined #bitcoin-wizards
afilini has quit [Client Quit]
Chris_Stewart_5 has quit [Ping timeout: 264 seconds]
Olufunmilayo has quit [Ping timeout: 268 seconds]
maxfp has joined #bitcoin-wizards
Olufunmilayo has joined #bitcoin-wizards
Ruben has joined #bitcoin-wizards
Chris_St1 has joined #bitcoin-wizards
dnaleor has quit [Quit: Leaving]
jtimon has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
dispel has quit [Quit: Connection closed for inactivity]
sellb42l8 has quit [Quit: Waiting for .007]
AaronvanW has quit [Ping timeout: 260 seconds]
itsme_ has quit [Quit: My Mac Pro has gone to sleep. ZZZzzz…]
dnaleor has joined #bitcoin-wizards
d4de has quit [Ping timeout: 255 seconds]
thrmo has joined #bitcoin-wizards
Murch has joined #bitcoin-wizards
<ruby32> does grin have an IRC channel?
<kanzure> their altcoin pump requires them to not use IRC, i think
<andytoshi> yes, it's on irc.gitter.im
LeMiner2 has joined #bitcoin-wizards
LeMiner has quit [Ping timeout: 248 seconds]
LeMiner2 is now known as LeMiner
<ruby32> andytoshi: does gitter by default have an IRC interface for all of its chatrooms?
<sipa> yes it does
Olufunmilayo has quit [Ping timeout: 256 seconds]
ruby32 has quit [Quit: Leaving]
ruby32 has joined #bitcoin-wizards
maxfp has quit [Ping timeout: 240 seconds]
dougsland has joined #bitcoin-wizards
<sipa> *PLING*
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 255 seconds]
meshcollider has joined #bitcoin-wizards
itsme_ has joined #bitcoin-wizards
<waxwing> huh, bulletproofs are already mentioned in the wikipedia article on non-interactive zero knowledge proofs
<waxwing> btw i've been struggling today to understand how you get zero knowledgeness with non-interactivity, since you can't fake transcripts when you hash the prover's commitment (i.e. random oracle model). feel free to ignore if too off-topic here :)
metamarc has joined #bitcoin-wizards
<nsh> waxwing, that's where the forking lemma comes into play in ways i can't even quite handwave yet
wallet42 has quit [Ping timeout: 256 seconds]
yokwe has quit [Ping timeout: 256 seconds]
Herka has quit [Ping timeout: 276 seconds]
wallet42 has joined #bitcoin-wizards
yokwe has joined #bitcoin-wizards
Herka has joined #bitcoin-wizards
intcat has quit [Ping timeout: 255 seconds]
Chris_St1 has quit [Ping timeout: 256 seconds]
intcat has joined #bitcoin-wizards
metamarc has quit [Ping timeout: 248 seconds]
<waxwing> thanks nsh
dcousens has quit [Ping timeout: 255 seconds]
dcousens has joined #bitcoin-wizards
SopaXorzTaker has quit [Remote host closed the connection]
Ylbam_ has joined #bitcoin-wizards
RubenSomsen has joined #bitcoin-wizards
Ruben has quit [Ping timeout: 240 seconds]
cyberhugger has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
thrmo has quit [Quit: Leaving]
RubenSomsen has quit [Ping timeout: 264 seconds]
itsme_ has quit [Quit: Textual IRC Client: www.textualapp.com]
ChanServ has quit [*.net *.split]
<andytoshi> waxwing: in the ROM you can fake transcripts by programming the hash function to output whatever you want (and choosing this beforehand)
ChanServ has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
rusty has quit [Changing host]
rusty has joined #bitcoin-wizards
Olufunmilayo has joined #bitcoin-wizards
rusty has quit [Read error: Connection reset by peer]
moa has joined #bitcoin-wizards
moa has quit [Changing host]
moa has joined #bitcoin-wizards
thrmo has joined #bitcoin-wizards
<Alanius> nsh: the forking lemma does not have to do with forging transcripts; it has to do with extracting the witness given black-box access to a successful prover (subject to: IF the successful prover is actually a forger (ie. no interaction with the witness) THEN the extractor gets to control the random oracle)
d4de has joined #bitcoin-wizards
<Alanius> and the forking lemma is really quite simple: the extractor runs the prover and forks right after his first commitment; "forking" in this context means running two different executions with different random coins
<Alanius> if the different random coins generate different challenges from the adversary, fine by me; or in the rom if the random coins generate different responses from the random oracle, also fine by me
intcat has quit [Remote host closed the connection]
<Alanius> the clue is that given a first message (commitment), and pair of distinct completions into valid transcripts should enable the extractor to compute the witness; this property is called special soundnes
Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]
intcat has joined #bitcoin-wizards
<Alanius> any* pair
laurentmt has quit [Quit: laurentmt]
Chris_Stewart_5 has quit [Ping timeout: 264 seconds]
moa has quit [Quit: Leaving.]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 256 seconds]
<nsh> thanks Alanius!
<Alanius> no problem :)
<Alanius> oh and: different challenges from the verifier* (not from the adversary)
dnaleor has quit [Ping timeout: 248 seconds]
knifeofpi has joined #bitcoin-wizards
knifeofpi has quit [Client Quit]
grubles has joined #bitcoin-wizards
musalbas has quit [Ping timeout: 240 seconds]
intcat has quit [Ping timeout: 255 seconds]
arubi has quit [Ping timeout: 255 seconds]
ghost43 has quit [Ping timeout: 255 seconds]
rusty has joined #bitcoin-wizards
cyberhugger has quit [Quit: Connection closed for inactivity]
musalbas has joined #bitcoin-wizards
Olufunmilayo has quit [Ping timeout: 248 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
dnaleor has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 264 seconds]
ghost43 has joined #bitcoin-wizards
grubles has quit [Quit: Leaving]
arubi has joined #bitcoin-wizards
grubles has joined #bitcoin-wizards
intcat has joined #bitcoin-wizards
meshcollider has quit [Quit: Connection closed for inactivity]
Olufunmilayo has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards