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
thomasa__ has quit [Remote host closed the connection]
thrmo_ is now known as thrmo
Krellan has joined #bitcoin-wizards
Emcy has joined #bitcoin-wizards
Dizzle has quit [Remote host closed the connection]
<yoleaux>
Peter Hines: "Diagrams and Coherence Theorems in Cryptography and Cryptanalysis" - YouTube
<nsh>
(yields a simple diagrammatic sanity check on [a class of] zk protocols)
thrmo has quit [Quit: Waiting for .007]
Emcy has quit [Remote host closed the connection]
AaronvanW has quit []
Belkaar has quit [Read error: Connection reset by peer]
dougsland has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
luke-jr has quit [Ping timeout: 244 seconds]
luke-jr has joined #bitcoin-wizards
dougsland has quit [Ping timeout: 252 seconds]
Emcy has joined #bitcoin-wizards
rmwb has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
rmwb has quit []
rmwb has joined #bitcoin-wizards
luke-jr has quit [Ping timeout: 252 seconds]
luke-jr has joined #bitcoin-wizards
luke-jr has quit [Ping timeout: 240 seconds]
luke-jr has joined #bitcoin-wizards
Emcy has quit [Quit: Leaving]
Dizzle has quit [Remote host closed the connection]
Dizzle has joined #bitcoin-wizards
Emcy has joined #bitcoin-wizards
Zenton has quit [Ping timeout: 244 seconds]
Dizzle has quit [Quit: Leaving...]
Emcy has quit [Remote host closed the connection]
meshcollider_ has joined #bitcoin-wizards
Cory has quit [Ping timeout: 252 seconds]
setpill has joined #bitcoin-wizards
Pasha has joined #bitcoin-wizards
Pasha is now known as Cory
PaulTroon has joined #bitcoin-wizards
Emcy has joined #bitcoin-wizards
PaulTroon_ has joined #bitcoin-wizards
Zenton has joined #bitcoin-wizards
<PaulTroon_>
if using the eltoo update scheme for lightning, the settlement tx has to be conditional on release of a secret, but does the update tx also need it? I assume so.
PaulTroon has quit [Ping timeout: 252 seconds]
SopaXorzTaker has joined #bitcoin-wizards
kenshi84 has quit [Read error: Connection reset by peer]
kenshi84 has joined #bitcoin-wizards
SopaXorzTaker has quit [Remote host closed the connection]
<jl2012>
so G = 2G', where G' has a very small x-coordinate
meshcollider_ has quit [Quit: Connection closed for inactivity]
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
thrmo has joined #bitcoin-wizards
thrmo has quit [Ping timeout: 256 seconds]
thrmo has joined #bitcoin-wizards
SopaXorzTaker has joined #bitcoin-wizards
thrmo has quit [Ping timeout: 256 seconds]
thrmo_ has joined #bitcoin-wizards
thrmo_ is now known as thrmo
AaronvanW has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 272 seconds]
Krellan has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
setpill has quit [Quit: o/]
balog has quit [Quit: Leaving]
Guyver2 has joined #bitcoin-wizards
thrmo_ has joined #bitcoin-wizards
thrmo has quit [Ping timeout: 256 seconds]
AaronvanW has quit []
AaronvanW has joined #bitcoin-wizards
<waxwing>
right, the assumption is that it's the hash of something, but after investigating people couldn't find out what it was. note there's mathematical reasoning as to why the choice of G doesn't matter (see 'random self-reduction', average (randomly chosen) case is as hard as worst case)
<waxwing>
at least, i'm pretty sure that reasoning applies here.
<waxwing>
also w.r.t NUMS, what sipa said helps, if you want NUMS basepoint, just hash G somehow into what generates it, then the hash'd have to be broken for shenanigans to be possible
laurentmt has joined #bitcoin-wizards
rmwb has quit [Remote host closed the connection]
<andytoshi>
jl2012: FYI it is possible to batch-validate taproot and schnorr, with the result that each taproot commitment verification takes only one scalar-point multiply
laurentmt has quit [Client Quit]
<andytoshi>
in fact there is code for this, which is not in the schnorr BIP because it's nonessential and we don't want review exhaustion :)
Chris_Stewart_5 has joined #bitcoin-wizards
AaronvanW has quit [Remote host closed the connection]
dgenr8 has quit [Quit: Leaving]
dgenr8 has joined #bitcoin-wizards
Krellan has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
thrmo_ is now known as thrmo
timerskull has joined #bitcoin-wizards
<nickler>
PaulTroon_: any party can settle anytime, not sure what secret you're referring to
<PaulTroon_>
@nickler : I just mean for a payment channel network like lightning the receiver has a secret they exchange and then that secret flows back through the network so relays get paid.
<PaulTroon_>
the preimage
dougsland has joined #bitcoin-wizards
<PaulTroon_>
I should ask on lightning-dev - forgot about that
douglas_ has joined #bitcoin-wizards
<nickler>
PaulTroon_: eltoo is by and large independent of payment routing. The update tx even more so because it doesn't contain HTLC outputs.
<PaulTroon_>
in the paper it was mentioned that HTLCs could be added to the settlement tx for multihop payments
<nickler>
yes, but that doesn't mean the settlement tx is conditional on some secret. Spending the HTLC output requires a secret - same as in current lightning.
<PaulTroon_>
I probably need to read through the ln paper again; but if both parties sign the update tx that spends to some settlement tx with an HTLC, then what happens if the payment is aborted? I wondering about if the update tx is valid but the linked settlment tx isn't
<waxwing>
nsh, just watched the start, but that's quite an interesting way to look at key sharing; the parallelepiped thing is cool, and it immediately makes me wonder whether it generalises to more than 2 participants; e.g. for 3 participants can you construct the same thing in a 4 dimensional parallelepiped (whatever that's called, forgot)
<nsh>
yup
<nsh>
also, slightly worrying it kinda provides a reduction from DLP and RSA to calculating commutation relations in a byzantine key exchange with no secrecy which may in principle be efficiently calculable
<nsh>
but not an immediate threat i think
<nickler>
PaulTroon_: aborting a payment does not invalidate the settlement tx. But both parties will create new update and settlement txs which invalidates (in the lightning security model) the old settlement tx because the new update tx can spend the old one before the old settlement tx.
michaelsdunn1 has joined #bitcoin-wizards
rmwb has joined #bitcoin-wizards
<PaulTroon_>
nickler: I must be missing something. It seems like if a malicious counter party commits the update for a failed payment, then there's no way to settle using the previous settlement TX with a revealed preimage.
<PaulTroon_>
nickler: perhaps if both parties have equal value locked up they screw themself
dougsland has quit [Ping timeout: 252 seconds]
douglas_ has quit [Ping timeout: 252 seconds]
Krellan has quit [Ping timeout: 240 seconds]
AaronvanW has joined #bitcoin-wizards
<nickler>
PaulTroon_: you don't need a preimage to spend an update tx with a settlement tx. As for the HTLCs, if you don't have the preimage you have to wait for the HTLC timeout.
rmwb has quit [Ping timeout: 252 seconds]
p0nziph0ne has joined #bitcoin-wizards
bojimbo has joined #bitcoin-wizards
<PaulTroon_>
nickler: ahh, thanks, I wasn't thinking about the refund aspect of the HTLC. So it's not a dead end in the case the preimage isn't provided.
rmwb has joined #bitcoin-wizards
douglas_ has joined #bitcoin-wizards
dougsland has joined #bitcoin-wizards
dougsland has quit [Remote host closed the connection]
thrmo has quit [Ping timeout: 256 seconds]
deusexbeer has quit [Ping timeout: 252 seconds]
deusexbeer has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
esotericnonsense has quit [Remote host closed the connection]
_tin has joined #bitcoin-wizards
esotericnonsense has joined #bitcoin-wizards
esotericnonsense has quit [Remote host closed the connection]
dnaleor has joined #bitcoin-wizards
esotericnonsense has joined #bitcoin-wizards
esotericnonsense has quit [Remote host closed the connection]
esotericnonsense has joined #bitcoin-wizards
Krellan has quit [Ping timeout: 260 seconds]
esotericnonsense has quit [Remote host closed the connection]
esotericnonsense has joined #bitcoin-wizards
esotericnonsense has quit [Remote host closed the connection]
esotericnonsense has joined #bitcoin-wizards
tombusby has quit [Ping timeout: 256 seconds]
esotericnonsense has quit [Remote host closed the connection]
dnaleor has quit [Ping timeout: 252 seconds]
esotericnonsense has joined #bitcoin-wizards
bojimbo has quit [Quit: Leaving]
dnaleor has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
dnaleor has quit [Quit: Leaving]
jb55 has joined #bitcoin-wizards
esotericnonsense has quit [Remote host closed the connection]
esotericnonsense has joined #bitcoin-wizards
thrmo has joined #bitcoin-wizards
ghost43 has quit [Remote host closed the connection]
ghost43 has joined #bitcoin-wizards
Zenton has quit [Ping timeout: 260 seconds]
Krellan has quit [Remote host closed the connection]
Murch has joined #bitcoin-wizards
_tin has quit [Ping timeout: 240 seconds]
douglas_ has quit [Ping timeout: 268 seconds]
ghost43 has quit [Remote host closed the connection]
ghost43 has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
jimmysong has quit [Quit: Leaving]
thrmo has quit [Quit: Waiting for .007]
maluk has joined #bitcoin-wizards
_tin has joined #bitcoin-wizards
enemabandit has joined #bitcoin-wizards
spinza has quit [Quit: Coyote finally caught up with me...]
arubi has quit [Remote host closed the connection]
spinza has joined #bitcoin-wizards
enemabandit has quit [Ping timeout: 252 seconds]
shesek has quit [Quit: Leaving]
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
SopaXorzTaker has quit [Remote host closed the connection]
thrmo has joined #bitcoin-wizards
arubi has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
Zenton has joined #bitcoin-wizards
nephyrin has joined #bitcoin-wizards
p0nziph0ne has quit [Quit: Leaving]
_tin has quit [Ping timeout: 245 seconds]
Chris_Stewart_5 has quit [Ping timeout: 272 seconds]
son0p has joined #bitcoin-wizards
reallll has joined #bitcoin-wizards
harrymm has joined #bitcoin-wizards
reallll has quit [Client Quit]
belcher has quit [Ping timeout: 272 seconds]
Krellan has joined #bitcoin-wizards
Krellan has quit [Remote host closed the connection]
Krellan has joined #bitcoin-wizards
michaelsdunn1 has quit [Remote host closed the connection]
Krellan has quit [Remote host closed the connection]
Krellan has joined #bitcoin-wizards
Krellan has quit [Remote host closed the connection]
Krellan has joined #bitcoin-wizards
belcher has joined #bitcoin-wizards
Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]
Krellan has quit [Remote host closed the connection]
Zenton has quit [Read error: Connection reset by peer]
Zenton has joined #bitcoin-wizards
PaulTroon_ has quit [Ping timeout: 245 seconds]
belcher has quit [Ping timeout: 252 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
tromp has quit [Remote host closed the connection]
tromp has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
Krellan has quit [Remote host closed the connection]