--- Day changed Fri Oct 23 2020
00:44 -!- jonatack [~jon@213.152.161.170] has quit [Ping timeout: 264 seconds]     
01:24 < sanket1729> andytoshi: A few miniscript PRs up for review again. #149, #116, #156, #157. 
01:29 -!- jonatack [~jon@213.152.162.74] has joined ##miniscript     
01:39 < sanket1729> sipa, andytoshi: A question about what is a valid miniscript. If there is a miniscript that has atleast one(but not all) spend path which exceeds resource limits, is it still a valid miniscript? 
01:42 < sanket1729> Or we say that Miniscript is always valid, but that some paths may not be spendable. 
01:43 < sanket1729> If we want miniscript to be "consensus and standardness complete", then we cannot allow any resource expensive spendable path to be present a valid miniscript. 
01:58 < sanket1729> c++ version returns true on IsValid(), but false on IsTopSafeTopLevel()
02:04 < sanket1729> Will change the rust version to follow the same. 
03:14 < sanket1729> So, the issue with allowing those is that our generic signer algorithm would be so simple anymore..
03:15 < sanket1729> Since, we would have keep track of multiple other things (bestStackSize, bestOpCodeCount) based on the available satisfactions. 
03:15 < sanket1729> It is not hard to do, but complicates things a bit. 
03:24 -!- martindale [ericfabric@gateway/shell/matrix.org/x-pwilwgmzpzvtwhsj] has quit [Quit: killed]     
03:33 -!- martindale [ericfabric@gateway/shell/matrix.org/x-bntggurzclhqamok] has joined ##miniscript     
03:47 -!- willcl_ark [~quassel@cpc123762-trow7-2-0-cust7.18-1.cable.virginm.net] has quit [Ping timeout: 264 seconds]     
03:54 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]     
03:54 -!- ghost43_ [~daer@gateway/tor-sasl/daer] has joined ##miniscript     
03:58 -!- willcl_ark [~quassel@cpc123762-trow7-2-0-cust7.18-1.cable.virginm.net] has joined ##miniscript     
04:12 -!- jonatack [~jon@213.152.162.74] has quit [Ping timeout: 272 seconds]     
04:23 -!- shesek [~shesek@unaffiliated/shesek] has quit [Remote host closed the connection]     
06:03 -!- jonatack [~jon@213.152.162.114] has joined ##miniscript     
06:04 -!- jonatack [~jon@213.152.162.114] has quit [Client Quit]     
06:04 -!- jonatack [~jon@213.152.162.114] has joined ##miniscript     
06:29 -!- justinmoon [~quassel@157.245.122.126] has quit [Quit: No Ping reply in 180 seconds.]     
06:31 -!- justinmoon [~quassel@157.245.122.126] has joined ##miniscript     
07:37 -!- darosior [~darosior@194.36.189.246] has quit [Quit: Ping timeout (120 seconds)]     
07:47 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Quit: Lost terminal]     
07:47 -!- andytoshi [~apoelstra@wpsoftware.net] has joined ##miniscript     
07:47 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]     
07:47 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined ##miniscript     
07:53 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Remote host closed the connection]     
07:53 -!- andytoshi [~apoelstra@wpsoftware.net] has joined ##miniscript     
07:53 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]     
07:53 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined ##miniscript     
09:51 -!- harding_ [quassel@2600:3c03::f03c:91ff:fe7b:78d1] has joined ##miniscript     
09:52 -!- willcl_ark_ [~quassel@cpc123762-trow7-2-0-cust7.18-1.cable.virginm.net] has joined ##miniscript     
09:52 -!- windsok_ [~windsok@rarepepe.cash] has joined ##miniscript     
09:57 -!- Netsplit *.net <-> *.split quits: harding, windsok, afilini, ghost43_, willcl_ark, Ed0, jb55, sipa
10:05 -!- Ed0 [~edouard@2001:41d0:401:3100::4897] has joined ##miniscript     
10:29 -!- afilini [~user@gateway/tor-sasl/afilini] has joined ##miniscript     
10:33 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined ##miniscript     
10:34 -!- harding_ is now known as harding     
10:36 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript     
10:46 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript     
13:07 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]     
13:07 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript     
13:36 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Ping timeout: 240 seconds]     
13:40 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript     
13:50 -!- Netsplit *.net <-> *.split quits: jeremyrubin, nothingmuch
13:50 -!- Netsplit over, joins: jeremyrubin, nothingmuch
18:25 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in]     
18:27 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
22:47 -!- aj [aj@cerulean.erisian.com.au] has quit [Quit: .]     
23:23 -!- aj [aj@cerulean.erisian.com.au] has joined ##miniscript