<Почему ZK потерпел неудачу, и что Succinct хочет изменить> 1. Осознание проблемы Создатель биткоина Сатоши Накамото выразил скептицизм по поводу доказательств с нулевым разглашением (ZKP). «Чтобы доказать, что чего-то не существует, вам нужно знать всю транзакцию», — сказал он, рассудив, что применение ZKP к блокчейнам структурно сложно. Тем не менее, он также сказал: «Если мы найдем решение, можно будет внедрить биткоин гораздо лучше, проще и удобнее». Другими словами, признавая технические ограничения ZK, они признали, что если их устранить, они могут стать важным поворотным моментом в эволюции блокчейна. Теперь, спустя годы, сообщество шифропанков и исследователи ZK наконец-то нашли решение. Zcash был первым, кто применил ZKP к реальным криптовалютам, и с тех пор такие проекты, как StarkWare, zkSync и Scroll, разработали эту технологию в качестве ключевого средства для повышения масштабируемости и проверяемости Ethereum. Тем не менее, разрыв в реальности все же есть. Создание zkEVM требует глубоких знаний, многолетних разработок и высокопроизводительного оборудования, и большинство проектов полагаются на конкретных поставщиков доказательств, а не на собственную инфраструктуру ZKP. В результате ZKP оставались сложным инструментом, с которым могли справиться лишь немногие, а не «технологией, которой может воспользоваться каждый». 2. Что такое КРАТКОСТЬ? Краткое изложение (@SuccinctLabs) является попыткой решить эту проблему напрямую. Ключ в том, чтобы превратить ZKP в инфраструктуру, которая может быть легко использована всеми разработчиками, и помочь любому создать «систему, не требующую доверия» без необходимости в сложных схемах или инфраструктуре. Лаконичность — это инфраструктура, которая преобразует идеал «бездоверительной» системы, к которому стремится блокчейн, в реальность, которая действительно может быть реализована. «Не заслуживающий доверия» не означает «ненадежный», а относится к структуре, которая функционирует сама по себе без предпосылки доверия, то есть к системе, которая может быть математически верифицирована без необходимости в третьей стороне или центральном органе. Тем не менее, нынешняя экосистема блокчейна по-прежнему в значительной степени зависит от доверия. Взломы мостов, операции с мультиподписью и централизованное делегирование валидаторов — все это доказательство того, что система работает только тогда, когда мы все еще доверяем людям и организациям. Попыткой прорваться через этот предел, основанный на доверии, является технология ZKP, или Zero-Knowledge Proof. Эта технология, которая позволяет нам математически доказать, что «этот расчет верен», не доверяя никому, безусловно, является ключевой основой для децентрализованных систем. Проблема заключалась в том, что ZKP были слишком сложными и тяжелыми для реального написания. 3. Почему ZKP казались сложными? Технология ZKP оказалась настолько высокой, насколько и ее потенциал. В частности, для создания zkEVM потребовалась профессиональная команда, годы разработки и дорогостоящая инфраструктура. Большинству проектов zk приходилось проектировать свои собственные схемы, создавать выделенные zkVM и даже самостоятельно эксплуатировать оборудование. И только пройдя через все эти процессы, они смогли назвать себя «ЗК роллапы». Более того, традиционные универсальные zkVM оказались крайне неэффективными при создании доказательств. Обычно для проверки блока требовался кластер из десятков высокопроизводительных машин, а стоимость достигала $10~$20 за блок. Из-за такой высокой технической нагрузки и эксплуатационных расходов многие проекты отказались от внедрения ZKP или выбрали структуры, которые полагаются на некоторых централизованных поставщиков доказательств. ...