Thanks 伯恩·李!!! (Berna Lee?) I agree totally.
My understanding is that Ethereum smart contracts could be relatively expensive (computationally, and thus in terms of coin value based in part based on electricity, and thus in terms of real money) if they have to be evaluated as a permanent part of the blockchain.
I think the idea of The Lightning Network is to only invoke the blockchain (by evaluating the code of the smart contract) when needed (to enforce the deal, as you said: “Computer programs only act as judges under mistrust.
Thanks for stopping by!