730 / 736FOCAL

Schelling Point

Focal point, помітне розв’язання координаційної проблеми без центрального арбітра

Schelling Point — це розв’язання, яке люди вважають природно помітним і очікують, що його оберуть також інші; у Bitcoin воно допомагає пояснити соціальну координацію навколо спільних правил і програмного забезпечення, але не є голосуванням, правилом консенсусу чи заміною незалежної валідації.

Thomas C. Schelling розвинув поняття focal point у книзі The Strategy of Conflict 1960 року: коли можливі кілька рівноваг і учасники не можуть повноцінно спілкуватися, вони можуть зійтися на варіанті, що вирізняється назвою, історією, симетрією або спільними очікуваннями. Bitcoin не усуває цю людську координаційну проблему, але відокремлює її від машинної перевірки блоків за правилами, які кожен вузол обрав у власному ПЗ.

У теорії ігор Schelling Point також зазвичай називають focal point. Thomas C. Schelling розвинув це поняття у книзі The Strategy of Conflict 1960 року, а популярний звіт Нобелівської премії 2005 року підсумовує його експериментальний результат: у координаційних задачах люди знаходили спільне розв’язання частіше, ніж передбачала суто формальна модель, бо деякі варіанти були помітнішими за інші. [1]

Механізм не вимагає, щоб обраний варіант був об’єктивно найкращим. Учасник обирає розв’язання, яке, за його очікуванням, інші теж розпізнають як помітне; вони водночас міркують про його очікування. Помітність можуть створювати простота, унікальна назва, історія, симетрія, культурна звичка або публічний прецедент. Коли спільний контекст змінюється, focal point також може змінитися. [2]

У Bitcoin людську координацію слід відокремлювати від протокольного рішення. Whitepaper встановлює, що вузли приймають лише дійсні транзакції та блоки, а серед дійсних гілок слідують ланцюгу з найбільшим proof of work. Schelling Point може допомогти людям узгодити ПЗ, правила чи надзвичайну процедуру, але не зробить недійсний блок дійсним і не є частиною обчислення chainwork. [3]

Межа безпеки проходить через добровільний вибір правил. Bitcoin Core прямо зазначає, що його розробники не визначають правила консенсусу, ПЗ не оновлюється автоматично, а користувачі самі обирають, що запускати. Поширена реалізація, відомий репозиторій або довірені розробники можуть бути focal point для перевірки й розгортання, але вплив отримують через повторне прийняття, а не право переписати валідацію користувача. [4]

Механізм активації переводить уже запропоновану зміну в детерміновані стани, але сам не створює суспільної згоди. BIP 9 рахує сигналізацію в періодах по 2016 блоків і за початкового порогу щонайменше 1916 блоків переходить у LOCKED_IN; BIP 8 використовує висоти блоків, minimum activation height і необов’язковий MUST_SIGNAL. Вибір пропозиції, параметрів і випуску ПЗ відбувається раніше й може лишатися спірним. [6] [5]

Помітність не є доказом істини чи легітимності. Біржовий тикер, частка hashrate, кількість вузлів, видимих crawler, бренд клієнта або опитування в соцмережі вимірюють різні групи й можуть бути спотворені чи хибно витлумачені. Bitcoin Core нагадує, що користувачі можуть запускати повністю валідуюче чи інше ПЗ і задавати власну relay policy; тому жодна окрема метрика не є обов’язковим голосуванням усієї мережі. [7]

Березневий split 2013 року показує різницю між автоматичним fork choice і людською координацією під час надзвичайної ситуації. Близько 60 % hashrate спершу майнило гілку, яку приймала версія 0.8, тому поділ швидко не зник сам. Після публічного узгодження BTC Guild і Slush перейшли на 0.7, комерційні сервіси призупинили депозити, а більшість роботи змістилася до сумісної гілки. Це була конкретна реакція на інцидент, а не постійне правило, що відомі особи можуть обрати ланцюг. [8]

Твердження про Schelling Point можна перевірити лише після визначення гри: хто учасники, які мають варіанти, що прагнуть узгодити, якою інформацією й комунікацією володіють і як розпізнати результат. Для пропозиції Bitcoin окремо потрібні текст BIP, точний код, правила валідації, параметри активації, сумісність і фактичне розгортання. Статус Complete або Deployed у процесі BIP має визначене значення, але не є опитуванням усіх власників bitcoin. [9]

Для повної картини прочитайте також Bitcoin, Правила консенсусу, Nakamoto Consensus, Full Node, Proof of Work, Soft Fork Activation.

01Чи найпоширеніший клієнт Bitcoin автоматично є Schelling Point для правил мережі?

Він може бути сильним focal point для перевірки коду, сумісності й очікувань, але популярність не дає його розробникам права змінювати правила користувачів. Кожен повністю валідуючий вузол застосовує правила запущеного ПЗ. За несумісної зміни різні групи можуть продовжити роботу в різних мережах, навіть якщо до зміни домінувала одна реалізація.

02Чи є сигналізація майнерів голосуванням про те, що є Bitcoin?

Ні. Сигналізація має значення лише всередині конкретного механізму активації та показує готовність майнерів або потрібний біт за його правилами. Вона не охоплює всіх користувачів, власників, продавців чи вузли й сама не визначає, яке ПЗ їм запускати. Це один координаційний сигнал, а не загальне голосування власників.

DOC · 001Nobel Prize — Thomas Schelling and focal pointsДокументація DOC · 002Roger Myerson — Learning from Schelling’s Strategy of ConflictДокументація DOC · 003Satoshi Nakamoto — Bitcoin: A Peer-to-Peer Electronic Cash SystemДокументація DOC · 004Bitcoin Core — Statement from Bitcoin Core (2016)Документація DOC · 005BIP 9 — Version bits with timeout and delayДокументація DOC · 006BIP 8 — Version bits with lock-in by heightДокументація DOC · 007Bitcoin Core — Development and transaction relay policyДокументація DOC · 008BIP 50 — March 2013 Chain Fork Post-MortemДокументація DOC · 009BIP 3 — Updated BIP ProcessДокументація
Переглянуто: Спочатку джерела · Не інвестиційна порада