--- Log opened Fri Mar 06 00:00:19 2020
00:02 -!- nick_fre_ [~nick_free@2001:16b8:3018:3d00:38c3:5530:3689:8011] has joined #utreexo
00:04 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:341e:cdd3:c4fd:2b7d] has quit [Ping timeout: 256 seconds]
00:06 -!- nick_fre_ [~nick_free@2001:16b8:3018:3d00:38c3:5530:3689:8011] has quit [Ping timeout: 240 seconds]
02:04 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:ddd1:e32d:df8f:c5f9] has joined #utreexo
02:08 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:ddd1:e32d:df8f:c5f9] has quit [Ping timeout: 240 seconds]
04:05 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has joined #utreexo
04:10 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has quit [Ping timeout: 256 seconds]
04:16 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has joined #utreexo
04:21 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has quit [Remote host closed the connection]
04:25 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has joined #utreexo
05:32 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has quit [Remote host closed the connection]
05:34 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has joined #utreexo
05:50 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has quit [Remote host closed the connection]
05:51 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has joined #utreexo
05:59 -!- rafalcpp_ [~racalcppp@ip-178-211.ists.pl] has quit [Ping timeout: 256 seconds]
06:20 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has quit [Remote host closed the connection]
06:20 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has joined #utreexo
06:45 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:d75:fdf1:a481:5dfd] has quit [Remote host closed the connection]
07:18 -!- nick_freeman [~nick_free@92.116.131.240] has joined #utreexo
07:21 -!- nick_freeman [~nick_free@92.116.131.240] has quit [Remote host closed the connection]
07:21 -!- nick_fre_ [~nick_free@2001:16b8:3018:3d00:4413:220d:f8b0:6757] has joined #utreexo
07:22 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:9081:6fa6:3795:8099] has joined #utreexo
07:26 -!- nick_fre_ [~nick_free@2001:16b8:3018:3d00:4413:220d:f8b0:6757] has quit [Ping timeout: 256 seconds]
07:30 -!- nick_fre_ [~nick_free@92.116.131.240] has joined #utreexo
07:30 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:9081:6fa6:3795:8099] has quit [Ping timeout: 256 seconds]
09:30 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Ping timeout: 240 seconds]
09:32 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined #utreexo
09:51 < kcalvinalvin> ysangkok ProveBlock() is used to generate the proof for one block's spends (TxIn). It's the main workhorse right now
09:51 < kcalvinalvin> https://github.com/mit-dci/utreexo/blob/83e7e98d3fcd4679bd8e7e5a28614ef3542194e8/cmd/bridgenode/genproofs.go#L204
09:52 < ysangkok> yeah, i saw it is being used, and i tested it, and it works
09:52 < ysangkok> i just don't understand what ProveMany is for?
09:52 < kcalvinalvin> Provemany only seems to be used for general testing in the early days
09:52 < kcalvinalvin> Prob don't need it
12:31 -!- nick_fre_ [~nick_free@92.116.131.240] has quit [Remote host closed the connection]
12:34 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has joined #utreexo
12:36 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has quit [Remote host closed the connection]
12:37 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has joined #utreexo
12:39 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has quit [Remote host closed the connection]
12:39 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has joined #utreexo
12:43 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has quit [Read error: Connection reset by peer]
12:44 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has joined #utreexo
12:48 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has quit [Remote host closed the connection]
12:58 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has joined #utreexo
12:59 -!- nick_fre_ [~nick_free@92.116.131.240] has joined #utreexo
13:02 -!- nick_fre_ [~nick_free@92.116.131.240] has quit [Remote host closed the connection]
13:03 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:8d9c:394a:b7a6:7e0b] has quit [Ping timeout: 256 seconds]
13:11 -!- Netsplit *.net <-> *.split quits: ysangkok, pigeons
13:11 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:c5e2:b7fc:95c9:115d] has joined #utreexo
13:12 -!- nick_fre_ [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has joined #utreexo
13:12 -!- Netsplit over, joins: pigeons, ysangkok
13:16 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:c5e2:b7fc:95c9:115d] has quit [Ping timeout: 256 seconds]
13:18 -!- nick_fre_ [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has quit [Remote host closed the connection]
13:21 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has joined #utreexo
16:45 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has quit [Remote host closed the connection]
16:46 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has joined #utreexo
18:01 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has quit [Remote host closed the connection]
18:01 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has joined #utreexo
18:43 -!- nick_fre_ [~nick_free@2001:16b8:3058:ab00:3d2b:f6e2:1d5d:6feb] has joined #utreexo
18:46 -!- nick_freeman [~nick_free@2001:16b8:3018:3d00:55f7:250f:eed4:73ac] has quit [Ping timeout: 240 seconds]
19:45 -!- nick_fre_ [~nick_free@2001:16b8:3058:ab00:3d2b:f6e2:1d5d:6feb] has quit [Remote host closed the connection]
20:05 < ysangkok> kcalvinalvin: hey, are you there?
20:33 < kcalvinalvin> ysangkok Hey
20:38 < ysangkok> kcalvinalvin: i am toying with forest. and i wrote this program, https://gist.github.com/ysangkok/b0a23aebacfb932b1541c020f1c57e8a
20:38 < ysangkok> kcalvinalvin: what i don't understand, is how the proof validates if i have withExtra=true, but not if i don't
20:38 < ysangkok> kcalvinalvin: can you see something wrong with my test?
20:39 < kcalvinalvin> I'll look
20:41 < ysangkok> maybe i have misunderstood the argument to ProveBlock, and it is not actually the hash you want a proof for? hmm
21:27 < kcalvinalvin> ysangkok Ok so I think my suspicion is that it's because we don't remap the forest on a height decrease
21:37 < kcalvinalvin> In forest, right now it doesn't delete the old hashes nor does it change the forest height. So I think it's just grabbing the old forest hashes
21:38 < kcalvinalvin> 8 leaves to 7 leaves is a height decrease so everything will be the same (since forest height always goes up as new UTXOs are created). So there 
21:39 < kcalvinalvin> 's no code to change the forest based on the assumption that it'll go up and everything will be overwritten anyways
21:39 < kcalvinalvin> adiabat Do correct me if I'm off here
21:40 < kcalvinalvin> So I think your test is correct in the sense that that's how forest *should* work.
21:44 < kcalvinalvin> When withExtra=false, you only have 7 leaves. The 7th leaf is its own tree so during a delete, that gets removed and another gets added. This is a really simple change so the code is correct in that it grabs the newly added leaf
--- Log closed Sat Mar 07 00:00:16 2020