Mathematical guarantees and connecting islands (because blockchains are like islands)