--- Log opened Thu Jan 07 00:00:08 2021
05:05 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection]
06:28 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
06:29 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #utreexo
06:35 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined #utreexo
13:15 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
13:15 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #utreexo
17:43 < ja> adiabat: i think i succeeded in making a non-deterministic algorithm of which remtrans2 is an instance.  i think my algotihm removes elements in a way it is allowed to
17:44 < ja> but if we take e.g. the 4-leaf tree, and delete leaves 0 and 2, leaf 3 will end up at position 0 and leaf 1 says put
17:44 < ja> but it might as well be other other way around, since there are proofs for both those leaves
17:47 < ja> i was thinking it could be something about whether a node was swapped an odd or even number of times. but in relation to what?
--- Log closed Fri Jan 08 00:00:09 2021