--- Log opened Wed Apr 29 00:00:06 2020
02:57 < rjected> I'm making progress on some proofs for utreexo, anyone want to give feedback?
02:57 < rjected> sorry should specify type of proof, I mean security proof
04:55 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection]
04:58 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined #utreexo
06:35 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Ping timeout: 240 seconds]
06:36 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined #utreexo
13:36 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Quit: jb55]
16:56 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined #utreexo
--- Log closed Thu Apr 30 00:00:08 2020