💬 Криптоаналитик объясняет доказательства с нулевым разглашением, используя басни от 2022-12-12

Криптоаналитик объясняет доказательства с нулевым разглашением, используя басни

Руководитель отдела венчурных инвестиций и исследований в Mechanism Capital Брайан Фахури опубликовал в Твиттере цепочку, в которой поделился своими мыслями о доказательствах с нулевым разглашением (ZKP). Фахури подчеркивает, что такие люди, как Виталик Бутерин, публично заявили, что они, вероятно, не уступают блокчейну с точки зрения идеологической важности.

? Логическое завершение вычислений с нулевым разглашением. Доказательства с нулевым разглашением (ZKP) — это абсурдный технологический прорыв, и такие люди, как @VitalikButerin, публично заявили, что они, вероятно, не уступают блокчейнам с точки зрения идеологической важности в этом десятилетии. — Брайан Фахури (@brianfakhoury) 11 декабря 2022 г.

Фахури объяснил возможности ZKP. Он говорит, что ZKP в целом можно разделить на две сверхспособности, а именно конфиденциальность и сжатие. Фахури отмечает, что обе стороны этой технологии невероятно важны.

Он превратил заявления ZKP в басню, добавив, что если рассматривать сжатие как получение диплома колледжа, диплом об окончании, выданный «аккредитованным» университетом, будет служить формой доказательства.

Выпускник может убедить третью сторону в том, что он прошел годы академической подготовки. Вместо того, чтобы показывать третьей стороне десятки учебных программ и экзаменационных баллов, диплом служит источником компактного доказательства.

Кроме того, диплом, использованный в примере, можно обобщить как «квитанцию», которая является доказательством того, что что-то произошло. Верификатор рискует быть обманутым фиктивным доказательством, если ZKP не полностью основан на математике, когда речь идет о компьютерах (нет человеческого доверия).

Каждая система доказательства с нулевым разглашением имеет свой собственный специализированный язык схем. В результате ZKP можно рассматривать как виртуальные компьютеры, подобные интерпретаторам языков высокого уровня, платформам смарт-контрактов, эмуляторам операционных систем и т. д.

Фахури далее пояснил, насколько важно исследовать язык системы проверки по отношению к языку человеческого программирования высокого уровня, если пользователи считают ZKP виртуальными компьютерами.

Заканчивая ветку, Фахури добавил, что логично, что шайба движется к системам ZKP, которые взаимодействуют так же, как стандартный компьютер, и поэтому могут быть напрямую запрограммированы любым, кто знаком с скомпилированными языками. «Я постараюсь проанализировать многочисленные последствия, которые это имеет».