"Blockchains are computers that can make commitments. Traditional computers are ultimately controlled by people, either directly or indirectly; blockchains invert this power relationship, putting the code in charge"

Really hits the crux of this futile effort. Trust cannot be formally defined. Trust is an ever-changing subjective belief done in an unknown world.

The stereotype of a libertarian crypto advocate who is really into bayesian inference is not a coincidence. They are micro-fascists: given time and information supposedly everyone would converge on the same indisputable truth (which I happen to currently hold) and act in the same optimal rational way.

The irony is that you don't even need to bring the human condition into the argument. The mathematics they so revere practically scream that there are fundamentally inherent limits. Solomonoff induction is incomputable. There is no free lunch. Why continue this march of madness?