数据证明工具 白皮书第7节中使用的体系结构和策略文件可以在“(盲人)同行评审-带有screenshot.zip的策略和Arch文件”中找到。 用于验证文件的工具是DataProVe-v0.9.4-blind.pyc 。 它要求Python 3.8或更高版本才能正确运行。 要运行它,只需双击文件(Windows OS)或使用命令python DataProVe-v0.9.4-blind.pyc (在Linux中) 用户手册包含详细的用户手册和大量示例(包括基于GUI的示例和文本模式示例)。