Недавно я изучал доказательство с нулевым разглашением, которое часто называют zkp.

Раньше я думал только, что зк лучше, чем оп, например, быстрее, удобнее, безопаснее и т. д. Эти общие замечания фактически игнорировали важный момент, а именно, почему он лучше оп, и что такое суть зк?

Один из методов доказательства, используемых zk, называется snark. Этот метод доказательства очень интересен. Доказывающий генерирует доказательство, указывающее, что определенное вычисление было завершено, и проверяющему нужно только проверить правильность доказательства для подтверждения. Это действительно произошло.

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

Когда у вас есть большая модель ИИ, которую необходимо рассчитать, но под рукой нет соответствующих вычислительных инструментов, Сяо Мин выходит и говорит, что у него есть машина, готовая помочь вам ее рассчитать, если вы заплатите ему гонорар. Десять дней спустя Сяо Мин выдает вам результат искусственного интеллекта: «Завтра фондовый рынок упадет». Как вы оцениваете, действительно ли Сяо Мин помог вам в расчетах? Или мне просто сообщить вам результат и оставить его без внимания. Другими словами: «Достоин ли доверия Сяо Мин?» Лучший способ проверить — найти другого человека, который проведет расчет еще раз и сравнит результаты двух людей. Однако это приведет к двойным затратам. Вы можете даже выполнить расчет самостоятельно. В конце концов, вы самый надежный. Итак, представьте другого человека. Проблема в том, что вам не хватает инструментов для выполнения этого сложного расчета ИИ.

Так как же решить эту проблему кризиса доверия?

Умные математики изобрели метод доказательства, называемый снарк. Характерной чертой этого метода является то, что каждый шаг процесса вычислений записывается, и эти промежуточные результаты формируются посредством серии алгебраических изменений, образуя небольшое доказательство, которое является так называемым доказательством. «Доказательство», особенностью этого доказательства является то, что оно тесно связано с процессом расчета. Если процесс расчета не соответствует ожиданиям, доказательство изменится.

Как проверяющему, то есть вам, вам нужно только доказать, что это доказательство верно, чтобы гарантировать, что Сяо Мин сделал то, что я сказал, и не выдумал для меня результат.

Я должен напомнить вам, что процесс создания доказательства очень сложен, но процесс проверки доказательства очень прост. То есть, как акцептанту, мне нужно только убедиться, что доказательство верно, тогда транзакция является разумной. , что значительно экономит время на проверку, в этом случае вам не нужно искать другого человека для самостоятельного проведения расчетов.

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

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

Благодаря моему пониманию zkp я понял две вещи: во-первых, zkp может не только решить проблему перегрузки Ethereum, но также обеспечить метод доказательства безопасности в реальной жизни и ускорить сотрудничество между людьми, во-вторых, большинство инноваций людей на самом деле являются; исправить собственные вредные привычки людей. Если их невозможно исправить, они будут им потакать. Например, люди рождены для обмана, поэтому необходимо внедрять технологии, чтобы избежать этого. Люди рождаются ленивыми, так как же сделать людей более ленивыми и ленивыми. более ленивый? Если вы счастливы, появятся возможности для бизнеса.