From 14e1ac89fb7f59e36db081ca203323316391978c Mon Sep 17 00:00:00 2001
From: emdee <emdee@no_reply@plastiras.org>
Date: Mon, 26 Sep 2022 01:05:19 +0200
Subject: [PATCH] Update 'VulnerabilitiesInTheToxOnion'

---
 VulnerabilitiesInTheToxOnion.md | 1 +
 1 file changed, 1 insertion(+)

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.