Bitcoin Development Philosophy

Sebuah usulan tidak harus mengandung bug untuk melemahkan sistem secara keseluruhan. Ia bisa memudahkan penggunaan dengan menyerahkan sebagian verifikasi kepada layanan luar. Buku ini membantu mengenali keuntungan pertukaran tersebut dan pihak yang mulai kita percayai. Penulis menghubungkan penjelasan dengan perdebatan terdahulu serta pemikiran pengembang berpengalaman. Pembaca belajar menilai alasan sebuah usulan, bukan memilih kubu karena nama terkenal yang mendukungnya. [2]

Pembaca perlu memahami Proof of Work, yaitu kerja yang dibuktikan dalam penambangan, penyusunan blok, dan perjalanan transaksi dari penyiaran hingga masuk ke rantai. Setelah itu terdapat 9 bab utama: desentralisasi, Trustlessness, privasi, pasokan terbatas, pembaruan, Adversarial thinking, pengembangan terbuka, penskalaan, dan penanganan insiden. Ini bukan panduan pertama membeli bitcoin. Buku ini melanjutkan dasar-dasar untuk menjelaskan mengapa aturan dan praktik tertentu penting. [2] [1]

Trustlessness tidak berarti tidak pernah memercayai siapa pun lagi. Seperti dijelaskan Pieter Wuille yang dikutip, istilah ini menunjuk kemampuan protokol untuk berfungsi tanpa perantara tepercaya. Full Node, node yang melakukan validasi penuh, memeriksa sendiri apakah blok yang diterima menciptakan koin tanpa izin atau membelanjakan jumlah yang sama dua kali. Tanpa verifikasi sendiri, tugas itu dipercayakan kepada pihak lain. Namun, node tetap memakai perangkat lunak dan perangkat keras tertentu yang bisa memiliki cacat. [3]

Bayangkan pembayaran tercatat dalam blok yang kemudian digantikan cabang rantai valid lainnya. Perubahan riwayat ini disebut reorganisasi dan dapat mengubah status pembayaran. Dengan merujuk David Harding, bab tersebut memisahkan pemeriksaan aturan dari perlindungan terhadap risiko ini. Lebih banyak konfirmasi berarti blok lain telah ditambahkan setelah blok pembayaran, sehingga penggantiannya umumnya lebih sulit. Itu bukan janji bahwa node sendiri dapat mencegah setiap penulisan ulang riwayat. [3]

Sebelum memeriksa pembayaran, ada pertanyaan lain: apakah program unduhan sesuai dengan kode sumber yang diterbitkan? Build yang dapat direproduksi memungkinkan orang berbeda menghasilkan berkas identik dari bahan yang sama. Perbandingan membantu memeriksa program yang diedarkan. Namun, bab ini juga mengangkat penjelasan Carl Dong: asal alat yang dipakai untuk membangunnya pun penting. Berkas yang sama tidak membuktikan bahwa kode, kompiler, atau komputer bebas cacat. [3]

Adversarial thinking berarti menelaah usulan dari sudut pandang lawan. Bukan hanya apakah ia berfungsi saat semua pihak jujur, tetapi juga keuntungan yang bisa diperoleh penyerang dengan menyalahgunakannya. Bab ini memakai pembahasan Andrew Poelstra dan Jameson Lopp untuk mengurai asumsi keamanan. Contohnya mencakup pengisolasian node dari jaringan jujur dan gangguan sengaja terhadap kolaborasi terbuka. Sistem yang selama ini berjalan bukan, dengan sendirinya, bukti formal keamanan keseluruhannya. [4]

Aksioma perlawanan Eric Voskuil yang dikutip berangkat dari asumsi bahwa suatu sistem dapat menahan kendali negara. Aksioma di sini adalah titik awal penalaran, bukan hasil pengujian yang membuktikan Bitcoin kebal. Perbedaannya juga penting bagi pembaca biasa: masuk akal mencari solusi tangguh, tetapi itu tidak berarti setiap solusi buatan kita tahan terhadap segalanya. Buku ini membantu menemukan asumsi tersebut dan mengurangi hal-hal yang luput dari perhatian. [4]

Untuk setiap klaim, tanyakan apa yang diverifikasi, apa yang masih diasumsikan, dan kenyamanan apa yang diperoleh pengguna dari perubahan. Penulis menautkan artikel dan ceramah; salinan artikel beserta asalnya disimpan terpisah dalam repositori. Ulasan ini bersumber dari pengantar lengkap serta seluruh teks Trustlessness dan Adversarial thinking. Bab lain dijelaskan berdasarkan daftar isi. Ini bukan ulasan seluruh buku beserta semua tautannya, atau audit keamanan yang telah dilakukan. [2] [3] [4]