Bitcoin has all sorts of lightweight clients that have to trust their parent nodes. This trust can be removed with zk-proofs. See one such project: #256267 I hope to see more of that, for example watchtowers that can prove to you that your lightning channel is not being closed or SPV wallets that can prove to you that you haven't received a payment.