The “github” word in the paper is clickable and redirects to the github repo. It appears to become highlighted only when it is in PDF format, thanks for indirec

The “github” word in the paper is clickable and redirects to the github repo. It appears to become highlighted only when it is in PDF format, thanks for indirectly pointing that out. The presence proofs are as you said probabilistic, whereas the absence proofs are non-probabilistic. In our specific use case (which we’ll explain in a future paper) the false positive nature of the bloom tree becomes actually handy to the problem we try to solve. But you are correct, we should probably rephrase the sentence to make it clear that the presence proofs are probabilistic and can be false positives, thank you for your feedback. We wrongfully assumed that this would be clear after explaining the probabilistic nature of bloom filters.