Understanding which Verifiable Data Processing Environment (VDPE) is right for you depends on your use case.
ic
module is the most important for you.
verify-remote
or verify-local
modules.verify-remote
and verify-local
modules.
verify-remote
allows the host environment to prepare and optimise TLS proofs on remote replicated compute for compatibility with our zkVM. We extract and verify only public facets of the TLS proofs to do this.verify-local
operates within the zkVM. With our prepared remote proof, we can present the TLS proof, and the remote prepared proof to the zkVM, and verify using the verify-local
module.