自由的未来取决于零知识证明。