本發(fā)明涉及證明生成程序、證明生成方法、信息處理裝置。

背景技術：

1、以往，已知在供應鏈中的可追溯性管理中，應用使用區(qū)塊鏈的分布式賬本技術、對在分布式賬本中記載有交易條件的智能合約進行管理的技術。

2、專利文獻1：日本特開2019-074910號公報

3、近年來，氣候變動、工業(yè)用水污染、水的大量使用等環(huán)境問題被談論，需要促進供應鏈的參加者用于減少環(huán)境負荷的意識改革、行動變化。作為用于此的機制，考慮如下的機制：將與產品的環(huán)境價值對應的對價從消費者返還給供應鏈，通過在區(qū)塊鏈上管理的智能合約，根據供應鏈上的各工序的價值來分配該對價。

4、然而，在該機制中，在供應鏈所包含的供應商隱匿了作為工序的價值的根據的蹤跡信息的情況下，由該供應商進行的工序的價值的正當性變得不透明。

技術實現(xiàn)思路

1、在一個技術方案中，本發(fā)明的目的在于，在隱匿了蹤跡信息的狀態(tài)下證明工序的價值的正當性。

2、在一個技術方案中，一種證明生成程序，使計算機執(zhí)行如下的處理：按照供應鏈所包含的每個工序，生成表示累積價值的正當性的零知識證明和與上述累積價值相關的信息，其中，上述累積價值是通過對從最上游的工序到上述工序為止的各工序的價值進行累積而得到的；以及使上述零知識證明和與上述累積價值相關的信息記錄在區(qū)塊鏈上。

3、上述各處理可以為實現(xiàn)上述各處理的功能部、各順序，也可以為存儲有使計算機執(zhí)行各處理的程序的計算機可讀取的存儲介質。

4、在隱匿了蹤跡信息的狀態(tài)下證明工序的價值的正當性。

技術特征：

1.一種證明生成程序，使計算機執(zhí)行如下的處理：

2.根據權利要求1所述的證明生成程序，其中，

3.根據權利要求1或2所述的證明生成程序，其中，

4.一種證明生成方法，是由計算機執(zhí)行的證明生成方法，

5.一種信息處理裝置，具有：

技術總結
本發(fā)明涉及證明生成程序、證明生成方法、信息處理裝置，證明生成程序使計算機執(zhí)行如下的處理：按照供應鏈所包含的每個工序，生成表示對從最上游的工序到上述工序為止的各工序的價值進行累積而得到的累積價值的正當性的零知識證明、和與上述累積價值相關的信息；以及使上述零知識證明和與上述累積價值相關的信息記錄在區(qū)塊鏈上。

技術研發(fā)人員：宮前剛
受保護的技術使用者：富士通株式會社
技術研發(fā)日：
技術公布日：2025/1/9