--- Log opened Fri Mar 22 00:00:34 2024
00:21 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has quit [Remote host closed the connection]
00:22 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has joined #bitcoin-wizards
00:27 -!- vtnerd [~vtnerd@50.81.199.196] has joined #bitcoin-wizards
01:10 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #bitcoin-wizards
01:48 -!- Guyver2 [~Guyver@77-174-98-73.fixed.kpn.net] has joined #bitcoin-wizards
03:05 -!- the_mariner [~Thunderbi@177.37.233.227] has joined #bitcoin-wizards
03:32 -!- Tosho [~Tosho@2a02:908:1a60:ca0:894b:4474:33ad:1896] has joined #bitcoin-wizards
04:18 -!- AaronvanW [~AaronvanW@user/AaronvanW] has joined #bitcoin-wizards
05:12 -!- the_mariner [~Thunderbi@177.37.233.227] has quit [Remote host closed the connection]
05:13 -!- the_mariner [~Thunderbi@2804:29b8:518d:a89:146d:b0a3:cf1e:cd42] has joined #bitcoin-wizards
06:00 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has quit [Quit: = ""]
07:05 -!- deusexbeer [~deusexbee@2a03:d000:181:b301:9477:56d3:f6b7:3e34] has quit [Ping timeout: 268 seconds]
07:34 -!- pablomartin [~pablomart@185.137.36.17] has joined #bitcoin-wizards
08:31 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
08:35 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #bitcoin-wizards
08:36 -!- Guyver2 [~Guyver@77-174-98-73.fixed.kpn.net] has left #bitcoin-wizards [Closing Window]
09:52 < jeremyrubin> andytoshi: i'd love to see if it exists, a bitcoin script interpreter implemented in simplicity. unclear to me if it can be done (or you need to template out an interpreter for scripts up to 4M opcodes or something). 
10:11 -!- Tosho [~Tosho@2a02:908:1a60:ca0:894b:4474:33ad:1896] has quit [Quit: Client closed]
10:54 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
11:04 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #bitcoin-wizards
11:31 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
11:49 < andytoshi> can probably do an unbounded interpreter using the disconnect combinator
11:49 < andytoshi> though any actual execution would be bounded, ofc
11:50 < andytoshi> the hardest part by far would be converting the weird C++ shit to simplicity. maaybe we can do it by implementing riscv in simplicity and then using gcc to compile the interpreter in Core
11:50 < andytoshi> but the result would be very unlikely to be useful ... there'd be so much cruft from the layers of abstraction that you couldn't like, define and prove interesting claims about script behavior
11:50 < andytoshi> at least, not tractable
11:51 < andytoshi> whereas a "direct" implementation where like, ROT and SWAP and stuff were tiny simplicity circuits, probably would enable you to prove nontrivial things
11:52 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #bitcoin-wizards
13:34 -!- deusexbeer [~deusexbee@2a03:d000:183:88f7:3884:75b7:804e:449f] has joined #bitcoin-wizards
13:48 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
14:32 -!- jonatack [~jonatack@user/jonatack] has joined #bitcoin-wizards
14:32 -!- Soniax [~Soniax@129.222.210.115] has joined #bitcoin-wizards
14:34 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 264 seconds]
15:00 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #bitcoin-wizards
15:51 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
16:20 -!- jon_atack [~jonatack@user/jonatack] has joined #bitcoin-wizards
16:22 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 256 seconds]
17:17 -!- AaronvanW [~AaronvanW@user/AaronvanW] has quit [Remote host closed the connection]
17:48 -!- AaronvanW [~AaronvanW@user/AaronvanW] has joined #bitcoin-wizards
18:22 -!- AaronvanW [~AaronvanW@user/AaronvanW] has quit [Ping timeout: 256 seconds]
18:56 -!- Soniax [~Soniax@129.222.210.115] has quit [Quit: Client closed]
19:09 -!- twistedline [~bitcoin@185.193.125.44] has joined #bitcoin-wizards
19:28 -!- DeanGuss [~dean@user/deanguss] has quit [Quit: buhbye]
19:30 -!- DeanGuss [~dean@nonplayercharacter.me] has joined #bitcoin-wizards
19:30 -!- DeanGuss [~dean@user/deanguss] has changed host
20:20 -!- AaronvanW [~AaronvanW@user/AaronvanW] has joined #bitcoin-wizards
20:34 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has joined #bitcoin-wizards
20:38 -!- Ademan [~ademan@47.185.95.178] has quit [Quit: leaving]
20:39 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has quit [Remote host closed the connection]
20:39 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has joined #bitcoin-wizards
20:52 -!- AaronvanW [~AaronvanW@user/AaronvanW] has quit [Ping timeout: 260 seconds]
21:03 -!- javi404 [~quassel@2601:582:0:2c41:91ca:6895:2072:3474] has quit [Ping timeout: 268 seconds]
21:07 -!- javi404 [~quassel@c-73-1-238-68.hsd1.fl.comcast.net] has joined #bitcoin-wizards
21:16 -!- jonatack [~jonatack@user/jonatack] has joined #bitcoin-wizards
21:18 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds]
21:25 -!- pablomartin [~pablomart@185.137.36.17] has quit [Ping timeout: 264 seconds]
22:52 -!- AaronvanW [~AaronvanW@user/AaronvanW] has joined #bitcoin-wizards
23:01 -!- RD_Von_HighAF [~quassel@102.132.234.128] has joined #bitcoin-wizards
23:12 -!- RD_Von_HighAF [~quassel@102.132.234.128] has left #bitcoin-wizards []
23:22 -!- AaronvanW [~AaronvanW@user/AaronvanW] has quit [Ping timeout: 264 seconds]
--- Log closed Sat Mar 23 00:00:34 2024