#dusk $DUSK @Dusk
Тот элемент дизайна @Dusk_Foundation, в котором я наиболее по-настоящему не уверен, — это стоимость генерации доказательств в масштабе.
Создание zk-SNARK-доказательства — не бесплатная операция: вычислительная стоимость растёт вместе со сложностью схемы, и в разных zk-системах в целом время генерации доказательств для сложных схем может составлять от долей секунды до десятков секунд в зависимости от оборудования и числа ограничений.
Конфиденциальные смарт-контракты со встроенной логикой соответствия практически по определению используют более сложные схемы, чем просто передача средств. Это имеет реальные последствия: кто несёт издержки генерации (устройство пользователя, делегированный провайдер-прувер или узел), и создаёт ли это давление в сторону централизации, если только хорошо обеспеченные провайдеры могут достаточно быстро генерировать доказательства, чтобы это было полезно?
Dusk уже проходил итерации в этом направлении (PLONK, затем PlonKup с таблицами поиска для ускорения сложных доказательств), что показывает, что они осознают узкое место. Полностью ли эта проблема решена для объёмов транзакций институционального уровня — открытый эмпирический вопрос, а не то, во что я бы стал верить «на слово».
$DUSK #dusk
Тот элемент дизайна @Dusk_Foundation, в котором я наиболее по-настоящему не уверен, — это стоимость генерации доказательств в масштабе.
Создание zk-SNARK-доказательства — не бесплатная операция: вычислительная стоимость растёт вместе со сложностью схемы, и в разных zk-системах в целом время генерации доказательств для сложных схем может составлять от долей секунды до десятков секунд в зависимости от оборудования и числа ограничений.
Конфиденциальные смарт-контракты со встроенной логикой соответствия практически по определению используют более сложные схемы, чем просто передача средств. Это имеет реальные последствия: кто несёт издержки генерации (устройство пользователя, делегированный провайдер-прувер или узел), и создаёт ли это давление в сторону централизации, если только хорошо обеспеченные провайдеры могут достаточно быстро генерировать доказательства, чтобы это было полезно?
Dusk уже проходил итерации в этом направлении (PLONK, затем PlonKup с таблицами поиска для ускорения сложных доказательств), что показывает, что они осознают узкое место. Полностью ли эта проблема решена для объёмов транзакций институционального уровня — открытый эмпирический вопрос, а не то, во что я бы стал верить «на слово».
$DUSK #dusk
