@dajbelshaw I haven't read 'Liars and Outliers' and likely as not the extended argument Schneier makes is cogent. But in the small confines of the above quote, I am not sure I would agree.

Trust is a relationship between trustor and trustee in which the trustor believes the trustee will do what is expected. I would agree that verification alone isn't 'trust,' only a component of the process, but that doesn't preclude a trustor / trustee relationship with code or mathematics (I trust the code to do X or that mathematics is reliable and therefore worthy of trust).

In that context, I think 'in code we trust' is a valid statement.

Though, to 'only' place trust in code, as blockchain enthusiasts seem to do, does feel eerily like a scene from a rise of the machines dystopian novel...