Replacing Trust with Proofs

ZKCG takes a different approach.

Instead of trusting an oracle, we verify the computation itself using zero-knowledge proofs.

Off-chain computation
        ↓
ZK proof generated
        ↓
Verifier checks proof

Now the verifier only needs to check that:

the proof is valid

the computation followed the defined constraints

No trusted signer required.