5.3.2 ZKP跨链原理及难点