alt Hacker News> No formulation of the law will solve this.
It's a tall claim, given a proper formalization (say under democratic control), malicious counterparty just can't force the national formal verifier to pronounce this or that if it doesn't follow.
> No formulation of the law will solve this.
It's a tall claim, given a proper formalization (say under democratic control), malicious counterparty just can't force the national formal verifier to pronounce this or that if it doesn't follow.
My point is, the "national formal verifier" doesn't enter the picture. The entity in the role of a formal verifier in this story gave the correct answer and it didn't help.