I got to see the limits of this style of thinking through my work on collusion:
https://vitalik.ca/general/201...
https://vitalik.ca/general/202...
Basically, the problem with pushing everything into a formal system is that almost any formal system with more than 2 participants is attackable.
通过我在共谋方面的工作，我看到了这种思维方式的局限性：
https://vitalik.ca/general/201...
https://vitalik.ca/general/202...
基本上，将所有内容都推到正式系统中的问题在于，几乎任何参与者超过2人的正式系统都是可攻击的。