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

Скоро на Verifying Intelligence в неделю @token2049: ключевая речь от @tomngodefi, CEO @MetisL2 🎉 Том представит тему "Децентрализация и доверие: Роль блокчейна в ИИ" 29 сентября в Caldwell House, Сингапур. RSVP: Verifying Intelligence организован совместно с @HouseofZK и @boundless_xyz - в партнерстве с @googlecloud - и при поддержке @0G_labs, @LazAINetwork, @alt_layer, @VeridiseInc, @OntologyNetwork и @gonka_ai 🤝

В ближайшее время на Verifying Intelligence в рамках недели @token2049: интервью с @DaLiberman, создателем @gonka_ai 🎉 Даниил Либерман — футурист, серийный предприниматель, инвестор и бывший директор по продуктам в Snap, а также создатель Gonka. Он начал свой предпринимательский путь с братьями и сестрами, совместно основав предприятия в области компьютерной графики, финансов и ИИ. Даниил стал соучредителем Frank Money, пионера радикальной финансовой прозрачности, а затем запустил Kernel AR, который был приобретен Snap в том же году. Он и его братья и сестры подписали Founders Pledge, направив свои экономические результаты в Libermans Co., которая сейчас оценивается в 400 миллионов долларов и привлекла инвестиции от @pmarca, Джоша Кушнера, @ariellezuck. 🗓️ 29 сентября 📍 Caldwell House, Сингапур 🎟️ Verifying Intelligence организован совместно с @HouseofZK и @boundless_xyz - в партнерстве с @googlecloud - и спонсируется @0G_labs, @LazAINetwork, @alt_layer, @VeridiseInc, @OntologyNetwork и @gonka_ai 🤝