"Напишіть звичайний Rust, як ви б це робили з бекендом веб-сервера, а потім помістіть цю бізнес-логіку в zkVM і зробіть її перевіреною." - @pumatheuma, співзасновник @SuccinctLabs З VAP (перевіреними додатками) ви зберігаєте модель розробки та затримки web2 (обробка запитів поза ланцюгом, швидке зіставлення, дешева інфраструктура), додаючи при цьому лаконічний доказ того, що програма дійсно працювала на заявлених вхідних даних і дотримувалася своїх правил. Доказ перевіряється в ланцюжку (або на шлюзі), тому оновлення розрахунків або станів відбуваються лише в тому випадку, якщо точний ідентифікатор програми, входи та обмеження перевіряються. Не потрібно повторного виконання, ручного кодування схеми, жодних знань у галузі криптографії – лише стандартний код, скомпільований у ціль zkVM. Результатом є web2 DX з гарантіями web3: правильність та невідмова від бізнес-правил, цілісність вхідних даних, необов'язкова конфіденційність (доводьте властивості без розкриття даних) та переносимість довіри, оскільки один і той самий доказ можна перевірити будь-де. Перегляньте повний епізод з Умою Рой, щоб побачити, як VAP та перевірка в реальному часі перетворюють «писати нормальний код, отримувати перевірюваність» практичним шляхом для виробничих систем: