互联网 区块链 如何将交互式的零知识证明(zk proof)协议改造为非交互式前言零知识证明中的 Challenge哈希函数(Hash Function)Fiat-Shamir 启发式(Heuristic)非交互式