本发明涉及数据验证装置、客户端应用、区块链系统、数据验证方法以及数据验证程序。
背景技术：
1、在区块链(bc)技术中，可通过分布式网络中形成共识的过程保证在系统中交换的信息的可靠性，并且能够在系统整体中防止篡改等不合法。因此，正在研究以保证可追溯性为目的而有效利用区块链技术。在有效利用了bc技术的系统中，已登记的数据被bc网络的参与者共享，并且被判断为是合法的数据。因此，需要在将数据登记于系统之前，验证是否是基于规则的输入数据。因此，为了提高数据验证sc(smart contract：智能合约)的可靠性，存在如下技术：在bc中自动地生成数据验证sc，通过使用生成的数据验证sc验证数据，保证验证结果的合法性(例如，非专利文献1)。数据验证sc是用于验证数据的sc。另外，sc是在bc中遵循规定的规则以交易或外部信息等为触发执行的程序。能够通过sc实现数据的验证、数据的登记和数据的参照等。
2、现有技术文献
3、非专利文献
4、非专利文献1：ethereum，“contracts-solidity 0.5.4ドキュメント”，[online]，2019年7月12日，solidity，[2021年11月9日検索]インターネット<url：https：//solidity-jp.readthedocs.io/ja/latest/contracts.html>
技术实现思路
1、发明要解决的课题
2、在非专利文献1公开的技术中，在bc中生成数据验证sc，数据登记sc将由数据验证sc验证后的登记数据登记于分布式账本。数据登记sc是用于登记数据的sc。但是，在该技术中，存在未保证在验证登记数据时使用的数据验证sc是在bc中生成的数据验证sc这样的问题。
3、本发明的目的在于，在使用在bc中生成的数据验证sc验证被请求登记于分布式账本的登记数据的技术中，保证在验证登记数据时使用的数据验证sc是在bc中生成的数据验证sc。
4、用于解决课题的手段
5、本发明的数据验证装置验证构成区块链的服务器中存储的分布式账本中要登记的电子数据，其中，该数据验证装置具有：
6、数据验证部，其执行数据验证处理，在该数据验证处理中，判定被请求登记于所述分布式账本的电子数据即登记数据是否遵循用于验证所述分布式账本中要登记的电子数据的规则即验证规则；
7、数据控制部，其判定是否在所述区块链中生成了与所述数据验证处理对应的程序；以及
8、数据登记部，在判定为在所述区块链中生成了与所述数据验证处理对应的程序的情况下，该数据登记部执行验证登记处理，
9、所述验证登记处理是如下处理：在通过所述数据验证处理判定为所述登记数据遵循所述验证规则的情况下，将所述登记数据登记于所述分布式账本。
10、发明效果
11、根据本发明，数据控制部判定是否在bc中生成与数据验证处理对应的程序。此外，在判定为在bc中生成了与数据验证处理对应的程序的情况下，数据登记部执行验证登记处理。在此，与数据验证处理对应的程序相当于数据验证sc。因此，根据本发明，在使用在bc中生成的数据验证sc验证被请求登记于分布式账本的登记数据的技术中，能够保证在验证登记数据时使用的数据验证sc是在bc中生成的数据验证sc。
1.一种数据验证装置，其验证构成区块链的服务器中存储的分布式账本中要登记的电子数据，其中，该数据验证装置具有：
2.根据权利要求1所述的数据验证装置，其中，
3.根据权利要求2所述的数据验证装置，其中，
4.根据权利要求2所述的数据验证装置，其中，
5.根据权利要求1所述的数据验证装置，其中，
6.根据权利要求2所述的数据验证装置，其中，
7.一种客户端应用，其与构成区块链的服务器进行通信，其中，
8.一种区块链系统，其中，该区块链系统具有：
9.一种计算机执行的数据验证方法，该计算机是验证构成区块链的服务器中存储的分布式账本中要登记的电子数据的数据验证装置，其中，
10.一种计算机执行的数据验证程序，该计算机是验证构成区块链的服务器中存储的分布式账本中要登记的电子数据的数据验证装置，其中，该数据验证程序使所述数据验证装置执行以下处理：
