Разработчик Виталик Бутерин объяснил ограничения ZK-VM (виртуальная машина с нулевым знанием) в случае использования для обеспечения конфиденциальности. Один пользователь указал на то, что ZK-VM почти во всех аспектах лучше, за исключением иронии, что она не может обеспечить конфиденциальность.
В ответ на это Виталик сказал: объяснение очень простое: случаи использования конфиденциальности требуют доказательства на стороне клиента, а в настоящее время скорость клиентского доказательства недостаточно быстрая, чтобы обрабатывать любое содержимое, выходящее за пределы ветки Merkle.
«Еще хуже, что клиентский случай использования требует от каждого пользователя предоставлять доказательства, что означает, что объем доказательств невелик, а время доказательства системы, основанной на эллиптических кривых, медленное. Вы можете решить эту проблему, сделав клиентское (ZK) STARK и отправив егопромежуточное. промежуточное упакует его в SNARK на основе эллиптических кривых, но это дополнительная базовая зависимость, которая приводит к другим проблемам.»
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Vitalik: ограничение скорости доказательства клиента для применения приватности ZK-VM
Разработчик Виталик Бутерин объяснил ограничения ZK-VM (виртуальная машина с нулевым знанием) в случае использования для обеспечения конфиденциальности. Один пользователь указал на то, что ZK-VM почти во всех аспектах лучше, за исключением иронии, что она не может обеспечить конфиденциальность. В ответ на это Виталик сказал: объяснение очень простое: случаи использования конфиденциальности требуют доказательства на стороне клиента, а в настоящее время скорость клиентского доказательства недостаточно быстрая, чтобы обрабатывать любое содержимое, выходящее за пределы ветки Merkle. «Еще хуже, что клиентский случай использования требует от каждого пользователя предоставлять доказательства, что означает, что объем доказательств невелик, а время доказательства системы, основанной на эллиптических кривых, медленное. Вы можете решить эту проблему, сделав клиентское (ZK) STARK и отправив егопромежуточное. промежуточное упакует его в SNARK на основе эллиптических кривых, но это дополнительная базовая зависимость, которая приводит к другим проблемам.»