gilbertchen
commented
8 years ago Once I get the official release out, I'll write up a paper that should include a formal proof of the two-step fossil collection algorithm.
Open RobLewis opened 8 years ago
gilbertchen
commented
8 years ago Once I get the official release out, I'll write up a paper that should include a formal proof of the two-step fossil collection algorithm.
Admittedly I'm in over my head here because I'm not a Computer Scientist, but I wonder if there is anything like a formal proof that your technology and algorithms are completely data safe? (I'm not talking about implementation bugs, but the actual formal design.)