聊聊零知识证明。
常听到的证明系统有 zk-SNARK 与 zk-STARK：很多 zk-SNARK 方案需要可信设置，zk-STARK 不需要。
说实话，下面这条我也是后来才懂：遇到“用了 ZK 技术”的宣传，多问一句具体用于哪个环节，不要只看概念。
$ZK 是 ZK Rollup 网络 ZKsync 的代币。
不要把全部资金压在单个判断上。