На конференції EDCON у Чорногорії @VitalikButerin пояснив технічні проблеми мережі Ethereum з точки зору розширення, конфіденційності, безпеки тощо, і нарешті дійшов висновку, що zk-SNARK буде таким же важливим, як і блокчейн у наступні 10 років. Що таке zk-SNARK, який V God не шкодує зусиль? Які поточні проблеми блокчейну може вирішити технологія zk-SNARK? Далі, Thread, дозвольте мені додати кілька ідей до обговорення. 1/п

SNARK розшифровується як (короткий неінтерактивний аргумент знання), який є коротким неінтерактивним аргументом знання. Його суть полягає в створенні системи доказів за допомогою математичних алгоритмів, що дозволяє верифікатору перевірити правильність даних, не знаючи оригіналу. даних. Процес реалізації включає складні технології, такі як верифіковані схеми, принципи криптографії на основі еліптичної кривої, хеш-функції, алгоритми шифрування тощо, тому я не буду вдаватися в подробиці. 2/п

Оскільки SNARK може стискати вихідні дані в дуже маленький доказ, щоб перевірити правильність своїх вхідних даних, у поєднанні з технічною основою zk з нульовими знаннями, zk-SNARK може досягти великих успіхів у масштабованості, конфіденційності, безпеці та інших аспектах. Особливо після того, як Ethereum запустив випадковий алгоритм Макарова (MAST) у 2018 році, zk-SNARK можна безпосередньо інтегрувати в систему Ethereum, щоб вирішити поточну проблему вузького місця мережі Ethereum. 3/п

Ось чому, хоча технологія zk-STARK, рідна для @Statrknet, може вирішувати складніші обчислювальні проблеми (уникати квантових обчислювальних атак тощо), на zk-SNARK покладаються більші очікування. Зокрема, деякі з блокчейн-парадоксів, про які всі бентежаться, можна ефективно вирішити після заміни нижнього шару zk-SNARK, наприклад: захист конфіденційності та проблеми потенційного відмивання грошей хакерів, проблеми соціального відновлення, які не можуть уникнути втручання централізованих установ і т.д. 4/п

Спочатку поговоримо про масштабованість. zk-rollup значно випереджає op-rollup і є остаточним рішенням для другого рівня Ethereum. OP спочатку встановлює оптимізм для всіх транзакцій, а потім проходить 7-денний період перевірки на шахрайство після подання в ланцюжок, який може швидко та безпечно переконатися, що кожна транзакція в ланцюжку є законною на основі математичних алгоритмів. 5/п

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Тут zk-SNARK вирішує парадоксальну проблему масштабованості Ethereum, протиріччя між масштабованістю та централізацією, хоча рішення op-rollup фактично реалізовано в сценарії. Це більш зрілий, але він все ще має потенційний ризик централізації в секвенсорі та оптимістичному процесі перевірки виклику. Звичайно, ми можемо бути «оптимістами», але щоб досягти абсолютно децентралізованого зведення, ми повинні мати SNARK. 6/п

Давайте подивимося на конфіденційність. Виходячи з поточного контексту технології блокчейн, наш розвиток технології конфіденційності впаде в логічний парадокс. Чи врешті-решт він прислужиться хакерам? Однак, якщо воно базується на zk-SNARK, можна розробити рішення «Доказ невинності» (POI), щоб захистити користувачів від внесення та зняття грошей через конфіденційність, уникаючи при цьому злочинців від використання його для вчинення зла. Зокрема, технологія POI може бути застосована до протоколів, подібних до Tornado 7/n

Технологія POI надає кожному користувачеві цифровий відбиток, згенерований на основі історії стану блокчейну та закритих ключів. Коли хакер намагається відмити гроші через пул транзакцій змішування валюти, якщо надані ним адреса запиту на зняття коштів і адреса депозиту не узгоджуються (якщо приватна ключ інший), його буде перехоплено та повернено на початкову адресу змішування. Невідомі активи, рівноцінні хакерам, не можуть уникнути відстеження через систему змішування валют;

Звичайно, ви також можете безпосередньо створити дерево виключень Меркель, як зазначив Бутерін у своїй промові, що еквівалентно додаванню механізму чорного списку до протоколу tornado. Звичайні користувачі можуть створювати невинні докази, якщо їхні депозити відсутні в списку тоді з Торнадо все буде навпаки. Хоча створення чорного списку є ефективним, воно несе в собі ризик централізації. Ефективніше блокувати транзакції з неузгодженими особистими ключами депозиту та зняття.

9/n Нарешті, давайте поговоримо про парадокс антицензури (безпеку) сторонніх сторін. Немає сумніву, що функція соціального відновлення є неминучим шляхом для широкомасштабного застосування блокчейну. Проте з протестів спільноти, від яких постраждав Лігер два дні тому, відкриваючи цю функцію, неважко зрозуміти, що соціальне відновлення не може бути побудоване на основі. передумова, що третя сторона є централізованою. І цю проблему може вирішити технологія zk-SNARK. 10/п

Простіше кажучи, коли користувач генерує кілька фрагментів закритого ключа, він може зашифрувати фрагменти та використати систему сертифікації zk-SNARK для створення сертифіката, а потім розповсюдити сертифікат надійній установі або другу, якщо закритий ключ користувача втрачено. його можна запитати. Третя сторона надає фрагментовані сертифікати даних, а потім використовує zk-SNARK для перевірки точності цих сертифікатів, таким чином реалізуючи функцію соціального відновлення без розкриття фрагментації закритого ключа. 11/п

Після повного розуміння вищезазначеного змісту неважко зрозуміти важливість технології zk-SNARK для системи блокчейну. Вона може вирішити різні проблеми в поточній мережі Ethereum, такі як масштабованість і централізація, конфіденційність і зло, безпека і анти-. проблема парадоксу розвитку. Тому Бутерін сказав, що через 10 років zk-SNARK буде таким же важливим, як і блокчейн. 12/12