На конференции EDCON в Черногории @VitalikButerin объяснил технические проблемы сети Ethereum с точки зрения расширения, конфиденциальности, безопасности и т. д. и, наконец, пришел к выводу, что zk-SNARK будет так же важен, как и блокчейн, в ближайшие 10 лет. Что такое zk-SNARK, для продвижения которого V God не жалеет усилий? Какие текущие проблемы блокчейна может решить технология zk-SNARK? Далее, Тред, позвольте мне внести в обсуждение несколько идей. 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-дневный период проверки на мошенничество после отправки его в цепочку. ZK может быстро и безопасно гарантировать, что каждая транзакция в цепочке является законной на основе математических алгоритмов. 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, если предоставленный им адрес запроса на вывод средств и адрес депозита несовместимы (если частный адрес). ключ отличается), он будет перехвачен и возвращен на исходный адрес микширования. Неопознанные активы, равные хакерам, не могут избежать отслеживания через систему смешивания валют 8/n;

Конечно, вы также можете напрямую построить дерево списка исключений Меркель, как отметил Бутерин в своем выступлении, что эквивалентно добавлению механизма черного списка в протокол торнадо. Обычные пользователи могут генерировать невиновные доказательства, если их депозиты отсутствуют в списке. тогда будет нормально с Торнадо наоборот. Хотя черный список эффективен, он несет в себе риск централизации. Более эффективно блокировать транзакции с несогласованными закрытыми ключами ввода и вывода.

9/n Наконец, давайте поговорим о проблеме антицензурного парадокса (безопасности) третьих сторон. Нет сомнений в том, что функция Social Recovery является неизбежным путем для широкомасштабного применения блокчейна. Однако из протестов сообщества, от которых пострадал Лигер при открытии этой функции два дня назад, нетрудно увидеть, что Social Recovery не может быть построен на основе. предпосылка, что третья сторона централизована. И технология zk-SNARK способна решить эту проблему. 10/н

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

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