Прежде, когда я возился с умным контрактом @Dusk , у меня постоянно был один вопрос: раз он запускается поверх EVM-совместимого уровня, то логично, что выполнение на цепочке сложной ZK‑zero knowledge (нулевое разглашение) должно бы мгновенно разогнать Gas до предела. Почему же он может проверять за миллисекунды и при этом брать совсем низкую комиссию?
Сегодня я пошёл и полистал исходники виртуальной машины Piecrust и нижележащую реализацию на Rust — и понял, что я слишком упростил логику.
Сначала мне казалось, что это устроено как обычный zkEVM: все схемы цепей для нулевых знаний пакуются в WASM-байткод, а VM всё «в лоб» считает на программном уровне. Но когда я увидел ту схему на уровне Host — «криптографическое нативное разгружение (Cryptographic Native Offloading)», — стало ясно, что это вообще не тот порядок величин.
При проектировании Piecrust напрямую вынесла из интерпретируемого выполнения внутри виртуальной машины самые затратные криптографические примитивы (Primitives) — например хэш Poseidon и верификацию доказательства Plonk — и реализовала их на Rust, после чего отдала на жёсткое аппаратное ускорение через нижележащий Host (хостовую систему). Виртуальная машина при этом лишь передаёт хэндлы (Handles) и обрабатывает переходы состояния.
Это похоже на 3D‑игру: в старом варианте CPU заставляют рендерить каждый пиксель программно — нагрузка моментально упирается в потолок. А Dusk просто отдаёт графические вычисления напрямую GPU, а CPU лишь отдаёт команды.
Я заодно сравнил, как она обрабатывает снапшоты памяти (Memory Snapshots) на этапе компиляции, и выяснил: она даже поддерживает обратную сериализацию ZK‑состояния без необходимости заново загружать полностью все состояния памяти. Это окончательно объяснило, почему она может одновременно поддерживать криптографическую верификацию для конфиденциального состояния и при этом не заставлять газ на узлах проверки «взрываться».
Раньше мне казалась немного пустой рекламная формулировка про «конфиденциальность уровня организаций» — мол, это просто написали какой‑то продвинутый клей-код. Сегодня, когда стало понятно, как именно она физически «обрезает» всё на уровне Piecrust, я понял: инженерная команда реально бьётся с аппаратными возможностями и вычислительными лимитами в сценарии «высокочастотной финансовой конфиденциальности».
И все эти криптографические ускорения на стороне Host и диспетчеризация инструкций виртуальной машины в итоге сводятся к DUSK — как единому вычислительному ресурсу и эталону Gas при клиринге.
#dusk $DUSK
Сегодня я пошёл и полистал исходники виртуальной машины Piecrust и нижележащую реализацию на Rust — и понял, что я слишком упростил логику.
Сначала мне казалось, что это устроено как обычный zkEVM: все схемы цепей для нулевых знаний пакуются в WASM-байткод, а VM всё «в лоб» считает на программном уровне. Но когда я увидел ту схему на уровне Host — «криптографическое нативное разгружение (Cryptographic Native Offloading)», — стало ясно, что это вообще не тот порядок величин.
При проектировании Piecrust напрямую вынесла из интерпретируемого выполнения внутри виртуальной машины самые затратные криптографические примитивы (Primitives) — например хэш Poseidon и верификацию доказательства Plonk — и реализовала их на Rust, после чего отдала на жёсткое аппаратное ускорение через нижележащий Host (хостовую систему). Виртуальная машина при этом лишь передаёт хэндлы (Handles) и обрабатывает переходы состояния.
Это похоже на 3D‑игру: в старом варианте CPU заставляют рендерить каждый пиксель программно — нагрузка моментально упирается в потолок. А Dusk просто отдаёт графические вычисления напрямую GPU, а CPU лишь отдаёт команды.
Я заодно сравнил, как она обрабатывает снапшоты памяти (Memory Snapshots) на этапе компиляции, и выяснил: она даже поддерживает обратную сериализацию ZK‑состояния без необходимости заново загружать полностью все состояния памяти. Это окончательно объяснило, почему она может одновременно поддерживать криптографическую верификацию для конфиденциального состояния и при этом не заставлять газ на узлах проверки «взрываться».
Раньше мне казалась немного пустой рекламная формулировка про «конфиденциальность уровня организаций» — мол, это просто написали какой‑то продвинутый клей-код. Сегодня, когда стало понятно, как именно она физически «обрезает» всё на уровне Piecrust, я понял: инженерная команда реально бьётся с аппаратными возможностями и вычислительными лимитами в сценарии «высокочастотной финансовой конфиденциальности».
И все эти криптографические ускорения на стороне Host и диспетчеризация инструкций виртуальной машины в итоге сводятся к DUSK — как единому вычислительному ресурсу и эталону Gas при клиринге.
#dusk $DUSK