零知識證明的技術路徑之爭:zk-SNARK 和 zk-STARK 誰更優?

短期與長期。