自由的未来取决于ZK证明。