Zero-knowledge proofs have powered the development of Ethereum layer 2s — and now they’re coming to Bitcoin.