--- Log opened Thu Apr 30 00:00:08 2020
01:56 -!- gchain [gustafmatr@gateway/shell/matrix.org/x-fasvsanzbifsmmhd] has quit [Quit: killed]
02:11 -!- gchain [gustafmatr@gateway/shell/matrix.org/x-vdrrdplqyzgjgsyw] has joined #utreexo
09:01 < ja> rjected: wow cool, i am curious to see how it looks. but i don't know if i can provide useful feedback
09:51 < kcalvinalvin> rjected that's cool and I'd be interested in taking a look. Do mind that the software itself is still not alpha though
09:57 < rjected> kcalvinalvin: yeah it's based on what is in the paper, I do understand the code is changing quite a bit
09:57 < ja> rjected: which tools are you using?
09:58 < rjected> the end goal is to understand how hash size effects security but I'm not quite there yet
09:59 < ja> i wanted to do a proof but i don't have experience working with things like observational equivalence
09:59 < rjected> ja: I'm not fuzzing or doing formal verification or anything, it's a theoretical analysis / formal proof
09:59 < ja> aaah, i had assumed it was with some proof assistent :O
09:59 < ja> but of course a machine-verified proof will be easier with a paper proof ;)
10:00 < ja> somebody recommended me to take a look at ProVerif
10:01 < ja> rjected: what is some literature you think is relevant for understanding the techniques of your proof?
10:05 < rjected> ja: there are plenty of resources on cryptographic accumulators, https://eprint.iacr.org/2015/087 is the most relevant that I have in mind
10:14 < kcalvinalvin> rjected Ah ok. One thing to note would be that the deletion outline in the main section of the paper isn't being used since it's slow. Would be better to focus on the Batch deletion process outlined in the Appendix
10:30 < rjected> kcalvinalvin: makes sense, I'll keep that in mind
13:53 -!- Netsplit *.net <-> *.split quits: cfields, kanzure
13:53 -!- Netsplit over, joins: cfields, kanzure
15:10 -!- gojiHmPFPN [~textual@c-73-47-220-190.hsd1.ma.comcast.net] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
15:58 -!- gojiHmPFPN [~textual@c-73-47-220-190.hsd1.ma.comcast.net] has joined #utreexo
16:25 -!- gojiHmPFPN [~textual@c-73-47-220-190.hsd1.ma.comcast.net] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
17:16 < ja> adiabat: sent you a PR for fixing the CI
--- Log closed Fri May 01 00:00:08 2020