Inside ZeroSync: how zero-knowledge proofs are making a massive advance toward instant bitcoin node sync.