Не попадитесь на «нулевое знание» в глаза: на чьей именно памяти застряли умные контракты Dusk?
Пирог подрос немного — и BTC всё ещё можно!
Чем дольше смотришь на отладку, тем быстрее понимаешь: многие цепочки, которые пишут «ZK privacy», на этапе запусков и тестов работают так, будто это дозвон в интернет из 80-х. Все хвалят, какие потрясающие нулевые знания и насколько надёжно они защищают приватность, но когда я смотрю на тестовые ноды, больше всего меня тревожит не то, насколько быстро считают схемы, а то, что криптографические ограничения раздувают размер доказательства — и из‑за этого у ноды возникает тот самый «краткий стоп» в момент обработки транзакций.
Те, кто разбирается в базовой архитектуре, знают: будь то ZK-SNARKs или PLONK, проверка всё равно должна быть у кого-то. В архитектуре Dusk вводится виртуальная машина Piecrust на WASM — расчёт тут понятный: нужно, чтобы нулевое знание в приватных контрактах проходило преобразования нормально, и при этом нельзя просто взять и раздавить оперативную память обычных нод. Официальная техкарта красиво расписывает, что верификация ZK может занимать миллисекунды, но когда я у себя гоняю локальные ноды и прогоняю нагрузочное тестирование, сомнения остаются: единичная проверка действительно быстрая, но если начинается высокочастотное расчётное движение активами, то стоит лишь чуть-чуть увеличить время удержания приватных доказательств в памяти — и как только сработает или дёрнется сборщик мусора (GC), отклик ноды сразу даёт задержку.
Такие «невидимые» инженерные подтормаживания в белой книге обычно не видно. Приватным цепочкам страшнее не то, что математика не сходится, а то, что в реальности железо у нод сильно разнится. Если стратегии распределения вычислительных ресурсов настроены неудачно или очередь верификации накапливается, то так называемая «секундная приватная расчётность» за минуту превращается в «перевод, пожалуйста, подождите». В конечном счёте не то определяет, сможет ли приватная публичная сеть выдержать институциональные объёмы активов, что она кричит о максимально высоком уровне безопасности, а то, сможет ли она при всплеске параллельности удерживать использование памяти на сверхгладкой линии.
В технике всё же есть предел: её не используют, чтобы поклоняться. Все делают ставки на будущее приватного Layer1, а я, наоборот, сильнее всего думаю о том, сможет ли эта виртуальная машина действительно удержать планку «не взорвать память», когда меняются вычислительные мощности и железо нод разнится. Как ты думаешь, какой из этих рычагов — приватность или производительность — в следующем цикле смогут наконец-то сбалансировать по-настоящему? #dusk $DUSK @Dusk
Пирог подрос немного — и BTC всё ещё можно!
Чем дольше смотришь на отладку, тем быстрее понимаешь: многие цепочки, которые пишут «ZK privacy», на этапе запусков и тестов работают так, будто это дозвон в интернет из 80-х. Все хвалят, какие потрясающие нулевые знания и насколько надёжно они защищают приватность, но когда я смотрю на тестовые ноды, больше всего меня тревожит не то, насколько быстро считают схемы, а то, что криптографические ограничения раздувают размер доказательства — и из‑за этого у ноды возникает тот самый «краткий стоп» в момент обработки транзакций.
Те, кто разбирается в базовой архитектуре, знают: будь то ZK-SNARKs или PLONK, проверка всё равно должна быть у кого-то. В архитектуре Dusk вводится виртуальная машина Piecrust на WASM — расчёт тут понятный: нужно, чтобы нулевое знание в приватных контрактах проходило преобразования нормально, и при этом нельзя просто взять и раздавить оперативную память обычных нод. Официальная техкарта красиво расписывает, что верификация ZK может занимать миллисекунды, но когда я у себя гоняю локальные ноды и прогоняю нагрузочное тестирование, сомнения остаются: единичная проверка действительно быстрая, но если начинается высокочастотное расчётное движение активами, то стоит лишь чуть-чуть увеличить время удержания приватных доказательств в памяти — и как только сработает или дёрнется сборщик мусора (GC), отклик ноды сразу даёт задержку.
Такие «невидимые» инженерные подтормаживания в белой книге обычно не видно. Приватным цепочкам страшнее не то, что математика не сходится, а то, что в реальности железо у нод сильно разнится. Если стратегии распределения вычислительных ресурсов настроены неудачно или очередь верификации накапливается, то так называемая «секундная приватная расчётность» за минуту превращается в «перевод, пожалуйста, подождите». В конечном счёте не то определяет, сможет ли приватная публичная сеть выдержать институциональные объёмы активов, что она кричит о максимально высоком уровне безопасности, а то, сможет ли она при всплеске параллельности удерживать использование памяти на сверхгладкой линии.
В технике всё же есть предел: её не используют, чтобы поклоняться. Все делают ставки на будущее приватного Layer1, а я, наоборот, сильнее всего думаю о том, сможет ли эта виртуальная машина действительно удержать планку «не взорвать память», когда меняются вычислительные мощности и железо нод разнится. Как ты думаешь, какой из этих рычагов — приватность или производительность — в следующем цикле смогут наконец-то сбалансировать по-настоящему? #dusk $DUSK @Dusk