--- Log opened Sun Jan 23 00:00:38 2022
04:53 < kcalvinalvin> adiabat Before deletion, does the parent of the leaf to be deleted need to be there?
04:54 < kcalvinalvin> 14
04:54 < kcalvinalvin> |---------------\
04:54 < kcalvinalvin> 12              13
04:54 < kcalvinalvin> |-------\       |-------\
04:54 < kcalvinalvin> 08      09      10      11
04:54 < kcalvinalvin> |---\   |---\   |---\   |---\
04:54 < kcalvinalvin> 00  01  02  03  04  05  06  07
04:54 < kcalvinalvin> So like if we're deleting 00, then 08 has to be present right?
12:56 -!- Earnestly [~earnest@user/earnestly] has joined #utreexo
14:21 < adiabat> kcalvinalvin: It probably will be present, because for 00 to be verified, the proof (01, 09, 13) was checked, which results in 08, 12
14:21 < adiabat> but the algorithm doesn't need 08 to be there in order to delete 00
14:22 < adiabat> you could have a "delete without verify" where you only know 00, 01, 09, 13 and delete 00
14:25 < adiabat> this is the same with swapless; you don't need to know what 08 is to read 01 and write it to 08
19:49 < kcalvinalvin> adiabat could you look at issue 337
19:50 < kcalvinalvin> With multi-block proofs, you don't verify before modification
19:50 < kcalvinalvin> So getting an error
--- Log closed Mon Jan 24 00:00:39 2022