Yes, so you end up having to select a person that is mutually agreeable between the parties or something, and that person is then responsible for judging the ev

Yes, so you end up having to select a person that is mutually agreeable between the parties or something, and that person is then responsible for judging the evidence. In my experience the problem has been that finding a mutually agreeable person is quite difficult, especially when one side makes a pre-emptive threat to make false allegations about a judge that rules against them :(. I literally ran into this problem in rbtc: https://www.reddit.com/r/btc/comments/589nlj/someone_asked_me_today_whats_the_best_way_to/d8yvydi/?context=3 https://www.reddit.com/r/btc/comments/589nlj/someone_asked_m... (although, again, zk-snarks and formal verification might be workable, but only in situations where all parties can forego making false accusations about who backdoored what or who has secret knowledge about formal verification holes or whatever...)