--- Log opened Mon Mar 09 00:00:17 2020
00:11 -!- spinza [~spin@102.132.245.16] has quit [Ping timeout: 260 seconds]
00:13 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 256 seconds]
00:22 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
00:22 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
00:42 -!- slivera [~slivera@116.206.229.99] has joined #bitcoin-wizards
01:23 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Ping timeout: 240 seconds]
01:25 -!- kallewoof [~quassel@240d:1a:759:6000:a7b1:451a:8874:e1ac] has quit [Quit: No Ping reply in 180 seconds.]
01:25 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
01:26 -!- kallewoof [~quassel@240d:1a:759:6000:a7b1:451a:8874:e1ac] has joined #bitcoin-wizards
01:30 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 255 seconds]
01:31 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Remote host closed the connection]
01:35 -!- fiatjaf [~fiatjaf@191.249.34.40] has joined #bitcoin-wizards
01:37 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards
01:41 -!- spinza [~spin@102.132.245.16] has joined #bitcoin-wizards
01:42 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]
01:47 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards
01:57 -!- fiatjaf [~fiatjaf@191.249.34.40] has quit [Ping timeout: 260 seconds]
02:00 -!- gingerling [~gingerlin@184.75.223.219] has quit []
02:05 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
02:09 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
02:12 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Ping timeout: 272 seconds]
02:12 -!- fiatjaf1 [~fiatjaf@191.249.34.40] has joined #bitcoin-wizards
02:21 -!- Guyver2 [Guyver@guyver2.xs4all.nl] has joined #bitcoin-wizards
02:22 -!- hollowleviathan1 [~hollowlev@195.206.169.238] has joined #bitcoin-wizards
02:22 -!- fiatjaf1 [~fiatjaf@191.249.34.40] has quit [Ping timeout: 255 seconds]
02:23 -!- fiatjaf1 [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
02:24 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 265 seconds]
02:29 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #bitcoin-wizards
02:29 -!- TheoStorm [~TheoStorm@host-p8vu8h.cbn1.zeelandnet.nl] has joined #bitcoin-wizards
02:29 -!- marcoagner [~user@bl13-226-166.dsl.telepac.pt] has joined #bitcoin-wizards
02:32 -!- fiatjaf1 [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Ping timeout: 272 seconds]
02:33 -!- yanmaani [~yanmaani@gateway/tor-sasl/m7918070m1/x-47480619] has quit [Remote host closed the connection]
02:34 -!- yanmaani [~yanmaani@gateway/tor-sasl/m7918070m1/x-47480619] has joined #bitcoin-wizards
02:34 -!- fiatjaf1 [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
02:40 -!- fiatjaf1 [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Remote host closed the connection]
02:43 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 260 seconds]
02:50 -!- fiatjaf1 [~fiatjaf@191.249.34.40] has joined #bitcoin-wizards
02:57 -!- shush [~pawn@2605:e000:1c02:c564:20da:b897:6ef4:50a0] has joined #bitcoin-wizards
03:01 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
03:02 -!- shush [~pawn@2605:e000:1c02:c564:20da:b897:6ef4:50a0] has quit [Ping timeout: 256 seconds]
03:07 -!- fiatjaf1 [~fiatjaf@191.249.34.40] has quit [Ping timeout: 256 seconds]
03:11 -!- fiatjaf1 [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
03:17 -!- fiatjaf1 [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Remote host closed the connection]
03:21 -!- fiatjaf1 [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
03:44 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Remote host closed the connection]
03:44 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
03:51 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
03:51 -!- grubles [~blockhash@unaffiliated/grubles] has quit [Ping timeout: 240 seconds]
03:59 -!- TheoStorm [~TheoStorm@host-p8vu8h.cbn1.zeelandnet.nl] has quit [Quit: Leaving]
04:02 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
04:04 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
04:05 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
04:10 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
04:13 -!- IGHOR [~quassel@93.178.216.72] has quit [Quit: http://quassel-irc.org ? ??????????? ?????????. ????-??.]
04:14 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
04:17 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
04:18 -!- IGHOR [~quassel@93.178.216.72] has joined #bitcoin-wizards
04:21 -!- nick_freeman [~nick_free@92.116.144.89] has joined #bitcoin-wizards
04:21 -!- DeanWeen [~dean@gateway/tor-sasl/deanguss] has quit [Remote host closed the connection]
04:21 -!- DeanWeen [~dean@gateway/tor-sasl/deanguss] has joined #bitcoin-wizards
04:24 -!- fiatjaf1 is now known as fiatjaf
04:24 -!- peterrizzo [~peterrizz@pool-72-88-170-105.nwrknj.fios.verizon.net] has joined #bitcoin-wizards
04:28 -!- nick_freeman [~nick_free@92.116.144.89] has quit [Remote host closed the connection]
04:28 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
04:33 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Ping timeout: 256 seconds]
04:41 -!- nick_freeman [~nick_free@92.116.144.89] has joined #bitcoin-wizards
04:49 -!- slivera [~slivera@116.206.229.99] has quit [Remote host closed the connection]
04:50 -!- nick_freeman [~nick_free@92.116.144.89] has quit [Remote host closed the connection]
04:50 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
04:55 -!- IGHOR [~quassel@93.178.216.72] has quit [Quit: http://quassel-irc.org ? ??????????? ?????????. ????-??.]
05:00 -!- hollowleviathan1 [~hollowlev@195.206.169.238] has quit []
05:03 -!- IGHOR [~quassel@93.178.216.72] has joined #bitcoin-wizards
05:13 -!- IGHOR [~quassel@93.178.216.72] has quit [Read error: Connection reset by peer]
05:14 -!- IGHOR [~quassel@93.178.216.72] has joined #bitcoin-wizards
05:20 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-faijmqjlzghdizog] has joined #bitcoin-wizards
05:21 -!- leolein1 [~leolein@195.206.183.79] has joined #bitcoin-wizards
05:27 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
05:27 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
05:29 -!- peterrizzo [~peterrizz@pool-72-88-170-105.nwrknj.fios.verizon.net] has quit [Quit: peterrizzo]
05:29 -!- jimmysong [~jimmysong@65-36-83-142.static.grandenetworks.net] has joined #bitcoin-wizards
05:31 -!- TheoStorm [~TheoStorm@host-p8vu8h.cbn1.zeelandnet.nl] has joined #bitcoin-wizards
05:33 -!- TheoStorm [~TheoStorm@host-p8vu8h.cbn1.zeelandnet.nl] has quit [Remote host closed the connection]
05:39 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
05:46 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
05:48 -!- pinheadmz [~matthewzi@pool-100-33-69-78.nycmny.fios.verizon.net] has joined #bitcoin-wizards
05:53 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has quit [Quit: = ""]
05:59 -!- jimmysong [~jimmysong@65-36-83-142.static.grandenetworks.net] has quit [Quit: Leaving]
06:25 -!- brianhoffman [~brianhoff@pool-96-240-138-69.washdc.fios.verizon.net] has joined #bitcoin-wizards
06:28 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
06:29 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
06:48 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
06:55 -!- nick_freeman [~nick_free@92.116.144.89] has joined #bitcoin-wizards
06:55 -!- mdunnio [~mdunnio@38.126.31.226] has joined #bitcoin-wizards
06:57 -!- aupiff [~aupiff@pool-108-14-85-218.nycmny.fios.verizon.net] has joined #bitcoin-wizards
07:00 -!- nick_freeman [~nick_free@92.116.144.89] has quit [Remote host closed the connection]
07:00 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
07:04 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Ping timeout: 240 seconds]
07:06 -!- nick_freeman [~nick_free@92.116.144.89] has joined #bitcoin-wizards
07:17 -!- shush [~pawn@2605:e000:1c02:c564:d901:8bfd:6464:b3fd] has joined #bitcoin-wizards
07:29 -!- shush [~pawn@2605:e000:1c02:c564:d901:8bfd:6464:b3fd] has quit [Remote host closed the connection]
07:30 -!- TheoStorm [~TheoStorm@host-p8vu8h.cbn1.zeelandnet.nl] has joined #bitcoin-wizards
07:42 -!- nick_freeman [~nick_free@92.116.144.89] has quit [Remote host closed the connection]
07:43 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined #bitcoin-wizards
07:44 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has joined #bitcoin-wizards
07:50 -!- shush [~pawn@172.58.35.93] has joined #bitcoin-wizards
08:00 -!- leolein1 [~leolein@195.206.183.79] has quit []
08:00 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:40dc:3947:f804:4d1e] has quit [Remote host closed the connection]
08:17 -!- someone235 [uid419897@gateway/web/irccloud.com/x-hfloxzivimtycdpv] has joined #bitcoin-wizards
08:20 -!- JackSparrow [~JackSparr@139.28.218.198] has joined #bitcoin-wizards
08:20 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Remote host closed the connection]
08:21 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
08:24 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has joined #bitcoin-wizards
08:27 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Remote host closed the connection]
08:31 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
08:41 -!- shush [~pawn@172.58.35.93] has quit [Remote host closed the connection]
08:42 -!- orange_ [~textual@92.223.89.134] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
08:42 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Ping timeout: 256 seconds]
08:54 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
08:54 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
08:57 -!- shush [~pawn@173.227.31.130] has quit [Read error: Connection reset by peer]
08:57 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
09:01 -!- shush [~pawn@173.227.31.130] has quit [Remote host closed the connection]
09:02 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
09:14 < kanzure> threshold wallets and dishonest majority multiparty computation https://eprint.iacr.org/2019/1328.pdf
09:30 -!- shush [~pawn@173.227.31.130] has quit [Remote host closed the connection]
09:32 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has quit [Ping timeout: 256 seconds]
09:33 -!- fiatjaf [~fiatjaf@2804:7f2:2980:90fa:ea40:f2ff:fe85:d2dc] has joined #bitcoin-wizards
09:55 -!- Guyver2_ [Guyver@guyver2.xs4all.nl] has joined #bitcoin-wizards
09:56 -!- Guyver2 [Guyver@guyver2.xs4all.nl] has quit [Ping timeout: 240 seconds]
09:57 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
09:58 -!- Guyver2_ is now known as Guyver2
10:01 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:dc16:a8f0:56a:826b] has joined #bitcoin-wizards
10:06 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:dc16:a8f0:56a:826b] has quit [Ping timeout: 256 seconds]
10:19 -!- DeanWeen [~dean@gateway/tor-sasl/deanguss] has quit [Ping timeout: 240 seconds]
10:43 -!- aupiff [~aupiff@pool-108-14-85-218.nycmny.fios.verizon.net] has quit [Ping timeout: 256 seconds]
11:00 -!- JackSparrow [~JackSparr@139.28.218.198] has quit []
11:10 -!- dgenr8 [~dgenr8@unaffiliated/dgenr8] has joined #bitcoin-wizards
11:13 -!- aupiff [~aupiff@38.30.48.138] has joined #bitcoin-wizards
11:18 -!- michal_kubenka [~michal_ku@195.206.169.238] has joined #bitcoin-wizards
11:25 -!- shush [~pawn@173.227.31.130] has quit [Remote host closed the connection]
11:33 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
12:25 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:dc16:a8f0:56a:826b] has joined #bitcoin-wizards
12:26 -!- nick_fre_ [~nick_free@2001:16b8:30d9:6900:a0e9:9bbc:d728:e776] has joined #bitcoin-wizards
12:27 -!- francisco_______ [uid418144@gateway/web/irccloud.com/x-ssnfqsfgunhxkcwn] has quit [Quit: Connection closed for inactivity]
12:28 -!- shush [~pawn@173.227.31.130] has quit [Ping timeout: 240 seconds]
12:29 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
12:30 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:dc16:a8f0:56a:826b] has quit [Ping timeout: 256 seconds]
12:48 -!- shush [~pawn@173.227.31.130] has quit [Remote host closed the connection]
12:49 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
12:50 -!- shush [~pawn@173.227.31.130] has quit [Read error: Connection reset by peer]
12:52 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
13:11 -!- aupiff [~aupiff@38.30.48.138] has quit [Ping timeout: 256 seconds]
13:17 -!- captjakk [~captjakk@107-145-175-198.res.spectrum.com] has joined #bitcoin-wizards
13:20 -!- captjakk [~captjakk@107-145-175-198.res.spectrum.com] has quit [Remote host closed the connection]
13:21 -!- captjakk [~captjakk@107-145-175-198.res.spectrum.com] has joined #bitcoin-wizards
13:25 -!- captjakk [~captjakk@107-145-175-198.res.spectrum.com] has quit [Ping timeout: 256 seconds]
13:28 -!- DeanWeen [~dean@gateway/tor-sasl/deanguss] has joined #bitcoin-wizards
13:48 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:3092:7169:2a22:9e8d] has joined #bitcoin-wizards
14:00 -!- michal_kubenka [~michal_ku@195.206.169.238] has quit []
14:12 -!- rjected [uid425487@gateway/web/irccloud.com/x-mppvphzwrpvbacnm] has quit []
14:52 -!- davispuh [~quassel@46.109.91.93] has joined #bitcoin-wizards
14:53 -!- peterrizzo [~peterrizz@pool-72-88-170-105.nwrknj.fios.verizon.net] has joined #bitcoin-wizards
14:56 -!- bpalmer1 [~bpalmer@185.189.112.19] has joined #bitcoin-wizards
15:04 -!- real_or_random [~real_or_r@173.249.7.254] has quit [Ping timeout: 240 seconds]
15:05 -!- mdunnio [~mdunnio@38.126.31.226] has quit [Remote host closed the connection]
15:10 -!- real_or_random [~real_or_r@2a02:c207:3002:7468::1] has joined #bitcoin-wizards
15:15 < gleb> I found the work "BitML: A Calculus for Bitcoin Smart Contracts" which I don't recall being discussed, like, at all. It seems to be fully compatible with current Bitcoin Script. I'm wondering if that's something to compare with miniscript and whatnot digi_james
15:18 -!- davispuh [~quassel@46.109.91.93] has quit [Ping timeout: 255 seconds]
15:21 -!- davispuh [~quassel@46.109.91.93] has joined #bitcoin-wizards
15:22 < digi_james> Hi Gleb. I think BitML is a very elegant approach to a contract specification language for Bitcoin, because it is basically a process algebraic description of the underlying transactions enforcing the contract. The compilation to Bitcoin txs is therefore quite straightforward. However, I think there is an opportunity for different compiler strategies which compile to txns which exhibit equivalent contract
15:22 < digi_james> settlement properties, but optimized for privacy or fees.
15:23 -!- davispuh [~quassel@46.109.91.93] has quit [Client Quit]
15:26 -!- davispuh [~quassel@46.109.191.82] has joined #bitcoin-wizards
15:35 -!- Guyver2 [Guyver@guyver2.xs4all.nl] has quit [Quit: Going offline, see ya! (www.adiirc.com)]
15:37 < sipa> gleb: afaik bitml only compiles to scripts (and across multiple transactions); miniscript is more about reasoning about scripts that potentially come from multiple sources, and includes also signing logic and determining the policies involved
15:48 -!- slivera [~slivera@116.206.229.99] has joined #bitcoin-wizards
15:49 -!- zmnscpxj [~zmnscpxj@gateway/tor-sasl/zmnscpxj] has joined #bitcoin-wizards
16:16 -!- Kiminuo [~mix@141.98.103.196] has quit [Read error: Connection reset by peer]
16:16 -!- Kiminuo [~mix@141.98.103.196] has joined #bitcoin-wizards
16:23 < digi_james> Hm, I suppose BitML is a contracting abstraction vs Miniscript, which is a script abstraction.
16:28 -!- orange_ [~textual@92.223.89.134] has joined #bitcoin-wizards
16:34 < digi_james> Miniscript would allow the BitML compiler to compile to fewer txns, if implemented.
16:38 -!- gleb1 [~gleb@cpe-67-244-100-77.nyc.res.rr.com] has joined #bitcoin-wizards
16:40 -!- gleb [~gleb@cpe-67-244-100-77.nyc.res.rr.com] has quit [Ping timeout: 255 seconds]
16:48 -!- shush [~pawn@173.227.31.130] has quit [Remote host closed the connection]
16:55 -!- shush [~pawn@173.227.31.130] has joined #bitcoin-wizards
16:56 -!- davispuh [~quassel@46.109.191.82] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
16:59 < roasbeef> gleb1: in a sense, it's more powerful than miniscript, as it allow expression of _transaction level_ templating vs just in the script itself, so I could write out some multi-stage/transaction off-chain protocol using this (output is set of transactions to be signed) and then even possilby generate a state machine from this as well
17:00 -!- bpalmer1 [~bpalmer@185.189.112.19] has quit []
17:05 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:3092:7169:2a22:9e8d] has quit [Remote host closed the connection]
17:05 -!- davispuh [~quassel@46.109.91.93] has joined #bitcoin-wizards
17:06 -!- marcoagner [~user@bl13-226-166.dsl.telepac.pt] has quit [Ping timeout: 240 seconds]
17:08 < instagibbs> scaling bitcoin https://diyhpl.us/wiki/transcripts/scalingbitcoin/tel-aviv-2019/bitml/
17:09 -!- shush [~pawn@173.227.31.130] has quit [Remote host closed the connection]
17:19 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
17:21 -!- flukiluke [~flukiluke@141.98.101.133] has joined #bitcoin-wizards
17:21 -!- rjected_ [~rjected@natp-128-119-202-149.wireless.umass.edu] has joined #bitcoin-wizards
17:24 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 272 seconds]
17:25 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Quit: Leaving.]
17:26 -!- jonatack [~jon@82.102.27.195] has joined #bitcoin-wizards
17:26 -!- rjected_ [~rjected@natp-128-119-202-149.wireless.umass.edu] has quit [Client Quit]
17:29 -!- TheoStorm [~TheoStorm@host-p8vu8h.cbn1.zeelandnet.nl] has quit [Quit: Leaving]
17:31 -!- shush [~pawn@2607:fb90:2840:c87e:f832:4030:8ced:5ce2] has joined #bitcoin-wizards
17:42 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
17:46 -!- jonatack [~jon@82.102.27.195] has quit [Read error: Connection reset by peer]
17:47 -!- mdunnio [~mdunnio@208.59.170.5] has joined #bitcoin-wizards
17:49 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #bitcoin-wizards
18: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.
18:13 -!- shush [~pawn@2607:fb90:2840:c87e:f832:4030:8ced:5ce2] has quit []
18:30 -!- zmnscpxj [~zmnscpxj@gateway/tor-sasl/zmnscpxj] has quit [Ping timeout: 240 seconds]
18:32 -!- peterrizzo [~peterrizz@pool-72-88-170-105.nwrknj.fios.verizon.net] has quit [Quit: peterrizzo]
18:32 -!- davispuh [~quassel@46.109.91.93] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
18:41 -!- mdunnio [~mdunnio@208.59.170.5] has quit [Remote host closed the connection]
18:51 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Remote host closed the connection]
18:57 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has quit [Remote host closed the connection]
18:58 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has joined #bitcoin-wizards
19:09 -!- nick_fre_ [~nick_free@2001:16b8:30d9:6900:a0e9:9bbc:d728:e776] has quit [Remote host closed the connection]
19:09 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:a0e9:9bbc:d728:e776] has joined #bitcoin-wizards
19:09 -!- nick_freeman [~nick_free@2001:16b8:30d9:6900:a0e9:9bbc:d728:e776] has quit [Remote host closed the connection]
19:16 -!- DeanWeen [~dean@gateway/tor-sasl/deanguss] has quit [Ping timeout: 240 seconds]
19:25 -!- orange_ [~textual@92.223.89.134] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
19:47 -!- shush [~pawn@2605:e000:1c02:c564:f05b:ee45:4175:a1a2] has joined #bitcoin-wizards
19:48 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
19:53 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 260 seconds]
20:00 -!- flukiluke [~flukiluke@141.98.101.133] has quit []
20:01 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
20:02 -!- shush [~pawn@2605:e000:1c02:c564:f05b:ee45:4175:a1a2] has quit [Remote host closed the connection]
20:04 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 240 seconds]
20:06 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 260 seconds]
20:09 -!- achow101 [~achow101@unaffiliated/achow101] has joined #bitcoin-wizards
20:16 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Quit: Leaving]
20:16 -!- yanmaani [~yanmaani@gateway/tor-sasl/m7918070m1/x-47480619] has quit [Ping timeout: 240 seconds]
20:16 -!- ghost43_ [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards
20:19 -!- yanmaani [~yanmaani@gateway/tor-sasl/m7918070m1/x-47480619] has joined #bitcoin-wizards
20:20 -!- smtx [~smtx@141.98.101.133] has joined #bitcoin-wizards
20:21 -!- shush [~pawn@2605:e000:1c02:c564:f05b:ee45:4175:a1a2] has joined #bitcoin-wizards
20:26 -!- shush [~pawn@2605:e000:1c02:c564:f05b:ee45:4175:a1a2] has quit [Remote host closed the connection]
20:27 -!- shush [~pawn@2605:e000:1c02:c564:f05b:ee45:4175:a1a2] has joined #bitcoin-wizards
20:28 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
20:29 -!- DeanWeen [~dean@gateway/tor-sasl/deanguss] has joined #bitcoin-wizards
20:32 -!- shush [~pawn@2605:e000:1c02:c564:f05b:ee45:4175:a1a2] has quit [Ping timeout: 256 seconds]
20:38 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has quit [Ping timeout: 260 seconds]
20:39 -!- Belkaar [~Belkaar@xdsl-87-78-141-29.nc.de] has joined #bitcoin-wizards
20:39 -!- Belkaar [~Belkaar@xdsl-87-78-141-29.nc.de] has quit [Changing host]
20:39 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has joined #bitcoin-wizards
20:45 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 256 seconds]
20:48 -!- achow101 [~achow101@unaffiliated/achow101] has joined #bitcoin-wizards
21:02 -!- shush [~pawn@2605:e000:1c02:c564:f05b:ee45:4175:a1a2] has joined #bitcoin-wizards
21:02 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 256 seconds]
21:04 -!- ghost43_ [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
21:05 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards
21:16 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 265 seconds]
21:23 -!- achow101 [~achow101@unaffiliated/achow101] has joined #bitcoin-wizards
21:30 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Quit: Leaving.]
21:32 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
21:32 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards
21:34 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #bitcoin-wizards
22:09 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
22:41 -!- ghost43_ [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards
22:42 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Ping timeout: 240 seconds]
22:49 -!- vtnerd [~vtnerd@173-23-103-30.client.mchsi.com] has quit [Ping timeout: 256 seconds]
22:50 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #bitcoin-wizards
22:54 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 240 seconds]
22:59 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-faijmqjlzghdizog] has quit [Quit: Connection closed for inactivity]
22:59 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
23:00 -!- smtx [~smtx@141.98.101.133] has quit []
23:30 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #bitcoin-wizards
23:31 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 258 seconds]
23:31 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 255 seconds]
23:33 -!- vtnerd [~vtnerd@173-23-103-30.client.mchsi.com] has joined #bitcoin-wizards
23:36 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 260 seconds]
23:38 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #bitcoin-wizards
23:53 -!- Leo-WAC-WAC [~Leo-WAC-W@185.189.112.19] has joined #bitcoin-wizards
--- Log closed Tue Mar 10 00:00:18 2020