У галузі приватності блокчейна і доказів із нульовим знанням справжні фахівці, які займаються глибокою розробкою, чесно визнають один ключовий біль: ZK ніколи не був питанням функціональної здійсненності, а швидше питанням продуктивності та доступності. Навіть найвишуканіші наукові статті та білі книги, як тільки вони переходять до реального впровадження, час генерації доказів часто становить десятки секунд або навіть кілька хвилин, і в підсумку користувацький досвід руйнується.

Багато публічних ланцюгів у ринку заявляють про підтримку доказів із нульовим знанням, але насправді застосовують жорстке інтегрування логіки схем у рамки EVM. Хоча ця схема теоретично можлива, на практиці вона дає дуже слабкий досвід — ніби їхати на тракторі швидкісною трасою: скільки б не натискали на газ, ефективність не буде такою, якою вона має бути.

За останні кілька років дуже мало ланцюгів здатні обробляти складну логіку приватності, і причина тут не в тому, що криптографічна теорія ще недостатньо зріла, а в тому, що базове виконавче середовище зовсім не відповідає вимогам. Саме тому Dusk обрав зовсім інший інженерний шлях: замість того, щоб робити патчі до EVM, він повністю переосмислив його на рівні віртуальної машини, і створив власну віртуальну машину Piecrust.

Мета Piecrust VM дуже чітка — це не універсальне рішення, а виконавче середовище, спеціально створене для обчислень із нульовим знанням. Важливість цього дизайнерського вибору часто ігнорується. EVM за своєю природою оптимізована для детермінованості стану та можливості повторного запуску, але ніколи не враховувала дружелюбність до доказів. Запуск обчислень із нульовим знанням на EVM — це одночасно виконання бізнес-логіки і додаткові великі накладні витрати на докази.

Dusk змінив цю парадигму: оскільки мета — приватність і підтверджувані обчислення, то модель виконання, набір інструкцій і управління станом повинні з самого початку бути орієнтовані на докази із нульовим знанням. Результатом стала здавалась нелогічною, але насправді цілком здійсненна, значна оптимізація продуктивності — час генерації доказів суттєво скоротився, і ZK справді перетворився з ідеалу на практичний продукт.