JP7364238B2 - 電子取引システム、取引サーバ、検証サーバ、電子取引方法及びプログラム - Google Patents
電子取引システム、取引サーバ、検証サーバ、電子取引方法及びプログラム Download PDFInfo
- Publication number
- JP7364238B2 JP7364238B2 JP2020508774A JP2020508774A JP7364238B2 JP 7364238 B2 JP7364238 B2 JP 7364238B2 JP 2020508774 A JP2020508774 A JP 2020508774A JP 2020508774 A JP2020508774 A JP 2020508774A JP 7364238 B2 JP7364238 B2 JP 7364238B2
- Authority
- JP
- Japan
- Prior art keywords
- verification
- data
- transaction
- price
- bid
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012795 verification Methods 0.000 title claims description 442
- 238000000034 method Methods 0.000 title claims description 81
- 238000007726 management method Methods 0.000 claims description 63
- 238000013523 data management Methods 0.000 claims description 51
- 230000008569 process Effects 0.000 claims description 37
- 230000004044 response Effects 0.000 claims description 7
- 238000010200 validation analysis Methods 0.000 claims description 2
- 230000006870 function Effects 0.000 description 48
- 238000012545 processing Methods 0.000 description 40
- 238000010586 diagram Methods 0.000 description 27
- 238000004891 communication Methods 0.000 description 18
- 230000005611 electricity Effects 0.000 description 15
- 238000005516 engineering process Methods 0.000 description 8
- 238000012217 deletion Methods 0.000 description 6
- 230000037430 deletion Effects 0.000 description 6
- 230000010365 information processing Effects 0.000 description 4
- 239000004973 liquid crystal related substance Substances 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
- 230000002457 bidirectional effect Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000002349 favourable effect Effects 0.000 description 1
- 230000001771 impaired effect Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000008520 organization Effects 0.000 description 1
- 238000010248 power generation Methods 0.000 description 1
- 230000001052 transient effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
- G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/06—Energy or water supply
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/23—Updating
- G06F16/2379—Updates performed during online database operations; commit processing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/602—Providing cryptographic facilities or services
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/20—Natural language analysis
- G06F40/279—Recognition of textual entities
- G06F40/289—Phrasal analysis, e.g. finite state techniques or chunking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/02—Payment architectures, schemes or protocols involving a neutral party, e.g. certification authority, notary or trusted third party [TTP]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/08—Payment architectures
- G06Q20/10—Payment architectures specially adapted for electronic funds transfer [EFT] systems; specially adapted for home banking systems
- G06Q20/102—Bill distribution or payments
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/38—Payment protocols; Details thereof
- G06Q20/382—Payment protocols; Details thereof insuring higher security of transaction
- G06Q20/3821—Electronic credentials
- G06Q20/38215—Use of certificates or encrypted proofs of transaction rights
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/38—Payment protocols; Details thereof
- G06Q20/40—Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
- G06Q20/401—Transaction verification
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/38—Payment protocols; Details thereof
- G06Q20/40—Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
- G06Q20/401—Transaction verification
- G06Q20/4016—Transaction verification involving fraud or risk level assessment in transaction processing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q30/00—Commerce
- G06Q30/06—Buying, selling or leasing transactions
- G06Q30/08—Auctions
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
- H04L9/0816—Key establishment, i.e. cryptographic processes or cryptographic protocols whereby a shared secret becomes available to two or more parties, for subsequent use
- H04L9/0819—Key transport or distribution, i.e. key establishment techniques where one party creates or otherwise obtains a secret value, and securely transfers it to the other(s)
- H04L9/0825—Key transport or distribution, i.e. key establishment techniques where one party creates or otherwise obtains a secret value, and securely transfers it to the other(s) using asymmetric-key encryption or public key infrastructure [PKI], e.g. key signature or public key certificates
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3218—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3218—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs
- H04L9/3221—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs interactive zero-knowledge proofs
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3236—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
- H04L9/3239—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions involving non-keyed hash functions, e.g. modification detection codes [MDCs], MD5, SHA or RIPEMD
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/50—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols using hash chains, e.g. blockchains or hash trees
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q2220/00—Business processing using cryptography
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
- H04L2209/56—Financial cryptography, e.g. electronic payment or e-cash
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L51/00—User-to-user messaging in packet-switching networks, transmitted according to store-and-forward or real-time protocols, e.g. e-mail
- H04L51/04—Real-time or near real-time messaging, e.g. instant messaging [IM]
- H04L51/046—Interoperability with other network applications or services
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Theoretical Computer Science (AREA)
- Accounting & Taxation (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Strategic Management (AREA)
- Finance (AREA)
- General Business, Economics & Management (AREA)
- Computer Security & Cryptography (AREA)
- Economics (AREA)
- Marketing (AREA)
- Health & Medical Sciences (AREA)
- Human Resources & Organizations (AREA)
- Entrepreneurship & Innovation (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Development Economics (AREA)
- General Health & Medical Sciences (AREA)
- Tourism & Hospitality (AREA)
- General Engineering & Computer Science (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- Operations Research (AREA)
- Water Supply & Treatment (AREA)
- Primary Health Care (AREA)
- Technology Law (AREA)
- Public Health (AREA)
- Quality & Reliability (AREA)
- Artificial Intelligence (AREA)
- Audiology, Speech & Language Pathology (AREA)
- Computational Linguistics (AREA)
- Bioethics (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Description
なお、このプログラムは、コンピュータが読み取り可能な記憶媒体に記録することができる。記憶媒体は、半導体メモリ、ハードディスク、磁気記録媒体、光記録媒体等の非トランジェント(non-transient)なものとすることができる。本発明は、コンピュータプログラム製品として具現することも可能である。
第1の実施形態について、図面を用いてより詳細に説明する。
図2は、第1の実施形態に係る電子取引システムの構成の一例を示す図である。図2を参照すると、電子取引システムは、取引サーバ10と、複数の端末20-1~20-N(Nは正の整数、以下同じ)と、データ管理システム30と、を含んで構成される。
次に、図面を参照しつつ、第1の実施形態に係る電子取引システムの動作概略を説明する。
次に、第1の実施形態に係る電子取引システムを構成する各種装置のハードウェア構成を説明する。
次に、取引サーバ10の詳細について説明する。取引サーバ10は、電子掲示板に書き込まれた入札データを取得し、暗号化された価格を復号する。さらに、取引サーバ10は、復号された価格を用いてザラバ方式により取引を実行する。
次に、端末20の詳細について説明する。
データ管理システム30をなす管理サーバ40は、ブロックチェーン技術を用いて電子掲示板を提供する装置である。ブロックチェーンを利用した電子掲示板は当業者にとって明らかで有り、その説明を省略する。
続いて、第2の実施形態について図面を参照して詳細に説明する。
図15は、第2の実施形態に係る端末20aの処理構成の一例を示す図である。図15を参照すると、第2の実施形態に係る端末20aは、取引検証部304をさらに備えている。
続いて、検証サーバ50の詳細について説明する。なお、検証サーバ50のハードウェア構成は、取引サーバ10等と同一とすることができるので説明を省略する。
F(第1暗号E1、第2暗号E2、乱数R1)=S・・・(1)
G(S、R2)=真/偽 ・・・(2)
[検証データの生成動作]
第1の取引の正当性を検証可能とするため、検証データ生成部402は、
「未約定な買い入札データの買値よりも検証対象とする売り入札データの売値が高い」
という命題(以下、第1命題と表記する)を証明する検証文字列を生成する。
F(E1(30)、E2(22)、R1’)=S2(30、22)・・・(4)
F(E1(30)、E2(23)、R1’’)=S3(30、23)・・・(5)
[検証データによる検証動作]
続いて、上記検証データを用いた取引サーバ10による取引の正当性検証動作について図18を参照しつつ説明する。
[検証データの生成動作]
続いて、第2の取引に関する検証データの生成について説明する。第2の取引の正当性を証明するには、検証データ生成部402は、2つの命題(第2命題、第3命題)を検証可能とする2つの検証文字列を生成する。
「約定した買い入札データの買値は、未約定な買い入札データの買値最高額である」
という命題である。
「検証対象とする売り入札データの売値が、未約定な買い入札データの買値最高額以下である」
という命題である。
F(E1(21)、E2(22)、R1)=S4(21、22)・・・(6)
F(E1(21)、E2(23)、R1’)=S5(21、23)・・・(7)
F(E1(22)、E2(23)、R1’’)=S6(22、23)・・・(8)
F(E1(21)、E2(30)、R1)=S7(21、30)・・・(9)
[検証データによる検証動作]
続いて、上記検証データを用いた取引サーバ10による取引の正当性検証動作について図19を参照しつつ説明する。
[検証データの生成動作]
第3の取引の正当性を証明するには、検証データ生成部402は、
「未約定な売り入札データの売値よりも検証対象とする買い入札データの買値が低い」
という命題(以下、第4命題と表記する)を証明する検証文字列を生成する。
[検証データによる検証動作]
続いて、上記検証データを用いた取引サーバ10による取引の正当性検証動作について図20を参照しつつ説明する。
[検証データの生成動作]
第4の取引の正当性を証明するには、検証データ生成部402は、2つの命題(第5命題、第6命題)を証明する2つの検証文字列を生成する。
「約定した売り入札データの売値は、未約定な売り入札データの売値最低額である」
という命題である。
「検証対象とする買い入札データの買値が、未約定な売り入札データの売値最低額以上である」
という命題である。
[検証データによる検証動作]
続いて、上記検証データを用いた取引サーバ10による取引の正当性検証動作について図21を参照しつつ説明する。
なお、第1及び第2の実施形態にて説明した電子取引システムの構成(図2、図13)は例示であって、システムの構成を限定する趣旨ではない。例えば、検証サーバ50の機能が取引サーバ10に組み込まれていてもよい。
[付記1]
上述の第1の視点に係る電子取引システムのとおりである。
[付記2]
未約定な入札データの暗号化された価格と、前記取引サーバによる取引の正当性を検証する対象となる入札データの暗号化された価格と、を用いて前記取引サーバの取引の正当性を検証するための検証文字列を含む検証データを生成する、検証サーバをさらに備える、好ましくは付記1の電子取引システム。
[付記3]
前記取引サーバは、
約定した売り入札データのID(Identifier)と買い入札データのIDを含む約定データを前記電子掲示板に書き込む、好ましくは付記2の電子取引システム。
[付記4]
前記端末は、
前記書き込まれた約定データを取得し、自身の入札が約定したか否かを確認する、好ましくは付記3の電子取引システム。
[付記5]
前記端末は、前記検証サーバに対して、検証対象となる入札データのIDを含む検証データ生成要求を送信し、
前記検証サーバは、前記検証データ生成要求の受信に応じて前記検証データを生成し、前記生成された検証データを前記電子掲示板に書き込む、好ましくは付記4の電子取引システム。
[付記6]
前記端末は、
前記書き込まれた検証データを取得し、前記検証データに含まれる検証文字列を検証関数に入力し、前記検証関数の出力結果に基づき、前記取引サーバによる前記検証対象の入札データの取引が正当であったか否かを判定する、好ましくは付記5の電子取引システム。
[付記7]
前記取引サーバの取引の正当性に関する検証は、前記端末が入札データの価格を知ることはできず、且つ、前記取引サーバによる取引の正当性を検証可能とする、零知識証明である、好ましくは付記6の電子取引システム。
[付記8]
前記検証サーバは、
売り入札データが約定しなかったことに関する前記検証データを生成する場合には、
未約定な買い入札データの買値よりも検証対象とする売り入札データの売値が高いという、第1命題を証明する前記検証文字列を生成する、好ましくは付記2乃至7のいずれか一に記載の電子取引システム。
[付記9]
前記検証サーバは、
売り入札データが約定したことに関する前記検証データを生成する場合には、
約定した買い入札データの買値は未約定な買い入札データの買値最高額である、という第2命題を証明する前記検証文字列と、
検証対象とする売り入札データの売値は未約定な買い入札データの買値最高額以下である、という第3命題を証明する前記検証文字列と、を生成する、好ましくは付記2乃至8のいずれか一に記載の電子取引システム。
[付記10]
前記検証サーバは、
買い入札データが約定しなかったことに関する前記検証データを生成する場合には、
未約定な売り入札データの売値よりも検証対象とする買い入札データの買値が低いという、第4命題を証明する前記検証文字列を生成する、好ましくは付記2乃至9のいずれか一に記載の電子取引システム。
[付記11]
前記検証サーバは、
買い入札データが約定したことに関する前記検証データを生成する場合には、
約定した売り入札データの売値は未約定な売り入札データの売値最低額である、という第5命題を証明する前記検証文字列と、
検証対象とする買い入札データの買値は未約定な売り入札データの売値最低額以上である、という第6命題を証明する前記検証文字列と、を生成する、好ましくは付記2乃至10のいずれか一に記載の電子取引システム。
[付記12]
前記複数の管理サーバは、相互に直接接続され、
前記複数の管理サーバのそれぞれが、外部から受信したデータを管理するためのデータ管理台帳を有し、外部の装置からデータを電子掲示板に書き込む旨の要求を取得するたびに、前記データ管理台帳にデータを追記する、好ましくは付記1乃至11のいずれか一に記載の電子取引システム。
[付記13]
上述の第2の視点に係る取引サーバのとおりである。
[付記14]
上述の第3の視点に係る検証サーバのとおりである。
[付記15]
上述の第4の視点に係る電子取引方法のとおりである。
[付記16]
上述の第5の視点に係るプログラムのとおりである。
なお、付記13~16の形態は、付記1の形態と同様に、付記2の形態~付記12の形態に展開することが可能である。
11 CPU(Central Processing Unit)
12 メモリ
13 入出力インターフェイス
14 NIC(Network Interface Card)
20、20a、20-1~20-N、20a-1~20a-N、102 端末
30 データ管理システム
40、40-1~40-4、101 管理サーバ
50 検証サーバ
201、301、401 通信制御部
202 データ管理部
203 復号部
204 取引実行部
205、303、403 記憶部
302 入札データ管理部
304 取引検証部
402 検証データ生成部
Claims (14)
- 準同型性を有する暗号方式で暗号化された価格を含む入札データを書き込む電子掲示板を提供する、複数の管理サーバと、
前記暗号化された価格を含む入札データを前記電子掲示板に書き込む、端末と、
前記書き込まれた入札データを取得し、前記暗号化された価格を復号し、前記復号された価格を用いてザラバ方式により取引を実行する、独立した取引サーバと、
未約定な入札データの暗号化された価格と、前記取引サーバによる取引の正当性を検証する対象となる入札データの暗号化された価格と、を用いて前記取引サーバの取引の正当性を検証するための2つの暗号文の減算の結果が所定の範囲(レンジ)に収まることを証明する検証文字列を含む検証データを生成し、前記複数の管理サーバが提供する前記電子掲示板に前記検証データを書き込む、検証サーバと、
を含む、電子取引システム。 - 前記取引サーバは、
約定した売り入札データのID(Identifier)と買い入札データのIDを含む約定データを前記電子掲示板に書き込む、請求項1の電子取引システム。 - 前記端末は、
前記書き込まれた約定データを取得し、自身の入札が約定したか否かを確認する、請求項2の電子取引システム。 - 前記端末は、前記検証サーバに対して、検証対象となる入札データのIDを含む検証データ生成要求を送信し、
前記検証サーバは、前記検証データ生成要求の受信に応じて前記検証データを生成し、前記生成された検証データを前記電子掲示板に書き込む、請求項3の電子取引システム。 - 前記端末は、
前記書き込まれた検証データを取得し、前記検証データに含まれる検証文字列を検証関数に入力し、前記検証関数の出力結果に基づき、前記取引サーバによる前記検証対象の入札データの取引が正当であったか否かを判定する、請求項4の電子取引システム。 - 前記取引サーバの取引の正当性に関する検証は、前記端末が入札データの価格を知ることはできず、且つ、前記取引サーバによる取引の正当性を検証可能とする、零知識証明である、請求項5の電子取引システム。
- 前記検証サーバは、
売り入札データが約定しなかったことに関する前記検証データを生成する場合には、
未約定な買い入札データの買値よりも検証対象とする売り入札データの売値が高いという、第1命題を証明する前記検証文字列を生成する、請求項1乃至6のいずれか一項に記載の電子取引システム。 - 前記検証サーバは、
売り入札データが約定したことに関する前記検証データを生成する場合には、
約定した買い入札データの買値は未約定な買い入札データの買値最高額である、という第2命題を証明する前記検証文字列と、
検証対象とする売り入札データの売値は未約定な買い入札データの買値最高額以下である、という第3命題を証明する前記検証文字列と、を生成する、請求項1乃至7のいずれか一項に記載の電子取引システム。 - 前記検証サーバは、
買い入札データが約定しなかったことに関する前記検証データを生成する場合には、
未約定な売り入札データの売値よりも検証対象とする買い入札データの買値が低いという、第4命題を証明する前記検証文字列を生成する、請求項1乃至8のいずれか一項に記載の電子取引システム。 - 前記検証サーバは、
買い入札データが約定したことに関する前記検証データを生成する場合には、
約定した売り入札データの売値は未約定な売り入札データの売値最低額である、という第5命題を証明する前記検証文字列と、
検証対象とする買い入札データの買値は未約定な売り入札データの売値最低額以上である、という第6命題を証明する前記検証文字列と、を生成する、請求項1乃至9のいずれか一項に記載の電子取引システム。 - 前記複数の管理サーバは、相互に直接接続され、
前記複数の管理サーバのそれぞれが、外部から受信したデータを管理するためのデータ管理台帳を有し、外部の装置からデータを電子掲示板に書き込む旨の要求を取得するたびに、前記データ管理台帳にデータを追記する、請求項1乃至10のいずれか一項に記載の電子取引システム。 - 端末が複数の管理サーバにより提供される電子掲示板に書き込んだ、準同型性を有する暗号方式で暗号化された価格を含む入札データを取得し、前記暗号化された価格を復号し、前記復号された価格を用いてザラバ方式により取引を実行する、独立した取引サーバによる取引の正当性を検証する対象となる入札データの暗号化された価格と、未約定な入札データの暗号化された価格と、を用いて前記取引サーバの取引の正当性を検証するための2つの暗号文の減算の結果が所定の範囲(レンジ)に収まることを証明する検証文字列を含む検証データを生成し、前記複数の管理サーバが提供する前記電子掲示板に前記検証データを書き込む、検証サーバ。
- 独立した取引サーバにおいて、
端末が複数の管理サーバにより提供される準同型性を有する暗号方式で暗号化された価格を含む入札データを書き込む電子掲示板に書き込んだ、暗号化された価格を含む入札データを取得するステップと、
前記暗号化された価格を復号するステップと、
前記復号された価格を用いてザラバ方式により取引を実行するステップと、
検証サーバにおいて、
未約定な入札データの暗号化された価格と、前記取引サーバによる取引の正当性を検証する対象となる入札データの暗号化された価格と、を用いて前記取引サーバの取引の正当性を検証するための2つの暗号文の減算の結果が所定の範囲(レンジ)に収まることを証明する検証文字列を含む検証データを生成するステップと、
前記複数の管理サーバが提供する前記電子掲示板に前記検証データを書き込むステップと、
を含む、電子取引方法。 - 独立した取引サーバに搭載されたコンピュータに、
端末が複数の管理サーバにより提供される準同型性を有する暗号方式で暗号化された価格を含む入札データを書き込む電子掲示板に書き込んだ、暗号化された価格を含む入札データを取得する処理と、
前記暗号化された価格を復号する処理と、
前記復号された価格を用いてザラバ方式により取引を実行する処理と、
を実行させるプログラムと、
検証サーバに搭載されたコンピュータに、
未約定な入札データの暗号化された価格と、前記取引サーバによる取引の正当性を検証する対象となる入札データの暗号化された価格と、を用いて前記取引サーバの取引の正当性を検証するための2つの暗号文の減算の結果が所定の範囲(レンジ)に収まることを証明する検証文字列を含む検証データを生成する処理と、
前記複数の管理サーバが提供する前記電子掲示板に前記検証データを書き込む処理と、 を実行させるプログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2018/013481 WO2019186978A1 (ja) | 2018-03-29 | 2018-03-29 | 電子取引システム、取引サーバ、検証サーバ、電子取引方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2019186978A1 JPWO2019186978A1 (ja) | 2021-03-11 |
JP7364238B2 true JP7364238B2 (ja) | 2023-10-18 |
Family
ID=68059589
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2020508774A Active JP7364238B2 (ja) | 2018-03-29 | 2018-03-29 | 電子取引システム、取引サーバ、検証サーバ、電子取引方法及びプログラム |
Country Status (3)
Country | Link |
---|---|
US (1) | US20200402171A1 (ja) |
JP (1) | JP7364238B2 (ja) |
WO (1) | WO2019186978A1 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP7458150B2 (ja) * | 2018-08-03 | 2024-03-29 | パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカ | データ流通方法及び認証サーバ |
WO2020261359A1 (ja) * | 2019-06-25 | 2020-12-30 | 日本電気株式会社 | 電子取引システム、取引管理サーバ、電子取引方法及びプログラム |
CN115955364B (zh) * | 2023-03-13 | 2023-06-02 | 长沙市中智信息技术开发有限公司 | 一种网络竞价交易系统的用户身份信息保密方法及系统 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2001357252A (ja) | 2000-04-04 | 2001-12-26 | Internatl Business Mach Corp <Ibm> | セキュア・コプロセッサを使用した安全オークション・マーケット |
Family Cites Families (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4560004B2 (ja) * | 1999-07-23 | 2010-10-13 | 株式会社東芝 | 情報証明方法 |
US20030074330A1 (en) * | 2001-10-11 | 2003-04-17 | Nokia Corporation | Efficient electronic auction schemes with privacy protection |
AUPS095702A0 (en) * | 2002-03-07 | 2002-03-28 | Ozb2B Pty Ltd | System and method for conducting online auctions |
JP4962317B2 (ja) * | 2005-12-01 | 2012-06-27 | 日本電気株式会社 | 電子入札システムおよび電子入札方法 |
WO2008048713A2 (en) * | 2006-05-05 | 2008-04-24 | President And Fellows Of Harvard College | Practical secrecy-preserving, verifiably correct and trustworthy auctions |
JP4883619B2 (ja) * | 2006-07-14 | 2012-02-22 | 株式会社日立ソリューションズ | 秘密分散情報処理システム |
US8843997B1 (en) * | 2009-01-02 | 2014-09-23 | Resilient Network Systems, Inc. | Resilient trust network services |
US8239331B2 (en) * | 2009-09-18 | 2012-08-07 | Google Inc. | Auction verification |
US10740834B2 (en) * | 2009-10-12 | 2020-08-11 | Jeffrey Brian Gray | System and method for implementing a hybrid marketplace |
JP2017059872A (ja) * | 2015-09-14 | 2017-03-23 | Kddi株式会社 | 入札システム、入札方法 |
US11170363B1 (en) * | 2016-11-28 | 2021-11-09 | Wells Fargo Bank, N.A. | Secure processing of online purchase using a mobile wallet |
CN108171494A (zh) * | 2017-11-23 | 2018-06-15 | 阿里巴巴集团控股有限公司 | 一种数据处理方法和装置 |
-
2018
- 2018-03-29 WO PCT/JP2018/013481 patent/WO2019186978A1/ja active Application Filing
- 2018-03-29 JP JP2020508774A patent/JP7364238B2/ja active Active
- 2018-03-29 US US16/975,555 patent/US20200402171A1/en active Pending
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2001357252A (ja) | 2000-04-04 | 2001-12-26 | Internatl Business Mach Corp <Ibm> | セキュア・コプロセッサを使用した安全オークション・マーケット |
Also Published As
Publication number | Publication date |
---|---|
US20200402171A1 (en) | 2020-12-24 |
JPWO2019186978A1 (ja) | 2021-03-11 |
WO2019186978A1 (ja) | 2019-10-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TWI723658B (zh) | 基於區塊鏈中智慧合約保護交易活動敏感資料的方法和設備 | |
CN108781161B (zh) | 用于控制和分发数字内容的区块链实现的方法 | |
JP6841911B2 (ja) | 情報保護用のシステム及び方法 | |
US20200058023A1 (en) | Decentralized Data Marketplace | |
US11232415B2 (en) | Method for cryptographically managing title transactions | |
WO2020082868A1 (zh) | 一种基于区块链的理赔方法和装置 | |
US20200193432A1 (en) | Method and system for settling a blockchain transaction | |
US20170134161A1 (en) | Blockchaining for media distribution | |
US20170243193A1 (en) | Hybrid blockchain | |
US20190295069A1 (en) | Systems and methods for integrating cryptocurrency wallet identifiers with digital certificates | |
JP2020071617A (ja) | 取引方法、プログラム、検証装置及び生成方法 | |
WO2020051710A1 (en) | System and process for managing digitized security tokens | |
Tzianos et al. | Hermes: An open and transparent marketplace for IoT sensor data over distributed ledgers | |
US20230360042A1 (en) | Method, system, and computer-readable medium for secured multi-lateral data exchange over a computer network | |
JP7364238B2 (ja) | 電子取引システム、取引サーバ、検証サーバ、電子取引方法及びプログラム | |
WO2020107033A1 (en) | Methods, systems, and devices for on-chain stable transaction in decentralized cryptocurrencies | |
Devidas et al. | Identity verifiable ring signature scheme for privacy protection in blockchain | |
Baranwal | Blockchain based full privacy preserving public procurement | |
Liu et al. | STEB: A secure service trading ecosystem based on blockchain | |
JP2023500260A (ja) | 代理相互台帳認証 | |
CN115136542A (zh) | 智能合约 | |
CN114514550A (zh) | 将请求分区成区块链的交易 | |
CN116664298A (zh) | 基于区块链的去中心化数据交易系统的实现方法和装置 | |
JP7327480B2 (ja) | 電子取引システム、取引管理サーバ、電子取引方法及びプログラム | |
Futoransky et al. | Secure exchange of digital goods in a decentralized data marketplace |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20200928 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20211130 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20220621 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20220829 |
|
C60 | Trial request (containing other claim documents, opposition documents) |
Free format text: JAPANESE INTERMEDIATE CODE: C60 Effective date: 20220829 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20220905 |
|
C21 | Notice of transfer of a case for reconsideration by examiners before appeal proceedings |
Free format text: JAPANESE INTERMEDIATE CODE: C21 Effective date: 20220906 |
|
A912 | Re-examination (zenchi) completed and case transferred to appeal board |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20221118 |
|
C211 | Notice of termination of reconsideration by examiners before appeal proceedings |
Free format text: JAPANESE INTERMEDIATE CODE: C211 Effective date: 20221129 |
|
C22 | Notice of designation (change) of administrative judge |
Free format text: JAPANESE INTERMEDIATE CODE: C22 Effective date: 20230110 |
|
C13 | Notice of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: C13 Effective date: 20230314 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230511 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230721 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20230928 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 7364238 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |