“Пишите обычный Rust так, как вы бы написали бэкенд веб-сервера, затем поместите эту бизнес-логику в zkVM и сделайте её проверяемой.” - @pumatheuma, соучредитель @SuccinctLabs С VAP (проверяемыми приложениями) вы сохраняете модель разработки и задержки web2 (обработка запросов вне цепи, быстрое сопоставление, дешевая инфраструктура), прикрепляя сжатое доказательство того, что программа действительно выполнялась на заявленных входных данных и следовала своим правилам. Доказательство проверяется в цепи (или на шлюзе), поэтому расчет или обновления состояния происходят только в том случае, если точный идентификатор программы, входные данные и ограничения совпадают. Нет повторного выполнения, нет ручного кодирования схем, не требуется экспертиза в криптографии - только стандартный код, скомпилированный для целевой zkVM. Результат - это веб2 DX с гарантиями веб3: правильность и непризнание бизнес-правил, целостность входных данных, опциональная конфиденциальность (доказать свойства, не раскрывая данные) и переносимость доверия, поскольку одно и то же доказательство можно проверить в любом месте. Смотрите полный эпизод с Умой Рой, чтобы увидеть, как VAP и доказательства в реальном времени делают “пишите обычный код, получайте проверяемость” практическим путем для производственных систем: