Nick Szabo

買い物では、売り手が代金を受け取り、買い手が約束された商品を得ることを望みます。両方を確認するには時間がかかり、仲介者が必要な場合もあります。Nick Szabo は 1994 年の Smart Contracts で、どの契約条件をコンピューターのプロトコル、つまり決められたメッセージ交換と動作の手順で実行できるかを考えました。狙いは不正の余地と約束を守る費用を減らすことです。考え方はブロックチェーンに限られません。「スマート」と呼んでも、プログラムが人の意図をすべて理解するわけではありません。 [1]

1997 年の論文では、Szabo は契約のプロトコルと利用画面を結び付けます。身近な例は自動販売機です。価格を見て硬貨を入れると商品が出てきます。画面や表示が交換内容を伝え、機構が実行します。しかし複雑なアプリでは、画面が示唆する内容とコードの実際の動作が違うことがあります。正しく動くだけでは足りません。条件を分かりやすく示し、時間を考慮し、アルゴリズムで記述できた範囲を把握する必要があります。自動化は結果を隠さず、人の判断を助けるべきです。 [2]

デジタルファイルは簡単に複製できます。Szabo は、作成に費用がかかったと証明できれば、デジタルな希少性を生み出せるかと考えました。Bit Gold では計算機が問題を解いて Proof of Work、作業の証明を作ります。時刻証明サービスが時間情報を付け、分散した所有権台帳を複数の運営者が管理します。前の結果が次の問題の入力になります。これらを組み合わせて生成、移転、検証を行う設計です。ただし計算をつなぐだけで、Bitcoin の履歴を合意する完全なコンセンサスになるわけではありません。 [3]

アンナが計算結果のファイルをトムに送り、コピーを残したとします。この Bit Gold は誰のものでしょうか。二人ともビットを持つので、ファイルの所持だけでは排他的な所有権を証明できません。提案は台帳上の、デジタル署名でつながった所有権移転の記録に依拠します。トムはその履歴、計算作業、時刻証明を確認します。作業の証明は生成について、台帳は誰に属するかについて答えます。作る費用が高いというだけで、どちらの仕事も省略できません。 [3]

同じ長さの結果でも、作り手の負担が同じとは限りません。効率のよい計算機を持つ人もいれば、新しい機器で以前の高価な作業が安くなることもあります。Bit Gold はそのため、作られた時期と機器の違いを考慮します。データの長さだけで、同等の単位として交換可能になるわけではありません。提案では、異なる評価のものを業者がまとめ、ほぼ同価値の組にすることを考えています。そこには追加のルールと評価が必要です。高い作成費用だけでは、使えるお金に求めるものをすべて満たせません。 [3]

Szabo の文章は Hal Finney の RPOW を、関連する実装済みの実験として挙げます。Reusable Proofs of Work、再利用可能な作業証明という意味です。保護されたサーバーと、離れた機器で何のプログラムが動くかを検証するリモートアテステーションが重要です。ここから、自分で検証できる部分と、機器や運営者への前提を信じる部分はどこか、と問えます。Bit Gold、RPOW、BTC は一つのシステムではありません。共通のテーマはあっても、記録、移転、信頼の集中の仕方は異なります。 [3]

Szabo はすでに 1994 年、ローンで買った車の鍵へのアクセスを返済に応じて制御する例を論じています。単純なルールに見えても、高速道路を走行中の車を想像すると問題が分かります。その瞬間に動かなくするのは危険です。そこで安全な運用の例外と、完済後に制限を解除する仕組みを考慮しています。条件を強制するだけでなく、タイミング、結果、制限の終わり方を見るという姿勢です。技術的に可能でも、完成した安全な製品とは限りません。 [1]

Bitcoin の設計を説明するホワイトペーパーは Satoshi Nakamoto 名義で発表されました。Szabo のテーマと思想上のつながりはありますが、似ていることは著者である証明にはなりません。デジタルなお金に詳しいことや信頼について書いたことだけで、その名を使ったとは分かりません。各文章が何を提案するか、単位の生成、移転の記録者、受取人の確認事項を読む方が役立ちます。そうすれば、未証明の推測を歴史の土台にせず、貢献を具体的に評価できます。 [4]