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