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
isis has quit [Ping timeout: 244 seconds]
isis has joined #bitcoin-wizards
priidu has joined #bitcoin-wizards
rdponticelli has quit [Ping timeout: 246 seconds]
raedah has quit [Remote host closed the connection]
raedah has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 240 seconds]
rusty2 has joined #bitcoin-wizards
belcher has quit [Quit: Leaving]
Noldorin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
cyphase has quit [Ping timeout: 272 seconds]
atgreen has joined #bitcoin-wizards
Taek has quit [Ping timeout: 260 seconds]
nsh has quit [Ping timeout: 260 seconds]
Ylbam has quit [Quit: Connection closed for inactivity]
cyphase has joined #bitcoin-wizards
Taek has joined #bitcoin-wizards
cyphase has quit [Ping timeout: 264 seconds]
nsh has joined #bitcoin-wizards
cyphase has joined #bitcoin-wizards
justanotheruser has quit [Ping timeout: 250 seconds]
justanotheruser has joined #bitcoin-wizards
zooko has quit [Ping timeout: 244 seconds]
CrazyTruthYakDDS has joined #bitcoin-wizards
null_radix has quit [Excess Flood]
null_radix has joined #bitcoin-wizards
amindeed has joined #bitcoin-wizards
priidu has quit [Ping timeout: 244 seconds]
King_Rex has quit [Remote host closed the connection]
<jl2012>
[2016-06-24 01:22:55] <petertodd> after evaluation of any opcode?
<jl2012>
[2016-06-24 01:24:17] <jl2012> after evaluation of the script. But EXPANDs will terminate the evaluation immediately
<jl2012>
[2016-06-24 01:24:51] <petertodd> ah, right
<jl2012>
[2016-06-24 01:24:33] <jl2012> a bit similar to Satoshi's original OP_RETURN
<jl2012>
[2016-06-24 01:25:08] <petertodd> hmm... seems like a potential footgun
<jl2012>
[2016-06-24 01:26:22] <jl2012> yes, that could be risky. I made this proposal before we expand the definition of witness program from 32 to 40 bytes
<jl2012>
[2016-06-24 01:26:36] <jl2012> This may not be necessary now
<jl2012>
[2016-06-24 01:26:59] <petertodd> yeah, I'd be very strongly inclined to leave that off - there's certainty in the fact that evaluation continues to the end
<jl2012>
[2016-06-24 01:27:12] <petertodd> not entirely unrelated to evaluation being stateless
<jl2012>
[2016-06-24 01:27:29] <jl2012> and I want to propose killing OP_IF and its friends in MAST
<jl2012>
[2016-06-24 01:27:55] <petertodd> why?
<jl2012>
[2016-06-24 01:28:24] <jl2012> because MAST could handle everything that OP_IF could do
<jl2012>
[2016-06-24 01:28:34] <petertodd> how?
<jl2012>
[2016-06-24 01:29:21] <jl2012> just put different conditions as different MAST branches
<jl2012>
[2016-06-24 01:29:46] <petertodd> ah right, because mast *is* an op_if - fair enough
<jl2012>
[2016-06-24 01:30:09] <petertodd> hmm, that's kinda a confusing way of writing this stuff...
<jl2012>
[2016-06-24 01:30:20] <jl2012> that will make sure all op_codes in a script to be executed
<jl2012>
[2016-06-24 01:30:26] <jl2012> easier to audit
<jl2012>
[2016-06-24 01:30:40] <jl2012> simply the implmentation
<jl2012>
[2016-06-24 01:30:50] <petertodd> ...all executed in a sucesful evaluation of course
<jl2012>
[2016-06-24 01:31:10] <petertodd> yeah, I don't think the way you've written that htlc contract is easy to read at all - but that's just a presentation-layer thing
<jl2012>
[2016-06-24 01:32:14] <jl2012> i think it's easier than the expression in BIP112, at least....
<jl2012>
[2016-06-24 01:33:05] <petertodd> again, not having if's is very confusing
<jl2012>
[2016-06-24 01:33:28] <btcdrak> confusing it not good for adoption
<jl2012>
[2016-06-24 01:33:49] <petertodd> like I say, this doesn't need to be a lower-level fix, just a fix in terms of how we pretty-print this stuff
<jl2012>
[2016-06-24 01:34:44] <jl2012> I think using IF is very confusing.....to understand that BIP112 example, I have to execute the script with pen and paper
<jl2012>
[2016-06-24 01:34:59] <petertodd> same kind of reason why I show dex expressions in lisp form, even though you could show them in depth-first form, and many implementations might work better that way
<jl2012>
[2016-06-24 01:36:05] <petertodd> have you considered brackets? I mean, the confusion in the BIP112 example for you probably stems from the fact this is a stack-based language - with or without lisp-like brackets can actually be done the same way under the hood
<jl2012>
[2016-06-24 01:44:50] <jl2012> for example, it's not obvious why a 2DROP is used, until one really runs the script step by step
<jl2012>
[2016-06-24 01:49:36] <petertodd> ? I mean, if you know what CSV does it seems pretty obvious to me
<jl2012>
[2016-06-24 01:50:52] <jl2012> but usually you use a DROP after CSV, not 2DROP. So you need to figure out what the other item is dropped
<jl2012>
[2016-06-24 01:51:43] <petertodd> well, because of what was on the stack in the if of course
<jl2012>
[2016-06-24 01:52:34] <petertodd> I mean, it's just a factor of how optimized the script is; it could be written otherwise, which your mast version makes impossible
<jl2012>
[2016-06-24 01:53:28] <jl2012> "which your mast version makes impossible" <--- don't understand
<jl2012>
[2016-06-24 01:51:58] <jl2012> maybe I'm not smart enough to run this script mentally....
<jl2012>
[2016-06-24 01:54:36] <petertodd> I mean, if I understand it right, I can't reuse the stuff on the stack in the same way that the bip112 version does
<jl2012>
[2016-06-24 01:56:01] <jl2012> it's a MAST, that means you will/can only use one of the conditions a time. So why would you like to reuse something?
<jl2012>
[2016-06-24 01:59:21] <petertodd> because I might have two conditions that use the same data
<jl2012>
[2016-06-24 02:00:07] <jl2012> yes, but the unexecuted condition is hidden in the merkle tree, anyway
<jl2012>
[2016-06-24 02:02:08] <jl2012> "using the same data".... in the BIP112 example, you mean the public keys of Alice and Bob in the script? (actually the example is wrong for using "key hash". Should be "pubkey")
<jl2012>
[2016-06-24 02:00:46] <petertodd> eh, let me take a closer look at this - we're talking past each other
<jl2012>
[2016-06-24 02:12:56] <petertodd> yeah, so I see your point now; you're just making the argument that for any difference, just add more versions of the script repeating the same code
<jl2012>
[2016-06-24 02:13:50] <jl2012> yes
<jl2012>
[2016-06-24 02:16:25] <petertodd> might make sense to not call this "MAST" but rather "multi-script"
<jl2012>
[2016-06-24 02:16:37] <petertodd> it's not really an abstract syntax tree anymore
<jl2012>
[2016-06-24 02:17:51] <jl2012> oh, that's my understanding of MAST......what's the difference?
<jl2012>
[2016-06-24 02:18:59] <jl2012> AFAIK, there has been no clear spec for MAST. That's my understanding
<jl2012>
[2016-06-24 02:19:20] <petertodd> well, with MAST I'd expect multiple branches to share the same stack
<jl2012>
[2016-06-24 02:20:26] <jl2012> same stack? why and how? Alice won't have the signature of Bob, for example
edvorg has joined #bitcoin-wizards
CubicEarth has quit [Remote host closed the connection]
Chris_Stewart_5 has joined #bitcoin-wizards
CubicEarth has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
CubicEarth has quit [Remote host closed the connection]
Chris_Stewart_5 has quit [Ping timeout: 264 seconds]
edvorg has quit [Ping timeout: 252 seconds]
Starduster has joined #bitcoin-wizards
CubicEarth has joined #bitcoin-wizards
dEBRUYNE has joined #bitcoin-wizards
dEBRUYNE has quit [Read error: Connection reset by peer]
dEBRUYNE_ has joined #bitcoin-wizards
dEBRUYNE_ has quit [Client Quit]
roman_ has quit [Read error: Connection reset by peer]
dEBRUYNE has joined #bitcoin-wizards
cyphase has quit [Ping timeout: 260 seconds]
Davasny has quit [*.net *.split]
markus-k has quit [*.net *.split]
[d__d] has quit [*.net *.split]
TheSeven has quit [*.net *.split]
Anduck has quit [*.net *.split]
Emcy has quit [*.net *.split]
bustd_soket has quit [*.net *.split]
rubensayshi has quit [*.net *.split]
hashtag has quit [*.net *.split]
c0rw1n has quit [*.net *.split]
adamg has quit [*.net *.split]
musalbas has quit [*.net *.split]
mappum has quit [*.net *.split]
stevenroose has quit [*.net *.split]
Nightwolf has quit [*.net *.split]
catern has quit [*.net *.split]
bertani has quit [*.net *.split]
ggreer has quit [*.net *.split]
Guest59696 has quit [*.net *.split]
sparetire has quit [*.net *.split]
artifexd has quit [*.net *.split]
yokwe has quit [*.net *.split]
bassguitarman has quit [*.net *.split]
jron_ has quit [*.net *.split]
hexis has quit [*.net *.split]
yang has quit [*.net *.split]
cfields_ has quit [*.net *.split]
coryfields_ has quit [*.net *.split]
petertodd has quit [*.net *.split]
bertani has joined #bitcoin-wizards
Nightwolf has joined #bitcoin-wizards
ggreer has joined #bitcoin-wizards
sneak has joined #bitcoin-wizards
Anduck has joined #bitcoin-wizards
petertodd has joined #bitcoin-wizards
stevenroose has joined #bitcoin-wizards
yang has joined #bitcoin-wizards
TheSeven has joined #bitcoin-wizards
Emcy has joined #bitcoin-wizards
hashtag has joined #bitcoin-wizards
rubensayshi has joined #bitcoin-wizards
hexis has joined #bitcoin-wizards
bustd_soket has joined #bitcoin-wizards
sparetire has joined #bitcoin-wizards
adamg has joined #bitcoin-wizards
sneak is now known as Guest88671
c0rw1n has joined #bitcoin-wizards
jron has joined #bitcoin-wizards
ggreer has quit [Changing host]
ggreer has joined #bitcoin-wizards
markus-k has joined #bitcoin-wizards
Davasny has joined #bitcoin-wizards
coryfields has joined #bitcoin-wizards
yokwe has joined #bitcoin-wizards
mappum has joined #bitcoin-wizards
musalbas has joined #bitcoin-wizards
cfields has joined #bitcoin-wizards
[d__d] has joined #bitcoin-wizards
kumavis has quit [Ping timeout: 258 seconds]
qpm has quit [Ping timeout: 258 seconds]
nicolag has quit [Ping timeout: 258 seconds]
zmanian__ has quit [Ping timeout: 258 seconds]
adams__ has quit [Ping timeout: 258 seconds]
wallet42 has quit [Ping timeout: 258 seconds]
artifexd has joined #bitcoin-wizards
cyphase has joined #bitcoin-wizards
jtremback_ has quit [Ping timeout: 258 seconds]
bassguitarman has joined #bitcoin-wizards
catern has joined #bitcoin-wizards
zmanian__ has joined #bitcoin-wizards
adams__ has joined #bitcoin-wizards
wallet42 has joined #bitcoin-wizards
qpm has joined #bitcoin-wizards
bustd_soket has quit [Ping timeout: 258 seconds]
kumavis has joined #bitcoin-wizards
nicolag has joined #bitcoin-wizards
MaxSan_ has joined #bitcoin-wizards
draynium has joined #bitcoin-wizards
jtremback_ has joined #bitcoin-wizards
nuke1989 has joined #bitcoin-wizards
nabu has joined #bitcoin-wizards
bustd_soket has joined #bitcoin-wizards
bsm1175321 has quit [Remote host closed the connection]
bsm1175321 has joined #bitcoin-wizards
dEBRUYNE has quit [Quit: Leaving]
Aranjedeath has quit [Quit: Three sheets to the wind]
nabu has quit [Quit: Konversation terminated!]
nabu has joined #bitcoin-wizards
Aranjedeath has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 272 seconds]
dEBRUYNE has joined #bitcoin-wizards
mrpocoyo has joined #bitcoin-wizards
Guyver2 has quit [Quit: :)]
ThomasV has joined #bitcoin-wizards
Iriez has quit [Ping timeout: 240 seconds]
ThomasV has quit [Ping timeout: 272 seconds]
Davasny has quit [Remote host closed the connection]
dEBRUYNE has quit [Quit: Leaving]
dnaleor has quit [Quit: Leaving]
Iriez has joined #bitcoin-wizards
bsm1175321 has quit [Remote host closed the connection]
bsm1175321 has joined #bitcoin-wizards
johntramp has quit [Ping timeout: 244 seconds]
bsm1175321 has quit [Remote host closed the connection]
Aranjedeath has quit [Quit: Three sheets to the wind]
dnaleor has joined #bitcoin-wizards
<kanzure>
bramc: arguably all of that should be a giant state machine with events and transitions instead
<kanzure>
bramc: with perfect rollback support
<bramc>
kanzure: State machine, asynchronous message passing, enforced invariants on balances. All those things are good ideas. But they're fancy and applicable in only a few circumstances. The first things to do is to learn to code like you graduated from junior high.
<kanzure>
and message queues. giant message queues, enough to make mulesoft cry.
<kanzure>
well re: junior high that's more of a lemon market problem (e.g. hard to tell whether the guys at the other end of your API call are morons or have implemented a pile of shit)
<bramc>
Putting calls at the end of methods (or right before a return), even calls to internal methods within the same class, is something I've been doing reflexively for the last twenty years
<bramc>
There's no downside to doing it right.
<kanzure>
yes yes, and people stuff variable definitions near the top of their methods, etc.
CubicEarth has quit [Remote host closed the connection]
johntramp has joined #bitcoin-wizards
CubicEarth has joined #bitcoin-wizards
Tiraspol has quit []
CubicEarth has quit [Remote host closed the connection]
hdbuck has quit [Quit: hdbuck]
CubicEarth has joined #bitcoin-wizards
d9b4bef9 has quit [Remote host closed the connection]
neuroses1412 has quit [Ping timeout: 244 seconds]
CrazyTruthYakDDS has joined #bitcoin-wizards
bramc has quit [Ping timeout: 250 seconds]
CubicEarth has quit [Remote host closed the connection]