zk-SNARK Verification

For sensitive inputs or proprietary models, AI inference may happen off-chain in a secure enclave (e.g., Intel SGX or MPC).

Workflow:

1. Enclave runs model → generates output

2. Creates zk-SNARK proof that computation was correct

3. Calls:

function verifyProof(bytes calldata proof, uint256[] calldata publicInputs) external returns (bool);

1. Oracle accepts verified result and stores it on-chain

🔐 This guarantees integrity without exposing raw data or model internals.