--- Log opened Tue Apr 16 00:00:28 2024
00:05 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
00:05 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
00:09 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 260 seconds]
00:31 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
00:36 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 256 seconds]
00:51 -!- Earnestly [~earnest@user/earnestly] has joined ##miniscript
01:06 -!- brunoerg [~brunoerg@187.183.43.117] has joined ##miniscript
01:28 -!- lbia [~lbia@user/lbia] has joined ##miniscript
03:29 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 256 seconds]
03:30 -!- DeanGuss [~dean@user/deanguss] has quit [Ping timeout: 268 seconds]
03:31 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
03:38 -!- DeanGuss [~dean@nonplayercharacter.me] has joined ##miniscript
03:38 -!- DeanGuss [~dean@user/deanguss] has changed host
04:51 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
04:53 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 255 seconds]
05:16 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
05:17 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds]
05:36 -!- brunoerg [~brunoerg@187.183.43.117] has quit [Remote host closed the connection]
06:59 <@andytoshi> darosior: yeah... though it may be a bit difficult in general. like, in principle if you OP_ADD two arbitrary script numbers, the result might not be a script number anymore
07:00 <@darosior> true
07:00 <@andytoshi> so would we need to encode rules of arithmetic into our type system? or say "as soon as you do one numeric op, you leave the numeric opcodes behind"? or say "we assume all numbers are very small, you are on your own if you use big ones"
07:01 <@andytoshi> i wonder if Chris_Stewart would be amenable to extending his 64-bit arithmetic BIP to also add 64-bit CSV/CLTV opcodes
07:01 <@andytoshi> i guess that'd like, double the complexity of his proposal, and introduce a ton of bikeshedding opportunity
07:01 <@andytoshi> but it would give us a great jumping-off point to define miniscript2 in terms of the new opcodes
07:13 <@darosior> OP_ADD64 but it fails execution if it would overflow. Same with SUB
07:13 <@darosior> Anyways it's probably not all that useful if it's only to compute threshold values
07:22 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has quit [Ping timeout: 260 seconds]
07:22 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined ##miniscript
07:31 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:ffff:fff3] has joined ##miniscript
07:47 <@andytoshi> yeah, i think that was our reasoning for doing the current thing
07:48 <@andytoshi> several ways that we could improve/generalize but none are specifically useful so hard to decide
08:19 -!- brunoerg_ [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has joined ##miniscript
08:23 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:ffff:fff3] has quit [Ping timeout: 260 seconds]
08:27 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
08:28 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined ##miniscript
08:46 -!- brunoerg_ [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has quit [Remote host closed the connection]
08:50 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 264 seconds]
09:01 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has joined ##miniscript
09:06 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has quit [Ping timeout: 260 seconds]
09:21 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has joined ##miniscript
09:50 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has quit [Remote host closed the connection]
10:05 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
10:06 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 256 seconds]
10:17 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
10:17 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds]
10:25 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:ffff:fff3] has joined ##miniscript
11:08 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:ffff:fff3] has quit [Remote host closed the connection]
11:20 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:ffff:fff3] has joined ##miniscript
13:45 -!- brunoerg_ [~brunoerg@www.labes.icmc.usp.br] has joined ##miniscript
13:49 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:ffff:fff3] has quit [Ping timeout: 272 seconds]
13:51 < jeremyrubin> <a> <b> OP_ADD DUP SIZE 5 LT VERIFY
13:52 < jeremyrubin> andytoshi safemath(TM)
14:11 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
14:12 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined ##miniscript
14:16 <@andytoshi> hehe, that could work, though it's not substantially better than just blindly trying to use 5-byte values in later arithmetic opcodes
14:16 <@andytoshi> in both cases if you overflow your script fails
14:30 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 255 seconds]
14:33 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
14:37 -!- brunoerg_ [~brunoerg@www.labes.icmc.usp.br] has quit [Remote host closed the connection]
17:44 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
17:49 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 255 seconds]
18:17 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
18:22 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 268 seconds]
18:49 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
18:54 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 268 seconds]
19:06 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
19:11 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 246 seconds]
19:39 -!- brunoerg [~brunoerg@187.183.43.117] has joined ##miniscript
19:44 -!- brunoerg [~brunoerg@187.183.43.117] has quit [Ping timeout: 252 seconds]
20:01 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
20:07 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 260 seconds]
20:20 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
20:27 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 268 seconds]
20:41 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
21:11 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 240 seconds]
21:40 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
21:52 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 268 seconds]
22:02 -!- andytoshi [~apoelstra@user/andytoshi] has quit [Ping timeout: 272 seconds]
22:02 -!- andytoshi [~apoelstra@user/andytoshi] has joined ##miniscript
22:12 -!- pyth [~pyth@116.110.40.68] has joined ##miniscript
22:21 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
22:27 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has quit [Ping timeout: 255 seconds]
22:48 -!- brunoerg [~brunoerg@187.183.43.117] has joined ##miniscript
22:53 -!- brunoerg [~brunoerg@187.183.43.117] has quit [Ping timeout: 252 seconds]
23:06 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:3d3f:a9ab:eacd:b52c] has joined ##miniscript
--- Log closed Wed Apr 17 00:00:29 2024