(57)【要約】【課題】  様々な取引対象物の取引に用いることができる仮想通貨に基づくデジタルトランザクションシステムを提供することを目的とする。【解決手段】  本発明の一実施形態は、仮想通貨に基づくデジタルトランザクションシステムであって、第１の端末ツールが、チケットの割り当て先及びチケットの属性リストに関する情報を含むチケット創出トランザクションを生成するモジュールを備え、第２の端末ツールが、チケットの購入をオファーするチケット購入メッセージを生成するメッセージ生成部を備え、第３の端末ツールが、チケット購入メッセージの割り当て先であり、チケット購入メッセージに応じて、チケットの所有権を第２の端末ツールに譲渡するチケット購入トランザクションを生成するトランザクション生成部を備え、各トランザクションは、システム内で分散管理されたブロックチェーン元帳に記録される、システムを提供する。【選択図】  図１
2018097725.tif 000002
【特許請求の範囲】
【請求項１】
複数の端末ツールがインターネットを介して接続された、仮想通貨に基づくデジタルトランザクションシステムであって、
前記複数の端末ツールのうちの第１の端末ツールは、チケットの割り当て先及びチケットの属性リストに関する情報を含むチケット創出トランザクションを生成するチケット創出モジュールを備え、
前記複数の端末ツールのうちの第２の端末ツールは、チケットの購入をオファーするメッセージ（チケット購入メッセージ）を生成するメッセージ生成部を備え、
前記複数の端末ツールのうちの第３の端末ツールは、前記チケット購入メッセージの割り当て先であり、該メッセージに応じて、チケットの所有権を前記第２の端末ツールに譲渡するトランザクション（チケット購入トランザクション）を生成するトランザクション生成部を備え、
前記チケット創出トランザクション及び前記チケット購入トランザクションは、前記システム内で分散管理されるブロックチェーン元帳に記録される、前記システム。
【請求項２】
前記チケットの属性リストには、チケットのシリアル番号、イベントのチケットの場合会場の座席指定番号、及び／又はチケットの所有権の譲渡回数が含まれる、請求項１に記載のシステム。
【請求項３】
前記第２の端末ツールの前記メッセージ生成部は、さらに、現実の通貨を、前記システムにおいてチケットの購入に用いる仮想通貨（トークン）に、所定のレートで交換することをオファーするメッセージ（トークン購入メッセージ）を生成する、請求項１又は２に記載のシステム。
【請求項４】
前記複数の端末ツールのうちの第４の端末ツールは、前記トークン購入メッセージの割り当て先であり、該メッセージに応じて、前記交換する現実の通貨の額のトークンの所有権を前記第２の端末ツールに譲渡するトランザクション（トークン購入トランザクション）を生成するトランザクション生成部を備える、請求項３に記載のシステム。
【請求項５】
前記第３の端末ツールは、前記システムにおいてチケットの購入トランザクションに用いる仮想通貨（トークン）を、現実の通貨に所定のレートで交換することをオファーするメッセージ（トークン売却メッセージ）を生成するメッセージ生成部をさらに備える、請求項４に記載のシステム。
【請求項６】
前記トークン売却メッセージの割当先である前記第４の端末ツールの前記トランザクション生成部は、前記トークン売却メッセージに応じて、前記交換するトークンの所有権を前記第３の端末ツールから前記第４の端末ツールに譲渡するトランザクション（トークン売却トランザクション）を生成する、請求項５に記載のシステム。
【請求項７】
前記トークン購入トランザクション及び前記トークン売却トランザクションは、前記ブロックチェーン元帳に記録される、請求項６に記載のシステム。
【請求項８】
前記チケット創出トランザクション及び前記チケット購入トランザクションは、前記システム内で分散管理されたブロックチェーン元帳に記録され、
前記チケットは取引対象物であり、様々な種類のチケット、ホテルやイベント会場の施設の予約権、航空券、美術品、工芸品、骨董品、出土品、モバイル資産、又は不動資産であり、
前記トークン購入トランザクション及び前記トークン売却トランザクションは、前記システム内で分散管理されたブロックチェーン元帳に記録され、
前記トークンは取引対象物であるチケットの売買行うに用いる仮想通貨である、請求項７に記載のシステム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、仮想通貨に基づくデジタルトランザクションシステムに関する。
【背景技術】
【０００２】
近年、仮想通貨を用いた決済システムが発展してきている。仮想通貨としては、Bitcoin（登録商標）や、Ethereum、Ripple（登録商標）、Litecoin、Monero、Dash、Augurなどが知られている。例えばBitcoinを用いた仮想通貨システムでは、Bitcoinは、ピア・ツー・ピアネットワークを介して取引され、そのシステムに参加するユーザそれぞれが有するソフトウェア、ハードウェア、又はウェブ上のウォレットに記録される。Bitcoinのトランザクション（取引）の整合性は、一定期間ごとに行ったすべてのトランザクションはブロックと言われるデータ構造に集約され、このブロックの記録がネットワーク上に分散した、その時までで発生したブロックすべての集約したブロックチェイーンと言われるデータ構造に付け加えた上このブロックチェーン元帳（ledger）に記録され、それを用いた検証により保たれる。
【０００３】
特許文献１は、証券の取引に際し、安全性の向上のために、ブロックチェーン技術を応用し、端末間にピア・ツー・ピアネットワーク上、ポジション項目（PIC）を含ませた仮想通貨を用いた取引システムを開示する。このシステムにおいてポジション項目は、特定の会社の株等を示す記号（例えばＩＢＭ（登録商標）社の証券は「IBM-S」と表示される）である。また、仮想通貨の所有権（ownership）は、公開鍵暗号技術に基づき生成されたトランザクションによりシステム内の全ての端末にブロードキャストされ、ブロードキャストされるトランザクションには、受信端末のアドレス、及び所有権の変遷（chain of title）等の情報が含まれる。証券取引の際には、両トレーダー（trader）がそれぞれのトランザクションを両者が信用できるコーディネーター(coordinator)端末に転送し、その端末による検証を受け、その送信者たちが送信した仮想通貨の正当な所有権者である場合には、それらのトランザクションは、同時にネットワーク上の各端末に実装されたブロックチェーン元帳に記録される。このように、トランザクションの変遷をシステムに参加する各端末が共有し、互いに検証し合うことで、仮想通貨の証券取引の安全性が保持される。
【０００４】
特許文献２は、電子チケットの取引システムを開示する。このシステムによると、利用者は、手間をかけることなく種々のサービスを受けるための電子回数券を容易に購入することが可能となるとともに、不要となった電子回数券の対価を容易に回収することができ、サービス提供事業者は、人手により前記電子回数券を販売したり、該電子回数券の料金を徴収したりする必要が低減される。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】米国特許出願公開第２０１５／０３３２３９５号
【特許文献２】特開２００８−２６９６２４号公報
【発明の概要】
【発明が解決しようとする課題】
【０００６】
特許文献２に記載のように従来の電子チケットの取引システムでは、サービス提供事業者が電子回数券の販売や削除等を一括して管理する、いわゆる中央管理型のシステムである。このような中央管理型のシステムでは、中央管理サーバー等が一時的にでも故障したり、エラーを発生させてしまうと、そのシステムや電子チケットの利用ができなくなるおそれがある。他方、システムを利用する側にとっては、様々な個人情報をその中央管理サーバーに提供することになり、情報漏洩等のリスクを負う。さらには、中央管理サーバー等による取引の安全性を高めようとすると、人手や設備を増強する等のコストが増大し、最終的にはシステムの利用者が支払う料金に上乗せされた形で負担を行うことになる。
【０００７】
特許文献１には、証券の取引に際し、仮想通貨を用いた低コストで取引の安全性が保たれるシステムが開示されている。このシステムでは、数桁の英数字を用いて株がどの会社のものであるかなどを表すポジション項目を仮想通貨に組み込み、仮想通貨を取引するものであるが、ポジション項目（即ち、会社名などを示す記号）として扱える数や種類には制限があり、確定する役割には中央管理者が必要となり、新規登録の際には、既に利用済みのPICコードを考量しなければならない。更に、このシステムで取引を成立させるには、両トレーダーが信用できるコーディネーターの存在が必須であり、コーディネーターがトレードの妥当性を確認した上でその関するトランザクションを同時にブロードキャストする重要な役割を果たすので、取引の際にコーディネーターにはコミッションを支払う必要があると思われ、取引のコスト増加にも繋がる。一般チケットやサービス、商品や中古品、などの様々な取引対象物の電子取引においては、取引の安全性、信頼性が保たれる柔軟性のある、低コストのシステムが望まれる。
【０００８】
そこで、本発明は、このような事情に鑑み、証券や電子チケットのみならず、様々な取引対象物に適用可能な、仮想通貨に基づくデジタルトランザクションシステムを提供することを目的とする。
【課題を解決するための手段】
【０００９】
以下では、主として、本発明の仮想通貨に基づくデジタルトランザクションシステムを様々な種類のチケット、ホテルやイベント会場の施設の予約権、若しくは航空券、又は美術品、工芸品、骨董品、出土品、モバイル資産、又は不動資産の取引に適用したシステムについて説明するが、これに限定されるものではない。本発明の仮想通貨に基づくデジタルトランザクションシステムには以下の態様が含まれ、取引対象品すべては以降「チケット」と呼ぶ。
［１］
複数の端末ツールがインターネットを介して接続された、仮想通貨に基づくデジタルトランザクションシステムであって、
前記複数の端末ツールのうちの第１の端末ツールは、チケットの割り当て先及びチケットの属性リストに関する情報を含むチケット創出トランザクションを生成するチケット創出モジュールを備え、
前記複数の端末ツールのうちの第２の端末ツールは、チケットの購入をオファーするメッセージ（チケット購入メッセージ）を生成するメッセージ生成部を備え、
前記複数の端末ツールのうちの第３の端末ツールは、前記チケット購入メッセージの割り当て先であり、該メッセージに応じて、チケットの所有権を前記第２の端末ツールに譲渡するトランザクション（チケット購入トランザクション）を生成するトランザクション生成部を備え、
前記チケット創出トランザクション及び前記チケット購入トランザクションは、前記システム内で分散管理されるブロックチェーン元帳に記録される、前記システム。
［２］
前記チケットの属性リストには、チケットのシリアル番号、イベントのチケットの場合会場の座席指定番号、及び／又はチケットの所有権の譲渡回数が含まれる、［１］に記載のシステム。
［３］
前記第２の端末ツールの前記メッセージ生成部は、さらに、現実の通貨を、前記システムにおいてチケットの購入に用いる仮想通貨（トークン）に、所定のレートで交換することをオファーするメッセージ（トークン購入メッセージ）を生成する、［１］又は［２］に記載のシステム。
［４］
前記複数の端末ツールのうちの第４の端末ツールは、前記トークン購入メッセージの割り当て先であり、該メッセージに応じて、前記交換する現実の通貨の額のトークンの所有権を前記第２の端末ツールに譲渡するトランザクション（トークン購入トランザクション）を生成するトランザクション生成部を備える、［３］に記載のシステム。
［５］
前記第３の端末ツールは、前記システムにおいてチケットの購入トランザクションに用いる仮想通貨（トークン）を、現実の通貨に所定のレートで交換することをオファーするメッセージ（トークン売却メッセージ）を生成するメッセージ生成部をさらに備える、［４］に記載のシステム。
［６］
前記トークン売却メッセージの割当先である前記第４の端末ツールの前記トランザクション生成部は、前記トークン売却メッセージに応じて、前記交換するトークンの所有権を前記第３の端末ツールから前記第４の端末ツールに譲渡するトランザクション（トークン売却トランザクション）を生成する、［５］に記載のシステム。
［７］
前記トークン購入トランザクション及び前記トークン売却トランザクションは、前記ブロックチェーン元帳に記録される、［６］に記載のシステム。
［８］
前記チケット創出トランザクション及び前記チケット購入トランザクションは、前記システム内で分散管理されたブロックチェーン元帳に記録され、
前記チケットは取引対象物であり、様々な種類のチケット、ホテルやイベント会場の施設の予約権、航空券、美術品、工芸品、骨董品、出土品、モバイル資産、又は不動資産であるがこれらに限定されない、
前記トークン購入トランザクション及び前記トークン売却トランザクションは、前記システム内で分散管理されたブロックチェーン元帳に記録され、
前記トークンは取引対象物であるチケットの売買行うに用いる仮想通貨である、［７］に記載のシステム。
【図面の簡単な説明】
【００１０】
【図１】本発明の一実施形態に係るシステムの概要図である。
【図２】該システムで用いる端末ツールの一実施のブロック図である。
【図３】該システムにおけるチケット及びトークンの取引の流れを示す概要図である。
【図４】チケット創出トランザクション生成の概念図である。
【図５Ａ】チケット購入メッセージ生成の概念図である。
【図５Ｂ】チケット購入メッセージ生成の概念図である。
【図５Ｃ】チケット購入メッセージ生成の概念図である。
【図６Ａ】チケット購入トランザクション生成の概念図である。
【図６Ｂ】チケット購入トランザクション生成の概念図である。
【図６Ｃ】チケット購入トランザクション生成の概念図である。
【図７】トークン購入メッセージ生成の概念図である。
【図８】トークン購入トランザクション生成の概念図である。
【図９】トークン売却メッセージ生成の概念図である。
【図１０】トークン売却トランザクション生成の概念図である。
【図１１】会員カード創出トランザクション生成の概念図である。
【図１２】ポイント利用のチケット購入メッセージ生成の概念図である。
【図１３】ポイント利用のチケット購入トランザクション生成の概念図である。
【図１４】ポイント売却メッセージ生成の概念図である。
【図１５】ポイント売却トランザクション生成の概念図である。
【発明を実施するための形態】
【００１１】
以下図面を参照して、本発明の様々な実施形態について説明する。図示および以下に説明する機能等は、本発明の一実施形態の例示であり、本発明の精神及び範囲から逸脱することなく、他の機能および他の特徴等を有していてもよい。また、以下に説明する仮想通貨に基づくデジタルトランザクションシステム及び端末ツールは、ソフトウェア及び／若しくはファームウェアによりプログラムされた若しくは構成されたプログラム可能な回路、特定用途向けの回路（特定用途向け集積回路（ASIC）、プログラマブルロジックデバイス（PLD）、フィールドプログラマブルゲートアレイ（FPGA）等）、又はこれらの組み合わせを用いて実装可能である。
【００１２】
本発明の仮想通貨に基づくデジタルトランザクションシステム内で用いる仮想通貨の単位を「トークン」と呼ぶ。トークンは、通貨と交換可能である。本明細書において、「通貨」には、現実の通貨（円、ＵＳドル、及びユーロ等）や他の仮想通貨（例えばBitcoin）が含まれる。また、本発明の一実施形態に係るシステムの説明で使用する記号は、限定されないが以下の表に記す意味を有する。
【表１】
2018097725.tif 000003
【００１３】
図１は、本発明の一実施形態に係るシステム１０の概念図である。
【００１４】
図２は、システム１０においてユーザがメッセージ及びトランザクションの生成及び送受信等に用いる端末ツール１００のブロック図である。
【００１５】
システム１０に参加するユーザには、限定されないが、プロデューサ、卸売業者（wholesaler）、小売業者（retailer）、会員カード発行業者、顧客（売主、買主）、ブックキーパ（bookkeeper）、税務局、及びトークン交換所などが含まれる。「ユーザ」には個人、法人、各種団体、及び行政機関等が含まれる。
【００１６】
システム１０に参加する各ユーザは、後述する端末ツール１００（図２）を用いてシステム１０に参加し、端末ツール１００は、インターネットを介して相互に通信可能に接続される。システム１０に含まれる端末ツール１００のそれぞれは、好ましくはピア・ツー・ピアネットワークの一ノードである。
【００１７】
システム１０に参加する全部（又は一部）のユーザの端末ツール１００の記録媒体には、ブロックチェーン技術を用いて各種トランザクションを記録するブロックチェーン元帳が記録されている。即ち、全てのトランザクションを記録したブロックチェーン元帳は、システム１０内で分散管理されている。各端末ツール１００が、ブロックチェーン元帳を相互に検証し合うことで、偽りのトランザクションを生成する悪意のユーザ等からシステム１０の安全性が保たれる。
【００１８】
また、システム１０には、音楽コンサートやスポーツ試合等の各種イベントのチケットに関する情報（例えば、出演する音楽家の名称、日程、場所、チケットの種類等）を公開登録するサイトとしてレジストリが存在する。例えば、プロデューサは、売り出すチケットに関する情報をそのようなレジストリに登録しておくことで、チケットの購入を希望するユーザ（買主）は、その存在を確認することができる。レジストリは、システム１０内に存在するのみならず、一般的なウェブサイト等でチケットに関する情報を公開するようにしてもよい。
【００１９】
システム１０に参加する「プロデューサ（ＰＲ）」の主な役割は、取引対象品であるチケットの新規発行であり、例えば、音楽コンサート・チケットにおける音楽家、音楽バンド等が想定され、スポーツ試合のチケットにおいてはスポーツ団体等が想定される。プロデューサが使用する端末ツール１００には、後述するチケットの新規発行を可能にするチケット創出（creation）トランザクションを生成するモジュール（図２の符号１３１）が含まれる。システム１０において、チケットを新規に発行する役割をプロデューサのみが担う。
【００２０】
「卸売業者」は、プロデューサから第一次的にチケットを購入し、小売業者や顧客に販売する者であり、例えば、音楽コンサートの場合、レコード会社、マネージメント事務所、イベント主催者、又は産業共同体などである。「小売業者」は、プロデューサ又は卸売業者からチケットを購入し、顧客に対してチケットを販売する者（例えば、チケット販売店、再販業者など）である。
【００２１】
「会員カード発行業者」は、システム１０内で使用できる会員カードを新規に発行する者であり、会員カードを有する顧客等は、ポイントを利用したチケットの購入等が可能となる。会員カード発行業者は、プロデューサによる共同事業体や、販売促進業者などである。会員カード発行業者が使用する端末ツール１００には、会員カード創出トランザクションを生成するモジュール（図２の符号１３２）が含まれる。
【００２２】
「顧客」は、卸売業者や小売業者からチケットを購入したり、他の顧客にチケットを転売したりする者である。顧客は、一般的に、主として音楽コンサート等に参加するためにチケットを購入したりするが、不要なチケットを売却したりもする。
【００２３】
「ブックキーパ」は、システム１０内にブロードキャストされた各種トランザクションを検証し、トランザクションをブロックチェーン元帳に記録する者である。ブックキーパは、例えばBitcoin（登録商標）や他の仮想通貨システムにおける採掘者（miner）と同様の役割を担う。ブックキーパは、定期的に（例えば数分ごとに）、ブロードキャストされてきた各種トランザクションの集合であるブロックに対してプルーフ・オブ・ワークに基づく所定の計算処理（例えば、ブロックのハッシュ値の先頭から決められた数の複数桁が０であるハッシュ値を見つける処理）を行い、システム１０内で最初にそのようなハッシュ値を発見したブックキーパが、新規にブロードキャストされたトランザクションのブロックをブロックチェーン元帳に付け加え、その仕事の報酬（手数料）を得る仕組みである。
【００２４】
「税務局」は、システム１０上で行われるチケットの売買等に係る税を受け取る者であり、システム１０では全てトークンで税を受け取る。「交換所」は、トークンと通貨を所定のレートに従い交換する者である。
【００２５】
端末ツール１００は、ＰＣ、スマートフォン、又はタブレットなどの端末で動作するソフトウェアであってもよいし、ウェブ・ブラウザからアクセスしてウェブ上で動作するウェブアプリ、又は組み込みＣＰＵや専用ＬＳＩ（ＡＳＩＣ、ＦＰＧＡなど）を搭載した専用機種（ハードウェア）であってもよい。また、端末ツール１００の各種機能は、端末ツール１００がインストールされたＰＣやスマートフォン等のＣＰＵが記憶媒体に格納された所定のプログラムに応じて各種処理を実行することにより実現されるようにしてもよいし、一部又は全部の機能がそれらの機能を実現するための処理を実行する専用のＬＳＩにより実現されるようにしてもよい。
【００２６】
端末ツール１００は、基本機能として、鍵生成部１１１、電子署名生成部１１２、電子署名検証部１１３、メッセージ生成部１１４、メッセージ検証部１１５、メッセージ記録部１１６、トランザクション生成部１１７、トランザクション検証部１１８、及びトランザクション記録部１１９を含む。また、端末ツール１００は、ユーザインターフェース（Ｉ／Ｆ）１２１、及びインターネットＩ／Ｆ１２２を含む。
【００２７】
端末ツール１００は、アドオンモジュールとして、チケット創出モジュール１３１、会員カード創出モジュール１３２、及び／又は属性割り当てモジュール１３３を含むことがある。これらのアドオンモジュールは、システム１０のユーザのうち特定のユーザの端末ツール１００に含まれる。例えば、プロデューサが使用する端末ツール１００には、アドオンモジュールとしてチケット創出モジュール１３１が含まれ、会員カード発行業者が使用する端末ツール１００には、会員カード創出モジュール１３２が含まれる。また、プロデューサや卸売業者、小売業者、顧客などが使用する端末ツール１００には、属性割り当てモジュール１３３が含まれることがある。一般的に、顧客が使用する端末ツール１００には、これらのアドオンモジュールは含まれない。
【００２８】
鍵生成部１１１は、公開鍵暗号技術に基づく秘密鍵と公開鍵のペアを生成し、生成した公開鍵を用いてその端末ツール１００のユーザのアドレス（チケットやトークンの受け取り先）を生成する。鍵生成部１１１は、端末ツール１００を介してユーザがシステム１０に登録するときや、ユーザが新しい鍵の生成を望むとき等に、新しい秘密鍵と公開鍵のペアを生成する。ユーザのアドレスは、鍵生成部１１１が生成する公開鍵そのもの、又は公開鍵に基づき生成されたものであってもよい。
【００２９】
電子署名生成部１１２は、メッセージ生成部１１４及びトランザクション生成部１１７が生成した各種メッセージ及びトランザクションを、ハッシュ関数を用いてハッシュ値を生成し、鍵生成部１１１が生成した秘密鍵を用いて暗号化することで、それらの電子署名を生成する。電子署名は、メッセージ及びトランザクションが送信されるときに生成され、送信先にメッセージ及びトランザクションとともに送付される。
【００３０】
電子署名検証部１１３は、受信したメッセージやトランザクションに付された電子署名を、送信元の公開鍵で復号化してハッシュ値を生成し、また、受信したメッセージやトランザクションそのものからハッシュ関数を用いてハッシュ値を生成する。電子署名検証部１１３は、両者のハッシュ値が等しいかどうかを検証し、等しい場合には、受信したメッセージやトランザクションが有効であり、等しくない場合には、無効であると判断する。無効である場合に対策として例えば、受信したメッセージ及びトランザクションが自動的に破棄されるようにしてもよいし、ユーザに向けた警告を出すようにしてもよい。
【００３１】
メッセージ生成部１１４は、チケットの購入、トークンの購入、トークンの売却、及びポイントの売却時などに、相手先に向けたオファーメッセージを生成する。システム１０においては、オファーメッセージを受信したユーザがそのオファーメッセージの内容に同意する場合に、トランザクションが生成される。言い換えると、オファーメッセージを受信したユーザがそのオファーに同意しない場合には、トランザクションは生成されない。このシステム１０では、トランザクションの生成という形で、オファーを出すユーザと受けるユーザとの間の合意が明確となる。オファーメッセージに含まれる内容については、後述する。
【００３２】
メッセージ検証部１１５は、受信したメッセージ及び／又は送信するメッセージの内容について検証する。例えば、メッセージ検証部１１５は、受信したメッセージに必要な情報が含まれているかや、所定のフォーマットに則っているか等を検証する。また、メッセージ検証部１１５は、ブロックチェーン元帳にアクセスし、受信したメッセージ及び／又は送信するメッセージに含まれる取引対象品であるチケット在庫の証拠、支払に必要なトークンの証拠、ポイントの証拠、会員カードの証拠（いずれも後述する）などの情報が、ブロックチェーン元帳に記録されたものであるかや、チケット及びトークン等に不足や誤りがないかどうかを検証する。以下では、送信するメッセージ及び受信したメッセージは、メッセージ検証部１１５により検証済み（即ち、適切なメッセージ）として説明を行う。
【００３３】
メッセージ記録部１１６は、端末ツール１００がインストールされた端末の記録媒体、端末ツール１００が有する記録媒体、又はインターネット上のクラウドストレージなどに、受信したメッセージ又は送信したメッセージのすべて又は一部を記録する。例えば、メッセージ記録部１１６は、受信したメッセージを、そのメッセージに対してトランザクションを生成するときまでにのみ、そのメッセージを記録するようにしてもよい。
【００３４】
トランザクション生成部１１７は、チケットの創出（つまり新規チケットの発行）、チケットの購入、トークンの購入、トークンの売却、ポイントの売却、及び会員カードの発行時などに、トランザクションを生成し、システム１０内の各端末ツール１００にブロードキャストする。トランザクションは、ブックキーパにより検証され、ブロックチェーン元帳に記録されることで、トランザクションはシステム１０内で承認され、その信用が担保される。
【００３５】
トランザクション検証部１１８は、受信したトランザクション及び／又は送信するトランザクションの内容について検証する。例えば、トランザクション検証部１１８は、送信するトランザクションに必要な情報が含まれているかや、所定のフォーマットに則っているか等を検証し、内容が受信又は送信したメッセージで示された内容に基づくものであるかどうかについても検証する。また、トランザクション検証部１１８は、ブロックチェーン元帳にアクセスし、受信したトランザクション及び／又は送信するトランザクションに含まれるチケットの在庫の証拠、トークンの証拠、ポイントの証拠（いずれも後述する）などの情報が、ブロックチェーン元帳に記録されたものであるかや、実行数量等にオファー数に対する不足や誤りがないかどうかを検証する。システム１０において、各端末ツール１００が送信するトランザクション及び／又は受信したトランザクションの検証を行うことで、ブックキーパの検証負荷が軽減される。以下では、送信するトランザクション及び受信したトランザクションは、トランザクション検証部１１８により検証済み（即ち、適切なトランザクション）として説明を行う。
【００３６】
トランザクション記録部１１９は、端末ツール１００がインストールされた端末の記録媒体、端末ツール１００が有する記録媒体、又はインターネット上のクラウドストレージなどに、受信したトランザクション又は送信したトランザクションを記録する。このようにトランザクションを記録しておくことで、端末ツール１００は、ユーザが有するチケット、ポイント、トークンなどの管理を行うことができる。
【００３７】
ユーザＩ／Ｆ１２１は、マイク等の音声入力機器、キーボード、マウス、タッチパッド、又はタッチパネル操作などを介してユーザからの入力を受け付けたり、各種処理結果をモニタ上に表示やスピーカー経由でユーザに告知する。インターネットＩ／Ｆ１２２は、インターネットと端末ツール１００とのメッセージやトランザクション等の情報のやりとりを可能にするインターフェースである。
【００３８】
チケット創出モジュール１３１は、チケットを創出するトランザクションを生成する。会員カード創出モジュール１３２は、会員カードを創出するトランザクションを生成する。属性割り当てモジュール１３３は、トランザクションを生成する際に、チケットの属性の割り当てを変更する。
【００３９】
図３は、本実施形態に係るシステム１０におけるチケット及びトークンの取引の流れを示す概要図である。
【００４０】
図３を用いて、システム１０におけるチケット及びトークンの取引の流れの概要について説明する。システム１０において売主ＳＲがある音楽家（プロデューサ）のコンサートのチケットを販売していたとする。チケットの売主は、プロデューサ、卸売業者、又は小売業者であり、買主ＢＲ１〜ＢＲＭは、卸売業者、小売業者、又は顧客である。不要なチケットを売却する顧客も、売主になりうる。
【００４１】
＜トークンの購入＞
買主ＢＲ１〜ＢＲＭは、システム１０内で使用する仮想通貨（トークン）を用いてチケットを購入する必要があるため、トークン交換所ＴＥＸに向けたトークン購入メッセージMsgBTK|BR1:TEX〜MsgBTK|BRM:TEXを送信する。トークン交換所ＴＥＸは、受信したトークン購入メッセージMsgBTK|BR1:TEX〜MsgBTK|BRM:TEXに応じて、買主ＢＲ１〜ＢＲＭがオファーするトークン分に相当する通貨の支払いがあることを確認し、トークン購入トランザクションTrBTK|TEX:BR1〜TrBTK|TEX:BRMを生成し送信（ブロードキャスト）する。トークン購入トランザクションTrBTK|TEX:BR1〜TrBTK|TEX:BRMがブックキーパによりブロックチェーン元帳に記録されることで、買主ＢＲ１〜ＢＲＭは、そのトークンの正当な所有権者となり、チケットの取引時にそのトークンを使用することが可能になる。尚、買主ＢＲ１〜ＢＲＭからトークン交換所ＴＥＸへの通貨の支払は例えば銀行間送金や他の仮想通貨（例えばビットコインBitcoin）等により、システム１０の外側で行われる。
【００４２】
＜チケットの購入＞
買主ＢＲ１〜ＢＲＭは、売主ＳＲが扱うチケットの情報（例えばチケット情報のハッシュ値等）を売主のウェッブサイトなどから取得し、この情報をチケットに関する情報が登録され公開されたレジストリ等で確認し、売主ＳＲに対し、チケット購入メッセージMsgPCH|BR1:SR〜MsgPCH|BRM:SRを送信する。売主ＳＲは、受信したチケット購入メッセージMsgPCH|BR1:SR〜MsgPCH|BRM:SRに応じて、チケット購入トランザクションTrPCH|SR:BR1〜TrPCH|SR:BRMを送信（ブロードキャスト）する。チケット購入トランザクションTrPCH|SR:BR1〜TrPCH|SR:BRMがブックキーパによりブロックチェーン元帳に記録されることで、買主ＢＲ１〜ＢＲＭは、そのチケットの正当な所有権者となり、そのチケットを使用することが可能となる。
【００４３】
＜トークンの売却＞
売主ＳＲ（又は買主であってもよい）は、トークン交換所ＴＥＸにてトークンを通貨に交換するために、トークン売却メッセージMsgSTK|SR:TEXを送信する。トークン交換所ＴＥＸは、受信したトークン売却メッセージMsgSTK|SR:TEXに応じてトークン売却トランザクションTrSTK|TEX:SRを送信（ブロードキャスト）する。トークン売却トランザクションTrSTK|TEX:SRがブックキーパによりブロックチェーン元帳に記録されると、売却したトークンは売主ＳＲ側で使用できなくなる。なお、トークン交換所ＴＥＸと売主ＳＲとの通貨のやりとりは例えば銀行間送金や他の仮想通貨（例えばBitcoin）等により、システム１０の外側で行われる。
【００４４】
次に図４〜１５を参照しながら、本実施形態のシステム１０で使用されるメッセージ及びトランザクションの詳細について説明する。
【００４５】
システム１０で使用されるメッセージ及びトランザクションには、限定されないが、チケット創出トランザクション、チケット購入メッセージ、チケット購入トランザクション、トークン購入メッセージ、トークン購入トランザクション、トークン売却メッセージ、トークン売却トランザクション、会員カード創出トランザクション、ポイント売却メッセージ、及びポイント売却トランザクションが含まれる。
【００４６】
１．チケット創出トランザクション
プロデューサが使用する端末ツール１００には、チケット創出モジュール１３１がアドオンされている。チケット創出モジュール１３１は、チケットを新規に創出（発行）するチケット創出トランザクションを生成する。図４は、チケット創出トランザクションの概念図である。該モジュール１３１は、図４の左側に示されている情報を基に該トランザクションを生成して、トランザクション行った後の結果（変化された情報）は図４の右側に示されている。
【００４７】
チケット創出モジュール１３１は、チケットに関する情報として、プロデューサのアドレスAd(vkPR)、チケット情報TTPR(α)に対してプロデューサの電子署名Sgn(TTPR(α))、及びチケット情報TTPR(α)のハッシュ値h(TTPR(α))を入力として、創出に必要な分のトークンの証拠として、過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…も入力としてトランザクションを生成する。チケットに関する情報は、限定されないが、ユーザ（プロデューサ）によりユーザＩ／Ｆ１２１を通じて入力され、トークンの証拠は、限定されないが、端末ツール１００によってトランザクション記録部１１９に記録された過去のトランザクションの中から適切なものが抽出され使用される。さらに、チケット創出モジュール１３１は、チケットの割り当て先（例えば卸売業者や小売業者など）に関する情報も必要とし、限定されないが、ユーザ（プロデューサ）によりユーザＩ／Ｆ１２１を通じて入力される。
【００４８】
ここで、チケット創出トランザクションにおけるトークンの証拠として提供するトークンは、ブックキーパがチケット創出トランザクションをブロックチェーン元帳に記録する際の手数料をブックキーパに支払うために必要である。トークンの証拠で提供したトークンの額とブックキーパが受け取る手数料との差額は、トークンのお釣りTkCNGとしてブロックチェーン元帳に記録されることになる（即ちプロデューサ側に戻る）。
【００４９】
なお、ブックキーパが各種トランザクションをブロックチェーン元帳に記録する際の手数料は、システム１０全体で予め決定しておくようにしてもよいし、トークンの流通量等に応じて適宜変更される仕様としてもよい。
【００５０】
チケット創出モジュール１３１は入力情報を基に、チケット創出トランザクションを生成し、チケット創出トランザクションの結果には、プロデューサのアドレスAd(vkPR)及びそのアドレスへのトークンのお釣りTkCNGに関する情報が含まれる。また、チケット創出トランザクションの結果には、チケットの割り当て先ＣＲ１〜ＣＲＭ（端末ツール１００を使用している）のアドレスAd(vkCR1)〜Ad(vkCRM)、それぞれのアドレスへのチケットの数NCR1[TTPR(α)]〜NCRM[TTPR(α)]、及びそれぞれの割り当て先の各チケットに合わせた（又は統一した）属性リスト｛Attr-list｝CR1[TTPR(α)]〜｛Attr-list｝CRM[TTPR(α)]に関する情報が含まれる。
【００５１】
ここで、チケット情報TTPR(α)について、「PR」はチケットを創出したプロデューサごとに異なるチケットであることを識別する記号であり、「α」はチケットの種類（例えば、Ｓ席、Ａ席、Ｂ席といった違い）ごとに異なるチケットであることを識別する記号である。また、チケット情報TTPR(α)には、チケットの種類コード（識別子）、チケットの初期価格、チケットの有効期限、約款（例えば、交換ができないこと、再入場ができないこと、転売回数が決められていること等）、属性リスト｛Attr-list｝のフォーマット及びその初期値、指定する属性発行者、並びに再販時の条件に関する情報、などが含まれる。
【００５２】
プロデューサは、チケットの譲渡回数の制限（例えば購入後の譲渡不可や１度のみ転売可など）及び／又は譲渡時の価格上昇の制限（例えば元の価格より１０％以上高くなってはならない等）を設定しておくことができる。このように設定しておくことで、例えば人気の音楽バンドのコンサートのチケットが、悪意の転売者により、異常な高値を付けてチケットが転売されることを防止することができる。
【００５３】
一つのチケット創出トランザクションで、複数の割り当て先Ad(vkCR1)〜Ad(vkCRM)ごとの割り当てるチケットの数NCR1[TTPR(α)]〜NCRM[TTPR(α)]及び各チケットの属性リスト{Attr-list}CR1[TTPR(α)]〜{Attr-list}CRM[TTPR(α)]を決めておくことができる。なお、チケットの割り当て先は一つであってもよいし、プロデューサ自身でもよい。
【００５４】
チケット創出トランザクションは、システム１０の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。これにより、チケットが新規に発行される。
【００５５】
２．属性リスト
チケット情報TTPR(α)に関する属性リストAttr-listは、各チケットに付着する属性の一覧である。その中の各属性は、創出時又は属性の種類に応じてその後に設定される。属性リストAttr-listには、チケットの各種属性に関する情報に加えて、対応するチケットを特定するためのチケットの識別子及び属性リストのシリアル番号等も含まれる。チケットの属性には、例えば、コンサート会場の座席指定番号、チケットのその時点までの譲渡回数、チケットに添付されているポイントの数とその有効期限、ポイントを使用できる会員カードの種類等が含まれる。
【００５６】
また、属性リストAttr-listに含まれる属性は、固定属性、動的属性、及び一度のみ書き換え可能属性のいずれかに該当する。
【００５７】
固定属性は、プロデューサがチケット創出時に予め決定しておく属性であり、チケット創出後に変更することはできない属性である。例えば、属性リストAttr-listに含まれる固定属性は、チケットの属性リストのシリアル番号などである。
【００５８】
動的属性は、チケット創出後に変更できる属性である。例えば、属性リストAttr-listに含まれる動的属性は、チケットの所有権の譲渡回数などであり、チケットを販売する者がトランザクションを生成する際に適宜変更できる。
【００５９】
一度のみ書き換え可能属性は、チケット創出後に、例えば属性発行者が一度のみ書き換えできる属性である。属性発行者としては、卸売業者や小売業者が想定される。例えば、プロデューサがコンサート会場内の座席のエリアを指定したが、具体的な座席を指定せずにチケットを創出し、卸売業者や小売業者にチケットを割り当てた場合に、卸売業者や小売業者が指定されたエリア内の具体的な座席を指定するために書き込む属性などである。指定後、書き換え不可能である。
【００６０】
３．チケット購入メッセージ
チケットの購入を希望するユーザ（チケットの買主）は、チケットを販売するユーザ（チケットの売主）に、端末ツール１００を通じてチケット購入メッセージを送信する。チケット購入メッセージは、買主の端末ツール１００のメッセージ生成部１１４が生成し、買主から売主へ向けたオファーメッセージであり、売主は、チケット購入メッセージに応じる形で、チケットの所有権を買主に譲渡するトランザクション（チケット購入トランザクション）を生成する。卸売業者に対する小売業者は、それぞれ売主と買主の関係となり、小売業者に対する顧客はそれぞれ売主と買主の関係となり、チケットを取引する顧客どうしはそれぞれ売主と買主の関係となる。図５Ａ〜５Ｃは、チケット購入メッセージ生成の概念図である。該各図では、左側に示されている情報を基に該メッセージが生成され、結果（変化された情報）はその図の右側に示されている。
【００６１】
まず、チケット購入メッセージの基本形について、図５Ａに、チケット購入メッセージには、売主のアドレスAd(vkSR)、ブロックチェーン元帳に記録されている（又はレジストリに公開されている）希望するチケットを区別するハッシュ値h(TTPR(α))、チケットのオファー価格TkOFR、及び購入数NOFRに関する情報が少なくとも含まれる。また、チケット購入メッセージには、任意に、最小希望購入数NminOFR、チケットすべてについて希望する属性リスト{Attr-list}OFR、属性リストについての条件Attr-condOFR、及びオファーの有効期限ExpOFRに関する情報などが含まれていてもよい。
【００６２】
希望する属性リスト{Attr-list}OFRは、例えばチケットが航空券の場合、窓側席、通路側席等で買主が希望する座席であり、属性リスト条件Attr-condOFRは、例えば、窓側を１つ通路側を２つや、横に３席並んだ席等、希望する属性リスト{Attr-list}OFRで示される属性にかける具体的な条件である。
【００６３】
買主の端末ツール１００のメッセージ生成部１１４は、売主のアドレスAd(vkSR)、希望するチケットのハッシュ値h(TTPR(α))、オファー価格TkOFR、及び希望購入数NOFRに関する情報、並びに、任意に、最小希望購入数NminOFR、希望する属性リスト{Attr-list}OFR、属性リスト条件Attr-condOFR、及びオファーの有効期限ExpOFRに関する情報を必要とする。これらの情報は、限定されないが、買主が端末ツール１００のユーザＩ／Ｆ１２１を通じて入力する形で行われる。また、メッセージ生成部１１４は、チケット購入に必要分のトークンの証拠として、過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…を必要とする。トークンの証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをメッセージ生成部１１４が自動的に抽出するようにしてもよい。
【００６４】
メッセージ生成部１１４が生成するチケット購入メッセージの実行後結果には、売主のアドレスAd(vkSR)及びそのアドレスへの希望購入数NOFRとオファー価格TkOFRとの積（支払い合計）に関する情報、並びに、買主のアドレスAd(vkBR)、買主に向けたチケットの購入数NOFR[TTPR(α)]及びトークンのお釣りTkOFR|CNG[tokens]に関する情報が含まれる。税務局がシステム１０に参加している場合には、チケット購入メッセージには、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkOFR|TAX[tokens]に関する情報も含まれる。トークンの証拠として必要なトークンの額は、オファー価格TkOFR及び希望購入数NOFRの積NOFR×TkOFR[tokens]と、税務局へ支払う税額TkOFR|TAX[tokens]との合計よりも、ブックキーパが受け取る手数料も考量する必要があるため、大きくなければならない。
【００６５】
次に、図５Ｂは、複数のユーザ（二次買主ＢＲＳ１、ＢＲＳ２…）のためにチケットを購入する買主（一次買主ＢＲＰ）が生成するチケット購入メッセージ生成の概念図である。
【００６６】
図５Ｂに、一次買主の端末ツール１００のメッセージ生成部１１４は、売主のアドレスAd(vkSR)、希望するチケットのハッシュ値h(TTPR(α))、チケットのオファー価格TkOFR、及び希望購入数NOFRに関する情報、並びに、任意に、最小希望購入数NminOFR、希望する属性リスト{Attr-list}OFR、属性リスト条件Attr-condOFR、及びオファーの有効期限ExpOFRに関する情報を必要とする。これらの情報には、さらに、二次買主ごとのアドレスAd(vkBRS1)、Ad(vkBRS2)…や、チケットの購入数NOFR|BRS1[TTPR(α)]、NOFR|BRS2[TTPR(α)] …、二次買主が希望するチケットの属性{Attr-list}OFR|BRS1[TTPR(α)]、{Attr-list}OFR|BRS2[TTPR(α)]…等に関する情報も含まれる。さらに、メッセージ生成部１１４は、チケット購入に必要分のトークンの証拠として、過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…を必要とする。これらの情報は、限定されないが、ユーザによりユーザＩ／Ｆ１２１を通じて入力される。トークンの証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをメッセージ生成部１１４が自動的に抽出するようにしてもよい。
【００６７】
メッセージ生成部１１４が生成するチケット購入メッセージの実行後結果には、売主のアドレスAd(vkSR)及びそのアドレスに向けた希望購入数NOFRとオファー価格TkOFR[tokens]との積（支払い合計）に関する情報、並びに、一次買主のアドレスAd(vkBRP)、一次買主に向けたチケットの購入数NOFR|BRP[TTPR(α)]及びトークンのお釣りTkOFR|CNG[tokens]に関する情報が含まれる。また、チケット購入メッセージには、二次買主のアドレスAd(vkBRS1)、Ad(vkBRS2)…と各二次買主に向けたチケットの希望購入数NOFR|BRS1[TTPR(α)]、NOFR|BRS2[TTPR(α)]…に関する情報も含まれる。また、税務局がシステム１０に参加している場合には、チケット購入メッセージには、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkOFR|TAX[tokens]に関する情報も含まれる。
【００６８】
希望購入数NOFRは、一次買主の希望購入数NOFR|BRP[TTPR(α)]と二次買主の希望購入数NOFR|BRS1[TTPR(α)]、NOFR|BRS2[TTPR(α)]…の和との合算値に等しい。また、お釣りTkOFR|CNG[tokens]の割り当ては一次買主のアドレスAd(vkBRP)にしなければならず、二次買主のアドレスAd(vkBRS1)、Ad(vkBRS2)…にすることはできない。ただし、一次買主へのチケットの希望購入数NOFR|BRPを０とすることができる。
【００６９】
次に、図５Ｃは、複数のユーザ（二次買主ＢＲＳ１、ＢＲＳ２…）のために複数の種類のチケットを購入する買主（一次買主ＢＲＰ）が生成するチケット購入メッセージ生成の概念図である。
【００７０】
図５Ｃに、一次買主の端末ツール１００のメッセージ生成部１１４は、売主のアドレスAd(vkSR)、希望するチケットの種類TTPR1(a)、TTPR2(b)…ごとに、チケットのハッシュ値h(TTPR1(a))、h(TTPR2(b))…、チケットのオファー価格TkOFR,1a、TkOFR,2b…及び希望購入数NOFR,1a、NOFR,2b…に関する情報、並びに、任意に、最小希望購入数NminOFR,1a、NminOFR,2b…、希望する属性リスト{Attr-list}OFR,1a、{Attr-list}OFR,2b…、属性リスト条件Attr-condOFR,1a、Attr-condOFR,2b…、及びオファーの有効期限ExpOFRに関する情報を必要とする。これらの情報には、さらに、二次買主のアドレスAd(vkBRS1)、Ad(vkBRS2)…や、及び二次買主ごと及びチケットの種類ごとに、二次買主が希望するチケットの購入数NOFR|BRS1,1a[TTPR1(a)]、NOFR|BRS1,2b[TTPR2(b)]…、NOFR|BRS2,1a[TTPR1(a)]、NOFR|BRS2,2b[TTPR2(b)]…、チケットの属性{Attr-list}BRS1,1a[TTPR1(a)]、{Attr-list}BRS1,2b[TTPR2(b)]…、{Attr-list}BRS2,1a[TTPR1(a)]、{Attr-list}BRS2,2b[TTPR2(b)]…等に関する情報も含まる。これらの情報は、限定されないが、ユーザによりユーザＩ／Ｆ１２１を通じて入力される。
【００７１】
また、メッセージ生成部１１４は、チケット購入に必要分のトークンの証拠として、過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…を必要とする。トークンの証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをメッセージ生成部１１４が自動的に抽出するようにしてもよい。
【００７２】
メッセージ生成部１１４が生成するチケット購入メッセージの実行後結果には、売主のアドレスAd(vkSR)及びそのアドレスに向けたチケットの種類ごとの希望購入数NOFR,1a、NOFR,2b…とそれぞれのオファー価格TkOFR,1a[tokens]、TkOFR,2b[tokens]…との積和（支払い合計）に関する情報が含まれる。また、チケット購入メッセージには、一次買主のアドレスAd(vkBRP)、一次買主に向けたチケットの種類ごとの購入数NOFR|BRP,1a[TTPR1(a)]、NOFR|BRP,2b[TTPR2(b)]…及びトークンのお釣りTkOFR|CNG[tokens]に関する情報が含まれる。さらに、チケット購入メッセージには、二次買主のアドレスAd(vkBRS1)、Ad(vkBRS2)…と対応する二次買主に向けたチケットの種類ごとの購入枚数NOFR|BRS1,1a[TTPR1(a)]、NOFR|BRS2,2b[TTPR2(b)]…の組に関する情報が含まれる。また、税務局がシステム１０に参加している場合には、チケット購入メッセージには、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkOFR|TAX[tokens]に関する情報も含まれる。
【００７３】
チケットの種類ごとの入力した希望購入数NOFR,1a、NOFR,2b…は、一次買主の希望購入数NOFR|BRP,1a[TTPR1(a)]、NOFR|BRP,2b[TTPR2(b)]…と、二次買主の希望購入数NOFR|BRS1,1a[TTPR1(a)]、NOFR|BRS2,2b[TTPR2(b)]…、NOFR|BRS2,1a[TTPR1(a)]、NOFR|BRS2,2b[TTPR2(b)]…、…の和との合算値に等しい。
【００７４】
４．チケット購入トランザクション
買主から送信されたチケット購入メッセージは、売主の端末ツール１００で受信されると、売主は買主のオファーに沿ったチケットを販売できるかを判断する。販売可能な場合は、売主の端末ツール１００のトランザクション生成部１１７は、チケットの所有権を買主に譲渡するトランザクション（チケット購入トランザクション）を生成し、システム１０内の各端末ツール１００に向けて送信（ブロードキャスト）する。図６Ａ〜６Ｃは、チケット購入トランザクション生成の概念図である。該各図では、左側に示されている情報を基に該トランザクションが生成され、結果（変化された情報）はその図の右側に示されている。
【００７５】
まず、チケット購入トランザクションの基本形について、図６Ａに、チケット購入トランザクション生成に際し、売主の端末ツール１００のトランザクション生成部１１７は、買主のアドレスAd(vkBR)、受信したチケット購入メッセージMsgPCH|BR:SR、及びそのメッセージに対して買主の電子署名Sgn(MsgPCH|BR:SR)をオファーとして必要とする。これらの情報は、限定されないが、メッセージ記録部１１６に記録されたメッセージの中から適合するものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。また、チケットの在庫の証拠として、過去のチケットを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFM1), h(TrPFM1)｝、｛Ad(vkPFM2), h(TrPFM2)｝…を必要とする。チケットの在庫の証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。
【００７６】
トランザクション生成部１１７は、受信したチケット購入メッセージに応じてチケット購入トランザクションを生成する。チケット購入トランザクションの実行後結果には、売主のアドレスAd(vkSR)、並びにそのアドレスに向けたチケットの実際の販売数NEXE[TTPR(α)]とチケットの実際の販売価格TkEXE[tokens]との積（支払い合計）、及び売主がチケットを販売した後に有することになるチケットの残数NREM[TTPR(α)]に関する情報が含まれる。また、チケット購入トランザクションには、買主のアドレスAd(vkBR)、並びにそのアドレスに向けた実際の販売数NEXE[TTPR(α)]、販売したチケットに設定された属性リスト{Attr-list}EXE[TTPR(α)]、及びトークンのお釣りTkEXE|CNG[tokens]に関する情報が含まれる。税務局がシステム１０に参加している場合には、チケット購入トランザクションに、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkEXE|TAX[tokens]に関する情報も含まれる。
【００７７】
チケットの残数NREM[TTPR(α)]は、在庫の証拠で示したトランザクションで取得したチケットの数の和から、チケットの販売数NEXEを差し引いた数に相当する。また、チケット購入メッセージで示されたトークンの証拠の和から実際のチケット販売額NEXE[TTPR(α)]×TkEXE[tokens]と税額TkEXE|TAX[tokens]とお釣りTkEXE|CNG[tokens]とを差し引いた額がブックキーパへの手数料となる。また、チケット購入メッセージの中で最小希望購入数NminOFRが設定されている場合には、チケット販売数NEXE[TTPR(α)]は、最小希望購入数NminOFRを下回ってはならない。
【００７８】
該チケット購入トランザクションは、システム１０内の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。
【００７９】
次に、図６Ｂは、複数のユーザ（二次買主）のためにチケットを購入する一人の買主（一次買主）が生成したチケット購入メッセージに対する売主が行うチケット購入トランザクション生成の概念図である。
【００８０】
図６Ｂに、売主の端末ツール１００のトランザクション生成部１１７は、一次買主のアドレスAd(vkBRP)、受信したチケット購入メッセージMsgPCH|BRP:SR、及びそのメッセージに対して一次買主の電子署名Sgn(MsgPCH|BRP:SR)をオファーとして必要とする。これらの情報は、限定されないが、メッセージ記録部１１６に記録されたメッセージの中から適合するものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。また、トランザクション生成部１１７は、チケットの在庫の証拠として、過去のチケットを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFM1), h(TrPFM1)｝、｛Ad(vkPFM2), h(TrPFM2)｝…を必要とする。チケットの在庫の証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。
【００８１】
トランザクション生成部１１７は、受信したチケット購入メッセージに応じてチケット購入トランザクションを生成する。チケット購入トランザクションの実行後結果には、売主のアドレスAd(vkSR)、並びにそのアドレスに向けたチケットの実際の販売数NEXE[TTPR(α)]とチケットの実際の販売価格TkEXE[tokens]との積（支払い合計）、及び売主がチケットを販売した後に有することになるチケットの残数NREM[TTPR(α)]に関する情報を含む。また、チケット購入トランザクションには、一次買主のアドレスAd(vkBRP)、並びにそのアドレスに向けた実際の販売数NEXE|BRP[TTPR(α)]、チケットに設定された属性リスト{Attr-list}EXE|BRP[TTPR(α)]、及びトークンのお釣りTkEXE|CNG[tokens]に関する情報が含まれる。さらに、チケット購入トランザクションには、二次買主のアドレスAd(vkBRS1)、Ad(vkBRS2)…、並びにそれぞれのアドレスに向けた実際の販売数NEXE|BRS1[TTPR(α)]、NEXE|BRS2[TTPR(α)]…、及び販売したチケットに設定された属性リスト{Attr-list}EXE|BRS1[TTPR(α)]、{Attr-list}EXE|BRS2[TTPR(α)]…に関する情報が含まれる。また、税務局がシステム１０に参加している場合には、チケット購入トランザクションには、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkEXE|TAX[tokens]に関する情報も含まれる。
【００８２】
該チケット購入トランザクションは、システム１０内の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。
【００８３】
次に、図６Ｃは、複数のユーザ（二次買主ＢＲＳ１、ＢＲＳ２…）のために複数種類のチケットを購入する一人の買主（一次買主ＢＲＰ）が生成したチケット購入メッセージに対する売主が行うチケット購入トランザクション生成の概念図である。
【００８４】
図６Ｃに、売主の端末ツール１００のトランザクション生成部１１７は、一次買主のアドレスAd(vkBRP)、受信したチケット購入メッセージMsgPCH|BRP:SR、及びそのメッセージに対して一次買主の電子署名Sgn(MsgPCH|BRP:SR)をオファーとして必要とする。これらの情報は、限定されないが、メッセージ記録部１１６に記録されたメッセージの中から適合するものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。また、トランザクション生成部１１７は、チケットの在庫の証拠として、過去のチケットを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFM1), h(TrPFM1)｝、｛Ad(vkPFM2), h(TrPFM2)｝…を必要とする。チケットの在庫の証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。
【００８５】
トランザクション生成部１１７は、受信したチケット購入メッセージに応じてチケット購入トランザクションを生成する。チケット購入トランザクションの実行後結果には、売主のアドレスAd(vkSR)、並びにそれに向けたチケットの種類ごとの実際の販売数NEXE,1a[TTPR1(a)]、NEXE,2b[TTPR2(b)]…と実際の販売価格TkEXE,1a[tokens]、TkEXE,2b[tokens]…との積和（支払い合計）、及び売主が販売後に有するチケットの種類ごとの残数NREM,1a[TTPR1(a)]、NREM,2b[TTPR2(b)]…に関する情報を含む。また、チケット購入トランザクションには、一次買主のアドレスAd(vkBRP)、並びにそのアドレスに向けたチケットごとの実際の販売数NEXE|BRP,1a[TTPR1(a)]、NEXE|BRP,2b[TTPR2(b)]…、チケットごとに実際に設定された属性リスト{Attr-list}EXE|BRP,1a[TTPR1(a)]、{Attr-list}EXE|BRP,2b[TTPR2(b)]…、及びトークンのお釣りTkEXE|CNG[tokens]に関する情報が含まれる。また、チケット購入トランザクションには、二次買主のアドレスAd(vkBRS1)、Ad(vkBRS2)…、並びにそれぞれのアドレスに向けたチケットごとの実際の販売数NEXE|BRS1,1a[TTPR1(a)]、NEXE|BRS1,2b[TTPR2(b)]…、NEXE|BRS2,1a[TTPR1(a)]、NEXE|BRS2,2b[TTPR2(a)]…、…、及びチケットごとに実際に設定された属性リスト{Attr-list}EXE|BRS1,1a[TTPR1(a)]、{Attr-list}EXE|BRS1,2b[TTPR2(b)]…、{Attr-list}EXE|BRS2,1a[TTPR1(a)]、{Attr-list}EXE|BRS2,2b[TTPR2(b)]…、…に関する情報が含まれる。そして、税務局がシステム１０に参加している場合には、チケット購入トランザクションには、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkEXE|TAX[tokens]に関する情報も含まれる。
【００８６】
チケットの種類ごとの販売数NEXE,1a[TTPR1(a)]、NEXE,2b[TTPR2(b)]…は、一次買主への販売数NEXE|BRP,1a[TTPR1(a)]、NEXE|BRP,2b[TTPR2(b)]…と、二次買主への販売数NEXE|BRS1,1a[TTPR1(a)]、NEXE|BRS2,2b[TTPR2(b)]…、NEXE|BRS2,1a[TTPR1(a)]、NEXE|BRS2,2b[TTPR2(b)]…、…の和との合算値に等しい。
【００８７】
該チケット購入トランザクションは、システム１０内の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。
【００８８】
５．トークン購入メッセージ
システム１０内では、チケットを購入するにはトークンが必要である。トークンを取得するには、通貨からトークンへの交換を希望するユーザ（トークンの買主）は、トークン交換所に対して、端末ツール１００を通じてトークン購入メッセージMsgBTKを送信する。トークン購入メッセージMsgBTKは、トークン交換所ＴＥＸへ向けたトークン購入用オファーメッセージであり、トークン交換所ＴＥＸは、トークン購入メッセージMsgBTKに応じる形で、所定のレートで通貨をトークンに交換する。図７は、トークン購入メッセージ生成の概念図である。該メッセージはその図の左側に示されている情報を基に生成され、結果（変化された情報）はその図の右側に示されている。
【００８９】
図７に、トークン購入メッセージには、トークン交換所のアドレスAd(vkTEX)、トークンへの交換に使用する通貨の種類CurrencyOFR、交換レートRateOFR、及び交換希望するトークン額TkOFRに関する情報が少なくとも含まれる。また、トークン購入メッセージには、任意に、交換希望する最小トークン額TkminOFR、及びオファーの有効期限ExpOFRに関する情報も含まれる。さらに、トークン購入メッセージには、通貨の証拠、実行後のトークンと通貨の所有権の帰属、及び税務局へ支払う税額TkOFR|TAX[tokens]に関する情報も含まれる。
【００９０】
通貨をトークンに交換するユーザ（トークンの買主）の端末ツール１００のメッセージ生成部１１４は、トークン交換所のアドレスAd(vkTEX)、トークンへの交換に使用する通貨の種類CurrencyOFR、交換レートRateOFR、交換希望するトークン額TkOFR、希望するトークンの最少額TkminOFR、及びオファーの有効期限ExpOFRに関する情報を必要とする。これらの情報は、限定されないが、ユーザによりユーザＩ／Ｆ１２１を通じて入力される。また、メッセージ生成部１１４は、Bitcoin等の仮想通貨をトークンに交換する場合には、仮想通貨を有する証拠として、過去の仮想通貨を取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFC1), h(TrPFC1)｝、｛Ad(vkPFC2), h(TrPFC2)｝…を必要とする。仮想通貨の証拠は、システム１０外に存在する仮想通貨システムでの証拠である。
【００９１】
メッセージ生成部１１４が生成するトークン購入メッセージの実行後結果には、トークン交換所のアドレスAd(vkTEX)及びそのアドレスに向けた交換レートRateOFRと交換後のトークン（TkOFR+Tkα）との積（支払う通貨の総額）に関する情報が含まれる。ここで、トークン額Tkαについて説明すると、システム１０内では通貨を使用することができず、使えるのはトークンのみであるため、税務局へ支払う税額及びブックキーパへ支払う手数料に相当する合計トークン額のTkαが、トークンを購入する際に希望トークン額にプラスされる形で自動的に加算されるようになっている。また、トークン購入メッセージには、トークンの買主のアドレスAd(vkBR)及び買主に向けたオファートークン額TkOFR[tokens]に関する情報が含まれ、税務局がシステム１０に参加している場合には、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkOFR|TAX[tokens]に関する情報も含まれる。
【００９２】
６．トークン購入トランザクション
トークンを購入したいユーザ（買主）から送信されたトークン購入メッセージは、トークン交換所ＴＥＸの端末ツール１００を通じて受信されると、トークン交換所はトークンの買主のオファーに沿うことができるかどうかを判断する。交換可能である場合には、トークン交換所の端末ツール１００のトランザクション生成部１１７は、交換する額のトークンの所有権をトークン交換所から買主へ譲渡するトランザクション（トークン購入トランザクション）を生成し、システム１０内の各端末ツール１００へ向けてブロードキャストする。図８は、トークン購入トランザクション生成の概念図である。該トランザクションはその図の左側に示されている情報の基に生成され、結果（変化された情報）はその図の右側に示されている。
【００９３】
図８に、トークン購入トランザクションの生成に際し、トークン交換所の端末ツール１００のトランザクション生成部１１７は、トークンの買主のアドレスAd(vkBR)、受信したトークン購入メッセージMsgBTK|BR:TEX、及びそのメッセージに対して買主の電子署名Sgn(MsgBTK|BR:TEX)をオファーとして必要とする。これらの情報は、限定されないが、メッセージ記録部１１６に記録されたメッセージの中から適合するものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。また、トランザクション生成部１１７は、トークン交換所が有するトークンの証拠として、過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…を必要とする。トークンの証拠は、限定されないが、トークン交換所の端末ツール１００のトランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。
【００９４】
トランザクション生成部１１７は、受信したトークン購入メッセージに応じて、トークン購入トランザクションを生成する。トークン購入トランザクションの実行後結果には、トークン交換所のアドレスAd(vkTEX)、並びにそのアドレスに向けた交換レートRateEXEと交換後のトークン（TkEXE+Tkβ）との積（支払われる通貨の総額）及びトークンのお釣りTkEXE|CNG[tokens]に関する情報が含まれる。また、トークン購入トランザクションには、トークンの買主のアドレスAd(vkBR)及び交換された実際のトークン額TkEXE[tokens]に関する情報も含まれる。ここで、トークン額Tkβについて説明すると、システム１０内では通貨を使用することができず、使えるのはトークンのみであるため、税務局へ支払う税額及びブックキーパへ支払う手数料に相当する合計トークン額のTkβが、トークンを購入する際に譲渡するトークン額にプラスされる形で自動的に加算されるようになっている。また、トークン購入トランザクションには、トークンの買主のアドレスAd(vkBR)及び買主に向けた実際のトークン額TkEXE[tokens]に関する情報が含まれ、税務局がシステム１０に参加している場合には、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkEXE|TAX[tokens]に関する情報も含まれる。
【００９５】
トークン購入トランザクションは、システム１０内の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。ブックキーパは、トークンの証拠で示されたトークンの総額から、交換された実際のトークン額TkEXE[tokens]、トークンのお釣りTkEXE|CNG[tokens]、及び税務局へ支払った税額TkEXE|TAX[tokens]との総額を差し引いた額を手数料として得ることになる。
【００９６】
７．トークン売却メッセージ
トークンを売却し通貨への交換を希望するユーザ（トークンの売主）は、端末ツール１００を通じてトークン売却メッセージMsgSTKを生成し、トークン交換所ＴＥＸに送信する。トークン売却メッセージMsgSTKは、トークン交換所へ向けたトークン販売用オファーメッセージであり、トークン交換所は、トークン売却メッセージMsgBTKに応じる形で、トークンを所定のレートで通貨に交換する。図９は、トークン売却メッセージ生成の概念図である。該メッセージはその図の左側に示されている情報の基に生成され、結果（変化された情報）はその図の右側に示されている。
【００９７】
図９に、トークン売却メッセージには、トークン交換所のアドレスAd(vkTEX)、トークンを交換する通貨の種類CurrencyOFR、交換レートRateOFR、及び交換希望するトークン額TkOFRに関する情報が少なくとも含まれる。また、トークン売却メッセージには、任意に、交換希望する最小トークン額TkminOFR、及びオファーの有効期限ExpOFRに関する情報も含まれる。さらに、トークン売却メッセージには、トークンの証拠、実行後のトークンと通貨の所有権の帰属、及び税務局へ支払うトークンによる税額TkOFR|TAX[tokens]に関する情報も含まれる。
【００９８】
トークンを交換するユーザ（トークンの売主）の端末ツール１００のメッセージ生成部１１４は、トークン交換所のアドレスAd(vkTEX)、トークンを交換する通貨の種類CurrencyOFR、交換レートRateOFR、交換希望するトークン額TkOFR、交換希望する最小トークン額TkminOFR、及びオファーの有効期限ExpOFRに関する情報を必要とする。これらの情報は、限定されないが、ユーザによりユーザＩ／Ｆ１２１を通じて入力される。また、メッセージ生成部１１４は、トークンを有する証拠として、過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…を必要とする。トークンの証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをメッセージ生成部１１４が自動的に抽出して使用するようにしてもよい。
【００９９】
メッセージ生成部１１４が生成するトークン売却メッセージの実行後結果には、トークン交換所のアドレスAd(vkTEX)及びそのアドレスに向けたオファートークン額TkOFR[tokens]に関する情報が含まれる。また、トークン売却メッセージには、トークンの売主のアドレスAd(vkSR)、並びに売主に向けた交換レートRateOFRと交換するトークン額TkOFRの積（得られる通貨の総額）、及びトークンのお釣りTkOFR|CNG[tokens]に関する情報が含まれる。また、トークン売却メッセージには、税務局がシステム１０に参加している場合には、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkOFR|TAX[tokens]に関する情報も含まれる。トークンの証拠として入力すべきトークンの額は、オファートークン額TkOFR[tokens]と税額TkOFR|TAX[tokens]の合計よりも大きくなければならない。
【０１００】
８．トークン売却トランザクション
トークンを交換したいユーザ（売主）からのトークン売却メッセージは、トークン交換所ＴＥＸの端末ツール１００を通じて受信されると、トークン交換所はトークンの売主のオファーに沿うことができるかどうかを判断する。交換可能な場合は、トークン交換所の端末ツール１００のトランザクション生成部１１７は、交換する額のトークンの所有権を売主からトークン交換所へ譲渡するトランザクション（トークン売却トランザクション）を生成し、システム１０内の各端末ツール１００に向けてブロードキャストする。図１０は、トークン売却トランザクション生成の概念図である。該トランザクションはその図の左側に示されている情報を基に生成され、結果（変化された情報）はその図の右側に示されている。
【０１０１】
図１０に、トークン売却トランザクション生成に際し、トークン交換所の端末ツール１００のトランザクション生成部１１７は、トークンの売主のアドレスAd(vkSR)、受信したトークン売却メッセージMsgSTK|SR:TEX、及びそのメッセージに対して売主の電子署名Sgn(MsgSTK|SR:TEX)をオファーとして必要とする。これらの情報は、限定されないが、メッセージ記録部１１６に記録されたメッセージの中から適合するものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。また、トランザクション生成部１１７は、トークンを仮想通貨と交換する場合、仮想通貨を有する証拠として、その仮想通貨に関する過去の仮想通貨を取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFC1), h(TrPFC1)｝、｛Ad(vkPFC2), h(TrPFC2)｝…を必要とする。仮想通貨の証拠は、システム１０外で存在する仮想通貨システムでの証拠である。
【０１０２】
トランザクション生成部１１７は、受信したトークン売却メッセージに応じて、トークン売却トランザクションを生成する。トークン売却トランザクションの実行後結果には、トークン交換所のアドレスAd(vkTEX)及びそのアドレスに向けた交換する実際のトークン額TkEXE[tokens]に関する情報が含まれる。また、トークン売却トランザクションには、トークンの売主のアドレスAd(vkSR)、並びにそのアドレスに向けた交換レートRateEXEと交換する実際のトークン額TkEXEとの積（実際に得られる通貨の額）、及びトークンのお釣りTkEXE|CNG[tokens]に関する情報が含まれる。また、トークン売却トランザクションには、税務局がシステム１０に参加している場合には、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkEXE|TAX[tokens]に関する情報も含まれる。
【０１０３】
トークン売却トランザクションは、システム１０内の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。ブックキーパは、トークン売却メッセージ内のトークンの証拠で示されたトークンの総額から、交換されたトークン額TkEXE[tokens]、お釣りの額TkEXE|CNG[tokens]、及び税務局へ支払った税額TkEXE|TAX[tokens]の合計を差し引いた額を手数料として得ることになる。
【０１０４】
９．会員カード創出トランザクション
会員カード発行業者が使用する端末ツール１００には、会員カード創出モジュール１３２がアドオンされている。会員カード創出モジュール１３２は、会員カードを新規に創出（発行）する会員カード創出トランザクションを生成する。図１１は、会員カード創出トランザクションの生成の概念図である。該モジュール１３２は、図１１の左側に示されている情報を基に該トランザクションを生成して、トランザクション行った後の結果（変化された情報）は図１１の右側に示されている。
【０１０５】
会員カード創出モジュール１３２は、会員カードに関する情報として、会員カード発行業者のアドレスAd(vkCI)、会員カード情報MCCI(γ) に対して発行業者の電子署名Sgn(MCCI(γ))、及び会員カード情報MCCI(γ)のハッシュ値h(MCCI(γ))を入力として、創出に必要分のトークンの証拠として、過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…も入力として、トランザクションを生成する。会員カードに関する情報は、限定されないが、ユーザ（会員カード発行業者）によりユーザＩ／Ｆ１２１を通じて入力され、トークンの証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものを会員カード創出モジュール１３２が自動的に抽出して使用する。さらに、会員カード創出モジュール１３２は、会員カードの割り当て先に関する情報も必要とし、限定されないが、ユーザ（プロデューサ）によりユーザＩ／Ｆ１２１を通じて入力される。
【０１０６】
ここで、トークンの証拠として提供するトークンは、ブックキーパが会員カード創出トランザクションをブロックチェーン元帳に登録する際の手数料を支払うために必要であり、トークンの証拠で提供したトークンの額とブックキーパが受け取る手数料との差額は、会員カード発行業者のアドレスAd(vkCI)宛のトークンのお釣りTkCNGとしてブロックチェーン元帳に記録されることになる（即ち会員カード発行業者側に戻る）。
【０１０７】
会員カード創出モジュール１３２が生成する会員カード創出トランザクションの結果には、会員カード発行業者のアドレスAd(vkCI)及びそのアドレスに向けたトークンのお釣りTkCNGに関する情報が含まれる。また、会員カード創出トランザクションには、会員カードの発行先ＣＲ１〜ＣＲＭ（主に顧客）のアドレスAd(vkCR1)〜Ad(vkCRM)、並びにそれぞれのアドレスに向けた会員カード数NCR1[MCCI(γ)]〜NCRM[MCCI(γ)]及び会員カードに係る属性リスト｛Attr-list｝CR1[MCCI(γ)]〜｛Attr-list｝CRM[MCCI(γ)]に関する情報が含まれる。
【０１０８】
ここで、会員カード情報MCCI(γ)について、「CI」は会員カードを創出した会員カード発行業者ごとに異なる会員カードであることを識別する記号であり、「γ」は会員カードの種類（例えば、プラチナカード、ゴールドカード、シルバーカードなどのランク別）ごとに異なる会員カードであることを識別する記号である。また、会員カード情報MCCI(γ)には、会員カードの種類コード（識別子）、会員カードの価格、会員カードの有効期限、約款、属性リスト｛Attr-list｝のフォーマット及びその初期値、指定する属性発行者、並びに再販時の条件に関する情報が含まれる。
【０１０９】
一つの会員カード創出トランザクションで、複数の発行先Ad(vkCR1)〜Ad(vkCRM)ごとの会員カード数NCR1[TTPR(α)]〜NCRM[TTPR(α)]及び属性リスト{Attr-list}CR1[MCCI(γ)]〜{Attr-list}CRM[MCCI(γ)]を決めておくことができる。なお、発行先は一つであってもよいし、会員カード発行業者自身でもよい。
【０１１０】
このように生成された会員カード創出トランザクションは、システム１０内の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。
【０１１１】
１０．ポイント利用のチケット購入メッセージ
システム１０において、チケットの購入に際し、買主は、プロデューサ等から受け取ったポイントを利用することができる。図１２は、ポイント利用のチケット購入メッセージの生成の概念図である。図１２では、左側に示されている情報を基に該メッセージが生成され、結果（変化された情報）はその図の右側に示されている。
【０１１２】
図１２に示すポイント利用のチケット購入メッセージは、図５Ａ〜５Ｃに示すチケット購入メッセージと同様であるが、ポイントの利用に関する情報を含む点で相違する。この相違点についてのみ説明する。
【０１１３】
図１２に、買主の端末ツール１００のメッセージ生成部１１４は、ポイント利用のチケット購入メッセージの生成に際し、会員カード発行業者が発行した会員カード情報MCCI(γ)のハッシュ値h(MCCI(γ))を必要とする。この情報は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から会員カードを有する証拠となるトランザクションをメッセージ生成部１１４が自動的に抽出して使用するようにしてもよい。また、メッセージ生成部１１４は、購入に利用するポイントの証拠として、ポイントを取得した過去のトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFP1), h(TrPFP1)｝、｛Ad(vkPFP2), h(TrPFP2)｝…を必要とする。更に、メッセージ生成部１１４は、買主は会員カードを有する証拠として、会員カードを取得した過去のトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFC), h(TrPFC)｝を必要とする。ポイントの証拠や会員カードを有する証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをメッセージ生成部１１４が自動的に抽出して使用するようにしてもよい。
【０１１４】
メッセージ生成部１１４が生成するポイント利用のチケット購入メッセージの結果には、図５Ａ〜５Ｃに示した要素に加えて、オファーチケットの数NOFRとチケット価格TkOFRとの積（支払い合計額：NOFR×TkOFR[tokens]）から、ポイント−トークンレートcfOFRと利用するポイント数PtOFRとの積（ポイントによる支払い額：cfOFR×PtOFR［tokens］）を差し引いた値に関する情報が含まれる。トークンで支払われる額が削減する替わりに、売主のアドレスAd(vkSR)に向けポイント数PtOFR［points］に関する情報を加え、さらに、買主のアドレスAd(vkBR)に向けポイント数のお釣りPtOFR|CNG[points]に関する情報を加える。
【０１１５】
１１．ポイント利用のチケット購入トランザクション
図１３は、ポイント利用のチケット購入トランザクションの生成の概念図である。図１３に示すポイント利用のチケット購入トランザクションは、図６Ａ〜６Ｃに示すチケット購入トランザクションと同様であるが、ポイントの利用に関する情報を含む点で相違する。この相違点についてのみ説明する。
【０１１６】
ポイント利用のチケット購入トランザクションには、図６Ａ〜６Ｃに示す要素に加えて、売主のアドレスAd(vkSR)に向けて、実際に使用するポイント数PtEXE[points]、及び、買主のアドレスAd(vkBR)に向けて、ポイントの証拠で示したポイント数から実際に使用したポイント数PtEXE[points]を差し引いたポイントのお釣りPtEXE|CNG[points]に関する情報も含まれる。
【０１１７】
１２．ポイント売却メッセージ
ポイントを所有するユーザは、そのポイントを他のユーザ（例えば、そのポイントを利用できる会員カードを発行した会員カード発行業者など）に売却することができる。ポイントを売却したいユーザ（ポイントの売主）は、ポイントの買主に対して、端末ツール１００を通じてポイント売却メッセージMsgSPTを送信する。ポイント売却メッセージMsgSPTは、ポイントの買主へ向けたオファーメッセージであり、ポイントの買主は、ポイント売却メッセージMsgSPTに応じる形で、ポイントをポイント−トークンレートcfOFRで購入し、トークンに交換する。図１４は、ポイント売却メッセージ生成の概念図である。該メッセージはその図の左側に示されている情報を基に生成され、結果（変化された情報）はその図の右側に示されている。
【０１１８】
図１４に示すように、ポイントを売却するユーザ（ポイントの売主）の端末ツール１００のメッセージ生成部１１４は、ポイントの買主のアドレスAd(vkBR)、売却するポイントを利用できる会員カードのハッシュ値h(MCCI(γ))、ポイント−トークンレートcfOFR、売却するポイント数PtOFR、売却希望の最小ポイント数PtminOFR、及びオファーの有効期限ExpOFRに関する情報を必要とする。これらの情報は、限定されないが、ユーザによりユーザＩ／Ｆ１２１を通じて入力される。また、メッセージ生成部１１４は、売主がポイントを有する証拠として、ポイントを取得した過去のトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFP1), h(TrPFP1)｝、｛Ad(vkPFP2), h(TrPFP2)｝…や、有するトークンの証拠として過去のトークンを取得したトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…を必要とする。トークンの証拠は、限定されないが、トランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをメッセージ生成部１１４が自動的に抽出して使用するようにしてもよい。トークンの証拠は、少なくてもポイント売却トランザクションをブロックチェーン元帳に記録する際のブックキーパに支払う手数料として必要である。
【０１１９】
メッセージ生成部１１４が生成するポイント売却メッセージの結果には、ポイントの買主のアドレスAd(vkBR)及びそのアドレスに向けたポイント数PtOFR[points]に関する情報が含まれる。また、ポイント売却メッセージには、ポイントの売主のアドレスAd(vkSR)、並びにそのアドレスに向けた、ポイント−トークンレートcfOFR及びポイント数PtOFR[points]の積とトークンのお釣りTkOFR|CNG[tokens]との総額（cfOFR×PtOFR＋TkOFR|CNG[tokens]）、及びポイントの証拠で示したポイント数から売却したポイント数を差し引いたポイントのお釣りPtOFR|CNG[points]に関する情報も含まれる。また、税務局がシステム１０に参加している場合には、ポイント売却メッセージには、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkOFR|TAX[tokens]に関する情報も含まれる。
【０１２０】
１３．ポイント売却トランザクション
ポイント売却メッセージは、ポイントの買主の端末ツール１００にて受信されると、買主は、ポイントの売主のオファーに沿うことができるかどうかを判断する。対応可能な場合は、買主の端末ツール１００のトランザクション生成部１１７は、ポイントの売却を認めるトランザクション（ポイント売却トランザクション）を生成し、システム１０内の各端末ツール１００にブロードキャストする。図１５は、ポイント売却トランザクション生成の概念図である。図１５では、左側に示されている情報を基に該トランザクションが生成され、結果（変化された情報）はその図の右側に示されている。
【０１２１】
図１５に、ポイント売却トランザクションの生成に際し、ポイントの買主の端末ツール１００のトランザクション生成部１１７は、ポイントの売主のアドレスAd(vkSR)、受信したポイント売却メッセージMsgSPT|SR:BR、及びそのメッセージに対して売主の電子署名Sgn(MsgSPT|SR:BR)を必要とする。これらの情報は、限定されないが、メッセージ記録部１１６に記録されたメッセージの中から適合するものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。また、トランザクション生成部１１７は、ポイントを置き換えするためのトークンの証拠として、ト−クンを取得した過去のトランザクションの相手先ユーザのアドレスとそのトランザクションのハッシュ値の組｛Ad(vkPFT1), h(TrPFT1)｝、｛Ad(vkPFT2), h(TrPFT2)｝…を必要とする。トークンの証拠は、限定されないが、ポイントの買主の端末ツール１００のトランザクション記録部１１９に記録された過去のトランザクションの中から適切なものをトランザクション生成部１１７が自動的に抽出して使用するようにしてもよい。
【０１２２】
トランザクション生成部１１７は、受信したポイント売却メッセージに応じて、ポイント売却トランザクションを生成する。ポイント売却トランザクションの結果には、ポイントの買主のアドレスAd(vkBR)及びそのアドレスに向けた実際に交換されるポイント数PtEXE[points]とトークンの証拠で示されたトークンの総額から、交換で売主に譲渡するトークン額を差し引いたトークンの残りTkEXE|REM[tokens]に関する情報が含まれる。また、ポイント売却トランザクションには、売主のアドレスAd(vkSR)、並びにそのアドレスに向けた、ポイント−トークンレートcfEXEと実際に交換されるポイント数PtEXEとの積（支払うトークンの総額）とトークンのお釣りTkEXE|CNGとの合計（売主が得るトークンの総額：cfEXE×PtEXE＋TkEXE|CNG[tokens]）、及びポイントのお釣りPtEXE|CNG[points]に関する情報が含まれる。さらに、税務局がシステム１０に参加している場合には、ポイント売却トランザクションには、税務局のアドレスAd(vkTA)及びそのアドレスに向けたトークンによる税額TkEXE|TAX[tokens]に関する情報も含まれる。
【０１２３】
このように生成されたポイント売却トランザクションは、システム１０内の各端末ツール１００に向けてブロードキャストされ、ブックキーパがそのトランザクションをブロックチェーン元帳に記録する。
【０１２４】
（実施形態例）
本発明の仮想通貨に基づくデジタルトランザクションシステムは、取引対象物一般に適用可能である。一態様では、該取引対象物が音楽コンサート、スポーツ試合や他にイベントなどのチケットである。一態様では、該取引対象物がホテルやイベント会場の施設の予約権である。この場合、上記実施形態において、「チケット」は「ホテルやイベント会場の施設の予約権」となり、「プロデューサ」はホテルやリゾート地の運営会社、イベント会場の運営会社等となり、「小売業者」は旅行代理店となり、「顧客」はホテルやイベント会場の施設の利用者やリゾート地への旅行者となる。また、一態様では、該取引対象物が航空券（航空機の座席の予約権）である。この場合、上記実施形態において、「チケット」は航空券となり、「プロデューサ」は航空会社となる。また、一態様では、取引対象物が美術品、工芸品、又は出土品などの比較的長期に渡り所有される物品である。この場合、上記実施形態において、「チケット」は美術品、工芸品、骨董品、又は出土品となり、「プロデューサ」は例えば美術品や工芸品、骨董品の作製者、出土品の発見者となる。この態様では、美術品や工芸品、出土品の所有権に関する情報がブロックチェーンに登録されることになるので、美術品、工芸品、骨董品、及び出土品の登記制度として活用することもできる。更に、一態様では、取引対象物が飛行機、船、トラック、車、やコンテナなどのモバイル資産であり、買主や売主は実際の買主や売主であってもよいし、リースなどにより使用の権利を譲渡する者でもよい。同じく、一態様では、取引対象物が土地、建物、家、マンション、イベント・スペースなどの不動資産であり、買主や売主は実際の買主や売主であってもよいし、リースなどにより使用の権利を譲渡する者でもよい。  
【０１２５】
ブロックチェーン元帳は、チケットの取引、ホテルやイベント会場の施設の予約権の取引、航空券の取引、美術品、工芸品、骨董品、又は出土品の取引、及びモバイル資産や不動資産の取引に応じて、それぞれ別個に存在するものであってもよいし、それらを統合した一つのブロックチェーン元帳であってもよい。
【０１２６】
概括すると、本発明の一実施形態に係る、仮想通貨に基づくデジタルトランザクションシステムは、以下の構成を有する。
複数の端末ツールがインターネットを介して接続された、仮想通貨に基づくデジタルトランザクションシステムであって、
前記複数の端末ツールのうちの第１の端末ツールは、取引対象物の割り当て先、及び前記取引対象物の属性リストに関する情報を含む創出トランザクションを生成する創出モジュールを備え、
前記複数の端末ツールのうちの第２の端末ツールは、前記取引対象物の購入をオファーするメッセージ（購入メッセージ）を生成するメッセージ生成部を備え、
前記複数の端末ツールのうちの第３の端末ツールは、前記取引対象物の購入メッセージの割り当て先であり、前記購入メッセージに応じて、前記取引対象物の所有権を前記第２の端末ツールに譲渡するトランザクション（購入トランザクション）を生成するトランザクション生成部を備え、
前記創出トランザクション及び前記購入トランザクションは、前記システム内で分散管理されたブロックチェーン元帳に記録され、
前記取引対象物は、イベントのチケット、ホテルやイベント会場の施設の予約権、航空券、美術品、工芸品、骨董品、出土品、モバイル資産、又は不動資産である、前記システム。
【０１２７】
本発明は、具体的に記載された上記実施形態に限定されるものではない。
【符号の説明】
【０１２８】
１０  システム
１００  端末ツール
１１１  鍵生成部
１１２  電子署名生成部
１１３  電子署名検証部
１１４  メッセージ生成部
１１５  メッセージ検証部
１１６  メッセージ記録部
１１７  トランザクション生成部
１１８  トランザクション検証部
１１９  トランザクション記録部
１２１  ユーザＩ／Ｆ
１２２  インターネットＩ／Ｆ
１３１  チケット創出モジュール
１３２  会員カード創出モジュール
１３３  属性割り当てモジュール
【図１】
2018097725.tif 000004
【図２】
2018097725.tif 000005
【図３】
2018097725.tif 000006
【図４】
2018097725.tif 000007
【図５Ａ】
2018097725.tif 000008
【図５Ｂ】
2018097725.tif 000009
【図５Ｃ】
2018097725.tif 000010
【図６Ａ】
2018097725.tif 000011
【図６Ｂ】
2018097725.tif 000012
【図６Ｃ】
2018097725.tif 000013
【図７】
2018097725.tif 000014
【図８】
2018097725.tif 000015
【図９】
2018097725.tif 000016
【図１０】
2018097725.tif 000017
【図１１】
2018097725.tif 000018
【図１２】
2018097725.tif 000019
【図１３】
2018097725.tif 000020
【図１４】
2018097725.tif 000021
【図１５】
2018097725.tif 000022