Дехто з вас, можливо, пам'ятає статтю, яку я опублікував багато років тому під назвою «Розуміння мережі Lightning за допомогою абака», яку я написав після того, як мені стало зрозуміло, що багато людей не до кінця розуміють, як працює Lightning. На той час моєю метою було не пояснити криптографію чи деталі реалізації Lightning, а розвіяти міфи про основну ідею платіжних каналів. Я використав аналогію з абаком, щоб зосередитися на концепції, а не на механіці. Це спрацювало надзвичайно добре, і пізніше люди перейняли аналогію з абаком, щоб пояснити Lightning новачкам.
Останнім часом у мене сильне відчуття дежавю.
Обговорюючи Spark, я помічаю схожу закономірність. Дехто знає, що таке «statechain» (ланцюжок станів), але для більшості на цьому розуміння закінчується. І, як і у випадку з Lightning того часу, проблема не в браку інтелекту чи зусиль, а просто в тому, що основна ментальна модель незрозуміла. Тож я спробую той самий підхід ще раз: поясню, як Spark працює концептуально, не вдаючись у криптографічну термінологію.
Головоломка з двох частин
По суті, Spark дозволяє користувачам надсилати та отримувати біткойни без трансляції транзакцій у мережі. Біткойн не переміщується в мережі при зміні власника. Натомість змінюється те, хто може спільно авторизувати свої витрати. Ця спільна авторизація розподіляється між користувачем та групою операторів, які називаються Spark Entity (SE).
Щоб пояснити, як це працює, уявіть, що для витрачання певного набору біткоїнів на Spark потрібно скласти просту головоломку з двох частин:
- Один елемент пазла тримає користувач.
- Іншу частину тримає SE.
Тільки коли обидві однакові частини зійдуться разом, можна витратити біткоїни. Інший набір біткоїнів вимагатиме складання іншої головоломки.
Тепер давайте розглянемо, що відбувається, коли змінюється власник.
Спочатку Аліса тримає шматочок пазла, який відповідає шматочку, що тримає SE. Вона може витрачати свої біткоїни, комбінуючи шматочки та складаючи пазл. Коли Аліса хоче надіслати свої біткоїни Бобу, вона дозволяє Бобу створити новий пазл разом з SE. Важливо, що сам пазл не змінюється: старий і новий пазли мають однакову форму, але шматочки, з яких він складається, змінюються. Новий пазл призначений для Боба: одна сторона пов'язана з Бобом, а інша – з SE. З цього моменту лише шматочок Боба відповідає шматочку SE. Аліса може все ще зберігати свій старий шматочок пазла, але тепер він марний. Оскільки SE знищив свій відповідний шматочок, шматочок Аліси більше не підходить до жодного іншого шматочка і не може бути використаний для витрачання біткоїна. Право власності фактично перейшло до Боба, хоча біткоїн, про який йде мова, ніколи не переміщувався по ланцюжку.
Пізніше Боб може повторити той самий процес, щоб надіслати той самий набір біткоїнів Керол і так далі. Кожен переказ працює шляхом заміни частин пазла, а не шляхом переміщення коштів по ланцюжку.
На цьому етапі природно виникає питання: що, якби SE просто не позбулася свого старого фрагмента пазла? У такому випадку SE могла б змовитися з попереднім власником, Алісою, і витратити біткойни Боба. Нам потрібно довіряти SE, що коли право власності перейшло від Аліси до Боба, вона також знищила свій фрагмент пазла. Однак важливо розуміти, що SE — це не одна сторона. Вона складається з групи операторів, і сторона пазла SE ніколи не належить одному оператору. Заміна пазла вимагає співпраці між кількома операторами. Жодна окрема сторона не може таємно зберегти старий пазл активним або відтворити його пізніше. Достатньо, щоб один оператор діяв чесно під час передачі, щоб запобігти повторній активації старого пазла.
Ключова ідея проста: Spark не переміщує біткойни в мережі між користувачами. Він замінює того, хто має дійсний дозвіл на їх витрачання. Біткойн в мережі не переміщується. Змінюється лише те, які дві частини пазла поєднуються між собою.
Щоб це пояснення було зосередженим, я навмисно не розглядав механізм одностороннього виходу Spark. Це важлива частина моделі безпеки Spark, але це відволікало б від основної ідеї, яку я хочу тут донести. Важливо те, що Spark — це не система, де користувачі постійно залежать від SE. Хоча щоденні перекази залежать від спільної авторизації, Spark також надає користувачам спосіб витрачати свої кошти в блокчейні, не вимагаючи співпраці SE. Цей аварійний люк існує за задумом, він просто виходить за рамки цього пояснення.
Цей пост під назвою «Spark Explained Like You're Five» вперше з'явився в журналі Bitcoin Magazine, його автор — Рой Шейнфельд.