#bitcoin-wizards on 2020-03-10 — irc logs at freenode.irclog.whitequark.org

2015-10-30 00:53 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

00:00 bpalmer1 has quit []

00:05 mauz555 has quit [Remote host closed the connection]

00:05 davispuh has joined #bitcoin-wizards

00:06 marcoagner has quit [Ping timeout: 240 seconds]

00:08 <instagibbs> scaling bitcoin https://diyhpl.us/wiki/transcripts/scalingbitcoin/tel-aviv-2019/bitml/

00:09 shush has quit [Remote host closed the connection]

00:19 rusty has joined #bitcoin-wizards

00:21 flukiluke has joined #bitcoin-wizards

00:21 rjected_ has joined #bitcoin-wizards

00:24 jonatack has quit [Ping timeout: 272 seconds]

00:25 rusty has quit [Quit: Leaving.]

00:26 jonatack has joined #bitcoin-wizards

00:26 rjected_ has quit [Client Quit]

00:29 TheoStorm has quit [Quit: Leaving]

00:31 shush has joined #bitcoin-wizards

00:42 rusty has joined #bitcoin-wizards

00:46 jonatack has quit [Read error: Connection reset by peer]

00:47 mdunnio has joined #bitcoin-wizards

00:49 jonatack has joined #bitcoin-wizards

01:12 <digi_james> roasbeef: Perhaps I may add - BitML is itself already a state machine representation (process algebras represent state machines of concurrent processes). Each BitML expression or “BitML configuration” describes a single contract state and all subsequent, reachable states/possible execution traces.

01:13 shush has quit []

01:30 zmnscpxj has quit [Ping timeout: 240 seconds]

01:32 peterrizzo has quit [Quit: peterrizzo]

01:32 davispuh has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

01:41 mdunnio has quit [Remote host closed the connection]

01:51 AaronvanW has quit [Remote host closed the connection]

01:58 _whitelogger has joined #bitcoin-wizards

02:09 nick_fre_ has quit [Remote host closed the connection]

02:09 nick_freeman has joined #bitcoin-wizards

02:09 nick_freeman has quit [Remote host closed the connection]

02:16 DeanWeen has quit [Ping timeout: 240 seconds]

02:25 orange_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:47 shush has joined #bitcoin-wizards

02:48 AaronvanW has joined #bitcoin-wizards

02:53 AaronvanW has quit [Ping timeout: 260 seconds]

03:00 flukiluke has quit []

03:01 rusty2 has joined #bitcoin-wizards

03:02 shush has quit [Remote host closed the connection]

03:04 rusty has quit [Ping timeout: 240 seconds]

03:06 achow101 has quit [Ping timeout: 260 seconds]

03:09 achow101 has joined #bitcoin-wizards

03:16 ghost43 has quit [Quit: Leaving]

03:16 yanmaani has quit [Ping timeout: 240 seconds]

03:16 ghost43_ has joined #bitcoin-wizards

03:19 yanmaani has joined #bitcoin-wizards

03:20 smtx has joined #bitcoin-wizards

03:21 shush has joined #bitcoin-wizards

03:26 shush has quit [Remote host closed the connection]

03:27 shush has joined #bitcoin-wizards

03:28 AaronvanW has joined #bitcoin-wizards

03:29 DeanWeen has joined #bitcoin-wizards

03:32 shush has quit [Ping timeout: 256 seconds]

03:38 Belkaar has quit [Ping timeout: 260 seconds]

03:39 Belkaar has joined #bitcoin-wizards

03:39 Belkaar has quit [Changing host]

03:45 achow101 has quit [Ping timeout: 256 seconds]

03:48 achow101 has joined #bitcoin-wizards

04:02 shush has joined #bitcoin-wizards

04:02 AaronvanW has quit [Ping timeout: 256 seconds]

04:04 ghost43_ has quit [Remote host closed the connection]

04:05 ghost43 has joined #bitcoin-wizards

04:16 achow101 has quit [Ping timeout: 265 seconds]

04:23 achow101 has joined #bitcoin-wizards

04:30 rusty2 has quit [Quit: Leaving.]

04:32 ghost43 has quit [Remote host closed the connection]

04:32 ghost43 has joined #bitcoin-wizards

04:34 ddustin has joined #bitcoin-wizards

05:09 ddustin has quit [Remote host closed the connection]

05:41 ghost43_ has joined #bitcoin-wizards

05:42 ghost43 has quit [Ping timeout: 240 seconds]

05:49 vtnerd has quit [Ping timeout: 256 seconds]

05:50 ddustin has joined #bitcoin-wizards

05:54 ddustin has quit [Ping timeout: 240 seconds]

05:59 CryptoDavid has quit [Quit: Connection closed for inactivity]

05:59 AaronvanW has joined #bitcoin-wizards

06:00 smtx has quit []

06:30 ddustin has joined #bitcoin-wizards

06:31 achow101 has quit [Ping timeout: 258 seconds]

06:31 AaronvanW has quit [Ping timeout: 255 seconds]

06:33 vtnerd has joined #bitcoin-wizards

06:36 ddustin has quit [Ping timeout: 260 seconds]

06:38 ddustin has joined #bitcoin-wizards

06:53 Leo-WAC-WAC has joined #bitcoin-wizards

07:14 betawaffle has quit [Quit: Oh noes, my ZNC!]

07:15 betawaffle has joined #bitcoin-wizards

07:18 ghost43_ has quit [Remote host closed the connection]

07:19 ghost43 has joined #bitcoin-wizards

07:20 Kiminuo has quit [Ping timeout: 260 seconds]

07:27 Kiminuo has joined #bitcoin-wizards

07:46 vtnerd has quit [Ping timeout: 256 seconds]

07:47 vtnerd has joined #bitcoin-wizards

08:11 Guyver2 has joined #bitcoin-wizards

08:29 AaronvanW has joined #bitcoin-wizards

08:47 <jeremyrubin> fwiw I don't think BitML is quite there for being able to support OP_CTV like constructs, but I can look again. It's a bit hard to actually define recursive templates robustly...

08:47 <jeremyrubin> Also worth taking a look at BCash's SPEDN language, which I think is actually in production use

08:50 achow101 has joined #bitcoin-wizards

08:55 rusty has joined #bitcoin-wizards

08:58 marcoagner has joined #bitcoin-wizards

08:59 asoltys has quit [Ping timeout: 240 seconds]

09:00 Leo-WAC-WAC has quit []

09:02 AaronvanW has quit [Ping timeout: 260 seconds]

09:07 asoltys has joined #bitcoin-wizards

09:08 nick_freeman has joined #bitcoin-wizards

09:12 nick_freeman has quit [Remote host closed the connection]

09:12 Livestradamus has quit [Quit: I'm out.]

09:12 Livestradamus has joined #bitcoin-wizards

09:12 TheoStorm has joined #bitcoin-wizards

09:16 nick_freeman has joined #bitcoin-wizards

09:17 nick_fre_ has joined #bitcoin-wizards

09:19 stranger64 has joined #bitcoin-wizards

09:21 nick_freeman has quit [Ping timeout: 256 seconds]

09:26 bildramer1 has joined #bitcoin-wizards

09:27 nick_fre_ has quit [Remote host closed the connection]

09:27 bildramer has quit [Disconnected by services]

09:27 bildramer1 is now known as bildramer

09:42 achow101 has quit [Ping timeout: 256 seconds]

09:45 achow101 has joined #bitcoin-wizards

09:46 AaronvanW has joined #bitcoin-wizards

10:05 rusty has quit [Quit: Leaving.]

10:40 DougieBot5000_ has joined #bitcoin-wizards

10:43 DougieBot5000 has quit [Ping timeout: 260 seconds]

10:43 mauz555 has joined #bitcoin-wizards

10:49 AaronvanW has quit [Ping timeout: 265 seconds]

10:49 EmmyNoether has quit [Ping timeout: 258 seconds]

10:53 TheoStorm has quit [Remote host closed the connection]

10:56 TheoStorm has joined #bitcoin-wizards

11:07 AaronvanW has joined #bitcoin-wizards

11:28 _whitelogger has joined #bitcoin-wizards

11:32 nick_freeman has quit [Ping timeout: 256 seconds]

12:00 stranger64 has quit []

12:10 slivera has quit [Remote host closed the connection]

12:14 slivera has joined #bitcoin-wizards

12:21 arcticmetal has joined #bitcoin-wizards

12:33 peterrizzo has joined #bitcoin-wizards

12:34 slivera has quit [Ping timeout: 240 seconds]

12:35 nick_freeman has joined #bitcoin-wizards

12:40 nick_freeman has quit [Remote host closed the connection]

12:46 nick_freeman has joined #bitcoin-wizards

12:59 <gleb1> jeremyrubin "Renegotiation and recursion in Bitcoin contracts" is the extension of BitML, which came out 2 weeks ago. That's how I stumbled upon this project.

13:00 peterrizzo has quit [Quit: peterrizzo]

13:17 masterP has quit [Quit: Leaving]

13:19 jb55 has quit [Ping timeout: 240 seconds]

13:21 meshcollider has quit [Ping timeout: 272 seconds]

13:29 jb55 has joined #bitcoin-wizards

13:30 TheoStorm has quit [Quit: Leaving]

13:31 AaronvanW has quit [Ping timeout: 272 seconds]

13:32 AaronvanW has joined #bitcoin-wizards

14:05 spinza has quit [Ping timeout: 265 seconds]

14:08 justanotheruser has quit [Ping timeout: 265 seconds]

14:15 <digi_james> Exactly, this is a first step towards state channels with BitML.

14:21 shush has quit [Ping timeout: 256 seconds]

14:33 shush has joined #bitcoin-wizards

14:36 shush has quit [Remote host closed the connection]

14:44 justanotheruser has joined #bitcoin-wizards

14:53 mauz555 has quit []

14:55 bitcoin-wizards9 has joined #bitcoin-wizards

14:55 mdunnio has joined #bitcoin-wizards

14:55 bitcoin-wizards9 has quit [Client Quit]

15:00 arcticmetal has quit []

15:03 justanotheruser has quit [Read error: Connection reset by peer]

15:13 shush has joined #bitcoin-wizards

15:15 TheoStorm has joined #bitcoin-wizards

15:17 shush_ has joined #bitcoin-wizards

15:18 shush has quit [Ping timeout: 260 seconds]

15:22 beaups has joined #bitcoin-wizards

15:22 beaups is now known as Guest28732

15:23 Kiminuo has quit [Ping timeout: 265 seconds]

15:26 justanotheruser has joined #bitcoin-wizards

15:34 meshcollider has joined #bitcoin-wizards

15:44 shush_ has quit [Remote host closed the connection]

15:47 mauz555 has joined #bitcoin-wizards

15:58 shush has joined #bitcoin-wizards

16:03 justanotheruser has quit [Ping timeout: 240 seconds]

16:05 justanotheruser has joined #bitcoin-wizards

16:13 phwalkr has joined #bitcoin-wizards

16:23 shush has quit [Remote host closed the connection]

16:28 shush has joined #bitcoin-wizards

16:28 shush has quit [Remote host closed the connection]

16:33 shush has joined #bitcoin-wizards

16:48 meshcollider has quit [Ping timeout: 272 seconds]

16:56 spinza has joined #bitcoin-wizards

16:59 mdunnio has quit [Remote host closed the connection]

17:01 DeanWeen has quit [Ping timeout: 240 seconds]

17:05 mdunnio has joined #bitcoin-wizards

17:09 captjakk has joined #bitcoin-wizards

17:18 shush has quit [Remote host closed the connection]

17:20 shush has joined #bitcoin-wizards

17:27 yanmaani1 has joined #bitcoin-wizards

17:28 yanmaani has quit [Disconnected by services]

17:28 yanmaani1 is now known as yanmaani

17:29 peterrizzo has joined #bitcoin-wizards

17:29 Guyver2_ has joined #bitcoin-wizards

17:31 Guyver2 has quit [Ping timeout: 240 seconds]

17:31 shush has quit [Remote host closed the connection]

17:31 peterrizzo has quit [Client Quit]

17:34 TheoStorm has quit [Quit: Leaving]

17:43 shush has joined #bitcoin-wizards

18:00 Guest28732 has quit []

18:00 phwalkr has quit [Ping timeout: 256 seconds]

18:12 shush has quit [Remote host closed the connection]

18:13 shush has joined #bitcoin-wizards

18:37 kenshi84_ has quit [Ping timeout: 246 seconds]

18:38 kenshi84 has joined #bitcoin-wizards

18:51 cprofitt1 has joined #bitcoin-wizards

18:51 TheoStorm has joined #bitcoin-wizards

19:03 shush has quit [Remote host closed the connection]

19:09 shush has joined #bitcoin-wizards

19:17 shush has quit [Remote host closed the connection]

19:22 justanotheruser has quit [Ping timeout: 272 seconds]

19:31 DougieBot5000_ is now known as DougieBot5000

19:39 TheoStorm has quit [Quit: Leaving]

19:40 <jeremyrubin> oh cool link?

19:52 TheoStorm has joined #bitcoin-wizards

19:53 TheoStorm has quit [Remote host closed the connection]

19:54 rusty has joined #bitcoin-wizards

20:05 <gleb1> jeremyrubin: https://arxiv.org/abs/2003.00296

20:28 yanmaani has quit [Remote host closed the connection]

20:28 shush has joined #bitcoin-wizards

20:29 yanmaani has joined #bitcoin-wizards

20:30 DeanWeen has joined #bitcoin-wizards

20:31 rusty has quit [Quit: Leaving.]

20:34 shush has quit [Remote host closed the connection]

20:34 berndj has quit [Read error: Connection reset by peer]

20:41 berndj has joined #bitcoin-wizards

20:43 shush has joined #bitcoin-wizards

20:43 Chris_Stewart_5 has quit [Ping timeout: 258 seconds]

20:58 Chris_Stewart_5 has joined #bitcoin-wizards

21:00 cprofitt1 has quit []

21:13 shush has quit [Remote host closed the connection]

21:13 shush has joined #bitcoin-wizards

21:15 shush has quit [Remote host closed the connection]

21:17 shush has joined #bitcoin-wizards

21:19 Kiminuo has joined #bitcoin-wizards

21:20 rossjones has joined #bitcoin-wizards

21:58 Guyver2_ has quit [Quit: Going offline, see ya! (www.adiirc.com)]

22:01 <roasbeef> digi_james: yeh I just mean the output of it is actual transactions to sign vs a sript to put in to a single or many transactions

22:06 kenshi84_ has joined #bitcoin-wizards

22:06 mdunnio has quit [Remote host closed the connection]

22:09 kenshi84 has quit [Ping timeout: 256 seconds]

22:15 real_or_random has quit [Quit: ZNC 1.7.5 - https://znc.in]

22:16 real_or_random has joined #bitcoin-wizards

22:16 stoner19 has quit [Remote host closed the connection]

22:17 stoner19 has joined #bitcoin-wizards

22:17 stoner19 has quit [Changing host]

22:17 stoner19 has joined #bitcoin-wizards

22:21 dgrove has quit [Ping timeout: 258 seconds]

22:21 dgrove has joined #bitcoin-wizards

22:26 CryptoDavid has joined #bitcoin-wizards

22:27 orange__ has joined #bitcoin-wizards

22:29 <digi_james> roasbeef: 👍

22:30 TheoStorm has joined #bitcoin-wizards

22:30 Dean_Guss has joined #bitcoin-wizards

22:31 stoner19 has quit [Remote host closed the connection]

22:31 stoner19 has joined #bitcoin-wizards

22:31 stoner19 has quit [Changing host]

22:31 stoner19 has joined #bitcoin-wizards

22:32 DeanGuss has joined #bitcoin-wizards

22:33 slivera has joined #bitcoin-wizards

22:34 DeanWeen has quit [Ping timeout: 240 seconds]

22:36 Dean_Guss has quit [Ping timeout: 240 seconds]

22:40 peterrizzo has joined #bitcoin-wizards

22:47 shush has quit [Remote host closed the connection]

22:47 shush has joined #bitcoin-wizards

22:51 peterrizzo has quit [Quit: peterrizzo]

22:59 rusty has joined #bitcoin-wizards

22:59 shush has quit [Remote host closed the connection]

23:07 mdunnio has joined #bitcoin-wizards

23:12 mdunnio has quit [Remote host closed the connection]

23:16 Kiminuo has quit [Ping timeout: 260 seconds]

23:18 captjakk has quit [Remote host closed the connection]

23:19 captjakk has joined #bitcoin-wizards

23:19 shush has joined #bitcoin-wizards

23:19 meshcollider has joined #bitcoin-wizards

23:21 shush has quit [Remote host closed the connection]

23:23 Kiminuo has joined #bitcoin-wizards

23:23 captjakk has quit [Ping timeout: 265 seconds]

23:33 Zenton has quit [Ping timeout: 258 seconds]

23:35 captjakk has joined #bitcoin-wizards

23:35 captjakk has quit [Remote host closed the connection]

23:35 captjakk has joined #bitcoin-wizards

23:40 captjakk has quit [Ping timeout: 240 seconds]

23:43 shush has joined #bitcoin-wizards

23:47 mauz555 has quit [Ping timeout: 272 seconds]

23:48 shush has quit [Remote host closed the connection]

23:48 Chris_Stewart_5 has quit [Ping timeout: 256 seconds]

23:52 justanotheruser has joined #bitcoin-wizards

23:54 Chris_Stewart_5 has joined #bitcoin-wizards

23:57 bitdex has joined #bitcoin-wizards

23:57 marcoagner has quit [Ping timeout: 265 seconds]

23:59 shush has joined #bitcoin-wizards