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