Если миксер отдаст в блокчейн Вариант 1, то точно будет известно, что у Васи сатоши от бенладена.
Неверно. Вы записали транзакции в миксере так как будто он свою функцию не выполняет (не мешает монеты). А он выполняет, я выше показал как.
Где конкретно вы показали как?
Математика вещь упрямая: сколько угодно можно пытаться доказать, что 2! не равно 2, но доказать этого не получится.
Число возможных размещений двух сатошей по двум местам равно двум - хоть убейся...