ZK architecture, but for Bitcoin.