Если кто-то пропустил вчерашний твитсторм Виталика об истории Каспера (friendly ghost 👻), настоятельно рекомендую прочитать. Эти 75 твитов кратко рассказывают более чем трёхлетнюю историю разработки алгоритма proof-of-stake Casper. Почти к каждому твиту приложена соответствующая научная бумага или пост с медиума, если кому интересны детали, но как правило это требует базовых или даже небазовых знаний в программировании, теории игр и распределённых системах.
Самое интересное для меня не конкретный алгоритм или формальное доказательство slashing condition — я могу понять что это значит, но вряд ли моих знаний хватит чтобы с ходу найти там уязвимость или потенциальный вектор атаки (unlike Peter Todd does). Самое интересно — это общая логика и подход сообщества Ethereum (который из всех блокчейнов на мой взгляд максимально близок к подходу Bitcoin) к разработке, обсуждению, взаимной критике и имплементации новых идей. Например, в отличии от щиткоинов, где у команды как правило цель как можно быстрее что-то выпустить и срубить на этом деле денег, команда Eth не боится потратить 3-4 месяца на исследование и придти к выводу о несостоятельности этого пути, или создать две имплементации одного и того же алгоритма (Виталика и Влада) и развивать их на протяжении уже больше года.
Виталик описывает теоретические проблемы PoS — nothing at stake, block finality, long range attack — и как постепенно создавая новые теоретические концепции, обращаясь к старым теоремам (знаменитый пост Виталика про консенсус с 99% гарантией на основе бумаги Лесли Лэмпорта 1982 года) и постепенно двигаясь от общих к очень формальным предпосылкам безопасности команде, а вернее четырем независимым командам удаётся превращать дружелюбного призрака из красивой концепции в реальный механизм, призванный защищать и гарантировать децентрализацию и нецензурируемость мультимиллиардной криптоэкономики. Из каждого твита можно сделать отдельный большой пост, но мнне кажется самым интересным является как раз процесс самостоятельного изучения этих нетривиальных идей.
Начинать читать отсюда: https://twitter.com/VitalikButerin/status/1029900695925706753
Кстати, помимо твиттера и блогов, все встречи команд (а их много) разрабочиков Эфириума происходят публично в Google Hangouts и вы всегда можете подключиться и послушать обсуждение насущных вопросов: https://www.youtube.com/channel/UCNOfzGXD_C9YMYmnefmPH0g/videos
Самое интересное для меня не конкретный алгоритм или формальное доказательство slashing condition — я могу понять что это значит, но вряд ли моих знаний хватит чтобы с ходу найти там уязвимость или потенциальный вектор атаки (unlike Peter Todd does). Самое интересно — это общая логика и подход сообщества Ethereum (который из всех блокчейнов на мой взгляд максимально близок к подходу Bitcoin) к разработке, обсуждению, взаимной критике и имплементации новых идей. Например, в отличии от щиткоинов, где у команды как правило цель как можно быстрее что-то выпустить и срубить на этом деле денег, команда Eth не боится потратить 3-4 месяца на исследование и придти к выводу о несостоятельности этого пути, или создать две имплементации одного и того же алгоритма (Виталика и Влада) и развивать их на протяжении уже больше года.
Виталик описывает теоретические проблемы PoS — nothing at stake, block finality, long range attack — и как постепенно создавая новые теоретические концепции, обращаясь к старым теоремам (знаменитый пост Виталика про консенсус с 99% гарантией на основе бумаги Лесли Лэмпорта 1982 года) и постепенно двигаясь от общих к очень формальным предпосылкам безопасности команде, а вернее четырем независимым командам удаётся превращать дружелюбного призрака из красивой концепции в реальный механизм, призванный защищать и гарантировать децентрализацию и нецензурируемость мультимиллиардной криптоэкономики. Из каждого твита можно сделать отдельный большой пост, но мнне кажется самым интересным является как раз процесс самостоятельного изучения этих нетривиальных идей.
Начинать читать отсюда: https://twitter.com/VitalikButerin/status/1029900695925706753
Кстати, помимо твиттера и блогов, все встречи команд (а их много) разрабочиков Эфириума происходят публично в Google Hangouts и вы всегда можете подключиться и послушать обсуждение насущных вопросов: https://www.youtube.com/channel/UCNOfzGXD_C9YMYmnefmPH0g/videos