Zero Knowledge Proofs for Verifying Oracle-Aided AI Outputs | HACKOBAR_