14 · Distributed Trust
14 · ความไว้วางใจแบบกระจาย
This is Part II's sixth hearing: computation has spent forty years proving, formally, exactly how much agreement strangers with no shared authority can and cannot reach — and philosophy's social contract is called to answer for what it left out.
การไต่สวนครั้งที่ 6 ของภาค II เปิดตรงนี้: การคำนวณใช้เวลาสี่สิบปีพิสูจน์อย่างเป็นรูปนัยว่าคนแปลกหน้าที่ไม่มีอำนาจร่วมกันตกลงกันได้แค่ไหน และตกลงกันไม่ได้แค่ไหน — สัญญาประชาคมของปรัชญาถูกเรียกมาตอบว่ามันละเลยอะไรไป
Can computers settle what philosophers only argued — how strangers cooperate?
คนแปลกหน้าร่วมมือกันได้อย่างไร — คำถามที่นักปรัชญาได้แต่ถกเถียง คอมพิวเตอร์ยุติมันได้หรือไม่
On 3 January 2009, a program mined the first block of a currency that no bank, state, or company controlled. Embedded in that block was a string of text: "The Times 03/Jan/2009 Chancellor on brink of second bailout for banks" — the front-page headline of that day's London Times, quoting the news that the UK government was about to bail out its banking system a second time (Bitcoin Wiki, "Genesis block"). The line proved the block could not have been mined earlier, but it did more than timestamp; it dated the system's birth to the exact week the institutions trust is normally outsourced to had just failed in public. The paper behind it, "Bitcoin: A Peer-to-Peer Electronic Cash System," had been posted to a cryptography mailing list on 31 October 2008 under the name Satoshi Nakamoto — a name nobody has ever conclusively attached to a person. A system built explicitly so that strangers need not trust one another was written by someone none of us can authenticate by any of the ordinary means. That irony is this chapter's opening exhibit.
วันที่ 3 มกราคม 2009 โปรแกรมหนึ่งขุดบล็อกแรกของสกุลเงินที่ไม่มีธนาคาร รัฐ หรือบริษัทใดควบคุม ในบล็อกนั้นมีข้อความฝังอยู่: "The Times 03/Jan/2009 Chancellor on brink of second bailout for banks" — พาดหัวหน้าหนึ่งของ The Times กรุงลอนดอนวันนั้น อ้างข่าวว่ารัฐบาลสหราชอาณาจักรกำลังจะอุ้มระบบธนาคารของตัวเองเป็นครั้งที่สอง (Bitcoin Wiki, "Genesis block") บรรทัดนั้นพิสูจน์ว่าบล็อกนี้ขุดก่อนหน้านั้นไม่ได้ แต่มันทำมากกว่าประทับเวลา มันวางวันเกิดของระบบไว้ตรงสัปดาห์ที่สถาบันซึ่งเราฝากความไว้วางใจไว้ตามปกติเพิ่งล้มเหลวต่อหน้าสาธารณะพอดี เปเปอร์เบื้องหลัง "Bitcoin: A Peer-to-Peer Electronic Cash System" ถูกโพสต์ลงเมลลิ่งลิสต์ด้าน cryptography วันที่ 31 ตุลาคม 2008 ในชื่อ Satoshi Nakamoto — ชื่อที่ไม่มีใครเคยผูกกับตัวบุคคลได้อย่างชี้ขาด ระบบที่สร้างขึ้นเพื่อให้คนแปลกหน้าไม่ต้องไว้ใจกัน เขียนโดยคนที่ไม่มีใครในพวกเรายืนยันตัวตนได้ด้วยวิธีปกติสักวิธี ความย้อนแย้งนั้นคือหลักฐานชิ้นแรกที่บทนี้นำเข้าสู่การพิจารณา
The social contract has an executable version, and it begins from the same premise the original did. Thomas Hobbes argued in Leviathan (1651) that without an authority capable of enforcing it, agreement among equals is unstable — the state of nature is "a war of all against all," and peace requires transferring judgment to a sovereign strong enough to compel it. Distributed computing's answer, worked out three centuries later, keeps the peace without a sovereign: Leslie Lamport's Paxos ("The Part-Time Parliament," ACM Transactions on Computer Systems, May 1998) and Diego Ongaro and John Ousterhout's Raft ("In Search of an Understandable Consensus Algorithm," USENIX ATC 2014) let any majority of equal replicas bind a decision, tolerating the minority being slow, wrong, or offline. Where Hobbes solved coordination by concentrating judgment in one place, these protocols solve it by counting votes among peers — a social contract that needs a quorum and a clock, never a Leviathan.
สัญญาประชาคมมีเวอร์ชันที่รันได้จริง และมันตั้งต้นจากข้อสมมติเดียวกับต้นฉบับ Thomas Hobbes โต้แย้งใน Leviathan (1651) ว่าถ้าไม่มีอำนาจที่บังคับใช้ได้ ข้อตกลงระหว่างผู้เท่าเทียมกันย่อมไม่มั่นคง สภาวะธรรมชาติคือ "สงครามของทุกคนต่อทุกคน" และสันติภาพต้องโอนอำนาจตัดสินไปให้ผู้มีอธิปไตยที่แข็งแรงพอจะบังคับได้ คำตอบของ distributed computing มาช้ากว่านั้นสามศตวรรษ และรักษาสันติภาพไว้ได้โดยไม่ต้องมีผู้มีอธิปไตย: Paxos ของ Leslie Lamport ("The Part-Time Parliament," ACM Transactions on Computer Systems, May 1998) และ Raft ของ Diego Ongaro กับ John Ousterhout ("In Search of an Understandable Consensus Algorithm," USENIX ATC 2014) ให้เสียงข้างมากของ replica ที่เท่าเทียมกันผูกมัดการตัดสินใจ และทนได้เมื่อเสียงข้างน้อยช้า ผิด หรือออฟไลน์ Hobbes แก้ปัญหาการประสานงานด้วยการรวมอำนาจตัดสินไว้ที่จุดเดียว โปรโตคอลเหล่านี้แก้ด้วยการนับคะแนนกันเองในหมู่ผู้เท่าเทียม — สัญญาประชาคมที่ขอแค่ quorum กับนาฬิกา ไม่ขอ Leviathan
Testimony gets harder when a witness may be lying rather than merely mistaken. Leslie Lamport, Robert Shostak, and Marshall Pease posed that sharper version in 1982: generals surrounding a city must reach unanimous agreement — attack or retreat — communicating only by messenger, when some generals or their messages may be actively treacherous. Their result: with unsigned, oral messages, no protocol works unless more than two-thirds of the generals are loyal; among just three participants, a single traitor already defeats two honest ones (Lamport, Shostak & Pease, "The Byzantine Generals Problem," ACM TOPLAS 4, no. 3, July 1982: 382–401). Philosophy's testimony debates — how much a report should be discounted, knowing some sources may be adversarial rather than merely unreliable — get an exact numerical threshold: one-third.
คำให้การยากขึ้นทันทีที่พยานอาจโกหก ไม่ใช่แค่เข้าใจผิด Leslie Lamport, Robert Shostak และ Marshall Pease ตั้งเวอร์ชันที่คมกว่านั้นไว้ในปี 1982: นายพลที่ล้อมเมืองอยู่ต้องตกลงกันเป็นเอกฉันท์ — บุกหรือถอย — โดยสื่อสารผ่านผู้ส่งสารเท่านั้น ในสถานการณ์ที่นายพลบางคนหรือข้อความบางฉบับอาจทรยศจริงๆ ผลลัพธ์ของพวกเขาคือ ด้วยข้อความปากเปล่าที่ไม่มีลายเซ็นกำกับ ไม่มีโปรโตคอลไหนใช้ได้เลยเว้นแต่นายพลมากกว่าสองในสามจะซื่อสัตย์ ในกลุ่มสามคน ผู้ทรยศคนเดียวเอาชนะผู้ซื่อสัตย์สองคนได้แล้ว (Lamport, Shostak & Pease, "The Byzantine Generals Problem," ACM TOPLAS 4, no. 3, July 1982: 382–401) ข้อถกเถียงเรื่องคำให้การของปรัชญา — ควรลดน้ำหนักรายงานลงแค่ไหนเมื่อรู้ว่าบางแหล่งอาจเป็นปรปักษ์ ไม่ใช่แค่ไม่น่าเชื่อถือ — จึงได้เกณฑ์ตัวเลขที่ชัดเจน: หนึ่งในสาม
Agreeing on a plan is one thing; agreeing that you have both agreed is another, and it is provably out of reach. In 1975, Akkoyunlu, Ekanadham, and Huber proved that two parties coordinating over a channel that can silently drop messages can never become certain, after any finite exchange, that both sides know the plan is on — any acknowledgment could itself be the message that is lost. Jim Gray gave the result its familiar military name, the Two Generals Problem, in 1978. This is the philosophical structure of common knowledge — I know P, you know P, I know you know P, without end — which David Lewis had formalized in Convention (1969); Joseph Halpern and Yoram Moses gave it a distributed-computing treatment, proving that true common knowledge is unreachable over any channel with even a small chance of failure, and that only finite, nested approximations are ("Knowledge and Common Knowledge in a Distributed Environment," 1984; expanded Journal of the ACM 37, no. 3, 1990). Epistemic logic, usually a philosopher's diagram of nested belief, becomes a protocol with a proven ceiling.
ตกลงกันเรื่องแผนคือเรื่องหนึ่ง ตกลงกันว่าทั้งสองฝ่ายตกลงแล้วคืออีกเรื่อง และเรื่องหลังพิสูจน์ได้ว่าไปไม่ถึง ปี 1975 Akkoyunlu, Ekanadham และ Huber พิสูจน์ว่าสองฝ่ายที่ประสานงานผ่านช่องทางที่ทำข้อความหายเงียบๆ ได้ ไม่มีทางแน่ใจหลังการแลกเปลี่ยนจำนวนจำกัดใดๆ ว่าทั้งสองฝ่ายรู้ว่าแผนเดินหน้าแล้ว เพราะการตอบรับเองก็อาจเป็นข้อความที่หายไป Jim Gray ตั้งชื่อทางการทหารที่คุ้นหูให้ผลลัพธ์นี้ในปี 1978 ว่า ปัญหานายพลสองนาย (Two Generals Problem) นี่คือโครงสร้างเชิงปรัชญาของความรู้ร่วม (common knowledge) — ฉันรู้ P อีกฝ่ายรู้ P ฉันรู้ว่าอีกฝ่ายรู้ P ไปเรื่อยไม่สิ้นสุด — ที่ David Lewis ทำให้เป็นรูปนัยไว้ใน Convention (1969) Joseph Halpern และ Yoram Moses จับมันมาทำแบบ distributed computing พิสูจน์ว่าความรู้ร่วมที่แท้จริงไปไม่ถึงผ่านช่องทางใดๆ ที่มีโอกาสล้มเหลวแม้เพียงเล็กน้อย มีแต่การประมาณแบบซ้อนชั้นจำกัดเท่านั้นที่ไปถึง ("Knowledge and Common Knowledge in a Distributed Environment," 1984; expanded Journal of the ACM 37, no. 3, 1990) ตรรกะเชิงญาณ (epistemic logic) ปกติเป็นแค่แผนภาพความเชื่อซ้อนชั้นของนักปรัชญา ตรงนี้มันกลายเป็นโปรโตคอลที่มีเพดานพิสูจน์แล้ว
A digital signature lets any stranger verify who a message came from without a shared secret or a vouching intermediary: trust becomes a mathematical relation — only one private key produces what a matching public key can confirm — rather than a social one requiring a notary, a bank, or a state. A ledger extends this from verifying one signature to verifying an entire ordered history, letting mutually suspicious parties agree on a single sequence of events without deferring to any one of them.
ลายเซ็นดิจิทัลทำให้คนแปลกหน้าคนไหนก็ยืนยันได้ว่าข้อความมาจากใคร โดยไม่ต้องมีความลับร่วมกันและไม่ต้องมีตัวกลางผู้รับรอง: ความไว้วางใจกลายเป็นความสัมพันธ์เชิงคณิตศาสตร์ — มีกุญแจส่วนตัวดอกเดียวเท่านั้นที่สร้างสิ่งที่กุญแจสาธารณะคู่กันยืนยันได้ — ไม่ใช่ความสัมพันธ์เชิงสังคมที่ต้องมีทนายรับรอง ธนาคาร หรือรัฐ บัญชีแยกประเภท (ledger) ขยายเรื่องนี้จากลายเซ็นฉบับเดียวไปถึงประวัติทั้งชุดที่เรียงลำดับไว้ ฝ่ายที่ระแวงกันเองจึงตกลงกันบนลำดับเหตุการณ์ชุดเดียวได้ โดยไม่ต้องยอมตามฝ่ายใดฝ่ายหนึ่ง
Money is where every piece of this machinery bears weight at once. Nakamoto's protocol makes the ledger itself the output of a Byzantine-fault-tolerant vote — proof-of-work — among anonymous, mutually distrustful participants, solving double-spending without the single trusted ledger-keeper Hobbes would have assumed was unavoidable. But philosophy objects here, not merely answers: the whole distributed-trust literature treats trust as solved once nodes agree on facts — which block is valid, whose signature is genuine. Older accounts of trust, including Hobbes's own worry about promises kept only under duress, hold that trust carries normative content no vote over present facts touches — reputation earned over years, forgiveness, the willingness to be vulnerable to someone else's future choice. A blockchain makes forgery costly. It does not make betrayal within the rules — a fraud run entirely inside a legitimate, signed ledger — visible to the protocol at all.
เงินคือจุดที่กลไกทุกชิ้นแบกน้ำหนักพร้อมกัน โปรโตคอลของ Nakamoto ทำให้ตัวบัญชีแยกประเภทเองเป็นผลของการโหวตแบบทนทานต่อความผิดพลาดแบบไบแซนไทน์ (Byzantine fault tolerance) — proof-of-work — ในหมู่ผู้เข้าร่วมนิรนามที่ไม่ไว้ใจกัน แก้ double-spending ได้โดยไม่ต้องมีผู้ดูแลบัญชีที่น่าเชื่อถือรายเดียวแบบที่ Hobbes คงคิดว่าเลี่ยงไม่ได้ ตรงนี้ปรัชญาคัดค้าน ไม่ใช่แค่ตอบ: วรรณกรรมเรื่อง distributed trust ทั้งหมดถือว่าความไว้วางใจจบแล้วเมื่อโหนดตกลงกันเรื่องข้อเท็จจริง — บล็อกไหนถูกต้อง ลายเซ็นของใครเป็นของจริง คำอธิบายความไว้วางใจแบบเก่ากว่า รวมถึงความกังวลของ Hobbes เองเรื่องคำสัญญาที่รักษาไว้เพราะถูกบังคับ ยืนยันว่าความไว้วางใจแบกเนื้อหาเชิงบรรทัดฐานที่การโหวตเรื่องข้อเท็จจริงปัจจุบันแตะไม่ถึง — ชื่อเสียงที่สั่งสมมาหลายปี การให้อภัย ความเต็มใจจะเปราะบางต่อทางเลือกในอนาคตของอีกฝ่าย บล็อกเชนทำให้การปลอมแปลงมีต้นทุนสูง แต่การทรยศ ภายในกรอบกฎ — การโกงที่เกิดขึ้นทั้งหมดในบัญชีแยกประเภทที่ถูกกฎและมีลายเซ็นกำกับ — โปรโตคอลมองไม่เห็นเลยแม้แต่น้อย
The people, briefly. Hobbes wrote Leviathan out of the English Civil War's chaos. Lamport received the 2013 ACM Turing Award for this and other foundational work in distributed computing, and by his own account wrote "The Part-Time Parliament" as an allegory of a fictional Greek parliament because reviewers found the direct version unreadable. Halpern and Moses built on Lewis's philosophical account of convention to give epistemic logic a computational home. Nakamoto has never been identified.
ผู้คน โดยย่อ Hobbes เขียน Leviathan ขึ้นจากความโกลาหลของสงครามกลางเมืองอังกฤษ Lamport ได้รางวัล ACM Turing Award ปี 2013 จากงานชิ้นนี้และงานพื้นฐานอื่นๆ ด้าน distributed computing และตามคำบอกเล่าของเขาเอง เขาเขียน "The Part-Time Parliament" เป็นนิทานเปรียบเทียบว่าด้วยรัฐสภากรีกสมมติ เพราะผู้ตรวจอ่านบอกว่าเวอร์ชันตรงไปตรงมาอ่านไม่รู้เรื่อง Halpern กับ Moses ต่อยอดคำอธิบายเชิงปรัชญาเรื่อง convention ของ Lewis เพื่อให้ตรรกะเชิงญาณมีบ้านทาง computational Nakamoto ไม่เคยถูกระบุตัวตน
Connections
เชื่อมโยง
Chapter 03 asked whether a machine's answer counts as knowledge; Byzantine fault tolerance is that question with an exact fraction attached. Chapter 06's responsibility gaps recur here as blame distributed the same way trust is. Chapter 07's stack-versus-state tension sharpens once money itself no longer needs a state. Chapter 12's certainty-as-engineering-product reappears in the one-third threshold and the proven ceiling on common knowledge.
บทที่ 03 ถามว่าคำตอบของเครื่องนับเป็นความรู้หรือไม่ ความทนทานต่อความผิดพลาดแบบไบแซนไทน์คือคำถามเดียวกันที่มีเศษส่วนแม่นยำติดมาด้วย ช่องว่างความรับผิดชอบของบทที่ 06 กลับมาที่นี่ในรูปการโทษที่กระจายตัวแบบเดียวกับความไว้วางใจ ความตึงระหว่าง stack กับ state ของบทที่ 07 คมขึ้นทันทีที่เงินเองไม่ต้องพึ่งรัฐ ความแน่นอนในฐานะผลผลิตเชิงวิศวกรรมของบทที่ 12 โผล่กลับมาในเกณฑ์หนึ่งในสาม และในเพดานที่พิสูจน์แล้วของความรู้ร่วม
Open questions
คำถามที่ยังเปิดอยู่
If perfect common knowledge is provably unreachable over any unreliable channel, is ordinary human coordination — running on language and gesture, channels no more reliable — merely tolerating the same gap with a longer patience for uncertainty? Does a system that formally guarantees agreement on facts quietly redefine "trust" down to "agreement," discarding what the word carried for Hobbes? And if no one — not even a quorum — is identifiable behind a permissionless ledger, whose sovereignty has actually been replaced?
ถ้าความรู้ร่วมที่สมบูรณ์พิสูจน์ได้ว่าไปไม่ถึงผ่านช่องทางที่ไม่น่าเชื่อถือใดๆ การประสานงานของมนุษย์ทั่วไป — ที่รันบนภาษาและท่าทาง ช่องทางที่ไม่ได้น่าเชื่อถือไปกว่ากัน — ก็เป็นแค่การทนอยู่กับช่องว่างเดียวกันด้วยความอดทนต่อความไม่แน่นอนที่ยาวกว่าเท่านั้นหรือไม่ ระบบที่รับประกันข้อตกลงเรื่องข้อเท็จจริงอย่างเป็นรูปนัย กำลังนิยาม "trust" ใหม่อย่างเงียบๆ ให้เหลือแค่ "agreement" ทิ้งสิ่งที่คำนี้เคยแบกไว้สำหรับ Hobbes หรือไม่ และถ้าไม่มีใคร — แม้แต่ quorum — ระบุตัวตนได้เบื้องหลังบัญชีแยกประเภทแบบไม่ต้องขออนุญาต (permissionless) อธิปไตยของใครกันแน่ที่ถูกแทนที่ไป
Go deeper
อ่านต่อ
- Thomas Hobbes, Leviathan, 1651.
- Leslie Lamport, Robert Shostak & Marshall Pease, "The Byzantine Generals Problem," ACM Transactions on Programming Languages and Systems 4, no. 3 (July 1982): 382–401; Satoshi Nakamoto, "Bitcoin: A Peer-to-Peer Electronic Cash System," 31 October 2008 — bitcoin.org/bitcoin.pdf.
- Common Knowledge, Stanford Encyclopedia of Philosophy.
- Thomas Hobbes, Leviathan, 1651.
- Leslie Lamport, Robert Shostak & Marshall Pease, "The Byzantine Generals Problem," ACM Transactions on Programming Languages and Systems 4, no. 3 (July 1982): 382–401; Satoshi Nakamoto, "Bitcoin: A Peer-to-Peer Electronic Cash System," 31 October 2008 — bitcoin.org/bitcoin.pdf.
- Common Knowledge, Stanford Encyclopedia of Philosophy.