5.4 非交互式零知识证明