Defesa de Dissertação de Mestrado: Benchmarking Zero-Shot Reasoning Approaches for Vulnerability Detection in Solidity Smart Contracts