有趣的事实：就在今天一年前，@Cardano 在主网上验证了其第一个 Halo2 零知识证明。