Talus x Marlin: Verifiable Computation Layer for AI Smart Agents