零知识证明的技术路径之争:zk-SNARK 和 zk-STARK 谁更优?

短期与长期。