[godelski]

I'm more of the position of "trust but verify."

The verification process is exceptionally difficult. We're on HN and I think it should be rather common knowledge that attackers almost always beat defenders because the game is asymmetric. Attackers only need to find a single flaw while defenders need to find a large number of defenses. There is a huge difference in the resource expenditures between these two groups. This is related to the reasons why one single person can fuck shit up (e.g. a bad driver can impact tens of thousands of other drivers) but it is difficult for a single person to fix things. It is the nature of unstable equilibria.

A society, of any form, depends on trust. Like it or not, there are no trustless systems available to us. Certainly not at any meaningful scale.

This does not mean one should be negligent, but rather I'm saying that it isn't easy and the best intentioned can still be taken advantage of. We should recognize this and accommodate this fact when approaching solutions or we will end up with many undesired results.