zkVM, такі як Pico Prism від @brevis_zk, доводять це в режимі реального часу. Наразі Provers обробляють вхідні дані у відкритому тексті, а TEE додають конфіденційність на рівні апаратного забезпечення, щоб уникнути неправомірного використання даних операторами. Ось як Automata забезпечує приватну перевірку на zkVM з перевіреними TEE ↓

Поточні конфігурації zkVM працюють на основі припущення довіри, що оператор доказу не має доступу до входів відкритого тексту. Для того, щоб користувачі могли ділитися своїми даними без довіри, TEE можуть бути інтегровані для надання гарантій конфіденційності даних та обчислювальної цілісності.

Pico Prism виконується в апаратно ізольованому анклаві, такому як Intel SGX або TDX, при цьому свідок відкритого тексту обробляється повністю в зашифрованій пам'яті. Будь-хто може перевірити чесність доказу за допомогою дистанційної атестації, перш ніж ділитися приватними даними.

Весь ланцюжок довіри атестації залишається дійсним через інформаційну панель DCAP від Automata, яка автоматизує управління заставою для Intel SGX і TDX. Перевірка DCAP у ланцюжку оновлюється в режимі реального часу, щоб запобігти збоям атестації після закінчення терміну застави.