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