Nick Szabo

Dalam pembelian, penjual harus menerima pembayaran dan pembeli memperoleh barang yang dijanjikan. Memeriksa kedua sisi memakan waktu dan kadang membutuhkan perantara. Dalam Smart Contracts tahun 1994, Nick Szabo meneliti ketentuan kontrak yang dapat dijalankan protokol komputer: prosedur pertukaran pesan dan tindakan yang telah ditentukan. Tujuannya mengurangi peluang penipuan dan biaya memenuhi kesepakatan. Gagasan ini tidak terbatas pada blockchain. Teknologi digunakan untuk membantu melaksanakan kesepakatan tertentu. Sebutan pintar tidak berarti program memahami setiap maksud manusia. [1]

Dalam tulisan tahun 1997, Szabo menghubungkan protokol kontrak dengan antarmuka pengguna. Contoh sederhananya ialah mesin penjual otomatis: pembeli melihat harga, memasukkan koin, lalu menerima barang. Antarmuka menjelaskan pertukarannya, dan mekanisme melaksanakannya. Pada aplikasi rumit, tampilan layar bisa menyiratkan hal berbeda dari tindakan kode. Menjalankan program dengan benar saja tidak cukup. Syarat harus dapat dipahami, waktu diperhitungkan, dan batas uraian algoritmis dikenali. Otomatisasi seharusnya membantu orang memutuskan, bukan menyembunyikan akibatnya. [2]

Berkas digital mudah disalin. Szabo bertanya apakah kelangkaan digital dapat bertumpu pada produksi yang terbukti membutuhkan biaya. Dalam Bit Gold, komputer menyelesaikan teka-teki komputasi dan menghasilkan bukti kerja, Proof of Work. Layanan penanda waktu menambahkan informasi waktu, sedangkan registri kepemilikan terdistribusi membagi pencatatan kepada beberapa pengelola. Hasil sebelumnya menjadi tantangan berikutnya. Bersama-sama, komponen ini akan mendukung pembuatan, pemindahan, dan pemeriksaan kepingan digital. Namun, menghubungkan perhitungan saja belum menjadi konsensus Bitcoin yang lengkap, yaitu aturan jaringan untuk menyepakati riwayatnya. [3]

Bayangkan Anna mengirim berkas hasil perhitungan kepada Tom dan menyimpan salinannya. Siapa kini memiliki kepingan Bit Gold itu? Keduanya mempunyai bit yang sama, sehingga berkas saja tidak membuktikan kepemilikan eksklusif. Usulan ini mengandalkan rangkaian perpindahan hak yang ditandatangani secara digital dan dicatat dalam registri. Tom harus memeriksa riwayat kepemilikan, kerja komputasi, dan penanda waktunya. Bukti kerja menjelaskan sesuatu tentang pembuatannya; registri menentukan kepada siapa ia menjadi milik. Kedua tugas tetap diperlukan walaupun data mahal untuk dibuat. [3]

Hasil dengan panjang sama tidak selalu membutuhkan usaha yang sama dari setiap pembuat. Seseorang mungkin memiliki komputer lebih efisien, dan perangkat baru dapat membuat pekerjaan yang dulu mahal menjadi murah. Karena itu, Bit Gold memperhitungkan masa produksi dan perbedaan mesin. Kepingannya tidak otomatis fungibel, atau saling dapat ditukar sebagai unit setara, hanya karena panjang datanya sama. Usulan ini membayangkan pedagang menggabungkan kepingan dengan nilai berbeda menjadi bundel yang nilainya kurang lebih sama. Ini menambah aturan dan penilaian. Produksi mahal saja belum memenuhi seluruh harapan kita terhadap uang yang dapat digunakan. [3]

Tulisan Szabo menyebut RPOW milik Hal Finney sebagai eksperimen terkait yang telah diimplementasikan. Namanya berarti Reusable Proofs of Work, bukti kerja yang dapat digunakan kembali. Server terlindungi dan atestasi jarak jauh berperan penting: cara memeriksa program apa yang berjalan pada perangkat jauh. Ini membantu pembaca bertanya mana yang dapat diverifikasi sendiri dan mana yang memerlukan kepercayaan pada asumsi tentang perangkat atau pengelolanya. Bit Gold, RPOW, dan BTC bukan satu sistem. Temanya beririsan, tetapi pencatatan, perpindahan, dan pemusatan kepercayaannya berbeda. [3]

Sejak tulisan tahun 1994, Szabo membahas mobil yang dibeli dengan kredit dan akses kuncinya dapat dikendalikan berdasarkan cicilan. Aturannya tampak sederhana sampai kita membayangkan mobil melaju di jalan tol. Menonaktifkannya saat itu berbahaya. Karena itu, rancangan mencakup pengecualian untuk operasi aman dan penghapusan pembatasan setelah pinjaman lunas. Contoh ini menunjukkan pendekatannya: menegakkan ketentuan tidak cukup; waktu, akibat, dan berakhirnya pembatasan juga harus diperiksa. Kemungkinan teknis belum merupakan produk jadi yang aman. [1]

Whitepaper yang menjelaskan rancangan Bitcoin terbit atas nama Satoshi Nakamoto. Tema Szabo memiliki hubungan gagasan dengannya, tetapi kemiripan tidak membuktikan kepengarangan. Memahami uang digital atau menulis tentang kepercayaan tidak menunjukkan bahwa seseorang memakai nama samaran itu. Lebih berguna membaca usulan masing-masing: bagaimana unit dibuat, siapa mencatat perpindahan, dan apa yang perlu diperiksa penerima. Dengan begitu, kontribusi Szabo dapat dinilai secara konkret tanpa membangun pengetahuan sejarah di atas dugaan yang belum terbukti. [4]