История изменений
Исправление fulmar_lor, (текущая версия) :
Никакой 100%-ной гарантии не может быть т.к. почти в любом по есть баги. Формальная верификация спасла бы, но на это ни у кого денег и сил нет, потому что это надо с самого нуля всё переписывать, включая ОС и т.д., и верифицировать.
yggdrasil же вообще не про анонимность.
Исходная версия fulmar_lor, :
Никакой 100%-ной гарантии не может быть т.к. почти в любом по есть баги. Формальная верификация спасла бы, но на это ни у кого денег и сил нет, потому что это надо с самого нуля всё переписывать, включая ОС и т.д., и верифицировать.