Пирогова оболочка: интеллектуальная виртуальная машина Dusk
сегодня ночью меня посетила мысль: когда люди говорят об умных контрактах, обычно внимание сосредотачивается на приложениях. Но слой выполнения под ними не менее важен.
Виртуальная машина Piecrust от Dusk использует иной подход: компактные модули WASM запускаются внутри легковесной модульной среды, предназначенной для безопасного и эффективного выполнения смарт-контрактов. Написанная в первую очередь на Rust, Piecrust поддерживается piecrust-uplink — инструментом, помогающим разработчикам компилировать, тестировать, разворачивать и управлять контрактами.
Меня особенно заинтересовало, как Piecrust справляется с тяжёлой криптографической работой. Вместо того чтобы пропускать всё через WASM, функции хоста берут на себя задачи вроде хеширования, проверки ZK-доказательств и валидации подписей.
Такое решение связывает гибкость смарт-контрактов с ориентированной на приватность архитектурой Dusk.
Zedger: вывод приватных ценных бумаг и RWA в onchain
мысли вчера Меня заинтересовало в Dusk то, что он не рассматривает реальные активы как простые токены. Протокол Zedger построен вокруг более сложной части: сделать ценные бумаги и RWA пригодными для использования в onchain, при этом учитывая приватность и требования регулирования.
Согласно Whitepaper Dusk, Zedger поддерживает как токенизированные, так и нативно выпущенные активы. Он может выполнять действия вроде чеканки, сжигания, дивидендов и принудительных переводов по инициативе эмитента, используя ZK-протоколы и возможности аудита для проверки активности без необходимости делать всё публично раскрытым.
Это формирует интересную модель для финансовых рынков: приватность для чувствительных транзакций, но при этом достаточно структуры для комплаенса и аудируемости.
Для меня Zedger показывает, что вывод ценных бумаг в onchain — это не только про токенизацию. Это про то, чтобы построить правила вокруг самого актива.
Я узнал, что делает «Dusk» для меня интересным: этот протокол не заставляет каждую транзакцию использовать одну и ту же модель приватности. Вместо этого он предлагает пользователям два разных пути.
Лунный свет следует аккаунтной модели. Публичный ключ идентифицирует аккаунт, балансы поддерживаются как глобальное состояние, а транзакции авторизуются с помощью цифровых подписей. Это более прозрачный маршрут: баланс аккаунта и проверки транзакций видны сети.
Феникс использует иной подход. Он применяет UTXO-подобную систему, где активы представлены как заметки (notes). В зашифрованном режиме (obfuscated) доказательства с нулевым разглашением позволяют сети проверить, что транзакция действительна, не раскрывая напрямую лежащие в основе детали. Нуллификаторы (nullifiers) предотвращают повторное расходование одной и той же заметки.
Так что я вижу «Moonlight» и «Phoenix» не столько конкурентами, сколько взаимодополняющими инструментами: прозрачность, когда она нужна, и приватность, когда требуется. Такая двойная конструкция дает «Dusk» практичный способ подходить к финансовым сценариям, где конфиденциальность и проверяемость должны сосуществовать.
Что бросается мне в глаза в Dusk, так это то, что ее консенсусные стимулы построены вокруг простой идеи: быть выбранным недостаточно — нужно вести себя правильно, когда вас выбирают.
Провайдеры (provisioners) могут зарабатывать, предлагая и голосуя, при этом протокол также учитывает тонкий риск: будущие генераторы блоков могут извлечь выгоду из того, что более ранние итерации потерпели неудачу. Dusk противодействует этому, поощряя избирателей (voters), увязывая часть вознаграждения генератора с включенными голосами и ограничивая количество итераций.
Штрафная часть устроена столь же последовательно. Незначительные сбои могут привести к приостановке и мягкому слэшингу, снижая влияние провайдера. Более серьезные действия, такие как двойное голосование или недействительные предложения блоков, запускают жесткий слэшинг, который сжигает залог.
В итоге получается система стимулов, где участие, надежность и честное поведение экономически связаны.
Плавная финальность: как Сумерки подтверждают транзакции
Не каждому блоку нужно прыгать из «принят» в окончательно финальный статус в один момент. Сумерки используют более прогрессивный подход через скользящую (rolling) финальность.
Сначала блок может быть принят: это означает, что консенсус был достигнут, но конкурирующий блок с меньшим номером итерации всё ещё может его заменить. Если же все более ранние итерации уже доказаны как неудачные, блок становится засвидетельствованным (attested) и его нельзя заменить более низкой итерацией.
Затем наступает подтверждение. Каждый подходящий преемник добавляет больше доказательств того, что валидаторы (provisioners) продолжают строить на той же цепочке. Для принятого блока число требуемых преемников зависит от того, какие более ранние итерации ещё не разрешены. Чем больше неопределённости, тем больше подтверждений нужно.
Наконец, подтверждения «прокатываются» по цепочке: когда блок подтверждён и его родитель финален, он тоже может стать финальным.
Самое интересное, что финальность в Сумерках не рассматривается как простой таймер или фиксированное количество подтверждений. Она адаптируется к истории блока и к доказательствам, создаваемым более поздними раундами консенсуса.
Это формирует подвижный путь: возможность → принятие → более сильная уверенность → финальность.
Одна из частей консенсусного дизайна Dusk Network, которая кажется мне особенно интересной, — это то, как комитеты голосования превращают отдельные голоса в компактное доказательство.
В протоколе Succinct Attestation от Dusk участники provisioner выбираются для комитетов валидации и ратификации с помощью детерминированной сортиции. Членам комитета начисляются кредиты, определяющие вес их голосов; комитет использует фиксированную структуру на 64 кредита, описанную в whitepaper.
Сделать процесс более эффективным помогает BLS-подпись: голоса от нескольких provisioner можно агрегировать в одну подпись, чтобы проще было выполнять проверку.
Затем аттестация становится доказательством того, что был достигнут кворум. 2/3 супербольшинства Valid-голосов создают успешную аттестацию, тогда как большинство Invalid, NoCandidate или NoQuorum голосов создают провальную аттестацию.
Главная идея: Dusk не просто собирает голоса — она упаковывает доказательства консенсуса в верифицируемую структуру, которая поддерживает ее подход к быстрой, ориентированной на конфиденциальность финансовой инфраструктуре.
Одна из частей консенсусного дизайна Dusk Network, которая кажется мне особенно интересной, — это то, как комитеты голосования превращают отдельные голоса в компактное доказательство.
В протоколе Succinct Attestation от Dusk участники provisioner выбираются для комитетов валидации и ратификации с помощью детерминированной сортиции. Членам комитета начисляются кредиты, определяющие вес их голосов; комитет использует фиксированную структуру на 64 кредита, описанную в whitepaper.
Сделать процесс более эффективным помогает BLS-подпись: голоса от нескольких provisioner можно агрегировать в одну подпись, чтобы проще было выполнять проверку.
Затем аттестация становится доказательством того, что был достигнут кворум. 2/3 супербольшинства Valid-голосов создают успешную аттестацию, тогда как большинство Invalid, NoCandidate или NoQuorum голосов создают провальную аттестацию.
Главная идея: Dusk не просто собирает голоса — она упаковывает доказательства консенсуса в верифицируемую структуру, которая поддерживает ее подход к быстрой, ориентированной на конфиденциальность финансовой инфраструктуре.
Одна из частей консенсусного дизайна Dusk Network, которая кажется мне особенно интересной, — это то, как комитеты голосования превращают отдельные голоса в компактное доказательство.
В протоколе Succinct Attestation от Dusk участники provisioner выбираются для комитетов валидации и ратификации с помощью детерминированной сортиции. Членам комитета начисляются кредиты, определяющие вес их голосов; комитет использует фиксированную структуру на 64 кредита, описанную в whitepaper.
Сделать процесс более эффективным помогает BLS-подпись: голоса от нескольких provisioner можно агрегировать в одну подпись, чтобы проще было выполнять проверку.
Затем аттестация становится доказательством того, что был достигнут кворум. 2/3 супербольшинства Valid-голосов создают успешную аттестацию, тогда как большинство Invalid, NoCandidate или NoQuorum голосов создают провальную аттестацию.
Главная идея: Dusk не просто собирает голоса — она упаковывает доказательства консенсуса в верифицируемую структуру, которая поддерживает ее подход к быстрой, ориентированной на конфиденциальность финансовой инфраструктуре.