公开(公告)号：CN111857827A

公开(公告)日：2020-10-30

申请号：CN202010640589.7

申请日：2020-07-06

Applicant: 上海交通大学

Inventor： 张天诩 ,  李明煜 ,  夏虞斌

IPC: G06F9/302 ,  G06F9/38 ,  G06F9/50 ,  G06F21/60 ,  G06F21/64

Abstract: 本发明提供了一种去中心化环境下流水线计算的验证方法和系统及介质，结合密码散列函数和数字签名技术，在去中心化环境下执行流水线计算的过程中生成并保存证据，用户利用计算过程中生成的证据可以验证流水线的最终计算结果是否为根据原始输入数据经过流水线程序得到的。将所有证据串联成证据树，在去中心化环境下证明流水线的最终结果是否为根据原始输入数据经过流水线程序得到的。与现有的去中心化计算相比，赋予用户检查结果正确性的能力。

公开(公告)号：CN111857827B

公开(公告)日：2024-04-30

申请号：CN202010640589.7

申请日：2020-07-06

Applicant: 上海交通大学

Inventor： 张天诩 ,  李明煜 ,  夏虞斌

IPC: G06F9/302 ,  G06F9/38 ,  G06F9/50 ,  G06F21/60 ,  G06F21/64

Abstract: 本发明提供了一种去中心化环境下流水线计算的验证方法和系统及介质，结合密码散列函数和数字签名技术，在去中心化环境下执行流水线计算的过程中生成并保存证据，用户利用计算过程中生成的证据可以验证流水线的最终计算结果是否为根据原始输入数据经过流水线程序得到的。将所有证据串联成证据树，在去中心化环境下证明流水线的最终结果是否为根据原始输入数据经过流水线程序得到的。与现有的去中心化计算相比，赋予用户检查结果正确性的能力。