Бачити привидів: Віталік нарешті формалізує оновлення Casper для Ethereum

Casper стає менш схожим на привида.

Незважаючи на те, що це може здатися надто гарним, щоб бути правдою для довгоочікуваних прихильників Ethereum , CoinDesk підтвердив, що творець мережі, Віталік Бутерін, зараз працює над створенням трьох офіційних документів, які пояснюють Casper, довгоочікувану версію консенсусу щодо доказу частки для протоколу.

Таким чином, ці документи можуть відзначити важливу віху для Ethereum у тому, що, хоча Casper давно пропонували як кращий і екологічніший спосіб KEEP глобальну мережу в згоді щодо історії транзакцій блокчейну, галузь чекала, щоб деталі були викладені на папері.

Швидше, ця ідея опинилася в пастці в мізках кількох розробників Ethereum , а прориви та розробки були розкидані по всьому світу. групи онлайн-чату і дописи в блогах за останні кілька років.

Оскільки proof-of-stake розглядається як така важлива частина Ethereum, користувачі повинні були повірити, що ці розробники справді мають хороший план.

Таким чином, офіційні технічні документи Бутеріна тепер піддадуть розробникам Ethereum експертну оцінку, що може означати великий крок вперед для проекту, який зараз готується оновити до Metropolis перед переходом системи на proof-of-stake.

«Коротше кажучи, проекти Casper стають кращими з кожною ітерацією», — сказав CoinDesk розробник Ethereum Вірджил Гріффіт, відомий хакер і розробник Ethereum , який зараз переглядає офіційні документи Бутеріна.

Останні пару тижнів документи ховалися в документах GitHub для дослідження Ethereum , а Бутерін і Гріффіт час від часу оновлювали дані.

Однак варто відзначити ранній характер роботи. Документи, які мають знаки питання та кілька "скоро!" бульбашки, розкидані всюди, T будуть готові принаймні місяць, сказав Гріффіт, додавши:

«Я працюю над ними, поки друкую це».

Повільно і стабільно

The перший папір, «Casper the Friendly Finality Gadget» – п’єса за фільмом 1990-х «Casper the Friendly Ghost» – пояснює, як система консенсусу працює на високому рівні.

Примітно, що в документі повторюється нещодавня зміна напрямку для Ethereum. Замість того, щоб відразу переходити від proof-of-work до proof-of-stake, план починається повільно, спочатку поєднуючи обидва.

У статті пояснюється:

«Механізмом пропозиції спочатку буде існуючий ланцюжок підтвердження роботи Ethereum , що зробить першу версію Casper гібридним алгоритмом PoW/PoS, який покладається на підтвердження роботи для живучості, але не безпеки, але в майбутніх версіях механізм пропозиції можна буде замінити чимось іншим».

Розширюючись далі, proof-of-work використовуватиметься для підтвердження більшості блоків Ethereum , але proof-of-stake використовуватиметься як «контрольна точка» для кожного 100-го блоку, забезпечуючи більшу «завершеність» системи або гарантію того, що транзакції не можуть бути використані більше одного разу.

Далі в статті розглядаються можливі атаки, такі як «атаки на великій відстані», які валідатори можуть спробувати використати, і як Casper прагне їх подолати.

Диявол в деталях

Дві інші статті розглядають дрібниці системи.

Під назвою «Стимули в Casper , гаджеті Friendly Finality».другий папірдосліджує стимули, які сприяють тому, щоб система працювала та гарантувала, що вона T буде зіпсована.

Для Casper існує два типи речей, які можуть піти не так: «Помилки безпеки» виникають, коли порушуються правила, наприклад, коли два валідатори виявляють несумісні стани. «Помилки живучості» виникають, коли система зупиняється або не може проштовхнути транзакції.

Оскільки користувачі повинні внести частину своїх грошей, щоб стати валідаторами, у документі зазначено, що якщо валідатори спробують порушити правила, система вкраде їхній депозит.

Третя стаття <a href="https://github.com/ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf">Ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf</a> «Автоматизоване відхилення атак цензури» зосереджується на 51-відсоткових атаках – тих, у яких майнер або майнінговий пул накопичує більшу частину обчислювальної потужності мережі, а потім може викручувати правила системи на свою користь, щоб, скажімо, подвійні витрати або блокування транзакцій.

Розробники багато думали над цією проблемою, оскільки якщо вона станеться, це може знизити довіру до блокчейну як єдиного джерела законних транзакцій.

У статті Бутерін стверджує, що Casper пом’якшує цю проблему, оскільки протокол карає зловмисників, забираючи їхні депозити, якщо вони роблять щось не так.

Інший підхід

Однак варто зазначити, що підхід Бутеріна до доказу частки, викладений у цих офіційних документах, T є єдиним підходом.

Влад Замфір з Ethereum Foundation, який фактично керує розробкою Casper, сказав, що планує опублікувати більше деталей про свою версію Casper перед Devcon, великою конференцією розробників Ethereum восени.

Він сказав CoinDesk:

«Віталік більше прагне реалізувати щось найближчим часом, а я — шукати теоретично оптимальні рішення, навіть якщо це означає певні затримки».

І знову ж таки, оскільки версія Бутеріна тільки зараз викладається на папері, можна припустити, що під час процесу рецензування речі потрібно буде доопрацювати.

Тим не менш, розробники вже почали впроваджувати перший крок підходу Casper від Бутеріна, який планується запустити десь після наступного великого оновлення Ethereum,Мегаполіс запускається цієї осені.

Крім того, незрозуміло, чи буде теорія Casper повністю виправлена ​​до того, як люди побачать привида в реальному житті.

Привид зображення через Shutterstock