使用调解器计算机系统确保计算机程序正确执行的系统和方法技术方案

技术编号:41371086 阅读:22 留言:0更新日期:2024-05-20 10:16
在分布式系统中,第一计算机系统可能需要由第二计算机系统执行的计算(例如,作为程序执行的一部分执行)的真实性和完整性的在计算上可验证的保证。本文描述的方法可以被用于实施和/或确保程序的正确执行。第一计算机系统可以将程序的执行委托给第二计算机系统,并且可以采用协议来约束第二计算机系统以执行程序的正确执行。协议可以包括减轻和校正例程,其减轻和/或校正程序的不正确执行。在本文描述的各种系统和方法中,协议可以利用区块链网络。

【技术实现步骤摘要】

本专利技术总体上涉及确保在分布式计算环境中计算机程序的正确执行,更具体地,涉及用于确保程序正确执行的协议,其中第一计算实体将程序的执行委托给第二计算实体。本专利技术特别适合于但不限于在区块链网络中使用。


技术介绍

1、在本文中,术语“区块链(blockchain)”一词可指任何一种电子的、基于计算机的分布式账本(distributed ledgers)。这些包括基于共识的区块链和交易链技术、许可及未许可的账本、共享账本及其变型。应该注意的是,本专利技术不限于与特定区块链一起使用;可选的区块链实现和协议,包括非商业应用,也落入本专利技术的范围内。

2、区块链是点对点的电子账本,其被实现为基于计算机的、去中心化的分布式系统,该系统由区块组成,区块又可以由交易(transaction)和其他信息组成。在一些示例中,“区块链交易”是指对包括数据和条件集合的字段值的结构化集合进行编码的输入消息,其中满足条件集合是将字段集写入区块链数据结构的先决条件。例如,每个交易是对区块链系统中参与者之间的数字资产的控制转移进行编码的数据结构,并且包括至少一个输入和至少本文档来自技高网...

【技术保护点】

1.一种计算机实现的方法,包括:

2.根据权利要求1所述的方法,还包括:

3.根据权利要求2所述的方法,其中所述认证是零知识证明,并且所述零知识证明的正确性由所述工作者计算机系统在计算上可验证。

4.根据任一前述权利要求所述的方法,其中所述输入值是第一输入值,并且所述方法还包括,在所述客户端计算机系统,响应于确定所述第一输入值不正确:

5.根据权利要求4所述的方法,其中计算所述第二输入值包括计算汉明距离。

6.根据任一前述权利要求所述的方法,还包括,在所述客户端计算机系统:

7.根据任一前述权利要求所述的方法,其中使...

【技术特征摘要】

1.一种计算机实现的方法,包括:

2.根据权利要求1所述的方法,还包括:

3.根据权利要求2所述的方法,其中所述认证是零知识证明,并且所述零知识证明的正确性由所述工作者计算机系统在计算上可验证。

4.根据任一前述权利要求所述的方法,其中所述输入值是第一输入值,并且所述方法还包括,在所述客户端计算机系统,响应于确定所述第一输入值不正确:

5.根据权利要求4所述的方法,其中计算所述第二输入值包括计算汉明距离。

6.根据任一前述权利要求所述的方法,还包括,在所述客户端计算机系统:

7.根据任一前述权利要求所述的方法,其中使所述第二程序在所述区块链数据结构上可用,包括,在所述客户端计算机系统,使区块链交易被挖掘到所述区块链数据结构,其中所述区块链交...

【专利技术属性】
技术研发人员:亚历山卓·科瓦奇西蒙娜·马代奥帕特里克·蒙特利斯基史蒂芬·文森特
申请(专利权)人:区块链控股有限公司
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1