第伍要素（上海）数据科技有限公司

本申请提供一种可验证数据执行路径选择方法、电子设备及程序产品。方法包括：获取待处理数据以及针对待处理数据的数据任务；根据待处理数据以及数据任务确定出对应的语义算子，根据预设的执行路径类型，从语义算子图中生成多个候选执行路径；从候选执行路径中确定出通过语义约束验证的候选执行路径，得到初筛执行路径，根据各个初筛执行路径在当前执行环境下的资源预算状态、执行代价以及语义约束情况，从再次通过当前执行环境下的语义约束验证的初筛执行路径中选择出与当前执行环境资源适配最优的目标执行路径；基于目标执行路径进行任务处理，并生成可验证执行等价证明。从而保证基于目标执行路径执行不仅可以节省资源，也可以输出正确结果。