1. У всех битков есть входы. Все битки известно откуда взялись их историю можно проследить по транзакциям.
Неверно. Если транзакция использует только входы по 5 битков, а на выходе так же только выходы по 5 битков, то никто, кроме создателя транзакции, не может ничего сказать об истории конкретного выхода. Конечно, при условии что соблюдаются другие требования для обеспечения неотличимости, такие как формат скрипта. 3. Какие сомненья? Получил грязь и не отдал обратно?
Любые утверждения в стиле "ты получил 5/30 грязных битков" не проходят проверку по критерию Поппера. Соответственно, это даже не гипотеза, а чистой воды фэнтези. Я понимаю, что у некоторых нет сомнений в существовании Гэндальфа, но такие случаи рассматривать не будем.Если это будет иметь силу закона, то никуда не денешься - будешь выполнять.
Один вопрос. Если завтра примут закон, согласно которому ты будешь должен раз в неделю являться в префектуру и раздвигать очко перед камерой, то ты тоже "будешь выполнять"? В случае утвердительного ответа дальнейших вопросов, как сам понимаешь, не будет. Извини за слишком наглядный пример, но суть та же.4. Технических проблем в доказательстве нет. Тебе докажут,что делать дальше с доказательствами - вопрос закона который будет это регулировать.
Техническая проблема есть и она непреодолима. Выше написал, почему. Меня удивляет даже, что настолько упорно кто-то черное называет белым. Это на столько спорный момент, что он никогда не получит необходимой 95% поддержки.
Даже если получил бы, было бы очень смешно посмотреть на попытки исполнения.Невозможно формализовать процесс, в основе которого лежит нефальсифицируемая гипотеза. Точно так же, как нельзя описать формальными критериями веру в Бога. А если невозможно формализовать, то невозможно и написать программу... Ну очевидные же вещи говорю.
