知財求人 - 知財ポータルサイト「IP Force」
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B2)
(11)【特許番号】
(24)【登録日】2023-05-15
(45)【発行日】2023-05-23
(54)【発明の名称】検証システム、走行距離検証プログラムおよび走行距離検証方法
(51)【国際特許分類】
G06F 21/60 20130101AFI20230516BHJP
G06F 21/64 20130101ALI20230516BHJP
G06F 21/62 20130101ALI20230516BHJP
【ＦＩ】
G06F21/60
G06F21/64
G06F21/62 345
【請求項の数】
5
(21)【出願番号】P 2019170934
(22)【出願日】2019-09-19
(65)【公開番号】P2021047746
(43)【公開日】2021-03-25
【審査請求日】2022-06-09
(73)【特許権者】
【識別番号】000005223
【氏名又は名称】富士通株式会社
(74)【代理人】
【識別番号】110002147
【氏名又は名称】弁理士法人酒井国際特許事務所
(72)【発明者】
【氏名】花田 雄一
(72)【発明者】
【氏名】清水 俊也
(72)【発明者】
【氏名】坂本 拓也
【審査官】平井 誠
(56)【参考文献】
【文献】米国特許出願公開第２０１８／００９１５９６（ＵＳ，Ａ１）
【文献】特表２０１９－５３１５４４（ＪＰ，Ａ）
【文献】米国特許出願公開第２０１３／０１１０３４５（ＵＳ，Ａ１）
(58)【調査した分野】(Int.Cl.，ＤＢ名)
Ｇ０６Ｆ ２１／００－８８
(57)【特許請求の範囲】
【請求項1】
走行距離計を備える車両と、走行距離を検証する検証装置と、を有し、
前記車両は、
走行する所定の地点ごとに、地点の位置情報をコミットするために前記位置情報から生成されるコミット値を算出する算出部と、
所定の地点ごとに、前記走行距離計から走行距離を取得する取得部と、
所定の地点ごとに、前記コミット値および前記走行距離を対応付けてブロックチェーンに記録する記録部と、
所定の２地点のそれぞれの位置情報から計算される前記２地点の間の距離を前記検証装置に送信する送信部と、を有し、
前記検証装置は、
前記ブロックチェーンから前記車両の前記２地点における走行距離及びコミット値を読み出す読出部と、
前記車両から送信された前記２地点の間の距離を、前記コミット値から計算される前記２地点の間の距離情報に基づいて検証する第１の検証部と、
前記２地点の間の距離の正当性が検証された場合には、前記２地点における走行距離から計算される走行距離値を、前記２地点の間の距離に基づいて検証する第２の検証部と、
を有することを特徴とする検証システム。
【請求項2】
前記車両は、前記所定の２地点ごとに、位置情報と、前記車両および前記検証装置により互いに生成された乱数とを用いて、前記車両しか知り得ない当該位置情報に関する証明情報を生成する生成部をさらに有し、
前記検証装置は、
前記証明情報を、前記位置情報から生成された前記コミット値と、前記互いに生成された乱数とを用いて、前記証明情報を検証する第３の検証部をさらに有する
ことを特徴とする請求項１に記載の検証システム。
【請求項3】
前記算出部は、１つの前記位置情報から６種のコミット値を算出し、前記生成部は、１つの前記位置情報と、前記車両および前記検証装置により互いに生成された６種の乱数とを用いて、６種の証明情報を生成し、
前記第３の検証部は、前記位置情報に対応する６種のコミット値と、前記互いに生成された６種の乱数とを用いて、６種の前記証明情報を検証し、前記位置情報を知っていることを検証する
ことを特徴とする請求項２に記載の検証システム。
【請求項4】
ブロックチェーンから、車両における２地点の走行距離計から取得された走行距離及び前記２地点の位置情報をコミットするために生成されたコミット値を読み出し、前記車両から送信された前記２地点の間の距離を、前記コミット値から計算される前記２地点の間の距離情報に基づいて検証し、
前記２地点の間の距離の正当性が検証された場合には、前記２地点における走行距離から計算される走行距離値を、前記２地点の間の距離に基づいて検証する
処理を検証装置に実行させる走行距離検証プログラム。
【請求項5】
走行距離計を備える車両は、走行する所定の地点ごとに、地点の位置情報をコミットするために前記位置情報から生成されるコミット値を算出し、
所定の地点ごとに、前記走行距離計から走行距離を取得し、
所定の地点ごとに、前記コミット値および前記走行距離を対応付けてブロックチェーンに記録し、
所定の２地点のそれぞれの位置情報から計算される前記２地点の間の距離を検証装置に送信し、
前記検証装置は、
前記ブロックチェーンから前記車両の前記２地点における走行距離及びコミット値を読み出し、
前記車両から送信された前記２地点の間の距離を、前記コミット値から計算される前記２地点の間の距離情報に基づいて検証し、
前記２地点の間の距離の正当性が検証された場合には、前記２地点における走行距離から計算される走行距離値を、前記２地点の間の距離に基づいて検証する、
処理をコンピュータが実行することを特徴とする走行距離検証方法。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、検証システムなどに関する。
【背景技術】
【0002】
車両の走行距離メータに記憶された走行距離が改竄されることを防止する技術が開示されている（例えば、特許文献１、２参照）。例えば、車両の走行距離メータとは別の制御装置に車両の走行距離を記憶しておき、走行距離メータの第１走行距離値と、制御装置に記憶された第２走行距離値とを比較する。そして、第１走行距離値が第２走行距離値より小さければ、第１走行距離値を第２走行距離値に書き換える技術がある。
【0003】
また、車両の走行距離を制御装置に代えてブロックチェーンに記録する技術もある。ブロックチェーンは、改竄不可能であるという特徴があるため、一度記録された情報が改竄されることはほぼない。この特徴を利用して、検証装置が、車両の走行距離の値とブロックチェーンに記録された走行距離の値とを照合し、車両の走行距離の値が改竄されたかどうかを検証できる。
【0004】
ところが、ブロックチェーンに記録される値自体が正しくない可能性がある。したがって、ブロックチェーンに記録される値が正しいことを証明する必要がある。
【0005】
そこで、走行距離メータの走行距離の値だけでなく、位置情報を利用した２地点間の移動距離を用いて、走行距離メータの走行距離の値であってブロックチェーンに記録される値が正しいことを証明することができる。
【0006】
図８および図９は、位置情報による移動距離を用いて走行距離の正当性を検証する参考例を示す図である。なお、図８および図９のオドメータ値は、走行距離メータ（オドメータ）の走行距離の値の一例である。図８に示すように、オドメータ値と位置情報とを用いて、Ａ地点とＢ地点との間のオドメータによる走行距離と位置情報による移動距離とが一致する場合には、オドメータ値の正当性を検証できる。また、オドメータによる走行距離と位置情報による移動距離は必ずしも一致するわけではなく、図９に示すように、２地点間の走行が直線でない場合が多い。かかる場合には、オドメータによる走行距離が位置情報による移動距離より長くなる場合には、オドメータ値が正しいことを検証できる。
【先行技術文献】
【特許文献】
【0007】
【文献】特開２００４－１３７８９７号公報
【文献】特開２０１６－１４７６００号公報
【文献】特開平１１－２４９５６０号公報
【発明の概要】
【発明が解決しようとする課題】
【0008】
しかしながら、位置情報を秘匿する場合、走行距離の正当性を検証するのが難しいという問題がある。すなわち、位置情報は個人情報であるため、車両の所有者は位置情報を秘匿したい場合がある。かかる場合には、位置情報を用いることができず、走行距離の正当性を検証することが難しい。
【0009】
本発明は、１つの側面では、位置情報を秘匿する場合であっても、走行距離の正当性を検証することを目的とする。
【課題を解決するための手段】
【0010】
１つの態様では、検証システムは、走行距離計を備える車両と、走行距離を検証する検証装置と、を有する。前記車両は、走行する所定の地点ごとに、地点の位置情報をコミットするために前記位置情報から生成されるコミット値を算出する算出部と、所定の地点ごとに、前記走行距離計から走行距離を取得する取得部と、所定の地点ごとに、前記コミット値および前記走行距離を対応付けてブロックチェーンに記録する記録部と、所定の２地点のそれぞれの位置情報から計算される前記２地点の間の距離を前記検証装置に送信する送信部と、を有する。前記検証装置は、前記ブロックチェーンから前記車両の前記２地点における走行距離及びコミット値を読み出す読出部と、前記車両から送信された前記２地点の間の距離を、前記コミット値から計算される前記２地点の間の距離情報に基づいて検証する第１の検証部と、前記２地点の間の距離の正当性が検証された場合には、前記２地点における走行距離から計算される走行距離値を、前記２地点の間の距離に基づいて検証する第２の検証部と、を有する。
【発明の効果】
【0011】
１実施態様によれば、位置情報を秘匿する場合であっても、走行距離の正当性を検証することができる。
【図面の簡単な説明】
【0012】
【発明を実施するための形態】
【0013】
以下に、本願の開示する検証システム、走行距離検証プログラムおよび走行距離検証方法の実施例を図面に基づいて詳細に説明する。なお、本発明は、実施例により限定されるものではない。
【実施例】
【0014】
［検証システムの機能構成］
図１は、実施例に係る検証システムの機能構成を示すブロック図である。検証システム９は、車両１と、検証装置２と、ブロックチェーン３とを有する。車両１と検証装置２とブロックチェーン３とは、ネットワーク５で接続される。ここでいうネットワーク５は、例えば、インターネットなどのＷＡＮ（Wide Area Network）であるが、これに限られず、キャリア網などその他の通信網であっても良い。
図１は、実施例に係る検証システムの機能構成を示すブロック図である。検証システム９は、車両１と、検証装置２と、ブロックチェーン３とを有する。車両１と検証装置２とブロックチェーン３とは、ネットワーク５で接続される。ここでいうネットワーク５は、例えば、インターネットなどのＷＡＮ（Wide Area Network）であるが、これに限られず、キャリア網などその他の通信網であっても良い。
【0015】
検証システム９は、車両１に備えられた走行距離計で計測される走行距離を、車両１の位置情報を秘匿しつつ検証する。
【0016】
車両１は、走行距離計を備える。ここでいう走行距離計は、例えば、オドメータ等によって実現できる。以降、走行距離計をオドメータとして説明する。車両１は、ある地点において、オドメータ値および位置情報を取得する。車両１は、取得した位置情報をコミットするためのコミットメント値（以降、「コミット値」という）を生成する。そして、車両１は、地点ごとに、オドメータ値およびコミット値をブロックチェーン３に記録する。そして、車両１は、地点ごとに、位置情報およびコミット値に対する乱数を基に、位置情報の検証に用いられる証明情報を生成し、生成した証明情報を検証装置２に送信する。そして、車両１は、２つの地点の位置情報から計算される移動距離を検証装置２に送信する。
【0017】
検証装置２は、車両１によって生成された証明情報、ブロックチェーン３に記録されたコミット値およびコミット値に対する乱数を用いて、位置情報を知っていることの検証を行う。かかる検証は、ゼロ知識証明を利用する。ゼロ知識証明とは、証明者が「命題が真である」こと以外の知識を検証者に与えることなく、「命題が真である」ことを検証者に証明する技術である。ここでいう証明者は、車両１である。ここでいう検証者は、検証装置２である。すなわち、ゼロ知識証明が利用されることで、証明者しか知り得ない情報から生成された情報（証明情報）が検証者によって検証されると、検証者は元の情報はわからないが、確かに証明者はその情報を知っているということを検証できる。つまり、検証装置２は、ブロックチェーン３に記録された２つの地点のコミット値およびコミット値に対する乱数を用いて、証明情報を検証し、秘匿された位置情報の正当性を検証する。さらに、検証装置２は、コミット値を用いて、移動距離の正当性を検証する。さらに、検証装置２は、ブロックチェーン３に記録された２つの地点のオドメータ値の差分と移動距離との大小関係を検証し、オドメータ値が不正に短くされていないことを検証する。
【0018】
ブロックチェーン３は、車両１の要求に応じて、ある地点の車両１のオドメータ値およびコミット値を記録する。
【0019】
【0020】
通信部１１は、ブロックチェーン３や検証装置２と通信する。通信部１１は、例えば、ＮＩＣ（Network Interface Card）等によって実現される。
【0021】
オドメータ値取得部１２は、所定地点のタイミングでオドメータからオドメータ値を取得する。
【0022】
通信制御部１３は、各種情報を、通信部１１を介してブロックチェーン３や検証装置２へ送信する。例えば、通信制御部１３は、所定地点のオドメータ値およびコミット値を対応付けた登録要求を、通信部１１を介してブロックチェーン３へ送信する。
【0023】
また、通信制御部１３は、通信部１１を介して、検証装置２から各種情報を受信する。
【0024】
生成部１４は、コミット値生成部１４１、乱数生成部１４２、証明情報生成部１４３および移動距離生成部１４４を有する。
【0025】
コミット値生成部１４１は、所定地点の位置情報をコミットするコミット値を生成する。例えば、コミット値生成部１４１は、後述する位置情報取得部１５によって取得された位置情報の証明を行う際に用いられるコミット値を生成する。車両１で生成されたコミット値は、変更を加えることができない性質を持つ値であり、証明情報を生成する前に生成し、検証時に用いられる。コミット値は、準同型のコミットメント関数によって生成され、公開される。コミット値は、１つの位置情報に対して６種生成される。そして、コミット値生成部１４１は、位置情報に対するコミット値を、通信制御部１３を介して検証装置２へ送信する。
【0026】
一例として、コミットする１つの位置情報がｐｉ＝（ｘｉ，ｙｉ）である場合を説明する。ｉは、ある時点を示すインデックスとする。この位置情報に対する６種のコミット値ｃｉは、位置情報ｐｉにおけるｘｉ，ｙｉ，ｘｉ
２，ｙｉ
２，ｘｉ－１・ｘｉ，ｙｉ－１・ｙｉの６種のコミット値を定義する。コミット値を生成するコミットメント関数は、「ｇのｘのべき乗ｍｏｄ ｐ」で計算される。「ｇのｘのべき乗ｍｏｄ ｐ」は、準同型性を持っている。すなわち、「ｇのｘのべき乗ｍｏｄ ｑ」をｇｘと略記すると、例えば、ｇｘ＋ｙ＝ｇｘ・ｇｙのように計算される。位置情報ｐｉに対する６種のコミット値ｃｉは、以下の（ａ１）のように生成される。なお、以降、「ｇｘ ｍｏｄ ｑ」のことをｇｘと略記する。ｇは、準同型性を持つ、位数ｑ－１の巡回群を生成する数を示す原始根である。ｑは、０よりも十分に大きい値の素数である。
ｃｉ＝（ｃ（ｘｉ），ｃ（ｙｉ），ｃ（ｘｉ ２），ｃ（ｙｉ ２），ｃ（ｘｉ－１・ｘｉ），ｃ（ｙｉ－１・ｙｉ））＝ｇｐｉ＝（ｇｘｉ，ｇｙｉ、ｇｘｉ＾２，ｇｙｉ＾２、ｇｘｉ－１・ｘｉ，ｇｙｉ－１・ｙｉ）・・・（ａ１）
ｃｉ＝（ｃ（ｘｉ），ｃ（ｙｉ），ｃ（ｘｉ ２），ｃ（ｙｉ ２），ｃ（ｘｉ－１・ｘｉ），ｃ（ｙｉ－１・ｙｉ））＝ｇｐｉ＝（ｇｘｉ，ｇｙｉ、ｇｘｉ＾２，ｇｙｉ＾２、ｇｘｉ－１・ｘｉ，ｇｙｉ－１・ｙｉ）・・・（ａ１）
【0027】
乱数生成部１４２は、乱数を生成する。例えば、乱数生成部１４２は、位置情報に対する乱数を生成する。乱数は、後述する位置情報取得部１５によって取得された位置情報の証明を行う際に用いられる。乱数は、１つの位置情報に対して６種生成される。１つの乱数は、１つのコミット値に対応するものである。そして、乱数生成部１４２は、位置情報に対する乱数を、通信制御部１３を介して検証装置２へ送信する。
【0028】
一例として、コミットする１つの位置情報がｐｉ＝（ｘｉ，ｙｉ）である場合を説明する。ｉは、ある時点を示すインデックスとする。この位置情報ｐｉに対する６種の乱数は、位置情報ｐｉにおけるｘｉ，ｙｉ，ｘｉ
２，ｙｉ
２，ｘｉ－１・ｘｉ，ｙｉ－１・ｙｉと定義される。位置情報ｐｉに対する６種の乱数ｒｉは、以下の（ａ２）のように生成される。
ｒｉ＝（ｒ（ｘｉ），ｒ（ｙｉ），ｒ（ｘｉ ２），ｒ（ｙｉ ２），ｒ（ｘｉ－１・ｘｉ），ｒ（ｙｉ－１・ｙｉ））・・・（ａ２）
ｒｉ＝（ｒ（ｘｉ），ｒ（ｙｉ），ｒ（ｘｉ ２），ｒ（ｙｉ ２），ｒ（ｘｉ－１・ｘｉ），ｒ（ｙｉ－１・ｙｉ））・・・（ａ２）
【0029】
証明情報生成部１４３は、所定地点の位置情報の証明情報を、コミット値およびコミット値に対する乱数を用いて生成する。そして、証明情報生成部１４３は、所定地点の位置情報の証明情報を、通信制御部１３を介して検証装置２へ送信する。
【0030】
一例として、コミットする１つの位置情報がｐｉ＝（ｘｉ，ｙｉ）である場合を説明する。ｉは、ある時点を示すインデックスである。証明情報生成部１４３は、位置情報ｐｉに対して、乱数生成部１４２によって生成された乱数ｒｉおよび検証装置２によって生成される乱数ｅｉを用いて、以下の式（１）に示す証明情報ｓｉを生成する。
【数1】
【0031】
証明情報ｓｉは、以下の（ａ３）のように６種からなる。なお、（ａ３）内のｓ（ｘｉ），ｓ（ｙｉ），ｓ（ｘｉ
２），ｓ（ｙｉ
２），ｓ（ｘｉ－１・ｘｉ），ｓ（ｙｉ－１・ｙｉ）は、それぞれ式（ａ３－１），（ａ３－２），（ａ３－３），（ａ３－４），（ａ３－５），（ａ３－６）で表わされる。
ｓｉ＝（ｓ（ｘｉ），ｓ（ｙｉ），ｓ（ｘｉ ２），ｓ（ｙｉ ２），ｓ（ｘｉ－１・ｘｉ），ｓ（ｙｉ－１・ｙｉ））・・・（ａ３）
ｓ（ｘｉ）＝ｒ（ｘｉ）＋ｅ（ｘｉ）・ｘｉ・・・（ａ３－１）
ｓ（ｙｉ）＝ｒ（ｙｉ）＋ｅ（ｙｉ）・ｙｉ・・・（ａ３－２）
ｓ（ｘｉ ２）＝ｒ（ｘｉ ２）＋ｅ（ｘｉ ２）・ｘｉ ２・・・（ａ３－３）
ｓ（ｙｉ ２）＝ｒ（ｙｉ ２）＋ｅ（ｙｉ ２）・ｙｉ ２・・・（ａ３－４）
ｓ（ｘｉ－１・ｘｉ）＝ｒ（ｘｉ－１・ｘｉ）＋ｅ（ｘｉ－１・ｘｉ）・ｘｉ－１・ｘｉ・・・（ａ３－５）
ｓ（ｙｉ－１・ｙｉ）＝ｒ（ｙｉ－１・ｙｉ）＋ｅ（ｙｉ－１・ｙｉ）・ｙｉ－１・ｙｉ・・・（ａ３－６）
ｓｉ＝（ｓ（ｘｉ），ｓ（ｙｉ），ｓ（ｘｉ ２），ｓ（ｙｉ ２），ｓ（ｘｉ－１・ｘｉ），ｓ（ｙｉ－１・ｙｉ））・・・（ａ３）
ｓ（ｘｉ）＝ｒ（ｘｉ）＋ｅ（ｘｉ）・ｘｉ・・・（ａ３－１）
ｓ（ｙｉ）＝ｒ（ｙｉ）＋ｅ（ｙｉ）・ｙｉ・・・（ａ３－２）
ｓ（ｘｉ ２）＝ｒ（ｘｉ ２）＋ｅ（ｘｉ ２）・ｘｉ ２・・・（ａ３－３）
ｓ（ｙｉ ２）＝ｒ（ｙｉ ２）＋ｅ（ｙｉ ２）・ｙｉ ２・・・（ａ３－４）
ｓ（ｘｉ－１・ｘｉ）＝ｒ（ｘｉ－１・ｘｉ）＋ｅ（ｘｉ－１・ｘｉ）・ｘｉ－１・ｘｉ・・・（ａ３－５）
ｓ（ｙｉ－１・ｙｉ）＝ｒ（ｙｉ－１・ｙｉ）＋ｅ（ｙｉ－１・ｙｉ）・ｙｉ－１・ｙｉ・・・（ａ３－６）
【0032】
移動距離生成部１４４は、所定地点の２つの位置情報を用いて移動距離を生成する。そして、移動距離生成部１４４は、生成した移動距離を、通信制御部１３を介して検証装置２へ送信する。
【0033】
一例として、コミットする１つの位置情報がｐ１＝（ｘ１，ｙ１）であり、もう１つの位置情報がｐ２＝（ｘ２，ｙ２）である場合を説明する。移動距離生成部１４４は、２つの位置情報ｐ１，ｐ２を用いて、以下の式（２）に示す移動距離△２を算出する。
なお、移動距離生成部１４４は、生成した移動距離△２をそのまま検証装置２へ送信しても良いし、平方根した結果を送信しても良い。実施例では、移動距離生成部１４４が、移動距離△２をそのまま検証装置２へ送信する場合を説明する。
【数2】
【0034】
位置情報取得部１５は、所定地点のタイミングで位置情報を取得する。取得するタイミングは、オドメータ値取得部１２によって取得されるタイミングと同じである。そして、位置情報取得部１５は、取得した位置情報を生成部１４に出力する。例えば、位置情報取得部１５は、ＧＰＳ（Global Positioning System）からの信号を受信器で検知して、現在の位置情報を取得する。
【0035】
【0036】
通信部２１は、車両１やブロックチェーン３と通信する。通信部２１は、例えば、ＮＩＣ等によって実現される。
【0037】
検証部２２は、乱数生成部２２１、位置情報検証部２２２、移動距離検証部２２３および走行距離検証部２２４を有する。
【0038】
乱数生成部２２１は、車両１から位置情報に対する乱数を受け取ると、さらに、受け取った乱数と異なる乱数を生成する。乱数は、１つの位置情報に対して６種生成される。１つの乱数は、１つのコミット値に対応するものとなる。そして、乱数生成部２２１は、位置情報に対する乱数を、通信部２１を介して車両１へ送信する。
【0039】
一例として、コミットする１つの位置情報がｐｉ＝（ｘｉ，ｙｉ）である場合を説明する。ｉは、ある時点を示すインデックスとする。この位置情報ｐｉに対する６種の乱数は、位置情報ｐｉにおけるｘｉ，ｙｉ，ｘｉ
２，ｙｉ
２，ｘｉ－１・ｘｉ，ｙｉ－１・ｙｉと定義される。乱数生成部２２１は、車両１から位置情報ｐｉに対する乱数ｒｉを受け取ると、乱数ｒｉと異なる６種の乱数ｅｉを生成する。６種の乱数ｅｉは、以下の（ａ４）のように生成される。
ｅｉ＝（ｅ（ｘｉ），ｅ（ｙｉ），ｅ（ｘｉ ２），ｅ（ｙｉ ２），ｅ（ｘｉ－１・ｘｉ），ｅ（ｙｉ－１・ｙｉ））・・・（ａ４）
ｅｉ＝（ｅ（ｘｉ），ｅ（ｙｉ），ｅ（ｘｉ ２），ｅ（ｙｉ ２），ｅ（ｘｉ－１・ｘｉ），ｅ（ｙｉ－１・ｙｉ））・・・（ａ４）
【0040】
位置情報検証部２２２は、車両１から所定地点の位置情報に対する証明情報を受け取ると、証明情報から位置情報を知っていることの検証を行う。例えば、位置情報検証部２２２は、車両１から所定地点の位置情報に対する証明情報を受け取る。このとき、位置情報検証部２２２は、一例として、受け取った証明情報に対する位置情報の時点を示すインデックスを受け取る。位置情報検証部２２２は、ブロックチェーン３から、受け取ったインデックスに対するコミット値を取得する。そして、位置情報検証部２２２は、証明情報、コミット値および乱数を用いて、証明情報に対する位置情報を知っていることの検証を行う。
【0041】
一例として、位置情報検証部２２２は、ある地点の位置情報に対する証明情報ｓｉを受け取り、ブロックチェーン３より該当する地点に対応するコミット値ｃｉを取得し、証明情報ｓｉを検証すべく、以下の式（３）を満たすか否かを判定する。証明情報ｓｉは、６種からなるので、位置情報検証部２２２は、６種全てが式（３）を満たすか否かを判定する。
【数3】
【0042】
ここで、証明情報ｓｉを検証するために用いられる式（３）がどのように成立したかについて説明する。まず、証明情報ｓｉは、式（１）からなる。そして、式（１）の両辺を原始根ｇのべき乗とすると、以下の式（３－１）となる。
【数4】
【0043】
次に、ｇｘは、準同型性を持っているので、式（３－１）の指数の足し算を以下の式（３－２）に変形できる。
【数5】
【0044】
さらに、式（３－２）の指数の掛け算を以下の式（３－３）に変形できる。
【数6】
【0045】
そして、式（３－３）のｇｐｉは、前述の（ａ１）のとおりコミット値ｃｉであるので、式（３－３）のｇｐｉをｃｉに置き換えることにより、式（３）が成立する。したがって、位置情報検証部２２２は、ある地点の位置情報に対する証明情報ｓｉを検証するために、以下の式（３）を満たすことを検証すれば良い。すなわち、位置情報検証部２２２は、原始根ｇ、乱数ｒｉ、ｅｉがわかっているので、式（３）に代入して式（３）を満たすか否かを判定する。位置情報検証部２２２は、ｓｉの６種全てが式（３）を満たすと判定すると、証明情報ｓｉおよびコミット値ｃｉから、秘匿された位置情報ｐｉを知っていることを検証できる。なお、位置情報ｐｉが偽装されて証明情報ｓｉが生成されると、真の位置情報ｐｉから生成されたコミット値と合わなくなり、式（３）を満たさないので、証明情報ｓｉから真の位置情報ｐｉを知っていることを検証できない。
【0046】
移動距離検証部２２３は、車両１から２地点間の移動距離を受け取ると、受け取った移動距離の正当性を検証する。例えば、移動距離検証部２２３は、車両から移動距離を受け取る。移動距離検証部２２３は、移動距離およびコミット値を用いて、移動距離が正しいことを検証する。
【0047】
一例として、移動距離検証部２２３は、２地点間の移動距離△２を受け取り、ブロックチェーン３から取得されたコミット値を用いて移動距離△２を検証すべく、以下の式（４）を満たすか否かを判定する。
【数7】
【0048】
ここで、移動距離△２を検証するために用いられる式（４）がどのように成立したかについて説明する。まず、移動距離△２は、式（２）からなる。そして、式（２）の両辺を原始根ｇのべき乗とすると、以下の式（４－１）となる。
【数8】
【0049】
式（４－１）の指数部分は、以下の式（４－２）に変形できる。
【数9】
【0050】
次に、ｇｘは、準同型性を持っているので、式（４－２）の指数の引き算を以下の式（４－３）に変形できる。
【数10】
【0051】
次に、式（４－３）の指数の足し算を以下の式（４－４）に変形できる。
【数11】
【0052】
さらに、式（４－４）の右辺の分子の指数の掛け算を以下の式（４－５）に変形できる。
【数12】
【0053】
そして、式（４－５）のｇｘ２＾２、ｇｘ１＾２、ｇｙ２＾２、ｇｙ１＾２、ｇｘ２ｘ１、ｇｙ２ｙ１は、前述の（ａ１）のとおりコミット値ｃ（ｘ２
２）、ｃ（ｘ１
２）、ｃ（ｙ２
２）、ｃ（ｙ１
２）、ｃ（ｘ２・ｘ１）、ｃ（ｙ２・ｙ１）である。そこで、式（４－５）のそれぞれのｇｘを該当するｃｉに置き換えることにより、式（４）が成立する。したがって、移動距離検証部２２３は、移動距離△２を検証するために、以下の式（４）を満たすことを検証すれば良い。そして、移動距離検証部２２３は、式（４）を満たすと判定すると、コミット値ｃｉから、移動距離△２が正しいことを検証できる。すなわち、移動距離検証部２２３は、位置情報ｐｉが秘匿されても、移動距離△２が正しいことを検証することが可能となる。なお、移動距離△２が偽装されると、移動距離検証部２２３は、位置情報ｐｉから生成されたコミット値と合わなくなり、式（４）を満たさないので、移動距離△２が正しいことを検証できない。
【0054】
走行距離検証部２２４は、２地点間の走行距離の正当性を検証する。例えば、走行距離検証部２２４は、移動距離検証部２２３によって２地点間の移動距離の正当性が検証された場合には、以下のように、２地点間の走行距離を検証する。走行距離検証部２２４は、ブロックチェーン３から該当するインデックスの２地点に対応するオドメータ値を取得する。そして、走行距離検証部２２４は、取得した２地点のオドメータ値から走行距離を計算する。そして、走行距離検証部２２４は、計算した走行距離と移動距離とを比較することで、走行距離の正当性を検証する。
【0055】
一例として、走行距離検証部２２４は、走行距離Ｄと移動距離△とを用いて、以下の式（５）を満たすことを検証する。
Ｄ≧△・・・式（５）
Ｄ≧△・・・式（５）
【0056】
そして、走行距離検証部２２４は、式（５）を満たすと判定すると、該当する２地点間の走行距離が正しいことを検証できる。すなわち、走行距離検証部２２４は、位置情報ｐｉが秘匿されても、正当性が検証された移動距離△から走行距離Ｄが正しいことを検証することが可能となる。つまり、走行距離検証部２２４は、走行距離Ｄの計算元のオドメータ値が不正に短くされていないことを検証できる。
【0057】
【0058】
通信部３１は、車両１や検証装置２と通信する。通信部３１は、例えば、ＮＩＣ等によって実現される。
【0059】
記録部３２は、車両１の登録要求に応じて、所定地点のコミット値およびオドメータ値を対応付けた情報を１つのブロックに記録する。
【0060】
［検証処理の一例］
図５は、実施例に係る検証処理の一例を示す図である。
図５は、実施例に係る検証処理の一例を示す図である。
【0061】
図５に示すように、車両１では、ある時点で、オドメータ値取得部１２が、オドメータからオドメータ値ｄ１を取得し、位置情報取得部１５が、位置情報ｐ１を取得する。そして、コミット値生成部１４１は、位置情報ｐ１からコミット値ｃ１を生成する（＜１＞）。コミット値ｃ１は、例えば、前述の（ａ１）のように６種からなる。そして、コミット値生成部１４１は、オドメータ値ｄ１と位置情報のコミット値ｃ１を対応付けて、ブロックチェーン３に登録する（＜２＞）。
【0062】
続いて、走行後の車両１では、ある時点で、オドメータ値取得部１２が、オドメータからオドメータ値ｄ２を取得し、位置情報取得部１５が、位置情報ｐ２を取得する。そして、コミット値生成部１４１は、位置情報ｐ２からコミット値ｃ２を生成する（＜３＞）。コミット値ｃ２は、例えば、前述の（ａ１）のように６種からなる。コミット値生成部１４１は、オドメータ値ｄ２と位置情報のコミット値ｃ２を対応付けて、ブロックチェーン３に登録する（＜４＞）。
【0063】
続いて、車両１では、乱数生成部１４２は、証明情報ｓ１，ｓ２の生成のために、乱数ｒ１、ｒ２を生成し、検証者（検証装置２）に送信する（＜５＞）。乱数ｒ１は、位置情報ｐ１の証明情報ｓ１を生成するために用いられ、例えば、前述の（ａ２）のように６種からなる。乱数ｒ２は、位置情報ｐ２の証明情報ｓ２を生成するために用いられ、例えば、前述の（ａ２）のように６種からなる。
【0064】
検証装置２では、乱数生成部２２１は、車両１から乱数ｒ１、ｒ２を受信すると、車両１から受信した乱数と異なる乱数ｅ１、ｅ２を生成し、車両１に送信する（＜６＞）。乱数ｅ１は、位置情報ｐ１の証明情報ｓ１を生成するために用いられ、例えば、前述の（ａ４）のように６種からなる。乱数ｅ２は、位置情報ｐ２の証明情報ｓ２を生成するために用いられ、例えば、前述の（ａ４）のように６種からなる。
【0065】
続いて、車両１では、証明情報生成部１４３は、証明情報ｓ１，ｓ２を生成し、検証者（検証装置２）に送信する（＜７＞）。例えば、証明情報生成部１４３は、位置情報ｐ１の証明情報ｓ１を、式（１）のように乱数ｒ１、ｅ１を用いて生成する。証明情報ｓ１は、例えば、前述の（ａ３）のように６種からなる。証明情報生成部１４３は、位置情報ｐ２の証明情報ｓ２を、式（１）のように乱数ｒ２、ｅ２を用いて生成する。証明情報ｓ２は、例えば、前述の（ａ３）のように６種からなる。
【0066】
検証装置２では、証明情報ｓ１、ｓ２を受信した位置情報検証部２２２は、ブロックチェーン３から証明情報ｓ１、ｓ２に対応するコミット値ｃ１、ｃ２を取得する（＜８＞）。例えば、位置情報検証部２２２は、証明情報ｓ１、ｓ２とともに、証明情報ｓ１、ｓ２に対するそれぞれの位置情報の時点を示すインデックスを受け取る。位置情報検証部２２２は、ブロックチェーン３から、受け取ったインデックスに対するコミット値ｃ１、ｃ２を取得する。
【0067】
続いて、検証装置２では、位置情報検証部２２２は、証明情報ｓ１、ｓ２を検証する（＜９＞）。例えば、位置情報検証部２２２は、証明情報ｓ１を検証すべく、乱数ｒ１、ｅ１およびコミット値ｃ１を用いて、式（３）を満たすか否かを判定する。証明情報ｓ１は、６種からなるので、位置情報検証部２２２は、６種全てが式（３）を満たすか否かを判定する。位置情報検証部２２２は、証明情報ｓ２を検証すべく、乱数ｒ２、ｅ２およびコミット値ｃ２を用いて、式（３）を満たすか否かを判定する。証明情報ｓ２は、６種からなるので、位置情報検証部２２２は、６種全てが式（３）を満たすか否かを判定する。
【0068】
そして、検証装置２では、位置情報検証部２２２は、証明情報ｓ１、ｓ２の検証結果を車両１に通知する（＜１０＞）。
【0069】
続いて、車両１では、移動距離生成部１４４は、検証結果が正当である場合には、移動距離△を検証者（検証装置２）に送信する（＜１１＞）。例えば、移動距離生成部１４４は、位置情報ｐ１，ｐ２を用いて、式（２）のように移動距離△を算出する。
【0070】
そして、検証装置２では、移動距離検証部２２３は、移動距離△を検証する（＜１２＞）。例えば、移動距離検証部２２３は、移動距離△を２乗する。そして、移動距離検証部２２３は、移動距離△２およびブロックチェーン３から取得されたコミット値ｃ１、ｃ２を用いて、式（４）を満たすか否かを判定する。
【0071】
続いて、検証装置２では、走行距離検証部２２４は、移動距離△の検証結果が正当である場合には、ブロックチェーン３から、位置情報検証部２２２によって受け取られたインデックスに対するオドメータ値ｄ１、ｄ２を取得する（＜１３＞）。そして、走行距離検証部２２４は、走行距離Ｄを検証する（＜１４＞）。例えば、走行距離検証部２２４は、取得した２地点のオドメータ値ｄ１、ｄ２から走行距離Ｄを計算する。そして、走行距離検証部２２４は、走行距離Ｄと移動距離△とを用いて、式（５）を満たすことを検証する。
【0072】
そして、検証装置２では、走行距離検証部２２４は、検証結果をブロックチェーン３に記録する（＜１５＞）。
【0073】
［検証処理のシーケンスの一例］
図６は、実施例に係る検証処理のシーケンスの一例を示す図である。
図６は、実施例に係る検証処理のシーケンスの一例を示す図である。
【0074】
図６に示すように、車両１は、時点ｉのタイミングで、オドメータ値ｄｉ、位置情報ｐｉを取得し、位置情報ｐｉからコミット値ｃｉを生成する（Ｓ１１）。ここでは、インデックスｉは、１、２であるとする。そして、車両１は、オドメータ値ｄｉおよびコミット値ｃｉを対応付けた情報の登録要求をブロックチェーン３に送信する（Ｓ１２）。すなわち、車両１は、オドメータ値ｄ１およびコミット値ｃ１を対応付けた情報の登録要求をブロックチェーン３に送信する。そして、車両１は、オドメータ値ｄ２およびコミット値ｃ２を対応付けた情報の登録要求をブロックチェーン３に送信する。
【0075】
ブロックチェーン３は、車両１から送信された登録要求を受け付けて、受け付けた登録要求のオドメータ値ｄｉおよびコミット値ｃｉを記録する（Ｓ１３）。
【0076】
車両１は、証明情報ｓ１，ｓ２の生成のために、乱数ｒ１、ｒ２を生成し、検証者（検証装置２）に送信する（Ｓ１４）。検証装置２は、車両１から乱数ｒ１、ｒ２を受信すると、車両１から受信した乱数と異なる乱数ｅ１、ｅ２を生成し、車両１に送信する（Ｓ１５）。
【0077】
続いて、車両１は、乱数ｒ１、ｅ１、位置情報ｐ１を用いて、式（１）で証明情報ｓ１を生成する。車両１は、乱数ｒ２、ｅ２、位置情報ｐ２を用いて、式（１）で証明情報ｓ２を生成する。そして、車両１は、生成した証明情報ｓ１、ｓ２を検証装置２に送信する（Ｓ１６）。
【0078】
証明情報ｓ１、ｓ２を受信した検証装置２は、証明情報ｓ１、ｓ２のインデックスに対応するコミット値ｃ１，ｃ２をブロックチェーン３から取得する（Ｓ１７）。そして、検証装置２は、乱数ｒ１、ｅ１およびコミット値ｃ１を用いて、式（３）で証明情報ｓ１を検証する。検証装置２は、乱数ｒ２、ｅ２およびコミット値ｃ２を用いて、式（３）で証明情報ｓ２を検証する。そして、検証装置２は、検証結果（True or False）を車両１に通知する（Ｓ１８）。
【0079】
検証結果を受信した車両１は、検証結果が「True」（正当）であるか否かを判定する（Ｓ１９）。検証結果が「True」（正当）でないと判定した場合には（Ｓ１９；Ｎｏ）、車両１は、検証処理を終了する。
【0080】
一方、検証結果が「True」（正当）であると判定した場合には（Ｓ１９；Ｙｅｓ）、車両１は、位置情報ｐ１、ｐ２を用いて、式（２）で移動距離△を生成する。そして、車両１は、生成した移動距離△を検証装置２に送信する（Ｓ２０）。
【0081】
移動距離△を受信した検証装置２は、移動距離△２、コミット値ｃ１、ｃ２を用いて、式（４）で移動距離△を検証する。そして、検証装置２は、検証結果（True or False）を車両１に通知する（Ｓ２１）。
【0082】
検証結果を受信した車両１は、検証結果が「True」（正当）であるか否かを判定する（Ｓ２２）。検証結果が「True」（正当）でないと判定した場合には（Ｓ２２；Ｎｏ）、車両１は、検証処理を終了する。一方、検証結果が「True」（正当）であると判定した場合には（Ｓ２２；Ｙｅｓ）、車両１は、検証装置２から移動距離の検証結果が届くまで待機する（Ｓ２３）。
【0083】
検証装置２は、移動距離△の検証結果が「True」（正当）であるか否かを判定する（Ｓ２４）。移動距離△の検証結果が「True」（正当）でないと判定した場合には（Ｓ２４；Ｎｏ）、検証装置２は、検証処理を終了する。一方、移動距離△の検証結果が「True」（正当）であると判定した場合には（Ｓ２４；Ｙｅｓ）、検証装置２は、ブロックチェーン３からオドメータ値ｄ１、ｄ２を取得する（Ｓ２５）。
【0084】
そして、検証装置２は、オドメータ値ｄ１、ｄ２から走行距離Ｄ（＝ｄ２－ｄ１）を算出する。検証装置２は、走行距離Ｄ、移動距離△を用いて、式（５）（Ｄ≧△）を満たすか否かで走行距離Ｄを検証する。そして、検証装置２は、検証結果（True or False）を車両１に通知する（Ｓ２６）。
【0085】
検証結果を受信した車両１は、検証結果が「True」（正当）であるか否かを判定する（Ｓ２７）。検証結果が「True」（正当）でないと判定した場合には（Ｓ２７；Ｎｏ）、車両１は、検証処理を終了する。一方、検証結果が「True」（正当）であると判定した場合にも（Ｓ２７；Ｙｅｓ）、車両１は、検証処理を終了する。
【0086】
検証装置２は、走行距離Ｄの検証結果が「True」（正当）であるか否かを判定する（Ｓ２８）。走行距離Ｄの検証結果が「True」（正当）であると判定した場合には（Ｓ２８；Ｙｅｓ）、検証装置２は、ブロックチェーン３に対して、オドメータ値ｄ１、ｄ２は正しいと記録して（Ｓ２９）、検証処理を終了する。一方、走行距離Ｄの検証結果が「True」（正当）でないと判定した場合には（Ｓ２８；Ｎｏ）、検証装置２は、検証処理を終了する。
【0087】
［実施例の効果］
上記実施例によれば、検証システム９は、走行距離計を備える車両１と、走行距離を検証する検証装置２と、を有する。車両１は、走行する所定の地点ごとに、地点の位置情報をコミットするために位置情報から生成されるコミット値を算出する。車両１は、所定の地点ごとに、走行距離計から走行距離を取得する。車両１は、所定の地点ごとに、コミット値および走行距離を対応付けてブロックチェーンに記録する。車両１は、所定の２地点のそれぞれの位置情報から計算される２地点の間の距離を検証装置２に送信する。検証装置２は、ブロックチェーン３から車両１の２地点における走行距離及びコミット値を読み出す。検証装置２は、車両１から送信された２地点の間の距離を、コミット値から計算される２地点の間の距離情報に基づいて検証する。検証装置２は、２地点の間の距離の正当性が検証された場合には、２地点における走行距離から計算される走行距離値を、２地点の間の距離に基づいて検証する。かかる構成によれば、検証装置２は、車両１の位置情報がわからなくても、２地点の走行距離（例えば、オドメータ）の正当性を検証することが可能となる。
上記実施例によれば、検証システム９は、走行距離計を備える車両１と、走行距離を検証する検証装置２と、を有する。車両１は、走行する所定の地点ごとに、地点の位置情報をコミットするために位置情報から生成されるコミット値を算出する。車両１は、所定の地点ごとに、走行距離計から走行距離を取得する。車両１は、所定の地点ごとに、コミット値および走行距離を対応付けてブロックチェーンに記録する。車両１は、所定の２地点のそれぞれの位置情報から計算される２地点の間の距離を検証装置２に送信する。検証装置２は、ブロックチェーン３から車両１の２地点における走行距離及びコミット値を読み出す。検証装置２は、車両１から送信された２地点の間の距離を、コミット値から計算される２地点の間の距離情報に基づいて検証する。検証装置２は、２地点の間の距離の正当性が検証された場合には、２地点における走行距離から計算される走行距離値を、２地点の間の距離に基づいて検証する。かかる構成によれば、検証装置２は、車両１の位置情報がわからなくても、２地点の走行距離（例えば、オドメータ）の正当性を検証することが可能となる。
【0088】
また、上記実施例によれば、車両１は、所定の２地点ごとに、位置情報と、車両１および検証装置２により互いに生成された乱数とを用いて、車両１しか知り得ない当該位置情報に関する証明情報を生成する。検証装置２は、証明情報を、位置情報から生成されたコミット値と、互いに生成された乱数とを用いて、証明情報を検証する。かかる構成によれば、検証装置２は、位置情報が秘匿された場合であっても、ゼロ知識証明により証明情報を検証することで、位置情報を知っていることを検証できる。
【0089】
また、上記実施例によれば、検証装置２は、位置情報に対応する６種のコミット値と、互いに生成された６種の乱数とを用いて、６種の証明情報を検証し、位置情報を知っていることを検証する。かかる構成によれば、検証装置２は、位置情報が秘匿された場合であっても、６種の証明情報を検証することで、確実に位置情報を知っていることを検証できる。
【0090】
［その他］
なお、車両１において証明情報生成部１４３は、位置情報ｐｉに対して、車両１によって生成された乱数ｒｉおよび検証装置２によって生成された乱数ｅｉを用いて、以下の式（１）に示す証明情報ｓｉを生成すると説明した。しかしながら、証明情報生成部１４３は、これに限定されず、車両１によって生成された乱数ｒｉおよび車両１側で生成された乱数を用いて、証明情報を生成しても良い。すなわち、車両１が検証装置２の代わりに乱数を生成する場合であっても良い。例えば、乱数生成部１４２は、位置情報ごとに、位置情報の証明を行う際に用いられる乱数ｒｉ（ランダム値）を生成する。そして、乱数生成部１４２は、生成した乱数ｒｉ（ランダム値）とハッシュ関数とを用いて、チャレンジ乱数を生成しても良い。そして、証明情報生成部１４３は、位置情報ｐｉに対して、車両１によって生成された乱数ｒｉおよびチャレンジ乱数を用いて、証明情報ｓｉを生成すれば良い。これにより、車両１は、チャレンジ乱数を用いることで、チャレンジ乱数を乱数（ランダム値）としてコミットすることができる。すなわち、生成したチャレンジ乱数は、車両１が変更することができない、コミットされた乱数（ランダム値）とすることができる。
なお、車両１において証明情報生成部１４３は、位置情報ｐｉに対して、車両１によって生成された乱数ｒｉおよび検証装置２によって生成された乱数ｅｉを用いて、以下の式（１）に示す証明情報ｓｉを生成すると説明した。しかしながら、証明情報生成部１４３は、これに限定されず、車両１によって生成された乱数ｒｉおよび車両１側で生成された乱数を用いて、証明情報を生成しても良い。すなわち、車両１が検証装置２の代わりに乱数を生成する場合であっても良い。例えば、乱数生成部１４２は、位置情報ごとに、位置情報の証明を行う際に用いられる乱数ｒｉ（ランダム値）を生成する。そして、乱数生成部１４２は、生成した乱数ｒｉ（ランダム値）とハッシュ関数とを用いて、チャレンジ乱数を生成しても良い。そして、証明情報生成部１４３は、位置情報ｐｉに対して、車両１によって生成された乱数ｒｉおよびチャレンジ乱数を用いて、証明情報ｓｉを生成すれば良い。これにより、車両１は、チャレンジ乱数を用いることで、チャレンジ乱数を乱数（ランダム値）としてコミットすることができる。すなわち、生成したチャレンジ乱数は、車両１が変更することができない、コミットされた乱数（ランダム値）とすることができる。
【0091】
また、図示した検証装置２の各構成要素は、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、検証装置２の分散・統合の具体的態様は図示のものに限られず、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散・統合して構成することができる。例えば、通信制御部１３と、生成部１４とを統合して新たな生成部にしても良い。
【0092】
また、上記実施例で説明した各種の処理は、予め用意されたプログラムをパーソナルコンピュータやワークステーションなどのコンピュータで実行することによって実現することができる。そこで、以下では、図３に示した検証装置２と同様の機能を実現する走行距離検証プログラムを実行するコンピュータの一例を説明する。図７は、走行距離検証プログラムを実行するコンピュータの一例を示す図である。
【0093】
図７に示すように、コンピュータ２００は、各種演算処理を実行するＣＰＵ２０３と、ユーザからのデータの入力を受け付ける入力装置２１５と、表示装置２０９を制御する表示制御部２０７とを有する。また、コンピュータ２００は、記憶媒体からプログラムなどを読取るドライブ装置２１３と、ネットワークを介して他のコンピュータとの間でデータの授受を行う通信制御部２１７とを有する。また、コンピュータ２００は、各種情報を一時記憶するメモリ２０１と、ＨＤＤ（Hard Disk Drive）２０５を有する。そして、メモリ２０１、ＣＰＵ２０３、ＨＤＤ２０５、表示制御部２０７、ドライブ装置２１３、入力装置２１５、通信制御部２１７は、バス２１９で接続されている。
【0094】
ドライブ装置２１３は、例えばリムーバブルディスク２１０用の装置である。ＨＤＤ２０５は、走行距離検証プログラム２０５ａおよび走行距離検証処理関連情報２０５ｂを記憶する。
【0095】
ＣＰＵ２０３は、走行距離検証プログラム２０５ａを読み出して、メモリ２０１に展開し、プロセスとして実行する。かかるプロセスは、検証装置２の各機能部に対応する。走行距離検証処理関連情報２０５ｂは、図示しない記憶部に対応する。そして、例えばリムーバブルディスク２１０が、走行距離検証プログラム２０５ａなどの各情報を記憶する。
【0096】
なお、走行距離検証プログラム２０５ａについては、必ずしも最初からＨＤＤ２０５に記憶させておかなくても良い。例えば、コンピュータ２００に挿入されるフレキシブルディスク（ＦＤ）、ＣＤ－ＲＯＭ（Compact Disk Read Only Memory）、ＤＶＤ（Digital Versatile Disk）、光磁気ディスク、ＩＣ（Integrated Circuit）カードなどの「可搬用の物理媒体」に当該プログラムを記憶させておく。そして、コンピュータ２００がこれらから走行距離検証プログラム２０５ａを読み出して実行するようにしても良い。
【符号の説明】
【0097】
１ 車両
１１ 通信部
１２ オドメータ値取得部
１３ 通信制御部
１４ 生成部
１４１ コミット値生成部
１４２ 乱数生成部
１４３ 証明情報生成部
１４４ 移動距離生成部
１５ 位置情報取得部
２ 検証装置
２１ 通信部
２２ 検証部
２２１ 乱数生成部
２２２ 位置情報検証部
２２３ 移動距離検証部
２２４ 走行距離検証部
３ ブロックチェーン
３１ 通信部
３２ 記録部
５ ネットワーク
９ 検証システム
１１ 通信部
１２ オドメータ値取得部
１３ 通信制御部
１４ 生成部
１４１ コミット値生成部
１４２ 乱数生成部
１４３ 証明情報生成部
１４４ 移動距離生成部
１５ 位置情報取得部
２ 検証装置
２１ 通信部
２２ 検証部
２２１ 乱数生成部
２２２ 位置情報検証部
２２３ 移動距離検証部
２２４ 走行距離検証部
３ ブロックチェーン
３１ 通信部
３２ 記録部
５ ネットワーク
９ 検証システム
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】