Bezpečnost skrze matematiku. Záruky prostřednictvím decentralizace.