Вообще, грубо говоря, понятия "грязные" биткойны не существует. Есть биткойны и всё. Ни грязные, не чистые. Просто биткойны

По поводу доказательств сделки - на практике вы вообще мало что кому докажите, даже с обычным on-chain. Практика такова, что чтобы что-то доказать, надо потратить много ресурсов, оплатить адвокатам, которые будут "сосать" деньги из клиента, другая сторона будет подавать опровержения и всё скорее всего кончится тем, что через несколько лет малокомпетентный судья просто поверит прокуратуре и её заявлениям. Вероятность того, что сделка в on-chain при обмене вам поможет больше, чем сделка в Lightning - настолько ничтожна, что на это можно закрыть глаза.

Вот представьте гипотетически - вы продавали биткойн на Bisq,  вам отправили деньги, вы отдали биткойн. Через какое-то время отправитель денег говорит, что он ошибся и, даже если, у вас изымают платёж обратно (хотя мало где делают откат, кроме разве что Paypal), то вы не докажите скринами Bisq и ссылкой на биткойн транзакцию ровным счётом ничего. Отправитель денег может сказать, что скрин вы подделали, а транзакция - она ему не известна и в добавок может сказать, что вы просто нашли в блокчейн подобную на примерно такую сумму и предъявили, как доказательство. И докажите, что это не так! Даже криптоконтракт Bisq, где есть реквизиты отправителя и получателя - ничего не доказывают. Зная ваш счёт, я могу сделать а-ля Bisq с вашими реквизитами и провести обмен биткойна с "вашим" аккаунтом Bisq с моим аккаунтом Bisq. Для этого даже банк не нужен. Но ведь в этом не будет вашей вины, верно?

То, что следов не остаётся от сделки - это не "баг", а "фича". За что многие и ценят Robosats. Я пользовался и Bisq и Robosats. Мне последний нравится именно тем, что комиссии там мизерные за обмен, всё происходит очень быстро. Это очень удобно. На Bisq после этого даже не хочется возвращаться.