--- Log opened Mon Oct 25 00:00:13 2021
00:46 -!- Guyver2 [Guyver@guyver2.xs4all.nl] has joined #bitcoin-wizards
00:56 -!- jess [~jess@libera/staff/jess] has quit [Quit: Lost terminal]
01:03 -!- jess [~jess@libera/staff/jess] has joined #bitcoin-wizards
01:08 -!- AaronvanW [~AaronvanW@71pc74.sshunet.nl] has joined #bitcoin-wizards
01:20 -!- harrow [~harrow@static.38.6.217.95.clients.your-server.de] has quit [Quit: Leaving]
01:27 -!- harrow [~harrow@static.38.6.217.95.clients.your-server.de] has joined #bitcoin-wizards
02:05 < yanmaani> no, I mean to use standard SHA-256 or so but use AES-256 for hashing.
02:05 < yanmaani> like, for the hashing of the header
02:10 < yanmaani> because CPUs already have AES-256 ASICs inside of them
03:01 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has joined #bitcoin-wizards
03:02 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Ping timeout: 276 seconds]
04:27 -!- AaronvanW [~AaronvanW@71pc74.sshunet.nl] has quit [Remote host closed the connection]
04:50 -!- AaronvanW [~AaronvanW@71pc74.sshunet.nl] has joined #bitcoin-wizards
09:00 -!- tralfaz [~davterra@143.198.56.186] has quit [Quit: Leaving]
09:15 < ademan[m]> I'm playing with http://bitcoin.sipa.be/miniscript/ a bit, and I'm admittedly out of my depth here, but `or_b(pk(A),s:pk(B))` is noted as non-malleable, and has a unique dissatisfaction, whereas `or_b(pk(A),pk(B))` is non-non-malleable, and has unknown dissatisfaction uniqueness. the `s:` prefix simply does a swap right? given `or_b()` considers both of the top stack items anyways, what is the material difference that `s:` adds? Is
09:15 < ademan[m]> it just helping the static analysis or is there a real difference?
09:19 -!- jamesob [uid180710@id-180710.helmsley.irccloud.com] has joined #bitcoin-wizards
09:41 < _aj_> ademan[m]: without the s: it won't work -- "B CHECKSIG" will take the result of "A CHECKSIG" as the signature it's checking?
09:50 < ademan[m]> _aj_: thanks that makes sense, I guess I thought/hoped I didn't have to worry what was actually happening on the stack
09:51 < _aj_> ademan[m]: the policy level lets you avoid that
09:52 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has joined #bitcoin-wizards
09:53 < _aj_> or(1@pk(A), 1@pk(B))  vs   or(100@pk(A), 1@pk(B))   -- first gives you the script with SWAP/s: second converts the less likely path to use pubkeyhash to save space, but the compiler figurs out all the details
10:04 -!- davterra [~davterra@143.198.56.186] has joined #bitcoin-wizards
10:30 < ademan[m]> thanks, yeah I think I'm also getting a bit confused between miniscript and policy. My original non-contrived "script" contained `multi()` but I guess that doesn't exist in policy specifications? It was ok with `or(thresh(2,pk(A),pk(B)), and(pk(A),after(42)))`
10:33 < ademan[m]> does the dissatisfiability attribute matter for a "top-level"/complete miniscript?  `andor(pk(A),after(42),and_v(v:pk(A),pk(B)))` `14 scriptlen=111 maxops=7 type=B safe=yes nonmal=yes dissat=no input=- output=nonzero timelock_mix=no miniscript=andor(pk(A),after(42),and_v(v:pk(A),pk(B)))`
11:33 -!- gene [~gene@gateway/tor-sasl/gene] has joined #bitcoin-wizards
11:56 -!- t-bast [~t-bast@user/t-bast] has joined #bitcoin-wizards
12:15 -!- gene is now known as mzpetty
12:15 -!- mzpetty is now known as gene
12:20 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has quit [Quit: = ""]
12:25 -!- rbies [~rbies@ool-457cb55e.dyn.optonline.net] has quit [Remote host closed the connection]
12:49 -!- sr_gi [~sr_gi@static-43-117-230-77.ipcom.comunitel.net] has quit [Read error: Connection reset by peer]
12:51 -!- sr_gi [~sr_gi@static-43-117-230-77.ipcom.comunitel.net] has joined #bitcoin-wizards
13:14 -!- t-bast [~t-bast@user/t-bast] has quit [Quit: Leaving]
13:49 -!- yanmaani [~yanmaani@gateway/tor-sasl/yanmaani] has quit [Ping timeout: 276 seconds]
13:57 -!- yanmaani [~yanmaani@gateway/tor-sasl/yanmaani] has joined #bitcoin-wizards
14:18 -!- yanmaani [~yanmaani@gateway/tor-sasl/yanmaani] has quit [Ping timeout: 276 seconds]
14:18 -!- gene [~gene@gateway/tor-sasl/gene] has quit [Quit: gene]
14:45 -!- jesseposner [~jesse@c-24-5-105-39.hsd1.ca.comcast.net] has joined #bitcoin-wizards
15:03 -!- Aaronv___ [~AaronvanW@71pc74.sshunet.nl] has joined #bitcoin-wizards
15:05 -!- AaronvanW [~AaronvanW@71pc74.sshunet.nl] has quit [Ping timeout: 265 seconds]
15:10 -!- CrashTestDummy [~CrashTest@ool-ad02813b.dyn.optonline.net] has joined #bitcoin-wizards
15:13 -!- CrashTestDummy3 [~CrashTest@ool-ad02813b.dyn.optonline.net] has quit [Ping timeout: 244 seconds]
15:23 -!- Guyver2 [Guyver@guyver2.xs4all.nl] has quit [Quit: Going offline, see ya! (www.adiirc.com)]
15:31 -!- jess [~jess@libera/staff/jess] has quit []
16:59 -!- Aaronv___ [~AaronvanW@71pc74.sshunet.nl] has quit [Quit: Leaving...]
17:16 -!- EmmyNoether [~EmmyNoeth@yoke.ch0wn.org] has quit [Ping timeout: 260 seconds]
17:17 -!- waxwing_ [~waxwing@193.29.57.116] has joined #bitcoin-wizards
17:17 -!- waxwing [~waxwing@user/waxwing] has quit [Read error: Connection reset by peer]
17:19 -!- EmmyNoether [~EmmyNoeth@yoke.ch0wn.org] has joined #bitcoin-wizards
17:56 -!- davterra [~davterra@143.198.56.186] has quit [Quit: Leaving]
19:23 -!- db [uid18678@id-18678.helmsley.irccloud.com] has quit [Quit: Connection closed for inactivity]
19:28 -!- plankster [~plankster@user/plankers] has quit [Ping timeout: 244 seconds]
19:32 -!- plankster [~plankster@user/plankers] has joined #bitcoin-wizards
19:41 -!- belcher [~belcher@user/belcher] has quit [Ping timeout: 244 seconds]
19:53 -!- belcher [~belcher@user/belcher] has joined #bitcoin-wizards
19:54 -!- solocshaw [~Thunderbi@gateway/vpn/pia/solocshaw] has joined #bitcoin-wizards
20:22 -!- plankster_ [~plankster@user/plankers] has joined #bitcoin-wizards
20:23 -!- plankster [~plankster@user/plankers] has quit [Ping timeout: 265 seconds]
21:59 -!- jesseposner [~jesse@c-24-5-105-39.hsd1.ca.comcast.net] has quit [Quit: Textual IRC Client: www.textualapp.com]
22:12 -!- jesseposner [~jesse@c-24-5-105-39.hsd1.ca.comcast.net] has joined #bitcoin-wizards
22:17 -!- solocshaw [~Thunderbi@gateway/vpn/pia/solocshaw] has quit [Ping timeout: 265 seconds]
22:22 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has joined #bitcoin-wizards
22:37 -!- plankster_ is now known as plank
22:41 -!- Cory [~Cory@user/pasha] has quit [Ping timeout: 252 seconds]
--- Log closed Tue Oct 26 00:00:14 2021