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
pmxb0t has quit []
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
shush has quit [Ping timeout: 272 seconds]
fimp has joined #bitcoin-wizards
roconnor has quit [Quit: Konversation terminated!]
<rottensox> Taproot BIP (so to speak...): https://github.com/bitcoin/bips/blob/master/bip-0342.mediawiki
<sipa> 341 is taproot; 342 is the script changes under taproot
<rottensox> ah.
<rottensox> :D
<rottensox> thanks.
shush has joined #bitcoin-wizards
shush has quit [Ping timeout: 248 seconds]
mauz555 has joined #bitcoin-wizards
<jeremyrubin> So one question that I think is kinda tricky is how to work with fixed-width integers from Bitcoin script without violating minimal encodings?
<jeremyrubin> Should we be adding some sort of OP_PAD{32,64} that fits an integer into 32/64 bits?
<jeremyrubin> Or just relax encoding rules?
<sipa> in what context is this a problem?
<jeremyrubin> I don't beleive it to be a problem at present
<jeremyrubin> But in OP_CTV at some point, if OP_CAT is added, you may want to perform numeric operations on an item that you then concatenate onto a stack element
<jeremyrubin> You can handle this with an if/else tree which calls OP_SIZE and then adds the correct number of zeroes I guess?
<sipa> i don't see the problem
<sipa> ah
<jeremyrubin> The issue is that the stack element then gets hashed
<sipa> you mean for nsequence/nlocktime stuff?
<jeremyrubin> And if the encoding isn't proper, you then have an issue
<jeremyrubin> yeah
<sipa> ok, that wasn't clear
<jeremyrubin> A solution??? might be to minimal encode them for the hash. But I hate that for pretty good reason
<sipa> OP_SUBSTR to the rescue? :p
<jeremyrubin> Hmm
<sipa> substr(num + 0000, 0, 4)
<sipa> conceptually
<jeremyrubin> Ah, I guess that works?
<jeremyrubin> So you always over pad, and then remove?
shush has joined #bitcoin-wizards
<sipa> it's a possibility (if SUBSTR existed...)
<jeremyrubin> I guess you can do a cat only version
<jeremyrubin> OP_SIZE OP_1 OP_LESSTHAN OP_IF "00" OP_SWAP OP_CAT
<jeremyrubin> something like that, but repeated a few times
<jeremyrubin> So i guess "problem solved"
<jeremyrubin> Hopefully by then we have an entire new script system :p
<jeremyrubin> with legit data types
<sipa> Data types? Where we're going we don't need data.
brianhoffman_ has joined #bitcoin-wizards
<jeremyrubin> data types *in the zero knowledge constraint system*
<sipa> (imagining a glorious future in which script is replaced with a simple compact recursive NIZK)
<jeremyrubin> beat ya to it ;)
brianhoffman has quit [Ping timeout: 265 seconds]
brianhoffman_ is now known as brianhoffman
shush has quit [Ping timeout: 260 seconds]
imawhale has joined #bitcoin-wizards
_whitelogger has joined #bitcoin-wizards
imawhale has quit [Quit: imawhale]
fimp has quit []
machty has joined #bitcoin-wizards
Belkaar_ has quit [Ping timeout: 265 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
Belkaar has joined #bitcoin-wizards
justanotheruser has quit [Read error: Connection reset by peer]
shush has joined #bitcoin-wizards
shush has quit [Ping timeout: 272 seconds]
_whitelogger has joined #bitcoin-wizards
mauz555 has quit [Remote host closed the connection]
mauz555 has joined #bitcoin-wizards
justanotheruser has joined #bitcoin-wizards
mauz555 has quit []
AbramAdelmo_ has joined #bitcoin-wizards
AbramAdelmo has quit [Read error: Connection reset by peer]
AaronvanW has quit [Remote host closed the connection]