--- Day changed Tue Jul 21 2020 00:20 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection] 00:23 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 02:22 -!- dr-orlovsky [~dr-orlovs@194.230.158.115] has joined ##miniscript 02:26 -!- dr_orlovsky [~dr-orlovs@2001:171b:c9ab:8170:e075:a25f:342d:958c] has joined ##miniscript 02:30 -!- dr-orlovsky [~dr-orlovs@194.230.158.115] has quit [Ping timeout: 240 seconds] 02:53 -!- dr_orlovsky [~dr-orlovs@2001:171b:c9ab:8170:e075:a25f:342d:958c] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 04:35 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Remote host closed the connection] 04:45 -!- jeremyrubin [~jr@2601:645:c200:f539:80dd:c5af:615d:d30c] has quit [Ping timeout: 260 seconds] 04:45 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined ##miniscript 07:56 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack] 08:14 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 09:16 -!- jeremyrubin [~jr@2601:645:c200:f539:c03f:40d9:1aa8:e444] has joined ##miniscript 10:02 < darosior> Hi, why does an N-of-N policy with N>15 compiles to: 10:02 < darosior> CHECKSIG SWAP CHECKSIG ADD SWAP CHECKSIG ADD SWAP ... CHECKSIG ADD N EQUAL 10:02 < darosior> And not to: 10:02 < darosior> CHECKSIGVERIFY CHECKSIGVERIFY CHECKSIGVERIFY ... CHECKSIG 10:02 < darosior> While the latter Script seems more efficient, is there a flow with it ? 10:04 < sipa> which codebase? 10:06 < darosior> rust-miniscript 10:06 < darosior> Didn't try with the C++ one (yet?), just wanted to know if there was an obvious flow with the second one I didn't know about 10:12 < sanket1729> sipa: this is the thresh k == n where the compilation is not translated to `AND` 10:14 < sipa> my compiler will compile thresh(n,pk(P1),pk(P2),...,pk(Pn)) to darosior suggests 10:14 < sipa> though not for n>15, which i need to investigate 10:17 < sanket1729> darosior: For a general `k` it is difficult to guarantee optimal compilation. So, the (even the c++ one) compiler directly maps CHECKSGIG SWAP ..... . But for k = 1 and k = n, we can do better by treating them as or() and and() respectively which the rust-codebase does not currently do. 10:18 < darosior> Thanks for the answers 10:18 < darosior> sanket1729: PR would be welcome for this on rust-miniscript ? 10:19 < sipa> yeah, the c++ code just tries treating thresholds with k=n as a sequence of ands, and with k=1 as a sequence of ors 10:19 < sanket1729> Yeah :) 10:19 < sipa> and tries compiling those as well 10:29 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack] 11:02 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 11:52 -!- afk11` [~afk11@gateway/tor-sasl/afk11] has quit [Remote host closed the connection] 11:52 -!- afk11` [~afk11@gateway/tor-sasl/afk11] has joined ##miniscript 12:02 -!- shesek [~shesek@5.22.128.126] has quit [Read error: Connection reset by peer] 15:04 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in] 15:07 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript 16:07 -!- shesek [~shesek@5.22.128.126] has joined ##miniscript 22:39 -!- shesek [~shesek@5.22.128.126] has quit [Ping timeout: 260 seconds] 22:39 -!- shesek [~shesek@5.22.128.126] has joined ##miniscript 22:59 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 256 seconds]