公开了方法、非暂时性计算机可读介质和查询验证设备，其接收数据，将数据存储到数据库的表中，并接收与数据库表相关联的查询。针对查询生成查询计划和查询结果，从一个或多个承诺生成一个或多个部分证明，并从一个或多个部分证明生成总体证明。在一些示例...