“Viết mã Rust bình thường như bạn làm với backend của một web-server, sau đó đưa logic kinh doanh đó vào một zkVM và làm cho nó có thể xác minh.” - @pumatheuma, Đồng sáng lập của @SuccinctLabs Với VAPs (ứng dụng có thể xác minh), bạn giữ nguyên mô hình phát triển web2 và độ trễ (xử lý yêu cầu off-chain, khớp nhanh, hạ tầng rẻ) trong khi đính kèm một bằng chứng ngắn gọn rằng chương trình thực sự đã chạy trên các đầu vào đã khai báo và tuân theo các quy tắc của nó. Bằng chứng được xác minh trên chuỗi (hoặc tại một cổng), vì vậy việc thanh toán hoặc cập nhật trạng thái chỉ xảy ra nếu ID chương trình chính xác, các đầu vào và các ràng buộc được kiểm tra. Không cần thực thi lại, không cần mã hóa mạch, không cần chuyên môn về mật mã - chỉ cần mã tiêu chuẩn được biên dịch thành mục tiêu zkVM. Kết quả là trải nghiệm web2 với các đảm bảo web3: tính chính xác và không thể từ chối của các quy tắc kinh doanh, tính toàn vẹn của các đầu vào, quyền riêng tư tùy chọn (chứng minh các thuộc tính mà không tiết lộ dữ liệu), và khả năng chuyển nhượng của niềm tin vì cùng một bằng chứng có thể được kiểm tra ở bất kỳ đâu. Xem tập đầy đủ với Uma Roy để thấy cách VAPs và việc chứng minh theo thời gian thực làm cho “viết mã bình thường, nhận được khả năng xác minh” trở thành một con đường thực tiễn cho các hệ thống sản xuất: