Verifiable Compute

Verifiable computing is a cryptographic method that allows users to confirm the accuracy and integrity of computations performed by third parties. It provides proof that an external party or service has executed a computation correctly without the need for the user to rerun the entire process themselves.

This technique is particularly useful in scenarios involving cloud computing or decentralized networks, where computation results are outsourced. By generating cryptographic proofs, verifiable computing helps users trust outsourced computations, ensuring that data remains secure and the results delivered are accurate.

Some examples of verifiable compute include Trusted Execution Environments (TEEs), Zero-Knowledge Proofs (ZKPs), Multi-Party Computation (MPC), and Fully Homomorphic Encryption (FHE).

Automata Network is a machine attestation layer that integrates TEEs into AI systems and decentralized networks. Learn more about what we do here.