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
tin_ has quit [Ping timeout: 252 seconds]
Zenton has quit [Ping timeout: 244 seconds]
tin_ has joined #bitcoin-wizards
tin_ has quit [Ping timeout: 252 seconds]
Chris_Stewart_5 has quit [Ping timeout: 268 seconds]
shesek has quit [Ping timeout: 268 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
tin_ has joined #bitcoin-wizards
_whitelogger has joined #bitcoin-wizards
d9b4bef9 has joined #bitcoin-wizards
toaster1 has joined #bitcoin-wizards
dvknv_ has quit [Remote host closed the connection]
dvknv has joined #bitcoin-wizards
dvknv has quit [Ping timeout: 264 seconds]
dvknv has joined #bitcoin-wizards
intcat has quit [Remote host closed the connection]
intcat has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
shesek has quit [Changing host]
AaronvanW has quit []
_whitelogger has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
phantomcircuit has joined #bitcoin-wizards
freewil has joined #bitcoin-wizards
freewil has quit [Client Quit]
nuncanada has joined #bitcoin-wizards
d_t has quit [Quit: Konversation terminated!]
d_t has joined #bitcoin-wizards
johntramp has quit [Changing host]
johntramp has joined #bitcoin-wizards
_whitelogger has joined #bitcoin-wizards
_whitelogger has joined #bitcoin-wizards
nuncanada has quit [Ping timeout: 252 seconds]
Chris_Stewart_5 has quit [Ping timeout: 252 seconds]
CheckDavid has quit [Quit: Connection closed for inactivity]
toaster has joined #bitcoin-wizards
toaster1 has quit [Ping timeout: 252 seconds]
_whitelogger has joined #bitcoin-wizards
toaster has quit [Ping timeout: 268 seconds]
instagibbs has quit [Ping timeout: 276 seconds]
instagibbs has joined #bitcoin-wizards
Krellan has quit [Read error: Connection reset by peer]
d_t has quit [Remote host closed the connection]
Krellan has joined #bitcoin-wizards
sipa has quit [Remote host closed the connection]
d9b4bef9 has quit [Remote host closed the connection]
sipa has joined #bitcoin-wizards
kewde[m] has quit [Ping timeout: 240 seconds]
Jeremy_Rand[m] has quit [Ping timeout: 260 seconds]
DiogoGomes[m] has quit [Ping timeout: 240 seconds]
herzmeister[m] has quit [Ping timeout: 260 seconds]
azdrianz[m] has quit [Ping timeout: 276 seconds]
rusty has quit [Ping timeout: 252 seconds]
kallisteiros has joined #bitcoin-wizards
azdrianz[m] has joined #bitcoin-wizards
DiogoGomes[m] has joined #bitcoin-wizards
Jeremy_Rand[m] has joined #bitcoin-wizards
herzmeister[m] has joined #bitcoin-wizards
kewde[m] has joined #bitcoin-wizards
kallisteiros has quit [Ping timeout: 272 seconds]
kallisteiros has joined #bitcoin-wizards
jl2012 has quit [Ping timeout: 264 seconds]
jl2012 has joined #bitcoin-wizards
kallisteiros has quit [Ping timeout: 272 seconds]
kallisteiros has joined #bitcoin-wizards
kallisteiros has quit [Ping timeout: 252 seconds]
kallisteiros has joined #bitcoin-wizards
kallisteiros has quit [Ping timeout: 244 seconds]
tin_ has quit [Ping timeout: 252 seconds]
Traino has joined #bitcoin-wizards
Traino has quit [Remote host closed the connection]
Traino has joined #bitcoin-wizards
Logicwax has quit [Read error: Connection reset by peer]
Logicwax has joined #bitcoin-wizards
setpill has joined #bitcoin-wizards
TheoStorm has joined #bitcoin-wizards
TheoStorm has quit [Remote host closed the connection]
enemabandit has joined #bitcoin-wizards
enemabandit has quit [Ping timeout: 244 seconds]
Krellan has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
abcbc has joined #bitcoin-wizards
someone235 has joined #bitcoin-wizards
Traino has quit [Ping timeout: 264 seconds]
someone235_ has joined #bitcoin-wizards
someone235 has quit [Ping timeout: 272 seconds]
Traino has joined #bitcoin-wizards
abcbc has quit [Ping timeout: 252 seconds]
RubenSomsen has joined #bitcoin-wizards
abcbc has joined #bitcoin-wizards
Traino has quit [Ping timeout: 264 seconds]
Guyver2 has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
Zenton has joined #bitcoin-wizards
SopaXorzTaker has joined #bitcoin-wizards
deusexbeer has quit [Ping timeout: 252 seconds]
deusexbeer has joined #bitcoin-wizards
abcbc has quit [Ping timeout: 264 seconds]
Guyver2 has quit [Remote host closed the connection]
elichai2 has joined #bitcoin-wizards
tombusby has quit [Remote host closed the connection]
tombusby has joined #bitcoin-wizards
Zenton has quit [Changing host]
Zenton has joined #bitcoin-wizards
Zenton is now known as vicenteH
vicenteH is now known as Zenton
Traino has joined #bitcoin-wizards
d9b4bef9 has joined #bitcoin-wizards
Krellan has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
Zenton has quit [Remote host closed the connection]
Zenton has joined #bitcoin-wizards
arubi has quit [Remote host closed the connection]
arubi has joined #bitcoin-wizards
deusexbeer has quit [Ping timeout: 244 seconds]
deusexbeer has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has quit [Quit: bye]
CheckDavid has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has joined #bitcoin-wizards
kallisteiros has joined #bitcoin-wizards
Krellan has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
tombusby has quit [Ping timeout: 250 seconds]
dougsland has joined #bitcoin-wizards
Traino has quit [Remote host closed the connection]
Traino has joined #bitcoin-wizards
dougsland has quit [Ping timeout: 268 seconds]
tombusby has joined #bitcoin-wizards
rusty has quit [Ping timeout: 252 seconds]
tombusby_ has joined #bitcoin-wizards
tombusby has quit [Remote host closed the connection]
Traino has quit [Remote host closed the connection]
Traino has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
Traino has quit [Remote host closed the connection]
Traino has joined #bitcoin-wizards
setpill has quit [Quit: o/]
setpill has joined #bitcoin-wizards
Traino has quit [Remote host closed the connection]
Traino has joined #bitcoin-wizards
roconnor has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
kallisteiros has quit [Ping timeout: 268 seconds]
arubi has quit [Remote host closed the connection]
Giszmo has quit [Ping timeout: 264 seconds]
arubi has joined #bitcoin-wizards
Krellan has quit [Read error: Connection reset by peer]
Krellan has joined #bitcoin-wizards
tombusby_ has quit [Ping timeout: 250 seconds]
Traino has quit [Remote host closed the connection]
Traino has joined #bitcoin-wizards
tombusby has joined #bitcoin-wizards
arubi has quit [Ping timeout: 250 seconds]
intcat has quit [Ping timeout: 250 seconds]
marcinja has joined #bitcoin-wizards
intcat has joined #bitcoin-wizards
arubi has joined #bitcoin-wizards
Giszmo has joined #bitcoin-wizards
Giszmo has quit [Client Quit]
nuncanada has joined #bitcoin-wizards
Traino has quit [Remote host closed the connection]
Traino has joined #bitcoin-wizards
kallisteiros has joined #bitcoin-wizards
setpill has quit [Ping timeout: 252 seconds]
arubi has quit [Ping timeout: 250 seconds]
setpill has joined #bitcoin-wizards
michaelsdunn1 has joined #bitcoin-wizards
dougsland has joined #bitcoin-wizards
arubi has joined #bitcoin-wizards
someone235_ has quit [Ping timeout: 276 seconds]
a5m0_ has quit [Ping timeout: 240 seconds]
Kaizen_ has joined #bitcoin-wizards
SopaXorzTaker has quit [Quit: Leaving]
Guyver2 has joined #bitcoin-wizards
setpill has quit [Quit: o/]
TheoStorm has joined #bitcoin-wizards
Kaizen_ has quit [Remote host closed the connection]
p0nziph0ne has joined #bitcoin-wizards
Kaizen_ has joined #bitcoin-wizards
Kaizen_ has quit [Remote host closed the connection]
Kaizen_ has joined #bitcoin-wizards
Kaizen_ has quit [Ping timeout: 276 seconds]
a5m0 has joined #bitcoin-wizards
Kaizen_ has joined #bitcoin-wizards
JackH_ has quit [Ping timeout: 268 seconds]
Kaizen_ has quit [Read error: Connection reset by peer]
Kaizen_ has joined #bitcoin-wizards
someone235_ has joined #bitcoin-wizards
Kaizen_ has quit [Remote host closed the connection]
<maaku> kallisteiros: the linked paper is just a re-discovery of extension blocks
<kallisteiros> I haven't looked it up yet, but do you remember why it didn't get accepted? what were the counterarguments?
<maaku> I think the author's claims are disingenuous. unlike with segwit, non-upgraded clients do not see the extension block UTXO space
<maaku> I don't believe extension blocks are a useful upgrade path for that reason
<maaku> it is, essentially, a hard-fork chain with a peg
<maaku> oh that author is you, sorry :)
<kallisteiros> yep
<kallisteiros> so what if they don't see this UTXO space? why should they?
Kaizen_ has joined #bitcoin-wizards
<maaku> Ok well let me say then that this is a better, more thorough write up of extension blocks than I've ever seen. There hasn't been a strawman proposal I believe
<kallisteiros> non-segwit clients don't see the witness data either
<maaku> So you have made a contribution :)
<kallisteiros> thanks
<maaku> But regarding my criticsm: let's say I say "send 2btc to 1Maaku..." and you do so on the extension block, but I haven't upgraded. I won't see it
<maaku> That can be fixed by encoding classic-vs-extension block in the address, but the general problem remains
<maaku> You can't have a transaction that spans both
gmaxwell has left #bitcoin-wizards [#bitcoin-wizards]
<kallisteiros> if you haven't upgraded, you won't give me a superspace address (which is either a bech32 like in SegWit or a P2SH starting with 3, but not 1Maaku)
<kallisteiros> to send bitcoins to
<kallisteiros> oh i see what you mean
Kaizen_ has quit [Ping timeout: 272 seconds]
<kallisteiros> right, I guess addresses in superspace need to have a different format
<kallisteiros> maybe a different checksum algo that will tell the legacy software it's an invalid address, but okay with upgraded software
<kallisteiros> or something
<maaku> Right, it can be worked around with proper payment protocol (by which I include address formats) support.
<kallisteiros> fair point
<maaku> But it does fall short of an ideal in which any bitcoin utxo can be spent along side another utxo
<maaku> Now I think we may have to go down that route. Explicit opt-in sharding (segregation of the utxo space) allows scaling without affecting centralization pressures other than validator resources
Kaizen_ has joined #bitcoin-wizards
tombusby has quit [Ping timeout: 250 seconds]
<maaku> But we should recognize that non-extension-block / non-sharding scaling has a direct benefit as well, in that you can have more UTXOs that can be co-spent in the same transaction
tin_ has joined #bitcoin-wizards
heyo has joined #bitcoin-wizards
<maaku> Which is necessary sometimes for smart contracting purposes, when you want to make sure that a transaction is invalidated if either one of the inputs is spent
<kallisteiros> actually, spending a normal utxo in the same superspace block and vice versa is possible, I just chose in this version of writeup to restrict that to avoid additional headache. like controlling that there's no double spends and such
<kallisteiros> if that's what you're talking about
<kallisteiros> but it's not a must
<kallisteiros> could be done, I believe
kerfle has quit [Ping timeout: 276 seconds]
<maaku> kallisteiros: you have a mechanism for doing so in a bidirectional manner? I've looked at it and concluded that it was not possible
<kallisteiros> I mean, if the miner's validation software treats it as one big transaction space, it could accept a transaction in the same block. then upgraded nodes would see that this superspace tx's input is normal tx's output in the same block, and all is dandy, the block is valid
<kallisteiros> and legacy nodes wouldn't care
Kaizen_ has quit [Remote host closed the connection]
<kallisteiros> but it needs more test cases, such as trying to spend the same output in both worlds at the same time. this is a double spend and should be prevented
<kallisteiros> same reason I only proposed P2PKH on both sides to move bitcoin betwen spaces. could have had scripts too, like scripts in witness programs in segwit, but it could get messy very fast
<maaku> I'm not sure what you mean as "accept a transaction in the same block" in order to make other nodes see the spend?
tombusby has joined #bitcoin-wizards
<kallisteiros> oh I thought you meant the restriction to start spending outputs from one world in another only from the next block as undesirable
<kallisteiros> maybe I misunderstood
<kallisteiros> the legacy nodes wouldn't see the full picture of course
<kallisteiros> but wouldn't disrupt them either
<maaku> kallisteiros: Let's say as part of a transaction I contribute an output and you contribute an output too. The intention is that if either one of us spends our outputs, the other is cancelled as well.
<maaku> er, the operation on the other input is cancelled as well
<maaku> You can't do that across worlds. You'd need 2 transactions, and one transaction being double-spent wouldn't invalidate the other
<maaku> You could fix that by adding in lock-times and hash preimages, but now a single transfer requires 2 linked transactions which is inefficient
<kallisteiros> sorry, could you give an example on how it's achievable right now in the same space?
<maaku> kallisteiros: single transaction, you and I both contribute inputs. it can be invalidated by either one of us by double-spending our input.
<kallisteiros> right. so in the context of proposal, it would be two inputs from both worlds?
<maaku> this is typically the setup for a funding transaction for a smart contract
<maaku> right, i happen to have my inputs on shard A, and you have your inputs on shard B
<maaku> kallisteiros: you might find this talk useful, to see what is out there : https://scalingbitcoin.org/montreal2015/presentations/Day1/2-Bryan-scalingbitcoin-review-latest.pdf
<kallisteiros> trying to wrap my head around it. I know the invalidation part can be enforced by miners, but trying to come up with a format to reference two outputs from both worlds, and one of them is just a simple P2PKH output, not a superspace P2SH
<maaku> it is pre-segwit, but otherwise still relevant. written by @kanzure who is around here.
<kallisteiros> no idea yet
<maaku> hrm. i was going to point out that the "classic" tx (for lack of a better term) would have to reference the UTXOs of the extension block, which fundamentally limits how much extension this can provide
<maaku> but this could be reduced to one hash per tx, or even sign-to-contract to remove any extra data
<kallisteiros> do you think segwit can do this though?
<maaku> You mean hide this data the same way as segwit does? Sortof.
<maaku> The connection has to be covered by the signature in some way. Either as a hash in an output, for example, or sign-to-contract.
<kallisteiros> yeah that's what I was thinking. anyway, will need to think it through and add there, thanks for the food for thought
<kallisteiros> right now it's a bit restricted in terms of what it can do
<maaku> Both are messy solutions though, and not something I'd be happy about.
<kallisteiros> right
Traino has quit [Quit: Leaving]
<maaku> The hash-in-output thing doesn't work well with sighash modes other than ALL, and sign-to-contract is way too useful a primitive to "waste" on this, and would require negative proofs for other transactions which is a non-starter.
adlai has quit [Read error: Connection reset by peer]
adlai has joined #bitcoin-wizards
kallisteiros has quit [Ping timeout: 272 seconds]
kallisteiros has joined #bitcoin-wizards
<maaku> I said this privately to kallisteiros, but to anyone lurking my comment of "the linked paper is just a re-discovery of extension blocks" was meant to point kallisteiros towards previous discussion, and not meant as dismissive
<maaku> I hope this channel is welcoming to all newcomers and their ideas.
<kallisteiros> it's all good :-)
Zenton has quit [Ping timeout: 272 seconds]
<kanzure> kallisteiros: here are some references on extension blocks,
CheckDavid has quit [Quit: Connection closed for inactivity]
<kanzure> extension blocks were also mentioned in my 2015 review talk at scaling bitcoin montreal, http://diyhpl.us/~bryan/irc/bitcoin/scalingbitcoin-review.pdf
Kaizen_ has joined #bitcoin-wizards
SopaXorzTaker has joined #bitcoin-wizards
Kaizen_ has quit [Remote host closed the connection]
<kallisteiros> thanks kanzure!
str4d has joined #bitcoin-wizards
tombusby has quit [Ping timeout: 250 seconds]
str4d_ has joined #bitcoin-wizards
str4d_ has quit [Client Quit]
str4d_ has joined #bitcoin-wizards
str4d_ has quit [Client Quit]
str4d has quit [Ping timeout: 272 seconds]
str4d has joined #bitcoin-wizards
CheckDavid has joined #bitcoin-wizards
str4d has quit [Ping timeout: 272 seconds]
tombusby has joined #bitcoin-wizards
str4d has joined #bitcoin-wizards
Krellan has quit [Ping timeout: 264 seconds]
<kanzure> kallisteiros: i think a formal write of extension blocks and evil forced forks (or whatever) would be welcomed.
str4d has quit [Ping timeout: 268 seconds]
harrymm_ has quit [Ping timeout: 244 seconds]
harrymm_ has joined #bitcoin-wizards
kallisteiros has quit [Ping timeout: 268 seconds]
Zenton has joined #bitcoin-wizards
<kanzure> "Non-interactive zero-knowledge proofs for composite statements" https://eprint.iacr.org/2018/557
<kanzure> "Updatable and universal common reference strings with applications to zkSNARKs" https://eprint.iacr.org/2018/280.pdf
<kanzure> "Verifiable delay functions" https://eprint.iacr.org/2018/601
farmerwampum has quit [Ping timeout: 272 seconds]
tombusby has quit [Ping timeout: 250 seconds]
enemabandit has joined #bitcoin-wizards
tombusby has joined #bitcoin-wizards
SopaXorzTaker has quit [Remote host closed the connection]
kallisteiros has joined #bitcoin-wizards
rusty has quit [Ping timeout: 244 seconds]
rusty has joined #bitcoin-wizards
enemabandit has quit [Remote host closed the connection]
Krellan has joined #bitcoin-wizards
Krellan has quit [Remote host closed the connection]
jnewbery has quit [Read error: No route to host]
Krellan has joined #bitcoin-wizards
Kaizen_ has joined #bitcoin-wizards
Kaizen_ has quit [Ping timeout: 268 seconds]
Krellan has quit [Ping timeout: 264 seconds]
tromp has quit [Remote host closed the connection]
tromp has joined #bitcoin-wizards
Krellan has joined #bitcoin-wizards
rusty has quit [Ping timeout: 244 seconds]
son0p has joined #bitcoin-wizards
contrapumpkin has joined #bitcoin-wizards
copumpkin has quit [Ping timeout: 240 seconds]
Giszmo has joined #bitcoin-wizards
dvknv_ has joined #bitcoin-wizards
dvknv has quit [Ping timeout: 272 seconds]
Chris_Stewart_5 has quit [Ping timeout: 276 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
opdenkamp has quit [Ping timeout: 260 seconds]
michaelsdunn1 has quit [Remote host closed the connection]
michaelsdunn1 has joined #bitcoin-wizards
michaelsdunn1 has quit [Remote host closed the connection]
Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]
<maaku> TIL bitcoin actually targets 2017 blocks per 2 weeks
opdenkamp has joined #bitcoin-wizards
d9b4bef9 has quit [Remote host closed the connection]
d9b4bef9 has joined #bitcoin-wizards
uiuc-slack4 has joined #bitcoin-wizards
uiuc-slack has quit [Read error: Connection reset by peer]
comboy has quit [Ping timeout: 268 seconds]
opdenkamp has quit [Ping timeout: 252 seconds]
comboy has joined #bitcoin-wizards
opdenkamp has joined #bitcoin-wizards
Emcy has quit [Remote host closed the connection]
Emcy has joined #bitcoin-wizards
Kaizen_ has joined #bitcoin-wizards
Kaizen_ has quit [Remote host closed the connection]