00:09:09 <_ingsoc> _ingsoc has quit 00:10:03 briancrain has joined #bitcoin-wizards 00:10:47 briancrain has quit 00:17:45 jps has quit 00:20:45 jps has joined #bitcoin-wizards 00:21:04 Ursium has quit 00:22:31 Ursium has joined #bitcoin-wizards 00:23:13 RoboTeddy has quit 00:27:43 espes__ has quit 00:29:57 espes__ has joined #bitcoin-wizards 00:35:31 espes__ has quit 00:42:35 espes__ has joined #bitcoin-wizards 00:50:33 mappum has joined #bitcoin-wizards 01:01:33 spenvo has joined #bitcoin-wizards 01:12:09 Shibe_tabsa has joined #bitcoin-wizards 01:21:00 rdymac has quit 01:23:06 rdymac has joined #bitcoin-wizards 01:28:59 jps has quit 01:33:26 Ketamine_ has joined #bitcoin-wizards 01:33:27 Just getting into the game, anything greatly appreciated. Pweeese. 01:33:27 Cryptsy: 912e35c2dc1316cd9eea19e31768ff27f20fddef 01:33:28 BTC: 1MHPQCbkJ6uyD2kpZveNpXdjG396duaYVw 01:33:28 LTC: LNtbFxtr1gEpPnvubT314HNSX2zAFpa37X 01:33:28 DOGE: DJ1NXr9WLv2Wqda4mCTW5K71NRaUrNVdDX 01:33:28 PP: o24@usa.com 01:33:30 Ketamine_ has left #bitcoin-wizards 01:33:57 justanotheruser has quit 01:34:09 justanotheruser has joined #bitcoin-wizards 01:35:05 jps has joined #bitcoin-wizards 01:36:46 justanotheruser1 has joined #bitcoin-wizards 01:38:07 justanotheruser2 has joined #bitcoin-wizards 01:38:11 justanotheruser2 has quit 01:38:12 justanotheruser2 has joined #bitcoin-wizards 01:38:45 justanotheruser has quit 01:38:52 justanotheruser2 is now known as justanotheruser 01:41:20 justanotheruser1 has quit 01:50:05 roidster has joined #bitcoin-wizards 02:18:29 jps_ has joined #bitcoin-wizards 02:18:53 jps has quit 02:18:53 jps_ is now known as jps 02:28:14 Ursium has quit 02:29:02 rdymac has quit 02:29:36 rdymac has joined #bitcoin-wizards 02:51:12 nsh has quit 03:02:59 jps has quit 03:03:46 nsh has joined #bitcoin-wizards 03:04:00 mappum has quit 03:10:41 jps has joined #bitcoin-wizards 03:13:25 spenvo has quit 03:22:40 Ursium has joined #bitcoin-wizards 03:23:55 mappum has joined #bitcoin-wizards 03:27:50 Ursium has quit 03:39:25 franl has joined #bitcoin-wizards 04:07:22 mappum has quit 04:23:25 Ursium has joined #bitcoin-wizards 04:28:23 Ursium has quit 04:30:11 spenvo has joined #bitcoin-wizards 04:37:24 freewil has quit 04:37:38 Muis has quit 04:37:51 freewil has joined #bitcoin-wizards 04:38:04 Muis has joined #bitcoin-wizards 04:40:03 c0rw1n has quit 04:42:43 bobke has quit 04:42:49 bobke has joined #bitcoin-wizards 05:04:33 c0rw1n has joined #bitcoin-wizards 05:12:49 spenvo has quit 05:13:28 franl has quit 05:24:13 Ursium has joined #bitcoin-wizards 05:27:55 Ursium has quit 06:10:23 brisque has joined #bitcoin-wizards 06:10:30 brisque has quit 06:10:31 brisque has joined #bitcoin-wizards 06:24:56 Ursium has joined #bitcoin-wizards 06:29:45 Ursium has quit 06:42:35 jps has quit 06:51:05 roidster has quit 07:11:22 wyager has joined #bitcoin-wizards 07:25:40 Ursium has joined #bitcoin-wizards 07:28:34 wyager has quit 07:30:43 Ursium has quit 07:37:36 wyager has joined #bitcoin-wizards 07:45:20 roidster has joined #bitcoin-wizards 07:49:47 Shibe_tabsa has quit 08:04:49 <_ingsoc> _ingsoc has joined #bitcoin-wizards 08:14:24 roidster has quit 08:18:13 <_ingsoc> _ingsoc has quit 08:19:35 <_ingsoc> _ingsoc has joined #bitcoin-wizards 08:20:53 skinnkavaj has quit 08:25:03 spenvo has joined #bitcoin-wizards 08:26:25 Ursium has joined #bitcoin-wizards 08:31:31 Ursium has quit 08:43:14 orperelman has joined #bitcoin-wizards 08:49:55 rdymac has quit 08:53:19 wyager has quit 09:18:23 justanotheruser1 has joined #bitcoin-wizards 09:19:56 jtimon has joined #bitcoin-wizards 09:20:25 justanotheruser has quit 09:20:35 yo 09:21:02 yolandi 09:21:13 ninja 09:23:22 <_ingsoc> _ingsoc has quit 09:27:10 Ursium has joined #bitcoin-wizards 09:29:14 iddo has quit 09:30:13 iddo has joined #bitcoin-wizards 09:32:21 Ursium has quit 10:07:26 hnz has quit 10:10:02 RoboTeddy has joined #bitcoin-wizards 10:12:32 hnz has joined #bitcoin-wizards 10:14:29 RoboTeddy has quit 10:16:13 bobke has quit 10:16:21 bobke has joined #bitcoin-wizards 10:27:55 Ursium has joined #bitcoin-wizards 10:29:54 mappum has joined #bitcoin-wizards 10:31:46 brisque has quit 10:33:04 Ursium has quit 10:40:07 <_ingsoc> _ingsoc has joined #bitcoin-wizards 10:56:16 spenvo has quit 10:57:38 orperelman has quit 11:05:57 justanotheruser1 has quit 11:06:07 justanotheruser has joined #bitcoin-wizards 11:21:33 dlidstrom has quit 11:23:22 mappum has quit 11:37:38 c0rw1n has quit 11:46:24 Shibe_tabsa has joined #bitcoin-wizards 11:50:03 c0rw1n has joined #bitcoin-wizards 11:50:53 Shibe_tabsa has quit 12:23:15 Ursium has joined #bitcoin-wizards 12:26:44 skinnkavaj has joined #bitcoin-wizards 12:27:33 skinnkavaj has quit 12:27:34 skinnkavaj has joined #bitcoin-wizards 12:33:09 c0rw1n has quit 12:36:33 c0rw1n has joined #bitcoin-wizards 12:58:43 brisque has joined #bitcoin-wizards 12:59:02 shesek has quit 13:04:37 c0rw1n has quit 13:07:59 c0rw1n has joined #bitcoin-wizards 13:11:32 shesek has joined #bitcoin-wizards 13:19:26 shesek has quit 13:35:12 stumbled over the ethereum white-paper, interesting stuff 13:35:54 it was elusive about some technical details last time i checked 13:36:22 what do you think about its turing-complete "scripts" ? 13:36:50 that's the thing. there's a very good reason bitcoin script isn't turing-complete 13:36:58 c0rw1n++ 13:37:06 and the ethereum paper didn't say how they solved it 13:37:26 (last time i checked) 13:38:54 man31 has joined #bitcoin-wizards 13:38:58 there's something about the transaction fee being charged for the number of operations a script takes. 13:39:06 my understanding (and I'm going to walk on eggshells here) is that they solved it by limiting the opscode to the strick miminum, meaning it won't be possible to build anything that could lead to disaster 13:39:09 man31 has left #bitcoin-wizards 13:39:25 i think if you could get fees on the computing of turing-complete scripts, you could mine on that 13:39:39 operations are expensive, and the instruction set very limited 13:39:57 logically every single node has to execute the scripts, so they can't be particularly complicated. 13:40:08 um not necessarily 13:40:12 you could zkp the running of scripts 13:40:37 talk about a new type of incentive for optimization, hehe, not for cycles or mem but for fees on a blockchain 13:41:32 bitcoin already restricts it's scripts just by virtue of their size. bigger transaction leads to more fees. 13:42:03 c0rw1n: maybe I've missed something, but wouldn't nodes need to know the output of a transaction to conclude if a block is valid or invalid? 13:44:29 the output yes 13:46:35 how would you get there without executing it? 13:48:16 give a zkp of the evaluation 13:48:17 seems ethereum scripts will require a fee for every 16 instructions 13:48:28 which is a way to go about that 13:48:36 azariah4: a fee per step AFTER 16 more like ;) 13:49:17 Ursium: oh right! 13:50:20 there is a thread about turing complete on bct https://bitcointalk.org/index.php?topic=431513.0 13:50:41 ah, seems the fee structure is more complicated 13:51:11 1x fee for each instruction after the first 16, but crypto operations cost 20x fee each 13:51:17 anyone have gmaxwell grey goo bct url? (bad implications of covenants) 13:51:23 and different logic for storage 13:51:47 how do they enforce fees? at the consensus level, or local policy? 13:51:55 adam3us1: thanks for the link 13:52:33 ah got it https://bitcointalk.org/index.php?topic=278122.0 gmaxwell on how you get grey goo from even the simplest one opcode mistake on current bitcoin (never mind TC byte code stateful, looping, full generic) 13:53:17 sipa: i think fees are enforced by all validators executing them, but only financially benefit successful miners 13:54:06 adam3us1: how is the exchange rate set? 13:54:07 note its balance based and a script "owns" and defends value, and can originate transactions from its logic and balance with no input transaction 13:54:59 sipa: its an alt with it own mining race :) vitaliks own personal one. i asked him in person if he's gone to the dark side, and he smiled and chuckled as an answer :) 13:55:11 i know that 13:55:13 sipa: "The coefficients will be revised as more hard data on the relative computational cost of each operation becomes available." 13:55:32 they mention two ideas in the current version of the paper 13:55:38 but i'm asking at what level the fee structure is enforced 13:55:42 sipa: exchange u mean ^^ variable cost of exec 13:56:00 bitcoin only does it as a policy, as you cannot fix the cost of fees in the consensus rules 13:56:28 sipa: i thnk the enforcement stems from miners. the miners define thecorrect interpretation and execution of the script. and their execution is defined in part by the interpreter cycles from the fees 13:56:44 miners have the same validation as other nodes 13:56:45 sipa: oooh. now i get yu. 13:57:22 sipa: i was thinking that they just set an arbitrary baked per cycle fee, but that doesnt work in a floating value coin 13:57:23 and the only way paying for validation can work economically, is when validation work is limited per block as a consensus rule 13:57:54 as miners have in incentive to fill up whatever is allowed in a block (they are paid, the rest isn't) 13:58:09 adam3us1: they mention setting it partly based on difficulty, which is one measure of the value of the coin 13:58:12 sipa: gmaxwell was pointing out that if there is even one instruction diff in interpretation it could lead to a hard fork so haing that fee be dynamic / loose could be undesirable 14:02:05 sipa: i was also wondering like what if the cycles (for all contracts in block) go above the CPU resources of some nodes, so they cant keep up with validation. 14:02:30 sipa: maybe thats what you were saying "only way paying for validation can work economically, is when validation work is limited per block as a consensus rule" 14:02:50 adam3us1: that is why full nodes need to demand a network rule that limits it 14:03:13 otherwise they are voting themself out of the electorate 14:10:20 sipa: so if the maximum cycles are voted on via some rolling avg by consensus, that cant be an integer or someone will put maxint in there? so then what a proof cpu resources in the interval? then maybe someone uses a compute farm to jack up the max cycles. so then a non-parallelizable Pow? then someone uses dozens of liquid cooled 5ghz boxes (or nitrogen 6ghz). there is a financial motive to exclude 14:11:22 adam3us1: define 'voted'; who votes? 14:11:26 sipa: maybe they put a human chosen cap at some comfortable level for avg desktop/ultrabook hw 14:11:54 sipa: miners, by putting their pref for max cycles as a field in coinbase? (i am trying to understand how this policy and rate could be set) 14:12:17 no, not miners! 14:12:28 miners are the ones who have the incentive to raise the limits 14:12:45 it's the rest of the nodes that need the limit exactly to keep miners in check 14:13:21 sipa: to exclude other miner yes. but there is no non sybil voting without pow itself, and miners concentrate and buil asic for any and all pow long term 14:13:49 to exclude other miners, or just to maximize their own fee income 14:14:30 it's non-mining nodes that need to demand rules which prevent that 14:14:31 sipa: by being the only cloud miner with fast cpu to even execute and collect fees 14:15:02 sipa: so eg then non-miners have a default sanity limit somthing simple for a 1ghz machine to keep up with 14:15:25 well, that is what bitcoin has: a 1 MB limit on blocks, and a 20k sigop limit in it 14:15:49 which means you have a guaranteed way of being able to keep up 14:15:52 sipa: yes i was think its analogous to limit. but n this case if its over 14:16:07 sipa: then some nodes woud reject it as too many cycles by policy? 14:16:22 not policy, this needs to be a consensus rule 14:16:28 rdymac has joined #bitcoin-wizards 14:16:43 sipa: but how do u reach consensus without hash power... 14:16:48 by fixing it 14:16:56 in the rules, at the start of the system 14:17:33 sipa: ok yes then so like some max ins / block target interval that a 1ghz machine can easily keep up with 14:17:36 and do a hard fork if there is wide consensus (among humans using the system) that it can be changed 14:17:56 i don't believe it is a problem you can solve technically inside the consensus system 14:17:59 one issue is that how efficient hardware can compute the ethereum "script" language may not relate to how efficient it can hash the blocks 14:18:47 so it might not be possible to have a consensus rule which is based on making the fee multiple inversely proportional to square root of hashing difficulty, as they mention 14:18:52 sipa: yes. another issue fairness between competing scripts. these contracts are like programs that run whenever an instrument of a given type are transacted. 14:19:53 the contract program has persistent state and can react to user transactions invoking it and originate transactions fro the script code 14:20:47 drawing on script managed funds, or user supplied inputs. 14:25:57 the potential for grey goo is very interesting 14:27:57 azariah4: i am (pure speculation) assuming its why there is no extrospection (ie ability for the script to lexically examine the script of the output address to enforce terms on it) i think gmaxwell called that a covenant in the link above 14:28:17 azariah4: (in existing bitcoin script) 14:30:23 azariah4: i think extrospection or covenants are potentially dangerous because they could spread virally through the coins. 14:31:45 adam3us1: hmm, did you see the op (59) EXTRO in the current version of the paper? 14:32:36 azariah4: ethereum paper? no. i did describe the extrospection viral goo risk to vitalik tho :) 14:33:51 ah yes, now I reached your post in the thread talking about it :) 14:33:54 azariah4: maaku_ was discussing it for freimarket too and he figured he could somewhat contain it by disabling extrospect on basic coins (non contract) 14:35:37 well, even if one could prove the language itself has no extrospection, the fact that it has a form of persistent storage could be a issue in practice 14:36:08 e.g. one specific impl of a ethereum node has overflow/bounds bug in its impl, enabling a script to read outside its defined persistent storage 14:36:56 azariah4: it seems interesting to me however to look at contracts you can build by composing dependent and hash-locked non-extrospection bitcoin scripts or other composing methods. while it seems at first laborious to not be able to express these in a single contract, so long as its functionally equivalent an all the intereting useful things can be built, without adding extrospection i think that can be enuf, and suspect it might be a des 14:37:42 azariah4: yes. i think they have sparse storage tho. maybe the address space was like 2^128 or something vast if i recall 14:39:30 yepp [0 ... 2^256-1] for both temp and persistent storage 14:40:13 hopefully they can post some updates about these risks before their fundraiser starts in a week 14:41:06 ArcticTrader has joined #bitcoin-wizards 14:51:28 rdymac has quit 14:52:18 arbart has quit 14:53:45 c0rw1n has quit 14:57:07 rdymac has joined #bitcoin-wizards 14:59:54 c0rw1n has joined #bitcoin-wizards 15:11:43 azariah4: i'm not sure there's anyone from the core dev team on this channel (i could be wrong) - is that something you could raise on forum.ethereum.org? 15:14:32 I could, but I need to read more about it first to properly understand it :> 15:28:59 HM has quit 15:30:52 HM has joined #bitcoin-wizards 15:35:21 tt_away_ is now known as tacotime_ 15:36:35 c0rw1n has quit 15:57:44 azariah4: didnt they already write about security risk soewhere? vitalik wrote an article on bitcoinmagazine recently also (didnt read it all yet) 15:58:33 c0rw1n has joined #bitcoin-wizards 16:06:44 <_ingsoc> _ingsoc has quit 16:07:17 <_ingsoc> _ingsoc has joined #bitcoin-wizards 16:11:28 c0rw1n has quit 16:17:59 c0rw1n has joined #bitcoin-wizards 16:33:07 c0rw1n has quit 16:42:42 skinnkavaj has quit 16:52:35 spenvo has joined #bitcoin-wizards 17:02:47 rdymac has quit 17:05:37 rdymac has joined #bitcoin-wizards 17:06:22 spenvo has quit 17:12:55 aksyn has joined #bitcoin-wizards 17:15:17 Shibe_tabsa has joined #bitcoin-wizards 17:35:40 spenvo has joined #bitcoin-wizards 18:02:21 Muis has quit 18:03:49 c0rw1n has joined #bitcoin-wizards 18:04:17 Muis has joined #bitcoin-wizards 18:04:42 Muis has quit 18:07:48 TD2 has joined #bitcoin-wizards 18:10:17 spenvo has quit 18:18:14 jtimon has quit 18:21:55 TD2 has left #bitcoin-wizards 18:22:14 TD2 has joined #bitcoin-wizards 18:24:36 Muis has joined #bitcoin-wizards 18:26:35 azariah4: the scripting language would have to be perfectly sandboxed, yes 18:26:57 TD2 is now known as TD 18:27:31 but we are talking about a language that could be as small as a dozen or so opcodes, 2-3 types, and an implementation measured in the hundreds of lines of C++ code 18:28:01 these can be made safe. it could even be proven safe, if you have the resources to do so 18:28:44 jtimon has joined #bitcoin-wizards 18:29:14 well, i'm talking about my language here, not etherium's 18:29:30 cymanon has joined #bitcoin-wizards 18:29:57 maaku_: there were exploits in bitcoin script even though that's tiny. so ..... this stuff is hard :) 18:30:28 TD: bitcoin's scripting language is more complex than a minimal turning complete language 18:30:38 and was not given appropriate care and attention 18:32:29 justanotheruser has quit 18:35:21 Luke-Jr has quit 18:35:50 Krellan has quit 18:36:13 Luke-Jr has joined #bitcoin-wizards 18:36:14 Krellan has joined #bitcoin-wizards 18:37:55 what i'm saying is there's nothing magical about writing a scripting interpreter that makes it dangerous in itself 18:38:29 compared to say, the network stack, which is quite a bit larger and also has to be free of remote exploits 18:43:03 spenvo has joined #bitcoin-wizards 18:46:43 justanotheruser has joined #bitcoin-wizards 18:47:35 rdymac has quit 18:49:45 spenvo has quit 18:53:37 rdymac has joined #bitcoin-wizards 19:02:49 wyager has joined #bitcoin-wizards 19:06:59 Muis has quit 19:07:06 qwertyoruiop has quit 19:12:25 wyager has quit 19:12:50 wyager has joined #bitcoin-wizards 19:15:21 qwertyoruiop has joined #bitcoin-wizards 19:23:26 maaku_: sure there is, the script interperter is procol normative in a way the net code isn't. It doesn't just have to be free of "remote exploits" it has to be free of consistency failures. So that adds a number of additional constraints and makes it fixing it hard. 19:24:31 maaku_: and of course all that "just a couple hundred lines of code" stuff fails if you then need to make it fast and implementers find that they're pratically required to employ a JIT compiler for it. 19:27:37 the world has a poor track record when it comes to sandboxing malicious code 19:28:54 justanotheruser has quit 19:28:54 justanotheruser has joined #bitcoin-wizards 19:41:09 eristisk has joined #bitcoin-wizards 19:45:12 Muis has joined #bitcoin-wizards 19:59:08 nsh has quit 20:04:08 <_ingsoc> _ingsoc has quit 20:13:21 nsh has joined #bitcoin-wizards 20:41:33 wyager has quit 20:42:33 wyager has joined #bitcoin-wizards 20:42:57 wyager has quit 20:43:28 wyager has joined #bitcoin-wizards 20:43:49 wyager has quit 20:44:23 wyager has joined #bitcoin-wizards 20:44:43 wyager has quit 20:45:04 orperelman has joined #bitcoin-wizards 20:52:07 jps has joined #bitcoin-wizards 20:53:25 eristisk has quit 20:57:01 jps has quit 20:57:02 c0rw1n has quit 20:58:57 spenvo has joined #bitcoin-wizards 20:59:18 dlidstrom has joined #bitcoin-wizards 21:01:46 spenvo has quit 21:06:51 c0rw1n has joined #bitcoin-wizards 21:07:53 eristisk has joined #bitcoin-wizards 21:12:38 nsh has quit 21:12:44 shesek has joined #bitcoin-wizards 21:14:18 c0rw1n has quit 21:16:20 c0rw1n has joined #bitcoin-wizards 21:29:38 RoboTeddy has joined #bitcoin-wizards 21:31:17 c0rw1n_ has joined #bitcoin-wizards 21:31:34 eristisk has quit 21:31:45 c0rw1n has quit 21:34:17 spenvo has joined #bitcoin-wizards 21:35:29 justanotheruser has quit 21:36:40 orperelman has quit 21:37:38 crucif0rm has joined #bitcoin-wizards 21:39:47 justanotheruser has joined #bitcoin-wizards 21:48:30 jps has joined #bitcoin-wizards 21:48:33 spenvo has quit 21:51:38 forrestv has quit 21:54:05 forrestv has joined #bitcoin-wizards 22:01:27 rdymac has quit 22:04:37 rdymac has joined #bitcoin-wizards 22:20:38 qwertyoruiop has quit 22:22:18 qwertyoruiop has joined #bitcoin-wizards 22:23:24 jps has quit 22:34:35 mappum has joined #bitcoin-wizards 22:45:57 c0rw1n_ has quit 22:47:26 c0rw1n has joined #bitcoin-wizards 22:48:31 mappum has quit 22:55:15 mappum has joined #bitcoin-wizards 22:55:17 c0rw1n_ has joined #bitcoin-wizards 22:58:45 c0rw1n has quit 23:12:01 jps has joined #bitcoin-wizards 23:18:59 go1111111 has joined #bitcoin-wizards 23:26:48 jps has quit 23:30:32 K1773R has quit 23:38:28 K1773R has joined #bitcoin-wizards 23:43:07 nsh has joined #bitcoin-wizards 23:43:37 nsh has quit 23:43:37 nsh has joined #bitcoin-wizards 23:44:28 mappum has quit 23:45:47 TD has quit 23:55:38 spenvo has joined #bitcoin-wizards 23:58:19 prophetX has joined #bitcoin-wizards