diff --git a/VulnerabilitiesInTheToxOnion.md b/VulnerabilitiesInTheToxOnion.md
index a3f4f66..df3d2cf 100644
--- a/VulnerabilitiesInTheToxOnion.md
+++ b/VulnerabilitiesInTheToxOnion.md
@@ -4,3 +4,4 @@ Known vulnerabilities in the tox onion:
 * <https://github.com//zugz/tox-onionPathsProposal/blob/master/onionVulns.md>
 * <https://github.com/TokTok/c-toxcore/issues/1121>
 
+[algor1th](https://github.com/algor1th) created a formal model that shows that announcements are linkable, and note trace equivalent to searches. It can be found at https://github.com/algor1th/tox-verification/blob/master/dht.dps. Linkability here means that a public key of a node can be linked to it's ip adress when announcing.