1.zk是如何实现数据一致性的